Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication
Abstract
We present a synthesis method for communication protocols for active safety applications that satisfy certain formal specifications on quality of service requirements. The protocols are developed to provide reliable communication services for automobile active safety applications. The synthesis method transforms a specification into a distributed implementation of senders and receivers that together satisfy the quality of service requirements by transmitting messages over an unreliable medium. We develop a specification language and an execution model for the implementations, and demonstrate the viability of our method by developing a protocol for a traffic scenario in which a car runs a red light at a busy intersection.
Additional Information
Technical report for the paper with the same title prepared for submission to ICCPS'13, April 8-11, 2013, Philadelphia, PA, USA. This work is supported partly by the Studienstiftung des deutschen Volkes, the Boeing Corporation and the AFOSR award number FA9550-12-1-0302. The authors would like to extend thanks to Rohit Pandita and Vladimeros Vladimerou from Toyota as well as Scott Livingston, Pavithra Prabhakar and Eric Wolff at the California Institute of Technology for fruitful discussions.Attached Files
Submitted - 1210.2035.pdf
Files
| Name | Size | Download all |
|---|---|---|
|
md5:746463592f92c6572d268354c0417319
|
335.5 kB | Preview Download |
Additional details
- Eprint ID
- 94627
- Resolver ID
- CaltechAUTHORS:20190410-120612586
- Studienstiftung des deutschen Volkes
- Boeing Corporation
- FA9550-12-1-0302
- Air Force Office of Scientific Research (AFOSR)
- Created
-
2019-04-11Created from EPrint's datestamp field
- Updated
-
2023-06-02Created from EPrint's last_modified field