Formal Specification of Hybrid MARTE Statecharts

The specification of Modeling and Analysis of Real-time and Embedded Systems (MARTE) is an extension of UML in the domain of real-time and embedded Systems. However, unified modeling of continuous and discrete variables in MARTE is still an unsolved problem for hybrid real-time system development. In this paper we propose an extended statechart, Hybrid MARTE statechart, for modeling and analyzing of hybrid real-time and embedded systems. In Hybrid MARTE Statecharts, we unify the logical time and the chronometric time variables. The improvement of MARTE statechart is based on hybrid automata. Formal syntax and semantics of Hybrid MARTE statecharts are given based on labeled transition systems. At the end of this paper, a case study is given to show how to model the behavior of a Train Control System with Hybrid MARTE statecharts.

[1]  Thomas A. Henzinger,et al.  The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[2]  Johannes Schumacher,et al.  An Introduction to Hybrid Dynamical Systems, Springer Lecture Notes in Control and Information Sciences 251 , 1999 .

[3]  Francky Catthoor,et al.  Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems , 1999, Springer US.

[4]  Insup Lee,et al.  Compositional Refinement for Hierarchical Hybrid Systems , 2001, HSCC.

[5]  Vijay Kumar,et al.  Hierarchical Hybrid Modeling of Embedded Systems , 2001, EMSOFT.

[6]  Abbas Edalat,et al.  Domain-theoretic Solution of Differential Equations (Scalar Fields) , 2003, MFPS.

[7]  Jan Peleska,et al.  Executable HybridUML and Its Application to Train Control Systems , 2004, SoftSpez Final Report.

[8]  Jan Peleska,et al.  The HybridUML profile for UML 2.0 , 2005, International Journal on Software Tools for Technology Transfer.

[9]  Bran Selic,et al.  A Systematic Approach to Domain-Specific Language Design Using UML , 2007, 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07).

[10]  Adrian Pop,et al.  Towards Unified System Modeling with the ModelicaML UML Profile , 2007, EOOLT.

[11]  Christoph Nytsch-Geusen.  The use of the UML within the modelling process of Modelica-models , 2007, EOOLT.

[12]  Robert de Simone,et al.  Modeling time(s) , 2007, MODELS'07.

[13]  Charles André,et al.  A multiform time approach to real-time system modeling; Application to an automotive system , 2007, 2007 International Symposium on Industrial Embedded Systems.

[14]  Alberto Bemporad,et al.  Hybrid Systems: Computation and Control, 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings , 2007, HSCC.

[15]  Carla Piazza,et al.  Inclusion dynamics hybrid automata , 2008, Inf. Comput..

[16]  Robert de Simone,et al.  MARTE: a profile for RT/E systems modeling, analysis-- and simulation ? , 2008, Simutools 2008.

[17]  Charles André,et al.  Syntax and Semantics of the Clock Constraint Specification Language (CCSL) , 2009 .

[18]  Frédéric Mallet,et al.  On the Semantics of UML/MARTE Clock Constraints , 2009, 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.

[19]  Mingsong Chen,et al.  Efficient test case generation for validation of UML activity diagrams , 2010, Des. Autom. Embed. Syst..

[20]  Ling Yin,et al.  AutoPA: Automatic Prototyping from Requirements , 2010, ISoLA.

[21]  Christiaan J. J. Paredis,et al.  Integrating Models and Simulations of Continuous Dynamics Into SysML , 2012, J. Comput. Inf. Sci. Eng..