Items related to Realtime Systems (Prentice-hall International Series...

Realtime Systems (Prentice-hall International Series in Computer Science)

Nissanke, Nimal

 
9780136512745: Realtime Systems (Prentice-hall International Series in Computer Science)

Synopsis

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.

"synopsis" may belong to another edition of this title.

From the Back Cover

This book provides a comprehensive introduction to the entire field of real-time computing, which is becoming increasingly indispensable as organizations demand software and applications that must work virtually all the time.This book covers all the disciplines needed to understand real-time systems. These include clocks, specification, design and modeling of real-time systems, as well as many topics that have both real-time and other applications. There is comprehensive coverage of scheduling, including uniprocessor and multiprocessor scheduling, and dynamic scheduling. Petri nets and timed Petri nets are introduced. The book also covers fault tolerance and software partitioning.All computing professionals and others interested in the technical foundations of ultra-reliable real-time systems.

"About this title" may belong to another edition of this title.