December 2016 • White Paper
Björn Anderson, Sagar Chaki, Dionisio de Niz, Jeffrey Hansen, Scott Hissam, John J. Hudak, Mark H. Klein, David Kyle, Gabriel Moreno
Cyber-physical systems (CPS) integrate computational algorithms and physical components. SEI promotes efficient development of high-confidence, distributed CPS.
Software Engineering Institute
Cyber-physical systems (CPS) are “engineered systems that are built from, and depend upon, the seam-less integration of computational algorithms and physical components” (NSF). Our objective is to ena-ble efficient development of high-confidence distributed CPSs whose nodes operate in a provably cor-rect manner in terms of functionality and timing (synchronicity between physical and software components), leading to predictable and reliable behavior of the entire system. To this end, we develop scalable algorithms for functional analysis of real-time software, techniques for controlling and analyz-ing the effects of multicore memory access on CPS real-time behavior, and techniques for assuring coordination strategies. We also target both deterministic and stochastic CPSs.