Realtime systems / Nimal Nissanke.Material type: TextSeries: Prentice-Hall international series in computer sciencePublication details: Prentice Hall, 1997. ISBN: 0136512747Subject(s): Real-time data processingDDC classification: 004.33 LOC classification: QA76.54
|Item type||Home library||Call number||Status||Date due||Barcode||Item holds|
|Two Week Loan||College Lane Learning Resources Centre Main Shelves||004.33 NIS (Browse shelf(Opens below))||Available||4403897363|
|Two Week Loan||College Lane Learning Resources Centre Main Shelves||004.33 NIS (Browse shelf(Opens below))||Available||4404305923|
|Two Week Loan||College Lane Learning Resources Centre Main Shelves||004.33 NIS (Browse shelf(Opens below))||Available||4404305932|
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.