Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Timed Automata Lecture #15 of Advanced Model Checking
 

Summary: Timed Automata
Lecture #15 of Advanced Model Checking
Joost-Pieter Katoen
Lehrstuhl 2: Software Modeling & Verification
E-mail: katoen@cs.rwth-aachen.de
11.1.11
c JPK
Advanced model checking
Time-critical systems
· Timing issues are of crucial importance for many systems, e.g.,
­ landing gear controller of an airplane, railway crossing, robot controllers
­ steel production controllers, communication protocols . . . . . .
· In time-critical systems correctness depends on:
­ not only on the logical result of the computation, but
­ also on the time at which the results are produced
· How to model timing issues:
­ discrete-time or continuous-time?
c JPK 1
Advanced model checking
A discrete time domain

  

Source: Ábrahám, Erika - Fachgruppe Informatik, Rheinisch Westfälische Technische Hochschule Aachen (RWTH)

 

Collections: Computer Technologies and Information Sciences