论文信息 - The MechatronicUML method: model-driven software engineering of self-adaptive mechatronic systems

The MechatronicUML method: model-driven software engineering of self-adaptive mechatronic systems

The software of mechatronic systems interacts with the system's physical environment. In such systems, an incorrect software may cause harm to human life. As a consequence, software engineering methods for developing such software need to enable developers to effectively and efficiently proof their correctness. This is further complicated by additional characteristics of mechatronic systems as self-adaptation and coordination with other systems. In this poster, we present MechatronicUML which is a model-driven software engineering method that especially considers these characteristics of self-adaptive mechatronic systems.

[1] Matthias Tichy,et al. A discipline-spanning development process for self-adaptive mechatronic systems , 2013, ICSSP 2013.

[2] Jürgen Gausemeier,et al. Design Methodology for Intelligent Technical Systems, Develop Intelligent Technical Systems of the Future , 2014, Design Methodology for Intelligent Technical Systems.

[3] Matthias Tichy,et al. A modelica coordination pattern library for cyber-physical systems , 2014, SimuTools.

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

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

[6] Wilhelm Schäfer,et al. Simulating Self-Adaptive Component-Based Systems Using MATLAB/Simulink , 2013, 2013 IEEE 7th International Conference on Self-Adaptive and Self-Organizing Systems.

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

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