Date of this Version
Oleg Sokolsky, Miroslav Pajic, Nicola Bezzo, and Insup Lee, "Architecture-Centric Software Development for Cyber-Physical Systems", Proceedings of the First Workshop on Cyber-Physical System Architectures and Design Methodologies (CPSArch 2014) . October 2014.
We discuss the problem of high-assurance development of cyber-physical systems. Specifically, we concentrate on the interaction between the development of the control system layer and platform-specific software engineering for system components. We argue that an architecture-centric approach allows us to streamline the development and increase the level of assurance for the resulting system. The case study of an unmanned ground vehicle illustrates the approach.
CPS Embedded Control
Proceedings of the First Workshop on Cyber-Physical System Architectures and Design Methodologies (CPSArch 2014)
Date Posted: 12 January 2015
This document has been peer reviewed.