id: 06069583
dt: a
an: 06069583
au: Dziwok, Stefan; Heinzemann, Christian; Tichy, Matthias
ti: Real-time coordination patterns for advanced mechatronic systems.
so: Sirjani, Marjan (ed.), Coordination models and languages. 14th
    international conference, COORDINATION 2012, Stockholm, Sweden, June
    14‒15, 2012. Proceedings. Berlin: Springer (ISBN
    978-3-642-30828-4/pbk). Lecture Notes in Computer Science 7274, 166-180
    (2012).
py: 2012
pu: Berlin: Springer
la: EN
cc: 
ut: advanced mechatronic systems; patterns; coordination; communication;
    real-time; MechatronicUML
ci: 
li: doi:10.1007/978-3-642-30829-1_12
ab: Summary: 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.
rv: