Advances in Real-Time Systems
This text provides structured coverage of important areas involved in the design and development of real-time systems. It explores key issues and approaches and addresses essential requirements in designing and developing a large, next-generation real-time system. It is designed for students on postgraduate courses in real-time systems and real-time computing.
- Hardback | 560 pages
- 185.42 x 246.38 x 25.4mm | 929.86g
- 01 Jan 1995
- Pearson Education Limited
- Harlow, United Kingdom
Table of contents
Part 1 Real-time operating systems: software overview of HARTS - a distributed real-time system; a reflective architecture for real-time operating systems; CHAOS - real-time objects and atomicity for multiprocessors; design and implementation of maruti-II. Part 2 Real-time communication: a new admission control method for real-time communication; real-time performance of two token ring protocols; a systematic approach to designing distributed real-time systems. Part 3 Scheduling and resource management: scheduling periodic and aperiodic tasks using slack stealing; efficient methods of validating timing constraints; preemptive priority based scheduling; an optimal priority inheritance policy. Part 4 Formal methods: the algebra of communicating shared methods and it toolkit; simulation techniques for proving properties of real-time systems. Part 5 Programming language and tools: issues on real-time systems programming; compiler support for real-time programmes; reasoning about time in higher-level language software. Part 6 Fault-tolerance and architecture: run-time monitoring of real-time systems. Part 7 Real-time databases: an overview of real-time database systems; real-time databases - issues and applications; predictability and consistency in real-time database systems.