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.