CONVINCE: A cross-layer modeling, exploration and validation framework for next-generation connected vehicles
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-v...
Uloženo v:
| Vydáno v: | Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design s. 1 - 8 |
|---|---|
| Hlavní autoři: | , , , , |
| Médium: | Konferenční příspěvek |
| Jazyk: | angličtina |
| Vydáno: |
ACM
01.11.2016
|
| Témata: | |
| ISSN: | 1558-2434 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| 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. |
|---|---|
| AbstractList | 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. |
| Author | Bowen Zheng Huafeng Yu Hengyi Liang Chung-Wei Lin Qi Zhu |
| Author_xml | – sequence: 1 surname: Bowen Zheng fullname: Bowen Zheng organization: Univ. of California, Riverside, Riverside, CA, USA – sequence: 2 surname: Chung-Wei Lin fullname: Chung-Wei Lin organization: Toyota InfoTechnology Center, Mountain View, CA, USA – sequence: 3 surname: Huafeng Yu fullname: Huafeng Yu organization: Boeing Res. & Technol., Huntsville, AL, USA – sequence: 4 surname: Hengyi Liang fullname: Hengyi Liang organization: Univ. of California, Riverside, Riverside, CA, USA – sequence: 5 surname: Qi Zhu fullname: Qi Zhu organization: Univ. of California, Riverside, Riverside, CA, USA |
| BookMark | eNotjMtOwzAURA0CibawZsHGH0CK7Th-sKuiApWqdgNsqxv7pgQSu3IiaP-eSu1qNEdzZkyuQgxIyD1nU85l8SSsUtaoqbCGMW0uyPhIWS6lUuqSjHhRmEzIXN6Qcd9_MyaYMGpEunK9-lysyvkznVGXYt9nLRww0S56bJuwfaS437UxwdDEQCF4-gtt40-1TtDhX0w_tI6JBtwP2RYDnscuhoBuwKOCX41rsb8l1zW0Pd6dc0I-Xubv5Vu2XL8uytkyAyH1kCluXc5EJQsrIEdfV5XilTYFU4X2TDGvPVTOMSMACiFNXTnlHbPARI0W8gl5OP02iLjZpaaDdNhoI7TiMv8H0Vpa6w |
| ContentType | Conference Proceeding |
| DBID | 6IE 6IH CBEJK RIE RIO |
| DOI | 10.1145/2966986.2980078 |
| DatabaseName | IEEE Electronic Library (IEL) Conference Proceedings IEEE Proceedings Order Plan (POP) 1998-present by volume IEEE Xplore All Conference Proceedings IEEE Electronic Library (IEL) IEEE Proceedings Order Plans (POP) 1998-present |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE Electronic Library (IEL) url: https://ieeexplore.ieee.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering |
| EISBN | 1450344666 9781450344661 |
| EISSN | 1558-2434 |
| EndPage | 8 |
| ExternalDocumentID | 7827614 |
| Genre | orig-research |
| GroupedDBID | 123 6IE 6IF 6IH 6IL 6IN AAWTH ABLEC ADZIZ ALMA_UNASSIGNED_HOLDINGS APO BEFXN BFFAM BGNUA BKEBE BPEOZ CBEJK CHZPO FEDTE IEGSK IJVOP M43 OCL RIE RIL RIO |
| ID | FETCH-LOGICAL-a247t-619c302b4592a3edfbb61b7850657d060d7dabcc082aa5248fbc6dc09a02fe9a3 |
| IEDL.DBID | RIE |
| ISICitedReferencesCount | 17 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000390297800037&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| IngestDate | Wed Aug 27 02:01:08 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | true |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-a247t-619c302b4592a3edfbb61b7850657d060d7dabcc082aa5248fbc6dc09a02fe9a3 |
| PageCount | 8 |
| ParticipantIDs | ieee_primary_7827614 |
| PublicationCentury | 2000 |
| PublicationDate | 2016-Nov. |
| PublicationDateYYYYMMDD | 2016-11-01 |
| PublicationDate_xml | – month: 11 year: 2016 text: 2016-Nov. |
| PublicationDecade | 2010 |
| PublicationTitle | Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design |
| PublicationTitleAbbrev | ICCAD |
| PublicationYear | 2016 |
| Publisher | ACM |
| Publisher_xml | – name: ACM |
| SSID | ssj0020286 |
| Score | 2.1143353 |
| Snippet | Next-generation autonomous and semi-autonomous vehicles will not only precept the environment with their own sensors, but also communicate with other vehicles... |
| SourceID | ieee |
| SourceType | Publisher |
| StartPage | 1 |
| SubjectTerms | Analytical models Computational modeling Mathematical model Security Software Timing Vehicles |
| Title | CONVINCE: A cross-layer modeling, exploration and validation framework for next-generation connected vehicles |
| URI | https://ieeexplore.ieee.org/document/7827614 |
| WOSCitedRecordID | wos000390297800037&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1NT8JAFNwA8aAXP8D4nT14pLDdbne73gyBeDDIQQk3sp9KosUg8Pt9u0XUxIu3pm26yWubmWnfzEPo2uiccC2yJAM6kjAHr6K2OUmETQFQpGU-emHG92I4LCYTOaqh9tYL45yLzWeuEzbjv3w7N6vwqawLaAaqm9VRXQheebW24gpwkm-ie1KWdynQeFnwDpVFQMFfs1MidAz2_7foAWp9e_DwaIsuh6jmyiO09yM-sIneeg_DMajy_g2-xRHuklcFFBrH8TZwShtXC8bqY1VaDM_VrJqihP1XWxYG3orLoICfYwZ1PGpCA4wBOorX7iW2zrXQ06D_2LtLNuMTEkWZWIIolCYjVLNcUpU567XmqRYhoi4XlnBihVXaGCABSuWUFV4bbg2RilDvpMqOUaOcl-4E4RBLppn0GVyLpdoUjnidUpenShZW-FPUDIWbvlcJGdNNzc7-3n2OdoF28MrRd4Eay8XKXaIds17OPhZX8bZ-AiGqpZw |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1NT8JAFNwgmqgXP8D47R48Uthut92uN0MgGBE5IOFG9lNJtBgEfr-vW0RNvHhr2qabvLaZmfbNPISutYpJongUREBHAmbhVVQmJgE3IQCKMMx5L8ywy3u9dDQS_RKqrb0w1lrffGbr-ab_l2-mepF_KmsAmoHqZhtoM2aMksKttZZXgJTJKrwnZHGDApEXaVKnIs1x8Nf0FA8e7b3_LbuPqt8uPNxf48sBKtnsEO3-CBCsoLfmY28Iurx1g2-xB7zgVQKJxn7ADZxSw8WCvv5YZgbDkzUp5ihh99WYhYG54izXwM8-hdof1XkLjAZCipf2xTfPVdFTuzVodoLVAIVAUsbnIAuFjghVLBZURtY4pZJQ8TykLuaGJMRwI5XWQAOkjClLndKJ0URIQp0VMjpC5Wya2WOE82AyxYSL4FosVDq1xKmQ2jiUIjXcnaBKXrjxe5GRMV7V7PTv3VdouzN46I67d737M7QDJCQp_H3nqDyfLewF2tLL-eRjdulv8Sfpvajj |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=proceeding&rft.title=Digest+of+technical+papers+-+IEEE%2FACM+International+Conference+on+Computer-Aided+Design&rft.atitle=CONVINCE%3A+A+cross-layer+modeling%2C+exploration+and+validation+framework+for+next-generation+connected+vehicles&rft.au=Bowen+Zheng&rft.au=Chung-Wei+Lin&rft.au=Huafeng+Yu&rft.au=Hengyi+Liang&rft.date=2016-11-01&rft.pub=ACM&rft.eissn=1558-2434&rft.spage=1&rft.epage=8&rft_id=info:doi/10.1145%2F2966986.2980078&rft.externalDocID=7827614 |