Real-Time Coordination Patterns for Advanced Mechatronic Systems
Paper i proceeding, 2012

Innovation in today's mechanical systems is often only possible due to the embedded software. Particularly, the software enables the connection of previously isolated systems resulting in, so-called, advanced mechatronic systems. Mechatronic systems are often employed in a safety-critical context. Thus, hazards that are caused by faults in the software have to be prevented. Preferably, this is achieved by already avoiding these faults during development. One 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, the proposed pattern formalism supports the scalable formal verification for fault avoidance by utilizing the protocols that are based on patterns to decompose the system. We illustrate the patterns with examples from different case studies.

Coordination

MechatronicUML

Communication

Patterns

Advanced Mechatronic Systems

Real-Time

Författare

Stefan Dziwok

Universität Paderborn

Christian Heinzemann

Universität Paderborn

Matthias Tichy

Göteborgs universitet

Lecture Notes in Computer Science

0302-9743 (ISSN)

Vol. 7274 166-180

Ämneskategorier

Programvaruteknik

Systemvetenskap

Datavetenskap (datalogi)

DOI

10.1007/978-3-642-30829-1_12

ISBN

978-3-642-30828-4

Mer information

Senast uppdaterat

2018-03-19