Skip to main content
SpringerLink
Log in

Hybrid MARTE statecharts

  • Research Article
  • Published:
Frontiers of Computer Science Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. UML superstructure specification v2.2. Object Management Group, 2004

  2. Selic B. A systematic approach to domain-specific language design using UML. In: Proceedings of the 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing. 2007, 2–9

    Chapter  Google Scholar 

  3. Thoen F, Catthoor F. Modeling, verification, and exploration of tasklevel concurrency of real-time embedded systems. Kluwer Academic Publishers, 2000

    Book  Google Scholar 

  4. UML Profile for MARTE, v1.0. Object Management Group, 2009

    Google Scholar 

  5. UML profile for schedulability, performance, and time specification, v1.1, 2005

    Google Scholar 

  6. André C, Mallet F, De Simone R. Modeling time (s). In: Proceedings of the 10th Internation Conference of Model Driven Engineering Languages and Systems. LNCS, 2007, 4735: 559–573

    Article  Google Scholar 

  7. Benveniste A, Caspi P, Edwards S A, Halbwachs N, Guernic P L, Simoned R. The synchronous languages 12 years later. Proceedings of the IEEE, 2003, 91(1): 64–83

    Article  Google 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–241

  9. André C. Syntax and semantics of the clock constraint specification language (CCSL). 2009

    Google Scholar 

  10. Mallet F. Clock constraint specification language: specifying clock constraints with uml/marte. Innovations in Systems and Software Engineering, 2008, 4(3): 309–314

    Article  Google Scholar 

  11. Schaft V. d A, Schumacher H. An introduction to hybrid dynamical systems (Lecture Notes in Control and Information Sciences, 251). Springer

  12. Lygeros J, Lynch N. Strings of vehicles: modeling and safety conditions. Hybrid Systems: Computation and Control, 1998, 273–288

    Chapter  Google Scholar 

  13. Casagrande A, Piazza C, Policriti A, Mishra B. Inclusion dynamics hybrid automata. Information and Computation, 2008, 206(12): 1394–1424

    Article  MathSciNet  MATH  Google Scholar 

  14. Harel D. Statecharts: a visual formalism for complex systems. Science of computer programming, 1987, 8(3): 231–274

    Article  MathSciNet  MATH  Google Scholar 

  15. Lu H, Yu S. Are statecharts finite automata? Implementation and Application of Automata, 2009, 258–261

    Book  Google 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–224

    Google 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, 83

    Google Scholar 

  18. Grosu R, Smolka S. Safety-liveness semantics for UML 2.0 sequence diagrams. In: Proceedings of the 5th International Conference on Application of Concurrency to System Design. 2005, 6–14

    Chapter  Google Scholar 

  19. Henzinger T, Kopke P, Wong-Toi H. The expressive power of clocks. Automata, Languages and Programming, 1995, 417–428

    Chapter  Google Scholar 

  20. Henzinger T. Sooner is safer than later. Information Processing Letters, 1992, 43(3): 135–141

    Article  MathSciNet  MATH  Google Scholar 

  21. IEEE recommended practice for communications-based train control (CBTC) system design and functional allocations, 2008. IEEE Std 1474.3-2008

  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–21

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, 200062, China

    Jing Liu, Ziwei Liu & Jifeng He

  2. INRIA Sophia Antipolis Méditerranée, Sophia Antipolis, 06902, France

    Frédéric Mallet

  3. Center of Math Computing and Software Engineering, Zhejiang Sci-Tech University, Hangzhou, 310018, China

    Zuohua Ding

Authors
  1. Jing Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ziwei Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jifeng He
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Frédéric Mallet
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Zuohua Ding
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jifeng He.

Additional information

Jing Liu is currently a professor of computer science at East China Normal University (ECNU), China. She is also the vice director of Computing Theories Institute, ECNU. In recent years, she is working on the area of model driven architecture. Now her work focuses on the design of real-time embedded systems and cyber physical system.

Ziwei Liu is currently an engineer of Baidu China Co., Ltd. She received her BS in mathematics in 2009 and the MS in software engineering in 2012 both from East China Normal University Shanghai, China. Her research interests are model-driven architecture, formal modeling, and verification.

Jifeng He is currently a professor of computer science at East China Normal University (ECNU), China. He is an academician of Chinese Academy of Sciences. He is also the dean of Software Engineering Institute, ECNU. In recent years, he has also been working on the mathematical model about the co-design of software and hardware. His work focuses on design of real-time embedded systems, cyber physical system, and the Internet of Things.

Frédéric Mallet is currently an associate professor of INRIA Sophia Antipolis Méditerranée, Sophia Antipolis, France. In recent years, he is working on the topic of modeling and analysis of real time and embeded system. He is one of the creater of the OMG specification of MARTE.

Zuohua Ding is currently a professor of Center of Math Computing and Software Engineering, Zhejiang Sci-Tech University, China. He received his PhD (1996) in mathematics and MS (1998) in computer science from the University of South Florida, USA. In recent years, he is working on the mathematical mode of software. Now his work focuses on design of real-time embedded systems.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Liu, J., Liu, Z., He, J. et al. Hybrid MARTE statecharts. Front. Comput. Sci. 7, 95–108 (2013). https://doi.org/10.1007/s11704-012-1301-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11704-012-1301-1

Keywords

Search

Navigation