## Real-Time Systems: Scheduling, Analysis, and VerificationThe first book to provide a comprehensive overview of the subject rather than a collection of papers. * The author is a recognized authority in the field as well as an outstanding teacher lauded for his ability to convey these concepts clearly to many different audiences. * A handy reference for practitioners in the field. |

### What people are saying - Write a review

#### Review: Real-Time Systems: Scheduling, Analysis, and Verification

User Review - GoodreadsThis was for a real time systems graduate class Read full review

#### Review: Real-Time Systems: Scheduling, Analysis, and Verification

User Review - Scott - GoodreadsThis was for a real time systems graduate class Read full review

### Contents

1 | |

10 | |

3 REALTIME SCHEDULING AND SCHEDULABILITY ANALYSIS | 41 |

4 MODEL CHECKING OF FINITESTATE SYSTEMS | 86 |

5 VISUAL FORMALISM STATECHARTS AND STATEMATE | 134 |

6 REALTIME LOGIC GRAPHTHEORETIC ANALYSIS AND MODECHART | 148 |

7 VERIFICATION USING TIMED AUTOMATA | 187 |

8 TIMED PETRI NETS | 212 |

### Common terms and phrases

ACSR actions algorithm analyze assigned automata automaton BDDs behavior bisimulation Boolean checking Cheng clause clock computation condition element constraints corresponding cycle deadline denote described determine edge enabling condition EQL program EQL(B equivalent Estella example execution exists expert system false first-order logic fixed point function GPIp implementation initial input integer labeled language matching WMEs maximal number Modechart model checker modify mutually exclusive node number of rule operator OPS5 program optimization periodic tasks Petri nets predicate logic process algebra propositional logic reach a fixed reachable real-time systems response-time Rete network rule firings rule-based program rule-based systems safety assertion satisfy semantic semantic tree sensor sequence set of rules special form specification sporadic tasks state-space graph Statecharts subrule subset symbol task set techniques temporal logic termination tokens transition relation transition table true upper bound values variables verification vertex WMEs writeln(stdout

### Popular passages

Page 11 - A literal is an atomic formula or the negation of an atomic formula, and we refer to these as being positive or negative, respectively.

Page 472 - The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software," IEEE Transactions on Software Engineering, Vol.

Page 501 - W. Zhao, K. Ramamritham, and J. Stankovic, "Scheduling Tasks with Resource Requirements in Hard Real-Time Systems," IEEE Transactions on Software Engineering, May 1987.

Page 493 - CY Park and AC Shaw, Experiments with a Program Timing Tool Based on Source-Level Timing Schema, IEEE Computer, May 1991, 48-56.

Page 19 - ML are defined recursively as follows: 1. An atom is a formula. 2. If G is a formula, then so are ~G and G*.