Topology Analysis of Car Platoons Merge with FujabaRT & TimedStoryCharts - a Case Study

This paper addresses the topology analysis case study for the Transformation Tool Contest 2010. The case study presents a car platoon merge protocol with a dynamic number of participants. The task is to compute a reachability graph for all system congurations generated by the graph rewrite rules. Using the Fujaba Real-Time Tool Suite, we modeled the merge protocol as statechart in concrete syntax as this is more intuitive and use a special generator to derive the corresponding graph rewrite rules ((6, 5)). This has been combined with the hierarchical graphs library presented in (12), to compute the reachable graph transition system.