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.
FREE Two-Day Shipping for students on millions of items. Learn more |
Book Description
Special Offers and Product Promotions
- Buy $50 in qualifying physical textbooks, get $5 in Amazon MP3 Credit. Here's how (restrictions apply)
Editorial Reviews
Book Description
An airbag in a car has to unfold within 300 milliseconds in a crash. Many embedded safety-critical applications like this, rely on real-time software specification techniques. This graduate textbook introduces three of these methods: duration calculus, timed automata, and PLC-automata.
About the Author
E.-R. Olderog is Professor of Computer Science at the University of Oldenburg, Germany. In 1994 he was awarded the Leibniz Prize of the German Research Council (DFG).
H. Dierks is a researcher currently working with OFFIS, a technology transfer institute for computer science in Oldenburg, Germany.
H. Dierks is a researcher currently working with OFFIS, a technology transfer institute for computer science in Oldenburg, Germany.
Product Details
Would you like to update product info or give feedback on images?
|
More About the Author
Discover books, learn about writers, read author blogs, and more.
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
Key Phrases - Statistically Improbable Phrases (SIPs):
(learn more)
duration calculus, constraint diagrams, shape calculus, timed computation tree logic, provably correct systems, pure timed automata, autom ata, following constraint diagram, generalised railroad crossing, test automaton, gas burner controller, test automata, extended timed automaton, unbounded stability, heat request, urgent channels, unbounded stabilities, extended timed automata, purge phase, occupancy intervals, timed automata semantics, counterexample formula, observable track, upper time bound, sen antics Key Phrases - Capitalized Phrases (CAPs): (learn more)
Zhou Chaochen, Exercises Exercise, Time Fig, Programmable Logic Controllers, Structured Text Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Surprise Me!
duration calculus, constraint diagrams, shape calculus, timed computation tree logic, provably correct systems, pure timed automata, autom ata, following constraint diagram, generalised railroad crossing, test automaton, gas burner controller, test automata, extended timed automaton, unbounded stability, heat request, urgent channels, unbounded stabilities, extended timed automata, purge phase, occupancy intervals, timed automata semantics, counterexample formula, observable track, upper time bound, sen antics Key Phrases - Capitalized Phrases (CAPs): (learn more)
Zhou Chaochen, Exercises Exercise, Time Fig, Programmable Logic Controllers, Structured Text Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Surprise Me!
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
