Real-Time Systems and Software

This text is concerned with the specification, design, and implementation of real-time systems, emphasizing software. It takes a balanced approach between theory and practice. Major topics covered are software architectures, informal and formal specification methods, deterministic scheduling, execution time prediction, computer clocks and time services, real-time programming languages, and operating systems. An appendix contains a comprehensive project on air traffic control for additional practical experience.