Advances in Real-Time Systems

Advances in Real-Time Systems

Edited by 

List price: US$64.99

Currently unavailable

Add to wishlist

AbeBooks may have this title (opens in new window).

Try AbeBooks

Description

This text provides structured coverage of important areas involved in the design and development of real-time systems. It explores key issues and approaches and addresses essential requirements in designing and developing a large, next-generation real-time system. It is designed for students on postgraduate courses in real-time systems and real-time computing.show more

Product details

  • Hardback | 560 pages
  • 185.42 x 246.38 x 25.4mm | 929.86g
  • Pearson Education Limited
  • Prentice-Hall
  • Harlow, United Kingdom
  • English
  • 0130833487
  • 9780130833488

Table of contents

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.show more