Custom cover image
Custom cover image

Real-Time Systems : formal specification and automatic verification / Ernst-Rüdiger Olderog and Henning Dierks

By: Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Publisher: Cambridge : Cambridge University Press, 2008Description: 1 Online-Ressourc4061 digital, PDF file(s)ISBN:
  • 9780511619953
Subject(s): Additional physical formats: 9780521883337. | Erscheint auch als: Real-time systems: formal specification and automatic verification. Druck-Ausgabe Cambridge [u.a.] : Cambridge University Press, 2008. XVI, 320 S. | Erscheint auch als: 9780521883337 Druck-AusgabeDDC classification:
  • 004.33
MSC: MSC: *68Q60 | 68Q45 | 68-02RVK: RVK: ST 234Local classification: Lokale Notation: inf 3.19LOC classification:
  • QA76.54
DOI: DOI: 10.1017/CBO9780511619953Online resources: Summary: 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.PPN: PPN: 883399245Package identifier: Produktsigel: ZDB-20-CTM | ZDB-20-CBO
No physical items for this record
KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT