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


Publication Date

Showing 1 - 10 of 97 results for Cyber Physical Systems

White Paper | December 2016 - White Paper Cyber-Physical Systems By 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.

Book | January 2017 - Book Cyber-Physical Systems By Ragunathan (Raj) Rajkumar, Dionisio de Niz, Mark H. Klein

This book addresses Cyber-Physical Systems (CPS) challenges and innovations, it describes the foundations that underlie CPS, and offers guiding principles for all levels.

Presentation | October 2018 - Presentation Assuring Non-Deterministic Software-Based Systems

Research Review 2018 presentation on explainable AI and runtime assurance enforcer research

Presentation | March 2017 - Presentation Temporal Partitioning and Verification in Distributed Cyber ... By Dionisio de Niz, Bjorn Andersson

This presentation describes innovations in the temporal protection of components that perform computations throughout multiple processors and have end-to-end timing requirements.

Brochure | March 2014 - Brochure Cyber-Physical and Ultra-Large Scale Systems

This information sheet describes the work being done to address the challenges of increased connectedness and autonomy of real-time embedded systems.

White Paper | August 2018 - White Paper Threat Modeling: A Summary of Available Methods By Nataliya Shevchenko, Timothy A. Chick, Paige O'Riordan, Tom Scanlon, Carol Woody - PhD

This paper discusses twelve threat modeling methods from a variety of sources that target different parts of the development process.

Conference Paper | October 2016 - Conference Paper Modeling, Verifying, and Generating Software for Distributed ... By Sagar Chaki, Dionisio de Niz, Joe Seibel

This paper provides an end-to-end framework where DART systems can be designed, analyzed, and implemented within the same toolchain. In this talk, the authors present this toolchain and demonstrate it on a few representative examples.

Technical Report | December 2015 - Technical Report Extending AADL for Security Design Assurance of Cyber ... By Robert J. Ellison, Allen D. Householder, John J. Hudak, Rick Kazman, Carol Woody

This report demonstrates the viability and limitations of using the Architecture Analysis and Design Language (AADL) through an extended example that allows for specifying and analyzing the security properties of an automotive electronics system.

Podcast | October 2013 - Podcast Architecting Systems of the Future By Eric Werner, Suzanne Miller

In this episode, Eric Werner discusses research that he and several of his colleagues are conducting to help software developers create systems for the many-core central processing units in massively parallel computing environments.

Poster | January 2014 - Poster Designing SCADA Systems for the Self-Verifiability of Their ... By Joseph Giampapa

This poster describes a cyber-physical and agent-based approach to detecting and recovering from a false data injection attack on a power grid supervisory control and data acquisition (SCADA) system.