1-Time and real-time
2-Fixed priority scheduling-A simple model
3-Advanced fixed priority scheduling
4-Dynamic priority scheduling
5-Assertional specification and verification
6-Specification and verification in timed CSP
7-Specification and verification in DC
8-Real-time systems and fault-tolerance
