Showing 1 - 10 of 178 results for the Cyber Physical Systems
This book addresses Cyber-Physical Systems (CPS) challenges and innovations, it describes the foundations that underlie CPS, and offers guiding principles for all levels.
Cyber-physical systems (CPS) integrate computational algorithms and physical components. SEI promotes efficient development of high-confidence, distributed CPS.
This presentation describes innovations in the temporal protection of components that perform computations throughout multiple processors and have end-to-end timing requirements.
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.
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.
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 for a research project on saftey-critical system security policy enforcement
In this podcast, Eileen Wrubel, technical lead for the SEI’s Agile-in-Government program leads a roundtable discussion into how Agile, DevOps, and the Risk Management Framework can work together.
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.
In this paper, the authors we discuss three elements that are key to safety analysis automation in the context of fault tree analysis (FTA).