A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems

Advanced mechatronic systems have to integrate existing technologies from mechanical, electrical and software engineering. They must be able to adapt their structure and behavior at runtime by reconfiguration to react flexibly to changes in the environment. Therefore, a tight integration of structural and behavioral models of the different domains is required. This integration results in complex reconfigurable hybrid systems, the execution logic of which cannot be addressed directly with existing standard modeling, simulation, and code-generation techniques. We present in this paper how our component-based approach for reconfigurable mechatronic systems, MECHATRONIC UML, efficiently handles the complex interplay of discrete behavior and continuous behavior in a modular manner. In addition, its extension to even more flexible reconfiguration cases is presented.

[1]  Marc Pouzet,et al.  Towards a higher-order synchronous data-flow language , 2004, EMSOFT '04.

[2]  Stavros Tripakis,et al.  Modular code generation from synchronous block diagrams: modularity vs. code size , 2009, POPL '09.

[3]  Ulrich Nickel,et al.  Integrating UML diagrams for production control systems , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[4]  Marc Pouzet,et al.  A conservative extension of synchronous data-flow with state machines , 2005, EMSOFT.

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

[6]  Pieter J. Mosterman,et al.  Computer Automated Multi-Paradigm Modeling : An Introduction , 2000 .

[7]  Ye Wang,et al.  Shadow configuration as a network management primitive , 2008, SIGCOMM '08.

[8]  Stefan Henkler,et al.  FRITS Cab : Fujaba Re-Engineering Tool Suite for Mechatronic Systems , 2009 .

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

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

[11]  Stefan Henkler,et al.  Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View , 2007, 29th International Conference on Software Engineering (ICSE'07).

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

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

[14]  Sharad Malik.  Analysis of cyclic combinational circuits , 1994, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[15]  Nancy A. Lynch,et al.  Hybrid Systems: Computation and Control , 2002, Lecture Notes in Computer Science.

[16]  Manfred Broy,et al.  Model Based Development of Hybrid Systems: Specification, Simulation, Test Case Generation , 2002 .

[17]  Stefan Henkler,et al.  Modeling and verifying dynamic communication structures based on graph transformations , 2011, Computer Science - Research and Development.

[18]  Martin Hahn.  OMD - ein Objektmodell für den Mechatronikentwurf: Anwendung in der objektorientierten Modellbildung mechatronischer Systeme unter Verwendung von Mehrkörpersystemformalismen , 1999 .

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

[20]  Holger Giese,et al.  Modeling collaborations with dynamic structural adaptation in mechatronic UML , 2008, SEAMS '08.

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

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

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

[24]  Edward A. Lee,et al.  Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems , 2007, EMSOFT '07.

[25]  Marc Pouzet,et al.  Clock-directed modular code generation for synchronous data-flow languages , 2008, LCTES '08.

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

[27]  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).

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

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

[30]  Holger Giese,et al.  Tool support for the design of self-optimizing mechatronic multi-agent systems , 2008, International Journal on Software Tools for Technology Transfer.

[31]  Pierre F. Tiako.  Designing Software-Intensive Systems: Methods and Principles , 2008 .

[32]  Gérard Berry,et al.  The ESTEREL Synchronous Programming Language and its Mathematical Semantics , 1984, Seminar on Concurrency.

[33]  Pieter J. Mosterman,et al.  HYBRSIM—a modelling and simulation environment for hybrid bond graphs , 2002 .

[34]  Marc Pouzet,et al.  A type system for the automatic distribution of higher-order synchronous dataflow programs , 2008, LCTES '08.

[35]  Holger Giese,et al.  Modular Generation and Simulation of Mechatronic Systems , 2004 .

[36]  Mauro Cesar Zanella,et al.  Distributed HIL-Simulation of Mechatronic Systems Applied to an Agriculture Machine , 1998, DIPES.

[37]  Holger Giese,et al.  Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML , 2005, MoDELS Satellite Events.

[38]  Holger Giese,et al.  Modeling Techniques for Software-Intensive Systems , 2009 .

[39]  Nicolas Halbwachs,et al.  LUSTRE: a declarative language for real-time programming , 1987, POPL '87.

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

[41]  Holger Giese,et al.  PARTITIONING AND MODULAR CODE SYNTHESIS FOR RECONFIGURABLE MECHATRONIC SOFTWARE COMPONENTS , 2004 .

[42]  Insup Lee,et al.  R-Charon, a Modeling Language for Reconfigurable Hybrid Systems , 2006, HSCC.

[43]  Martin Hirsch,et al.  Syntax and Semantics of Hybrid Components , 2005 .

[44]  Holger Giese,et al.  Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code , 2005, ECMDA-FA.

[45]  Holger Giese,et al.  Model-Driven Runtime Resource Predictions for Advanced Mechatronic Systems with Dynamic Data Structures , 2010, 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.

[46]  Holger Giese,et al.  Design and Simulation of Self-Optimizing Mechatronic Systems with Fujaba and CAMeL , 2004 .

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

[48]  Sandy Friedenthal.  Systems Modeling Language (SysML) Specification , 2004 .

[49]  Stephen A. Edwards,et al.  The semantics and execution of a synchronous block-diagram language , 2003, Sci. Comput. Program..

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

[51]  Stavros Tripakis,et al.  Modularity vs. Reusability: Code Generation from Synchronous Block Diagrams , 2008, 2008 Design, Automation and Test in Europe.

[52]  Sven Burmester,et al.  The Fujaba Real-Time Statechart PlugIn , 2003 .

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