|
|
|
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 | 6 Jan 2010
Language |
Format | Digital download and online
Pages | 0
Dimensions | 0 x 0 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-0-5116-1995-3
Readership Age |
BISAC | computers / networking / general
| other options |
|
|
|
To view the items in your trolley please sign in.
| sign in |
|
|
|
| specials |
|
|
Carlo Rovelli
Paperback / softback
224 pages
was: R 295.95
now: R 265.95
|
Originally published in Italian: L'ordine del tempo (Milan: Adelphi Edizioni, 2017).
|
|
Carlo Rovelli
Paperback / softback
208 pages
was: R 295.95
now: R 265.95
|
|
|
|
|
|
