Syndetics cover image
Image from Syndetics

Realtime systems / Nimal Nissanke.

By: Material type: TextTextSeries: Prentice-Hall international series in computer sciencePublication details: Prentice Hall, 1997.ISBN:
  • 0136512747
Subject(s): DDC classification:
  • 004.33 21
LOC classification:
  • QA76.54
Contents:
1. Introduction -- 2. Clocks -- 3. Clocks and Real Time -- 4. Petri Nets - An Introduction -- 5. Timed Petri Nets -- 6. Environment-Relationship Nets -- 7. An Overview of CSP -- 8. An Overview of Timed CSP -- 9. Software Partitioning -- 10. Task Allocation -- 11. Scheduling -- 12. Uni-processor Scheduling -- 13. Multi-processor Static Scheduling -- 14. Multi-processor Dynamic Scheduling -- 15. Fault Tolerance -- 16. Systems of Clocks -- A. Realtime Scenarios -- B. Selected Proofs -- C. The Basic Mathematical Notation -- D. An Appreciation od Schema Language.
Summary: 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.
Holdings
Item type Home library Call number Status Date due Barcode Item holds
Two Week Loan Two Week Loan College Lane Learning Resources Centre Main Shelves 004.33 NIS (Browse shelf(Opens below)) Available 4403897363
Two Week Loan Two Week Loan College Lane Learning Resources Centre Main Shelves 004.33 NIS (Browse shelf(Opens below)) Available 4404305923
Two Week Loan Two Week Loan College Lane Learning Resources Centre Main Shelves 004.33 NIS (Browse shelf(Opens below)) Available 4404305932
Total holds: 0

Enhanced descriptions from Syndetics:

Includes bibliographical references and index.

1. Introduction -- 2. Clocks -- 3. Clocks and Real Time -- 4. Petri Nets - An Introduction -- 5. Timed Petri Nets -- 6. Environment-Relationship Nets -- 7. An Overview of CSP -- 8. An Overview of Timed CSP -- 9. Software Partitioning -- 10. Task Allocation -- 11. Scheduling -- 12. Uni-processor Scheduling -- 13. Multi-processor Static Scheduling -- 14. Multi-processor Dynamic Scheduling -- 15. Fault Tolerance -- 16. Systems of Clocks -- A. Realtime Scenarios -- B. Selected Proofs -- C. The Basic Mathematical Notation -- D. An Appreciation od Schema Language.

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.