Departmental Papers (CIS)

Date of this Version

10-2014

Document Type

Conference Paper

Comments

First Workshop on Cyber-Physical System Architectures and Design Methodologies (CPSArch 2014) October 17, 2014, New Delhi, India.

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)

Share

COinS
 

Date Posted: 12 January 2015

This document has been peer reviewed.