DocumentCode
3392672
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
fYear
1995
fDate
27-29 Aug 1995
Firstpage
511
Lastpage
518
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Intelligent Control, 1995., Proceedings of the 1995 IEEE International Symposium on
Conference_Location
Monterey, CA
ISSN
2158-9860
Print_ISBN
0-7803-2722-5
Type
conf
DOI
10.1109/ISIC.1995.525107
Filename
525107
Link To Document