
Departmental Papers (CIS)
Date of this Version
10-2014
Document Type
Conference Paper
Recommended Citation
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.
Abstract
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.
Subject Area
CPS Embedded Control
Publication Source
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.
Comments
First Workshop on Cyber-Physical System Architectures and Design Methodologies (CPSArch 2014) October 17, 2014, New Delhi, India.