Hybrid MARTE statecharts
- 114 Downloads
The specification of modeling and analysis of real-time and embedded systems (MARTE) is an extension of the unified modeling language (UML) in the domain of real-time and embedded systems. Even though MARTE time model offers a support to describe both discrete and dense clocks, the biggest effort has been put so far on the specification and analysis of discrete MARTE models. To address hybrid real-time and embedded systems, we propose to extend statecharts using both MARTE and the theory of hybrid automata. We call this extension hybrid MARTE statecharts. It provides an improvement over the hybrid automata in that: the logical time variables and the chronometric time variables are unified. The formal syntax and semantics of hybrid MARTE statecharts are given based on labeled transition systems and live transition systems. As a case study, we model the behavior of a train control system with hybrid MARTE statecharts to demonstrate the benefit.
KeywordsUML MARTE hybrid automata hybrid MARTE statechart train control system
Unable to display preview. Download preview PDF.
- 1.UML superstructure specification v2.2. Object Management Group, 2004Google Scholar
- 4.UML Profile for MARTE, v1.0. Object Management Group, 2009Google Scholar
- 5.UML profile for schedulability, performance, and time specification, v1.1, 2005Google Scholar
- 8.André C, Mallet F, Peraldi-Frati M. A multiform time approach to realtime system modeling; application to an automotive system. In: Proceedings of the 2007 International Symposium on Industrial Embedded Systems. SIES’07. 234–241Google Scholar
- 9.André C. Syntax and semantics of the clock constraint specification language (CCSL). 2009Google Scholar
- 11.Schaft V. d A, Schumacher H. An introduction to hybrid dynamical systems (Lecture Notes in Control and Information Sciences, 251). SpringerGoogle Scholar
- 16.Sourrouille J, Caplat G. Constraint checking in UML modeling. In: Proceedings of the 14th International Conference on Software Engineering and Knowledge Engineering. 2002, 217–224Google Scholar
- 17.Edalat A, Krznaric M, Lieutier A. Domain-theoretic solution of differential equations (scalar fields). In: Proceedings of the 19th Conference on the Mathematical Foundations of Programming Semantics. 2006, 83Google Scholar
- 21.IEEE recommended practice for communications-based train control (CBTC) system design and functional allocations, 2008. IEEE Std 1474.3-2008Google Scholar
- 22.Lee E, Tripakis S. Modal models in ptolemy. In: Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT). 2010, 11–21Google Scholar