|
|
|
books
| book details |
Real-Time Systems: Formal Specification and Automatic Verification
By (author) Ernst-Rüdiger Olderog, By (author) Henning Dierks
|
| on special |
normal price: R 3 599.95
Price: R 3 419.95
|
| book description |
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 a seamless design flow, from real-time requirements specified in the duration calculus; via designs specified by PLC-automata; and into source code for hardware platforms of embedded systems. The syntax, semantics, and proof methods of the specification techniques are introduced; their most important properties are established; and real-life examples illustrate their use. Detailed case studies and exercises conclude each chapter. Ideal for students of real-time systems or embedded systems, this text will also be of great interest to researchers and professionals in transportation and automation.
| product details |
Normally shipped |
Publisher | Cambridge University Press
Published date | 11 Sep 2008
Language |
Format | Hardback
Pages | 344
Dimensions | 253 x 180 x 19mm (L x W x H)
Weight | 810g
ISBN | 978-0-5218-8333-7
Readership Age |
BISAC | computers / networking / general
| other options |
Normally shipped |
Readership Age |
Normal Price | R 4 031.95
Price | R 3 829.95
| on special |
|
|
|
To view the items in your trolley please sign in.
| sign in |
|
|
|
| specials |
|
|
Mason Coile
Paperback / softback
224 pages
was: R 520.95
now: R 468.95
|
A terrifying locked-room mystery set in a remote outpost on Mars.
|
|
An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?
|
|
|
|
|
