Realtime Systems

Realtime Systems provides a comprehensive introduction to the essentials of systems, with a revealing examination of the state-of-art. It promotes an integrated approach with emphasis on both rigour and development of practical skills. It focuses on key issues, ranging from mathematical approaches for capturing requirements to important techniques for resource management scheduling, fault tolerance and clock synchronization. The book presents an overview of formal frameworks for realtime systems based on Petri nets and communicating sequential processes. Throughout the text fundamental concepts, design paradigms, algorithms, and techniques are illustrated with extensive examples drawn from a host of practical applications.