Cyber-Physical Systems
• SEI Report
Publisher
Software Engineering Institute
Abstract
Cyber-physical systems (CPS) are “engineered systems that are built from and depend upon the seamless integration of computational algorithms and physical components” (NSF). Our objective is to enable efficient development of high-confidence distributed CPSs whose nodes operate in a provably correct 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 analyzing 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.
Cite This SEI Report
Andersson, B., Chaki, S., de Niz, D., Hansen, J., Hissam, S., Hudak, J., Klein, M., Kyle, D., & Moreno, G. (2016, December 1). Cyber-Physical Systems. Retrieved September 17, 2026, from https://www.sei.cmu.edu/library/cyber-physical-systems-2/.
@techreport{andersson_2016,
author={Andersson, Bjorn and Chaki, Sagar and de Niz, Dionisio and Hansen, Jeffrey and Hissam, Scott and Hudak, John and Klein, Mark and Kyle, David and Moreno, Gabriel},
title={Cyber-Physical Systems},
month={Dec},
year={2016},
institution={Software Engineering Institute, Carnegie Mellon University},
url={https://www.sei.cmu.edu/library/cyber-physical-systems-2/},
note={Accessed: 2026-Sep-17}
}
Andersson, Bjorn, Sagar Chaki, Dionisio de Niz, Jeffrey Hansen, Scott Hissam, John Hudak, Mark Klein, David Kyle, and Gabriel Moreno. "Cyber-Physical Systems." Software Engineering Institute, Carnegie Mellon University. Software Engineering Institute, December 1, 2016. https://www.sei.cmu.edu/library/cyber-physical-systems-2/.
B. Andersson, S. Chaki, D. de Niz, J. Hansen, S. Hissam, J. Hudak, M. Klein, D. Kyle, and G. Moreno, "Cyber-Physical Systems," Software Engineering Institute, Carnegie Mellon University. Software Engineering Institute, 1-Dec-2016 [Online]. Available: https://www.sei.cmu.edu/library/cyber-physical-systems-2/. [Accessed: 17-Sep-2026].
Andersson, Bjorn, Sagar Chaki, Dionisio de Niz, Jeffrey Hansen, Scott Hissam, John Hudak, Mark Klein, David Kyle, and Gabriel Moreno. "Cyber-Physical Systems." Software Engineering Institute, Carnegie Mellon University, Software Engineering Institute, 1 Dec. 2016. https://www.sei.cmu.edu/library/cyber-physical-systems-2/. Accessed 17 Sep. 2026.
Andersson, Bjorn; Chaki, Sagar; de Niz, Dionisio; Hansen, Jeffrey; Hissam, Scott; Hudak, John; Klein, Mark; Kyle, David; & Moreno, Gabriel. Cyber-Physical Systems. Software Engineering Institute. 2016. https://www.sei.cmu.edu/library/cyber-physical-systems-2/