Architecture-Centric Software Development for Cyber-Physical Systems
Oleg V. Sokolsky, Miroslav Pajić, Nicola Bezzo, Insup Lee · 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. 1.