Skip to Main content Skip to Navigation
Conference papers

Real-Time Coordination Patterns for Advanced Mechatronic Systems

Abstract : Innovation in today’s mechanical systems is often only possible due to the embedded software. Particularly, the software connects previously isolated systems resulting in, so-called, advanced mechatronic systems. Mechatronic systems are often employed in a safety-critical context, where hazards that are caused by faults in the software have to be prevented. Preferably, this is achieved by already avoiding these faults during development. A major source of faults is the complex coordination between the connected mechatronic systems. In this paper, we present Real-Time Coordination Patterns for advanced mechatronic systems. These patterns formalize proven communication protocols for the coordination between mechatronic systems as reusable entities. Furthermore, our approach exploits the patterns in the decomposition of the system to enable a scalable formal verification for the detection of faults. We illustrate the patterns with examples from different case studies.
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download
Contributor : Hal Ifip <>
Submitted on : Wednesday, May 31, 2017 - 10:00:02 AM
Last modification on : Thursday, July 26, 2018 - 3:20:10 PM
Long-term archiving on: : Wednesday, September 6, 2017 - 2:43:47 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Stefan Dziwok, Christian Heinzemann, Matthias Tichy. Real-Time Coordination Patterns for Advanced Mechatronic Systems. 14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.166-180, ⟨10.1007/978-3-642-30829-1_12⟩. ⟨hal-01529598⟩



Record views


Files downloads