Real-Time Coordination Patterns for Advanced Mechatronic Systems - Archive ouverte HAL Access content directly
Conference Papers Year : 2012

Real-Time Coordination Patterns for Advanced Mechatronic Systems

(1) , (1) , (2)
1
2
Stefan Dziwok
  • Function : Author
  • PersonId : 1009070
Christian Heinzemann
  • Function : Author
  • PersonId : 1009071

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.
Fichier principal
Vignette du fichier
978-3-642-30829-1_12_Chapter.pdf (573.97 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01529598 , version 1 (31-05-2017)

Licence

Attribution - CC BY 4.0

Identifiers

Cite

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⟩
64 View
102 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More