## Real-time Systems: Specification, Verification, and AnalysisThis 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. |

### What people are saying - Write a review

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

### Contents

Time and Realtime | 1 |

Fixed Priority Scheduling A Simple Model | 15 |

Advanced Fixed Priority Scheduling | 32 |

Copyright | |

7 other sections not shown

### Common terms and phrases

analysis assignment assume assumption asynchronous axioms basic behaviour boolean C.A.R. Hoare calculation channel Chapter chop operator communication components computation condition considered constraints context switch deadline defined delay denote duration calculus duration formula dynamic equation example execution Exercise failure hypothesis fault-tolerance feasibility checking Figure finite first-order logic formal function guarantee H2OFlag Hence Hoare logic HSWL implementation input interval interval temporal logic invocation Lemma LSWL MContr methane level Next_Start non-negative observable occur outflow parallel composition perform periodic task possible pre-empted probabilistic probabilistic automata processor proof system properties prove pump controller read(mOK real numbers real-time systems rec(c rec(wch recursive release requirements resource SafePump scheduling algorithm semantics send(c sensor specification sporadic task statement Tcomm temporal logic termination Theorem tion transaction units variable verification wait waitrec(c watchdog timer water level water.high water.low wl(t worst-case worst-case execution WSens