The Mechatronic UML Development Process

The advanced functions of mechatronic systems today are essentially realized by software that controls complex processes and enables the communication and coordination of multiple system components. We have developed Mechatronic UML, a comprehensive technique for the model-based development of hybrid real-time component-based systems. Mechatronic UML is based on a well-defined subset of UML diagrams, formal analysis and composition methods. Vital for the successful development with Mechatronic UML, however, is a systematic development process, on which we report in this paper.

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

[2]  George S. Avrunin,et al.  Analyzing medical processes , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.

[3]  J. Bocker,et al.  System Architecture and Risk Management for Autonomous Railway Convoys , 2008, 2008 2nd Annual IEEE Systems Conference.

[4]  Rajeev Alur,et al.  Timed Automata , 1999, CAV.

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

[6]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[7]  Stefan Henkler,et al.  Legacy component integration by the Fujaba real-time tool suite , 2010, 2010 ACM/IEEE 32nd International Conference on Software Engineering.

[8]  Leon J. Osterweil,et al.  Software Processes Are Software Too, Revisited: An Invited Talk on the Most Influential Paper of ICSE 9 , 1997, Proceedings of the (19th) International Conference on Software Engineering.

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

[10]  Wilhelm Schäfer,et al.  Management of Cross-Domain Model Consistency during the Development of Advanced Mechatronic Systems , 2009 .

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

[12]  Stefan Henkler,et al.  Component Behavior Synthesis for Critical Systems , 2010, MBEES.

[13]  David Harel,et al.  Assert and negate revisited: Modal semantics for UML sequence diagrams , 2008, SCESM '06.