Showing 1 - 10 of 144 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 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.
The Software Solutions Symposium is a forum for learning about emerging technologies and practical solutions that you can apply today for help with systemic software issues such as assurance, cost, and schedule. March 20-23, 2017. Arlington, VA
This information sheet describes the work being done to address the challenges of increased connectedness and autonomy of real-time embedded systems.
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.
DMPL is a language for programming distributed real-time, mixed-criticality software. It supports distributed systems in which each node executes a set of periodic real-time threads that are scheduled by priority and criticality.
Describes Mobile Computing--the use of computing technology on the go
This presentation considers the problem of verifying functional correctness of periodic Real-Time Embedded Software (RTES), a popular variant of RTES that execute periodic tasks in an order determined by Rate Monotonic Scheduling (RMS).