000 02343nam a22003378i 4500
001 CR9780511619953
003 UkCbUP
005 20200124160249.0
006 m|||||o||d||||||||
007 cr||||||||||||
008 090916s2008||||enk o ||1 0|eng|d
020 _a9780511619953 (ebook)
020 _z9780521883337 (hardback)
040 _aUkCbUP
_beng
_erda
_cUkCbUP
050 0 0 _aQA76.54
_b.O43 2008
082 0 4 _a004.33
_222
100 1 _aOlderog, E.-R,
_eauthor.
245 1 0 _aReal-time systems :
_bformal specification and automatic verification /
_cErnst-Rüdiger Olderog and Henning Dierks.
264 1 _aCambridge :
_bCambridge University Press,
_c2008.
300 _a1 online resource (xvi, 320 pages) :
_bdigital, PDF file(s).
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
500 _aTitle from publisher's bibliographic system (viewed on 05 Oct 2015).
505 0 _aIntroduction -- Duration calculus -- Properties and subsets of DC -- Timed automata -- PLC-automata -- Automatic verification.
520 _aReal-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.
650 0 _aReal-time data processing.
700 1 _aDierks, Henning,
_eauthor.
776 0 8 _iPrint version:
_z9780521883337
856 4 0 _uhttps://doi.org/10.1017/CBO9780511619953
999 _c519267
_d519265