Skip to main content Accessibility help
×
Hostname: page-component-78c5997874-8bhkd Total loading time: 0 Render date: 2024-11-08T14:29:51.307Z Has data issue: false hasContentIssue false

Preface

Published online by Cambridge University Press:  06 January 2010

Ernst-Rüdiger Olderog
Affiliation:
Carl V. Ossietzky Universität Oldenburg, Germany
Henning Dierks
Affiliation:
OFFIS, Research Institute, Oldenburg
Get access

Summary

Computers are used more and more to provide high-quality and reliable products and services, and to control and optimise production processes. Such computers are often embedded into the products and thus hidden to the human user. Examples are computer-controlled washing machines or gas burners, electronic control units in cars needed for operating airbags and braking systems, signalling systems for high-speed trains, or robots and automatic transport vehicles in industrial production lines.

In these systems the computer continuously interacts with a physical environment or plant. Such systems are thus called reactive systems. Moreover, common to all these applications is that the computer reactions should obey certain timing constraints. For example, an airbag has to unfold within milliseconds, not too early and not too late. Reactive systems with such constraints are called real-time systems. They often appear in safety-critical applications where a malfunction of the controller will cause damage and risk the lives of people. This is immediately clear for all applications in the transport sector where computers control cars, trains and planes.

Therefore the design of real-time systems requires a high degree of precision. Here formal methods based on mathematical models of the system under design are helpful. They allow the designer to specify the system at different levels of abstraction and to formally verify the consistency of these specifications before implementing them. In recent years significant advances have been made in the maturity of formal methods that can be applied to real-time systems.

Structure of this book

In this advanced textbook we shall present three such formal approaches:

  • Duration Calculus (DC for short), a logic and calculus for specifying highlevel requirements of real-time systems;

  • […]

Type
Chapter
Information
Real-Time Systems
Formal Specification and Automatic Verification
, pp. vii - xi
Publisher: Cambridge University Press
Print publication year: 2008

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Save book to Kindle

To save this book to your Kindle, first ensure [email protected] is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

  • Preface
  • Ernst-Rüdiger Olderog, Carl V. Ossietzky Universität Oldenburg, Germany, Henning Dierks
  • Book: Real-Time Systems
  • Online publication: 06 January 2010
  • Chapter DOI: https://doi.org/10.1017/CBO9780511619953.001
Available formats
×

Save book to Dropbox

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Dropbox.

  • Preface
  • Ernst-Rüdiger Olderog, Carl V. Ossietzky Universität Oldenburg, Germany, Henning Dierks
  • Book: Real-Time Systems
  • Online publication: 06 January 2010
  • Chapter DOI: https://doi.org/10.1017/CBO9780511619953.001
Available formats
×

Save book to Google Drive

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Google Drive.

  • Preface
  • Ernst-Rüdiger Olderog, Carl V. Ossietzky Universität Oldenburg, Germany, Henning Dierks
  • Book: Real-Time Systems
  • Online publication: 06 January 2010
  • Chapter DOI: https://doi.org/10.1017/CBO9780511619953.001
Available formats
×