Digital Intelligence & Forensics
Measurement & Analysis
Performance & Dependability
Process & Performance Improvement
Security & Survivability
A physical system controlled by embedded software is a Cyber-Physical System (CPS). CPSs require software to control many individual systems as well as to control the complex coordination of those systems. Examples include integrated avionics systems, interacting medical devices, and distributed power systems in the Smart Grid. The promise of CPSs is that they can dramatically increase the autonomous capabilities of a collection of systems. They also generally allow physically separated devices and vehicles to coordinate in ways not previously possible.The challenge is that traditional tools and techniques that have been used to qualify systems for use by ensuring the timeliness and correctness of software are costly and ineffective when applied to CPSs.
Cyber-physical systems (CPSs) are a natural consequence of the increased connectedness and autonomy of real-time embedded systems. Like real-time embedded systems, CPSs are characterized by a high degree of coupling between computations and physical processes. Because of this coupling, safety and timeliness properties, among others, are critical. However, increased distribution and scale make it much harder to guarantee such properties.
The design and analysis principles that govern smaller scale system behavior are necessary but not sufficient for larger scale systems. The notion of scale is subtle and multifaceted. For more information about issues of scale, see the ultra-large-scale systems area.
The SEI helps organizations to
Spotlight on Cyber-Physical Systems
Presents the Growing Minimum Frequency (GMF) algorithm for voltage and frequency scaling in uniform multiprocessors for real-time systems.
For more information
Please tell us what you
think with this short
(< 5 minute) survey.