Title
CONVINCE: a cross-layer modeling, exploration and validation framework for next-generation connected vehicles.
Abstract
Next-generation autonomous and semi-autonomous vehicles will not only precept the environment with their own sensors, but also communicate with other vehicles and surrounding infrastructures for vehicle safety and transportation efficiency. The design, analysis and validation of various vehicle-to-vehicle (V2V) and vehicle-to-infrastructure (V2I) applications involve multiple layers, from V2V/V2I communication networks down to software and hardware of individual vehicles, and concern with stringent requirements on multiple metrics such as timing, security, reliability and fault tolerance. To cope with these challenges, we have been developing CONVINCE, a cross-layer modeling, exploration and validation framework for connected vehicles. The framework includes mathematical models, synthesis and validation algorithms, and a heterogeneous simulator for inter-vehicle communications and intra-vehicle software and hardware in a holistic environment. It explores various design options with respect to constraints and objectives on system safety, security, reliability, cost, etc. A V2V application is used in the case study to demonstrate the effectiveness of the proposed framework.
Year
DOI
Venue
2016
10.1145/2966986.2980078
ICCAD
Keywords
Field
DocType
cross-layer modeling exploration and validation framework,next-generation connected vehicle,CONVINCE framework,next-generation autonomous vehicles,next-generation semiautonomous vehicles,vehicle-to-vehicle applications,vehicle-to-infrastructure applications,V2I communication network,holistic environment,V2V communication network
Cross layer,Telecommunications network,System safety,Systems engineering,Computer science,Fault tolerance,Software,Mathematical model,Vehicle safety,Precept
Conference
ISSN
ISBN
Citations 
1933-7760
978-1-5090-3421-5
3
PageRank 
References 
Authors
0.42
29
5
Name
Order
Citations
PageRank
Bowen Zheng1534.99
Chung-Wei Lin24311.64
Huafeng Yu3112.59
Hengyi Liang4114.35
Qi Zhu572760.59