DocumentCode
3382616
Title
A rigorous approach to modeling autonomous traffic control systems
Author
Alagar, V.S. ; Muthiayen, D.
Author_Institution
Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
fYear
2003
fDate
9-11 April 2003
Firstpage
193
Lastpage
200
Abstract
The paper describes an abstract object model for autonomous traffic control systems and proposes a verification approach based on its formal description. Traffic control systems are safety-critical realtime reactive systems, whose correct behavior must be verified before deploying them. Formalism integrated with visual descriptions provide a good approach to meeting the above requirement.
Keywords
automated highways; formal verification; object-oriented methods; real-time systems; road traffic; safety-critical software; traffic control; traffic engineering computing; abstract object model; autonomous traffic control systems; formal description; safety-critical real-time reactive systems; verification approach; visual descriptions; Communication system traffic control; Lighting control; Medical services; Mobile robots; Remotely operated vehicles; Resource management; Road transportation; Traffic control; Vehicle detection; Vehicle safety;
fLanguage
English
Publisher
ieee
Conference_Titel
Autonomous Decentralized Systems, 2003. ISADS 2003. The Sixth International Symposium on
Print_ISBN
0-7695-1876-1
Type
conf
DOI
10.1109/ISADS.2003.1193948
Filename
1193948
Link To Document