Title :
Robustness in real-time systems
Author_Institution :
CNRS, ENS Cachan, Cachan, France
Abstract :
We review several aspects of robustness of real-time systems, and present recent results on the robust verification of timed automata.
Keywords :
automata theory; formal verification; real-time systems; real-time systems; robust verification; robustness; timed automata; Automata; Clocks; Delay; Electron tubes; Robustness; Semantics;
Conference_Titel :
Industrial Embedded Systems (SIES), 2011 6th IEEE International Symposium on
Conference_Location :
Vasteras
Print_ISBN :
978-1-61284-818-1
Electronic_ISBN :
978-1-61284-819-8
DOI :
10.1109/SIES.2011.5953652
