Simulating Self-Adaptive Component-Based Systems Using MATLAB/Simulink

The automotive industry uses MATLAB/Simulink models for specifying the behavior of software components and for early validation of that behavior using model-in-the-loop simulations. During a simulation run, these models may not structurally change. Thus, MATLAB/Simulink is not amenable to realizing self-adaption behavior, where the software architecture of the system evolves during runtime. In this paper, we show how to model self-adaptive software using our language Mechatronic UML and how we transform a model specified in Mechatronic UML into a MATLAB/Simulink model automatically. In particular, we generate several helper functions that emulate self-adaptive behavior in MATLAB/Simulink, relying only on standard Simulink blocks. We illustrate our approach using an example of car platoons.

[1]  Eugene Miya,et al.  On "Software engineering" , 1985, SOEN.

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

[3]  Benjamin Satzger,et al.  Self-Configuration and Self-Healing in AUTOSAR , 2007 .

[4]  Holger Giese,et al.  Model-Based extension of AUTOSAR for architectural online reconfiguration , 2009, MODELS'09.

[5]  Hartmut Ehrig,et al.  Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution , 1999 .

[6]  Dirk Zimmer.  Enhancing Modelica towards variable structure systems , 2007, EOOLT.

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

[8]  Peyman Oreizy,et al.  Architecture-based runtime software evolution , 1998, Proceedings of the 20th International Conference on Software Engineering.

[9]  Danilo Beuche,et al.  Automotive model-driven development and the challenge of variability , 2012, SPLC '12.

[10]  Christian Berger,et al.  Towards Transactional Self-Adaptation for AUTOSAR on the Example of a Collision Detection System , 2012, GI-Jahrestagung.

[11]  Christian Prehofer,et al.  Towards Self-Adaptation in Real-Time, Networked Systems: Efficient Solving of System Constraints for Automotive Embedded Systems , 2011, 2011 IEEE Fifth International Conference on Self-Adaptive and Self-Organizing Systems.

[12]  Christian Prehofer,et al.  Timing constraints for runtime adaptation in real-time, networked embedded systems , 2012, 2012 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).

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

[14]  Peter A. Fritzson,et al.  Principles of object-oriented modeling and simulation with Modelica 2.1 , 2004 .

[15]  Lei Feng,et al.  Self configuration of dependent tasks for dynamically reconfigurable automotive embedded systems , 2008, 2008 47th IEEE Conference on Decision and Control.

[16]  Clemens A. Szyperski,et al.  Component software - beyond object-oriented programming , 2002 .

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

[18]  F. Cancare.  Modeling Methodologies For Dynamic Reconfigurable Systems , 2009 .

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

[20]  Grzegorz Rozenberg,et al.  Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations , 1997 .

[21]  Mario Porrmann,et al.  A design framework for FPGA-based dynamically reconfigurable digital controllers , 2007, 2007 IEEE International Symposium on Circuits and Systems.

[22]  Mary Shaw,et al.  "Self-healing": softening precision to avoid brittleness: position paper for WOSS '02: workshop on self-healing systems , 2002, WOSS '02.

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

[24]  Wolfgang Müller,et al.  Self-Reconfiguration for Fault-Tolerant FlexRay Networks , 2011, 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops.

[25]  Matt Holdrege,et al.  IP Network Address Translator (NAT) Terminology and Considerations , 1999, RFC.

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

[27]  Mary Shaw,et al.  "Self-healing": softening precision to avoid brittleness: position paper for WOSS '02: workshop on self-healing systems , 2002, WOSS '02.

[28]  Christian Heinzemann,et al.  Reachability Analysis on Timed Graph Transformation Systems , 2010, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[29]  Steffen Becker,et al.  Executing reconfigurations in hierarchical component architectures , 2013, CBSE '13.

[30]  Simon Fürst.  AUTOSAR – A Worldwide Standard is on the Road . , 2009 .