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

Heinzemann, Christian; Sudmann, Oliver; Schäfer, Wilhelm; Tichy, Matthias

doi:10.1145/2486046.2486055

Cited by 13 publications

(10 citation statements)

References 31 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Ortmeier et al (2004) investigated verification of embedded software focusing on safety aspects, but did not take automation and PLC software into account. The aforementioned MechatronicUML method Heinzemann et al, 2013) supports links between engineering disciplines. It supports a compositional approach for the verification of discrete real-time behavior (Giese et al, 2003) to improve scalability.…”

Section: State Of the Artmentioning

confidence: 99%

Evolution of software in automated production systems: Challenges and research directions

Vogel‐Heuser

Fay

Schaefer

et al. 2015

Journal of Systems and Software

Self Cite

253

View full text Add to dashboard Cite

a b s t r a c tCoping with evolution in automated production systems implies a cross-disciplinary challenge along the system's life-cycle for variant-rich systems of high complexity. The authors from computer science and automation provide an interdisciplinary survey on challenges and state of the art in evolution of automated production systems. Selected challenges are illustrated on the case of a simple pick and place unit. In the first part of the paper, we discuss the development process of automated production systems as well as the different type of evolutions during the system's life-cycle on the case of a pick and place unit. In the second part, we survey the challenges associated with evolution in the different development phases and a couple of cross-cutting areas and review existing approaches addressing the challenges. We close with summarizing future research directions to address the challenges of evolution in automated production systems.

show abstract

Section: State Of the Artmentioning

confidence: 99%

Evolution of software in automated production systems: Challenges and research directions

Vogel‐Heuser

Fay

Schaefer

et al. 2015

Journal of Systems and Software

Self Cite

253

View full text Add to dashboard Cite

show abstract

“…The MechatronicUML development process [8,4] structures the platform-independent modeling of a mechatronic system's software in five major steps that we introduce in the following.…”

Section: Methods Overviewmentioning

confidence: 99%

“…This strategy prevents the system to enter unsafe configurations in reconfiguration operations [6], where the system shows incorrect behavior. Again, our process enforces correctness by model checking of the adaptation behavior [8].…”

Section: Methods Overviewmentioning

confidence: 99%

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

Becker

Dziwok

Gerking

et al. 2014

Companion Proceedings of the 36th International Conference on Software Engineering

Self Cite

View full text Add to dashboard Cite

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 selfadaptation and coordination with other systems. In this poster, we present MechatronicUML which is a modeldriven software engineering method that especially considers these characteristics of self-adaptive mechatronic systems.

show abstract

“…Figure 8 shows the process for using the library. The process can be embedded in a more advanced discipline-spanning development process [16]. Our process starts with (informal) coordination requirements and defines five steps for specifying applicationspecific coordination protocols using the Real-Time Coordination Pattern Library and a sixth step that integrates these protocols in a holistic Modelica simulation model.…”

Section: Modelica Real-time Coordination Pattern Librarymentioning

confidence: 99%

A Modelica Coordination Pattern Library for Cyber-Physical Systems

Pohlmann

Dziwok

Meyer

et al. 2014

Proceedings of the Seventh International Conference on Simulation Tools and Techniques

Self Cite

View full text Add to dashboard Cite

Today's embedded systems often do not operate individually anymore. Instead, they form so called cyber-physical systems, where the overall functionality is provided by the collaboration of systems. Consequently, the design of this collaboration is an important activity during development and strongly affects system quality. In previous work, we presented a catalog of reusable messagebased real-time coordination patterns to avoid manual creation of new and, thus, error-prone designs. In this paper, we present an implementation of this catalog by a library in the Modelica language and an appropriate development process. The library stores ready to reuse solutions for common coordination activities and, thus, increases efficiency and effectiveness for use. Furthermore, the use of Modelica enables early holistic simulation of cyber-physical systems including feedback controllers and message-based coordination. We illustrate the library with examples from an autonomous railway vehicle and present an early evaluation.

show abstract

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

Cited by 13 publications

References 31 publications

Evolution of software in automated production systems: Challenges and research directions

Evolution of software in automated production systems: Challenges and research directions

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

A Modelica Coordination Pattern Library for Cyber-Physical Systems

Contact Info

Product

Resources

About