Design and Verification of Communication Protocols for degraded modes of operation of AHS
Datta N. Godbole, John Lygeros, E. Singh, Akash Deshpande, A.E. Lindsey · 2005
We present the design and verification of inter-vehicle communication protocols for degraded modes of operation on Automated Highway System (AHS). We consider various hardware and sensor faults that can develop on the automated vehicle in an AHS and design discrete event supervisory controllers to stop the faulty vehicle or take it out of the highway in a safe manner. The protocols are verified for logical correctness by using automatic formal verification tools.