Abstract
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.
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 language | English |
|---|---|
| Title of host publication | Int'l Conference on Parallel Computing (ParCo'15) |
| Publisher | IOS Press |
| Pages | 615-624 |
| Number of pages | 10 |
| ISBN (Electronic) | 978-1-61499-621-7 |
| ISBN (Print) | 978-1-61499-620-0 |
| DOIs | |
| Publication status | Published - 1 Sept 2015 |
Keywords
- cyber-physical systems
- coordination languages
- structured programming