University of Hertfordshire

By the same authors

Coordination with Structured Composition for Cyber-physical Systems

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

View graph of relations
Original languageEnglish
Title of host publicationInt'l Conference on Parallel Computing (ParCo'15)
PublisherIOS Press
Pages615-624
Number of pages10
ISBN (Electronic)978-1-61499-621-7
ISBN (Print)978-1-61499-620-0
DOIs
StatePublished - 1 Sep 2015

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.

ID: 9429803