Real-Time Systems

Cyber-physical systems typically include software that has timing constraints, including tasks that must be executed periodically, deadline constraints, or latency constraints. The classical field of real-time systems, which provides operating-system-level scheduling strategies, plays a central role in this. A key problem that is specific to CPS is that traditional programming models only indirectly specify timing properties (typically by associating priorities with tasks), so a key opportunity is to develop programming models for timed systems, and most interestingly for distributed timed systems.