DocumentCode :
2673663
Title :
Model checking embedded and real time systems
Author :
Larsen, Kim G.
Author_Institution :
Aalborg Univ., Aalborg
fYear :
2008
fDate :
28-30 May 2008
Firstpage :
260
Lastpage :
260
Abstract :
Given that the 2007 Turing Award was recently given to Ed Clarke, Alan Emerson and Joseph Sifakis for their ground-breaking work on model checking the talk will present two model checking tools, UPPAAL and visualSTATE. The ldquosecretsrdquo behind their success will be revealed, UPPAAL being the most efficient tool for verifying timed systems, and visualSTATE allowing for verification of 10500 states using a patented method we have developed. Also, current research on applying and specializing UPPAAL to controller synthesis will be addressed.
Keywords :
control system synthesis; embedded systems; real-time systems; 2007 Turing Award; UPPAAL; controller synthesis; embedded systems; model checking tools; real time systems; visualSTATE; Control system synthesis; Discrete event systems; Real time systems;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Discrete Event Systems, 2008. WODES 2008. 9th International Workshop on
Conference_Location :
Goteborg
Print_ISBN :
978-1-4244-2592-1
Electronic_ISBN :
978-1-4244-2593-8
Type :
conf
DOI :
10.1109/WODES.2008.4605955
Filename :
4605955
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2673663
بازگشت