Real-Time coordination patterns for advanced mechatronic systems

  • Authors:

  • Stefan Dziwok;Christian Heinzemann;Matthias Tichy

  • Affiliations:

  • Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn, Germany;Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn, Germany;Software Engineering Division, Department of Computer Science and Engineering, Chalmers University of Technology and University of Gothenburg, Sweden

  • Venue:
  • COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

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.