Advances in real-time systems

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.