Syntax and Semantics of Hybrid Components

Nowadays, the specification of complex systems is done in a componentbased manner to obtain a well-structured design. The Unified Modeling Language (UML) became the standard for the component-based software design of non-safety-critical or non-real-time systems. In order to apply component-based UML models even for such critical, technical systems, MECHATRONIC UML has been created as extension of UML. To enable automatic generation of source code and to enable automatic analysis techniques like modelchecking, a formally defined semantics is required. Therefore, we define the syntax and the formal semantics of hybrid components and hybrid reconfiguration charts from the MECHATRONIC UML in this work.

[1]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[2]  Katsuhiko Ogata,et al.  Modern Control Engineering , 1970 .

[3]  Holger Giese,et al.  Modular design and verification of component-based mechatronic systems with online-reconfiguration , 2004, SIGSOFT '04/FSE-12.

[4]  Holger Giese,et al.  Hybrid UML Components for the Correct Design of Self-optimizing Mechatronic Systems∗ , 2005 .

[5]  P. Mosterman.  Modeling Discontinuous Behavior with Hybrid Bond Graphs , 2003 .

[6]  Holger Giese,et al.  Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML , 2004, MDAFA.

[7]  P. Mosterman,et al.  A theory of discontinuities in physical system models , 1998 .

[8]  Holger Giese,et al.  Making mechatronic agents resource-aware in order to enable safe dynamic resource allocation , 2004, EMSOFT '04.

[9]  Nancy A. Lynch,et al.  Hybrid I/O Automata Revisited , 2001, HSCC.

[10]  Thomas Stauner,et al.  Systematic development of hybrid systems , 2001, Ausgezeichnete Informatikdissertationen.

[11]  Holger Giese,et al.  Visual integration of UML 2.0 and block diagrams for flexible reconfiguration in mechatronic UML , 2005, 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05).

[12]  Edward A. Lee,et al.  The ptolemy II framework for visual languages , 2001, Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587).

[13]  Bran Selic,et al.  Using UML for Modeling Complex Real-Time Systems , 1998, LCTES.

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

[15]  Pravin Varaiya,et al.  What's decidable about hybrid automata? , 1995, STOC '95.

[16]  Cris Kobryn,et al.  UML 3.0 and the future of modeling , 2004, Software & Systems Modeling.

[17]  Holger Giese,et al.  Towards the compositional verification of real-time UML designs , 2003, ESEC/FSE-11.

[18]  Bran Selic,et al.  Real-time object-oriented modeling , 1994, Wiley professional computing.

[19]  Alexander Pretschner,et al.  Approaching a Discrete-Continuous UML: Tool Support and Formalization , 2001, pUML.

[20]  Thomas A. Henzinger,et al.  HYTECH: the next generation , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.

[21]  Manfred Broy,et al.  A Modular Visual Model for Hybrid Systems , 1998, FTRTFT.

[22]  Holger Giese,et al.  Hybrid UML Components for the Design of Complex Self-Optimizing Mechatronic Systems , 2004, ICINCO.

[23]  Amir Pnueli,et al.  Timed and Hybrid Statecharts and Their Textual Representation , 1992, FTRTFT.

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

[25]  Holger Giese,et al.  Visual Model-Driven Development of Software Intensive Systems: A Survey of available Techniques and Tools∗ , 2005 .

[26]  Matthias Weber,et al.  Object-Oriented Specification of Hybrid Systems Using UMLh and ZimOO , 1998, ZUM.