| |
-
book
 Real-Time Systems: Formal Specification and Automatic Verification
Real-time systems need to react to certain input stimuli within given time bounds.
For example, an airbag in a car has to unfold within 300 milliseconds in a crash.
There are many embedded safety-critical applications and each requires real-time specification techniques.
This text introduces three of these techniques, based on logic and automata: duration calculus, timed automata, and PLC-automata.
The techniques are brought together to form...
preview:
http://www.amazon.com
8/24/2008
Tags: books
 |
