A rigorous approach to modeling autonomous traffic control systems
Vasu S. Alagar, D. Muthiayen · 2003
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.