Sokolsky, OlegPajic, MiroslavBezzo, NicolaLee, Insup2023-05-222023-05-222014-10-012015-01-06https://repository.upenn.edu/handle/20.500.14332/6850We 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 ControlComputer EngineeringComputer SciencesPresentation