Hybrid MARTE statecharts

Jing Liu 1 Ziwei Liu Jifeng He 2 Frédéric Mallet 3, * Zuohua Ding
* Auteur correspondant
1 Software Engineering Institute
Software Engineering Institute [Shangaï]
3 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : 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.
Type de document :
Article dans une revue
Frontiers of Computer Science -Springer-, Springer Verlag, 2013, <http://link.springer.com/article/10.1007%2Fs11704-012-1301-1>. <10.1007/s11704-012-1301-1>

Contributeur : Frédéric Mallet <>
Soumis le : jeudi 14 mars 2013 - 16:31:47
Dernière modification le : lundi 5 octobre 2015 - 17:01:10




Jing Liu, Ziwei Liu, Jifeng He, Frédéric Mallet, Zuohua Ding. Hybrid MARTE statecharts. Frontiers of Computer Science -Springer-, Springer Verlag, 2013, <http://link.springer.com/article/10.1007%2Fs11704-012-1301-1>. <10.1007/s11704-012-1301-1>. <hal-00800920>



Consultations de la notice