CONVINCE: A cross-layer modeling, exploration and validation framework for next-generation connected vehicles

Bowen Zheng, Chung Wei Lin, Huafeng Yu, Hengyi Liang, Qi Zhu

Research output: Chapter in Book/Report/Conference proceedingConference contribution

12 Scopus citations

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 languageEnglish (US)
Title of host publication2016 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2016
PublisherInstitute of Electrical and Electronics Engineers Inc.
ISBN (Electronic)9781450344661
DOIs
StatePublished - Nov 7 2016
Event35th IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2016 - Austin, United States
Duration: Nov 7 2016Nov 10 2016

Publication series

NameIEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD
Volume07-10-November-2016
ISSN (Print)1092-3152

Other

Other35th IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2016
CountryUnited States
CityAustin
Period11/7/1611/10/16

ASJC Scopus subject areas

  • Software
  • Computer Science Applications
  • Computer Graphics and Computer-Aided Design

Fingerprint Dive into the research topics of 'CONVINCE: A cross-layer modeling, exploration and validation framework for next-generation connected vehicles'. Together they form a unique fingerprint.

  • Cite this

    Zheng, B., Lin, C. W., Yu, H., Liang, H., & Zhu, Q. (2016). CONVINCE: A cross-layer modeling, exploration and validation framework for next-generation connected vehicles. In 2016 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2016 [2980078] (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD; Vol. 07-10-November-2016). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1145/2966986.2980078