Coordination with Structured Composition for Cyber-physical Systems

@inproceedings{Maurer2015CoordinationWS,
  title={Coordination with Structured Composition for Cyber-physical Systems},
  author={Simon Maurer and Raimund Kirner},
  booktitle={PARCO},
  year={2015}
}
Structured programming has become a very successful programming paradigm as it provides locality of a program’s control flow. Similar concepts of locality are desired for the specification and development of concurrent and parallel systems. In the domain of cyber-physical systems or embedded computing it is challenging to identify such structured compositions since control flow tends to be driven by concurrently acting reactive components with often circular dataflow relations. In this paper we… CONTINUE READING