Topology Analysis of Car Platoons Merge with FujabaRT & TimedStoryCharts - a Case Study
2010
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.
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
196
References
3
Citations
NaN
KQI