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.
Type de document :
Communication dans un congrès
Marjan Sirjani. 14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. Springer, Lecture Notes in Computer Science, LNCS-7274, pp.166-180, 2012, Coordination Models and Languages. 〈10.1007/978-3-642-30829-1_12〉
Liste complète des métadonnées

Littérature citée [19 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01529598
Contributeur : Hal Ifip <>
Soumis le : mercredi 31 mai 2017 - 10:00:02
Dernière modification le : mercredi 31 mai 2017 - 10:00:58
Document(s) archivé(s) le : mercredi 6 septembre 2017 - 14:43:47

Fichier

978-3-642-30829-1_12_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Stefan Dziwok, Christian Heinzemann, Matthias Tichy. Real-Time Coordination Patterns for Advanced Mechatronic Systems. Marjan Sirjani. 14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. Springer, Lecture Notes in Computer Science, LNCS-7274, pp.166-180, 2012, Coordination Models and Languages. 〈10.1007/978-3-642-30829-1_12〉. 〈hal-01529598〉

Partager

Métriques

Consultations de la notice

16

Téléchargements de fichiers

17