Real-time Systems: Specification, Verification, and Analysis

Front Cover
M. Joseph
Prentice Hall, 1996 - Computers - 278 pages
This text provides an account of real-time systems. The presentation makes use of recent research demonstrating the effectiveness and applicability of mathematically-based methods for real-time system design. Each chapter focuses on a particular technique, and examples help reinforce the theory.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.


Time and Realtime
Fixed Priority Scheduling A Simple Model
Advanced Fixed Priority Scheduling

7 other sections not shown

Common terms and phrases

Bibliographic information