Real-time Systems: Specification, Verification, and Analysis
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.
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
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
Real-time Systems and Programming Languages: Ada 95, Real-time Java, and ...
Alan Burns,Andrew J. Wellings
No preview available - 2001
All Book Search results »