1. Chapter 1: Introduction to Real-Time Systems
Albert M. K. Cheng

2. Correctness of Real-Time Systems
Satisfaction of logical correctness constraints
Satisfaction of timing constraints

3. A Real-Time System A
Sensor
input
Decision,
action X Y D S
State

4. Distinguishing Embedded and Real-Time Systems
Real-time system: meets timing constraints
Embedded system: part of another system
Real-time systems
Embedded systems

5. Specification, analysis, and verification
Structural/Functional
Behavioral - Sequence of events and actions
Given: Specification (SP), Safety Assertion (SA)
Goal: Relate SP to SA
Analysis - 3 cases:
SA is a theorem derivable from SP.
SA is unsatisfiable with respect to SP.
Negation of SA is satisfiable under certain conditions.

6. Analysis Techniques Simulation Testing Verification
Run-time monitoring