Real time systems and software

This text is concerned with the specification, design, and implementation of real-time systems, emphasising 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. l Informal and formal specification methods for requirements and designs, including tables, data flow diagrams, real-time logic, and state machines l Covers principal software architectures, from cyclic executive, to object-oriented, to standard process-based l Predicting program execution times l Comprehensive project on air traffic control

Introduction: The World of Real-Time Systems, Software Architectures, Requirements and Design Specifications, Systems of State Machines, Declarative Specifications, Deterministic Scheduling, Execution Time Prediction, Keeping Time on Computers, Programming Languages, Operating Systems, Appendix: Air Traffic Control SystemProject Specifications, Purpose, The Environment, Inputs and Outputs, Software Functions and Data, with Timing Constraints, Project Requirements.