Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

White Paper

Cyber-Physical Systems

  • Abstract

    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.

  • Download