Formal Specification and Automatic Verification
Normal Price: $180.00
Your Price: $162.00 AUD, inc. GST
Shipping: $7.95 per order
You Save: $18.00! (10% off normal price)
Plus...earn $8.10 in Boomerang Bucks
Availability: Available to Backorder, No Due Date for Supply
Real-time Systems by Ernst-Rudiger Olderog
Book DescriptionReal-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.
Buy Real-time Systems book by Ernst-Rudiger Olderog from Australia's Online Bookstore, Boomerang Books.
Book DetailsISBN: 9780521883337
(247mm x 174mm x 19mm)
Imprint: Cambridge University Press
Publisher: Cambridge University Press
Publish Date: 11-Sep-2008
Country of Publication: United Kingdom
Books By Author Ernst-Rudiger Olderog
Nets, Terms and Formulas, Paperback (August 2005)» View all books by Ernst-Rudiger Olderog
The author presents a theory whereby nets, terms and formulas represent concurrent processes at three levels of abstraction.
» Have you read this book? We'd like to know what you think about it - write a review about Real-time Systems book by Ernst-Rudiger Olderog and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a member - it's free to sign up!)
Author Biography - Ernst-Rudiger Olderog
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.
Bestselling Books: Our Current Bestsellers | Australia's Hottest 1000 Books | Bestselling Fiction | Bestselling Crime Mysteries and Thrillers | Bestselling Non Fiction Books | Bestselling Sport Books | Bestselling Gardening and Handicrafts Books | Bestselling Biographies | Bestselling Food and Drink | Bestselling History | Bestselling Travel Books | Bestselling School Textbooks & Study Guides | Bestselling Children's General Non-Fiction | Bestselling Young Adult Fiction | Bestselling Children's Fiction | Bestselling Picture Books | Top 100 US Bestsellers
Phone: 1300 36 33 32 (9am-5pm Mon-Fri AEST) - International: +61 2 9960 7998 - Online Form
Address: Boomerang Books, 878 Military Road, Mosman Junction, NSW, 2088
© 2003-2016. All Rights Reserved. Eclipse Commerce Pty Ltd - ACN: 122 110 687 - ABN: 49 122 110 687
For every $20 you spend on books, you will receive $1 in Boomerang Bucks loyalty dollars. You can use your Boomerang Bucks as a credit towards a future purchase from Boomerang Books. Note that you must be a Member (free to sign up) and that conditions do apply.