Coordination with Structured Composition for Cyber-physical Systems

Simon Maurer, Raimund Kirner

Research output: Chapter in Book/Report/Conference proceedingConference contribution


Structured programming has become a very successful pro- gramming paradigm as it provides locality of a program’s control flow. Similar concepts of locality are desired for the specification and develop- ment of concurrent and parallel systems. In the domain of cyber-physical systems or embedded computing it is challenging to identify such struc- tured compositions since control flow tends to be driven by concurrently acting reactive components with often circular dataflow relations.
In this paper we discuss foundations for a structured coordination language for cyber-physical systems. We study car platooning as a use case, exhibiting typical challenges of cyber-physical systems. Based on that use case we show a possible structured composition pattern and outline coordination network construction mechanisms.
Original languageEnglish
Title of host publicationInt'l Conference on Parallel Computing (ParCo'15)
PublisherIOS Press
Number of pages10
ISBN (Electronic)978-1-61499-621-7
ISBN (Print)978-1-61499-620-0
Publication statusPublished - 1 Sept 2015


  • cyber-physical systems
  • coordination languages
  • structured programming


Dive into the research topics of 'Coordination with Structured Composition for Cyber-physical Systems'. Together they form a unique fingerprint.

Cite this