Synopsis
Explains real-time specification techniques (duration calculus, timed automata, and PLC-automata) needed for embedded safety-critical applications.
"synopsis" may belong to another edition of this title.
About the Authors
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.
"About this title" may belong to another edition of this title.
Search results for Real-Time Systems: Formal Specification and Automatic...
Stock Image
Real-Time Systems: Formal Specification and Automatic Verification
Published by
Cambridge University Press, 2008
ISBN 10: 0521883334
ISBN 13: 9780521883337
Used
Hardcover
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Hardcover. Condition: Bon. Ancien livre de bibliothèque avec équipements. Edition 2008. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 2008. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # H-434-343
Stock Image
Real-Time Systems
Published by
Cambridge University Press CUP, 2008
ISBN 10: 0521883334
ISBN 13: 9780521883337
New
Hardcover
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. xvi + 320. Seller Inventory # 26531931
Stock Image
Real-Time Systems
Published by
Cambridge University Press, 2008
ISBN 10: 0521883334
ISBN 13: 9780521883337
New
Hardcover
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. pp. xvi + 320 Illus. Seller Inventory # 8364548
Buy New
£ 42.57
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Real-Time Systems
Published by
Cambridge University Press, 2008
ISBN 10: 0521883334
ISBN 13: 9780521883337
New
Hardcover
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. pp. xvi + 320. Seller Inventory # 18531921
Stock Image
REAL-TIME SYSTEMS: FORMAL SPECIFICATION AND AUTOMATIC VERIFICATION
Published by
Cambridge University Press, 2008
ISBN 10: 0521883334
ISBN 13: 9780521883337
New
Hardcover
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT25-103730
Stock Image
Real-Time Systems: Formal Specification And Automatic Verification
Published by
Cambridge University Press, 2008
ISBN 10: 0521883334
ISBN 13: 9780521883337
New
Hardcover
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABBB-175285
Stock Image
Real-Time Systems: Formal Specification and Automatic Verification
Published by
Cambridge University Press, 2008
ISBN 10: 0521883334
ISBN 13: 9780521883337
New
Hardcover
Seller: The Book Spot, Sioux Falls, MN, U.S.A.
Seller rating 4 out of 5 stars
Hardcover. Condition: New. Seller Inventory # Abebooks143631
Stock Image
Real-Time Systems: Formal Specification and Automatic Verification
Published by
Cambridge University Press, 2008
ISBN 10: 0521883334
ISBN 13: 9780521883337
New
Hardcover
Seller: California Books, Miami, FL, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # I-9780521883337
Stock Image
Real-Time Systems: Formal Specification and Automatic Verification
Published by
Cambridge University Press, 2008
ISBN 10: 0521883334
ISBN 13: 9780521883337
New
Hardcover
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780521883337_new
Buy New
£ 89.05
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Real-Time Systems (Hardcover)
Published by
Cambridge University Press, Cambridge, 2008
ISBN 10: 0521883334
ISBN 13: 9780521883337
New
Hardcover
First Edition
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Hardcover. 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. 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. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9780521883337