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 metadatas

Cited literature [18 references]  Display  Hide  Download

https://hal.inria.fr/hal-01529598
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

File

978-3-642-30829-1_12_Chapter.p...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

83

Files downloads

133