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
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;
Conference_Titel :
Autonomous Decentralized Systems, 2003. ISADS 2003. The Sixth International Symposium on
Print_ISBN :
0-7695-1876-1
DOI :
10.1109/ISADS.2003.1193948
