Title :
Formal specification and verification of communication protocols for degraded modes of operation of IVHS
Author :
Singh, Ekta ; Varaiya, Pravin
Author_Institution :
Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA
Abstract :
The formal specification and verification of intervehicle communication protocols for degraded modes of operation on the automated highway system (AHS) is presented. The protocols are designed to stop a “faulty” automated vehicle or to take it out of the highway. Logical correctness of the protocols is checked using automatic verification tools
Keywords :
automated highways; data communication; formal specification; formal verification; protocols; safety systems; automated highway system; communication protocols; degraded modes; formal specification; formal verification; intervehicle communication; safety; Automated highways; Degradation; Delta modulation; Formal specifications; Intelligent vehicles; Protocols; Road safety; Road transportation; Road vehicles; Vehicle safety;
Conference_Titel :
Intelligent Control, 1995., Proceedings of the 1995 IEEE International Symposium on
Conference_Location :
Monterey, CA
Print_ISBN :
0-7803-2722-5
DOI :
10.1109/ISIC.1995.525107
