A Caltech Library Service

Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication

Wiltsche, Clemens and Topcu, Ufuk and Murray, Richard M. (2012) Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication. . (Unpublished)

[img] PDF - Submitted Version
See Usage Policy.


Use this Persistent URL to link to this item:


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.

Item Type:Report or Paper (Technical Report)
Related URLs:
URLURL TypeDescription Paper
Murray, Richard M.0000-0002-5785-7481
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.
Funding AgencyGrant Number
Studienstiftung des deutschen VolkesUNSPECIFIED
Boeing CorporationUNSPECIFIED
Air Force Office of Scientific Research (AFOSR)FA9550-12-1-0302
Record Number:CaltechAUTHORS:20190410-120612586
Persistent URL:
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:94627
Deposited By: George Porter
Deposited On:11 Apr 2019 17:58
Last Modified:03 Oct 2019 21:05

Repository Staff Only: item control page