|
|
|
books
| book details |
Real-Time Systems: Formal Specification and Automatic Verification
By (author) Ernst-Rüdiger Olderog, By (author) Henning Dierks
|
|
This book is currently unavailable. Enquire to check if we can source a used copy
|
| 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 | 1 Oct 2008
Language |
Format | Digital download and online
Pages | 0
Dimensions | 0 x 0 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-0-5114-2693-3
Readership Age |
BISAC | computers / networking / general
| other options |
|
|
|
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?
|
|
|
|
|
|
