A discipline-spanning development process for self-adaptive mechatronic systems

Technical systems contain mechanical, electrical, and software parts. Consequently, they are developed by engineers of the respective disciplines. However, current industrial practice as well as existing development processes do not account for the required tight integration between the engineers of the different disciplines. Processes become even more complex, when self-adaptive systems are built. In this paper, we present a development process for self-adaptive mechatronic systems which particularly addresses the integration between the disciplines concerned with the development of software, namely control and software engineering. We illustrate the process by presenting examples from the development of autonomous railway vehicles which build convoys to improve energy efficiency.

[1]  Ladan Tahvildari,et al.  Self-adaptive software: Landscape and research challenges , 2009, TAAS.

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

[3]  Steffen Becker,et al.  Towards modeling reconfiguration in hierarchical component architectures , 2012, CBSE '12.

[4]  Wilhelm Schäfer,et al.  Generating Functional Mockup Units from Software Specifications , 2012 .

[5]  Mary Shaw,et al.  Software Engineering for Self-Adaptive Systems: A Research Roadmap , 2009, Software Engineering for Self-Adaptive Systems.

[6]  Julie A. McCann,et al.  A survey of autonomic computing—degrees, models, and applications , 2008, CSUR.

[7]  Ivica Crnkovic,et al.  Component-based development process and component lifecycle , 2005, 27th International Conference on Information Technology Interfaces, 2005..

[8]  Jana Maria Heinsohn,et al.  Einführung in die ISO 26262 "Functional Safety - Road Vehicles" , 2011 .

[9]  Séverine Sentilles,et al.  A Classification Framework for Software Component Models , 2011, IEEE Transactions on Software Engineering.

[10]  Luciano Baresi,et al.  Version-consistent dynamic reconfiguration of component-based distributed systems , 2011, ESEC/FSE '11.

[11]  Matthias Tichy,et al.  Real-Time Coordination Patterns for Advanced Mechatronic Systems , 2012, COORDINATION.

[12]  Jürgen Dingel,et al.  A survey of self-management in dynamic software architecture specifications , 2004, WOSS '04.

[13]  Anne Marsden,et al.  International Organization for Standardization , 2014 .

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

[15]  Betty H. C. Cheng,et al.  Model-based development of dynamically adaptive software , 2006, ICSE.

[16]  Matthias Tichy,et al.  Runtime safety analysis for safe reconfiguration , 2012, IEEE 10th International Conference on Industrial Informatics.

[17]  Ursula Frank,et al.  Specification technique for the description of self-optimizing mechatronic systems , 2009 .

[18]  Petr Hošek,et al.  Comparison of component frameworks for real-time embedded systems , 2010, Knowledge and Information Systems.

[19]  P. Krutchen,et al.  The Rational Unified Process: An Introduction , 2000 .

[20]  Matthias Tichy,et al.  GENERATING SIMULINK AND STATEFLOW MODELS FROM SOFTWARE SPECIFICATIONS , 2012 .

[21]  R. Bell,et al.  IEC 61508: functional safety of electrical/electronic/ programme electronic safety-related systems: overview , 1999 .

[22]  Rob M. Parkin,et al.  Engineering education for mechatronics , 1996, IEEE Trans. Ind. Electron..

[23]  Tim Weilkiens,et al.  Systems engineering with SysML / UML - modeling, analysis, design , 2007 .

[24]  Stephan Merz,et al.  Model Checking , 2000 .

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

[26]  Wilhelm Schäfer,et al.  The Challenges of Building Advanced Mechatronic Systems , 2007, Future of Software Engineering (FOSE '07).

[27]  Jeff Magee,et al.  Analysing dynamic change in software architectures: a case study , 1998, Proceedings. Fourth International Conference on Configurable Distributed Systems (Cat. No.98EX159).

[28]  Arend Rensink,et al.  Model Checking Dynamic States in GROOVE , 2006, SPIN.

[29]  Roman Dumitrescu,et al.  Interactive Visualisation of Development Processes in Mechatronic Engineering , 2010 .

[30]  Capers Jones,et al.  Embedded Software: Facts, Figures, and Future , 2009, Computer.

[31]  Stefan Henkler,et al.  Reusing dynamic communication protocols in self-adaptive embedded component architectures , 2011, CBSE '11.

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

[33]  Rajeev Alur,et al.  Formal verification of hybrid systems , 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).

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

[35]  Joel Greenyer,et al.  Consistency checking scenario-based specifications of dynamic systems by combining simulation and synthesis , 2012, BM-FA '12.

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

[37]  Jürgen Münch,et al.  Software Process Definition and Management , 2012, The Fraunhofer IESE Series on Software and Systems Engineering.

[38]  Matthias Tichy,et al.  Timed Hazard Analysis of Self-healing Systems , 2013, Assurances for Self-Adaptive Systems.

[39]  Krzysztof Czarnecki,et al.  Feature-based survey of model transformation approaches , 2006, IBM Syst. J..

[40]  Wilhelm Schäfer,et al.  The Mechatronic UML Development Process , 2011 .