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.
Original language | English (US) |
---|---|
Title of host publication | 2016 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2016 |
Publisher | Institute of Electrical and Electronics Engineers Inc. |
ISBN (Electronic) | 9781450344661 |
DOIs | |
State | Published - Nov 7 2016 |
Event | 35th IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2016 - Austin, United States Duration: Nov 7 2016 → Nov 10 2016 |
Publication series
Name | IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD |
---|---|
Volume | 07-10-November-2016 |
ISSN (Print) | 1092-3152 |
Other
Other | 35th IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2016 |
---|---|
Country/Territory | United States |
City | Austin |
Period | 11/7/16 → 11/10/16 |
Funding
This work is supported in part by the Office of Naval Research grants N00014-14-1-0815 and N00014-14-1-0816, and the National Science Foundation grant CCF-1553757.
ASJC Scopus subject areas
- Software
- Computer Science Applications
- Computer Graphics and Computer-Aided Design