research-article

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

Authors:

Qi ZhuAuthors Info & Claims

2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)

Pages 1 - 8

https://doi.org/10.1145/2966986.2980078

Published: 07 November 2016 Publication History

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.

6. References

[1]

As U.S. investigates fatal Tesla crash, company defends autopilot system. http://www.nytimes.com/2016/07/13/business/tes1a-autopilot-fata1-crash-investigation.html?_r=0. Accessed: 2016–7–21.

[2]

Google self-driving car caught on video colliding with bus. https://www.theguardian.com/technology/2016/mar/09/google-self-driving-car-crash-video-accident-bus. Accessed: 2016–7–21.

[3]

NS-3. https://www.nsnam.org/.

[4]

OMNeT++. https://www.nsnam.org/.

[5]

SUMO. http://www.dlr.de/ts/en/desktopdefault.aspx/tabid-9883/16931_read-41000/.

[6]

Veins. http://veins.car2x.org/.

[7]

M. S. Al-kahtani. Survey on security attacks in vehicular ad hoc networks (VANETs). In Signal Processing and Communication Systems (ICSPCS), 2012 6th International Conference on, pages 1–9. IEEE, 2012.

[8]

M. Amoozadeh, H. Deng, C.-N. Chuah, H. M. Zhang, and D. Ghosal. Platoon management with cooperative adaptive cruise control enabled by vanet. Vehicular Communications, 2 (2): 110–123, 2015.

[9]

S. Bono, M. Green, A. Stubblefield, A. Juels, A. D. Rubin, and M. Szydlo. Security analysis of a cryptographically-enabled rfid device. In USENIX Security, volume 5, pages 1–16, 2005.

Digital Library

[10]

M. Buehler, K. Iagnemma, and S. Singh. The DARPA urban challenge: autonomous vehicles in city traffic, volume 56. springer 2009.

[11]

R. N. Charette. This Car Runs on Code. IEEE Spectrum, February 2009.

[12]

P. Deng, F. Cremona, Q. Zhu, M. Di Natale, and H. Zeng A Model-Based Synthesis Flow for Automotive CPS. In Cyber-Physical Systems (ICCPS), 2015 ACM/IEEE International Conference on, pages 198–207, April 2015.

[13]

P. Deng, Q. Zhu, A. Davare, A. Mourikis, X. Liu, and M. Di Natale. An efficient control-driven period optimization algorithm for distributed real-time systems. IEEE Transactions on Computers, PP (99): 1–1, 2016.

[14]

M. Di Natale and A. Sangiovanni-Vincentelli Moving From Federated to Integrated Architectures in Automotive: The Role of Standards, Methods and Tools. Proceedings of the IEEE, 98 (4): 603–620, april 2010.

[15]

J. Diemer, D. Thiele, and R. Ernst. Formal worst-case timing analysis of ethernet topologies with strict-priority and avb switching. In 7th IEEE International Symposium on Industrial Embedded Systems (SIES'12), pages 1–10. IEEE, 2012.

[16]

R. G. Engoulou, M. Bellaïche, S. Pierre, and A. Quintero. VANET security surveys. Computer Communications, 44 (0): 1–13, 2014.

[17]

Y. P. Fallah and M. K. Khandani. Analysis of the coupling of communication network and safety application in cooperative collision warning systems. In Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, ICCPS'15, pages 228–237. New York. NY. USA. 2015. ACM.

[18]

L. Guo, Q. Zhu, P. Nuzzo, R. Passerone, A. Sangiovanni-Vincentelli, and E. Lee. Metronomy: A Function-Architecture Co-Simulation Framework For Timing Verification Of Cyber-Physical Systems. In Hardware/Software Codesign and System Synthesis (CODES+ISSS), 2014 International Conference on, pages 1–10, Oct 2014.

[19]

Y. Han and E. Oruklu. Real-time traffic sign recognition based on zynq fpga and arm socs. In IEEE International Conference on Electro/Information Technology, pages 373–376, June 2014.

[20]

J. Harding, G. Powell, R. Yoon, J. Fikentscher, C. Doyle, D. Sade, M. Lukuc, J. Simons, and J. Wang. Vehicle-to-vehicle communications: Readiness of V2V technology for application. Technical report, 2014. National Highway Traffic Safety Administration, DOT HS 812 014.

[21]

F. Homm, N. Kaempchen, J. Ota, and D. Burschka. Efficient occupancy grid computation on the CPU with lidar and radar for road boundary detection. In Intelligent Vehicles Symposium (IV), 2010 IEEE, pages 1006–1013, June 2010.

[22]

T. Hoppe, S. Kiltz, and J. Dittmann. Security threats to automotive CAN networks-practical examples and selected short-term countermeasures. In International Conference on Computer Safety, Reliability, and Security, pages 235–248, 2008.

[23]

IEEE. IEEE standard for local and metropolitan area networks-timing and synchronization for time-sensitive applications in bridged local area networks. IEEE Std 802.1AS-2011, pages 1–292, March 2011.

[24]

IEEE. IEEE approved draft standard for a transport protocol for time sensitive applications in a bridged local area network. IEEE P1722/D16, November 2015, pages 1–247, Jan 2015.

[25]

K. Jo, J. Kim, D. Kim, C. Jang, and M. Sunwoo. Development of autonomous car-part I: distributed system architecture and development process. Industrial Electronics, IEEE Transactions on, 61 (12): 7131–7140, 2014.

[26]

G. Karagiannis, O. Altintas, E. Ekici, G. Heijenk, B. Jarupan, K. Lin, and T. Weil. Vehicular networking: A survey and tutorial on requirements, architectures, challenges, standards and solutions. Communications Surveys Tutorials, IEEE, 13 (4): 584–616, Fourth 2011.

[27]

J. B. Kenney. Dedicated short-range communications (DSRC) standards in the United States. Proceedings of the IEEE, 99 (7): 1162–1182, 2011.

[28]

P. Kleberger, T. Olovsson, and E. Jonsson. Security aspects of the in-vehicle network in the connected car. In IEEE Intelligent Vehicles Symposium (IV), pages 528–533, June 2011.

[29]

K. Koscher, A. Czeskis, F. Roesner, S. Patel, T. Kohno, S. Checkoway, D. McCoy, B. Kantor, D. Anderson, H. Shacham et al., Experimental security analysis of a modern automobile. In 2010 IEEE Symposium on Security and Privacy, pages 447–462. IEEE, 2010.

[30]

K. Koscher, A. Czeskis, F. Roesner, S. Patel, T. Kohno, S. Checkoway, D. McCoy, B. Kantor, D. Anderson, H. Shacham, and S. Savage. Experimental security analysis of a modern automobile. In IEEE Symposium on Security and Privacy (SP), pages 447–462, May 2010.

[31]

C. Lee, S. W. Kim, and C. Yoo. VADI: GPU virtualization for an automotive platform. IEEE Transactions on Industrial Informatics, 12 (1): 277–290, Feb 2016.

[32]

C.-W. Lin, Q. Zhu, C. Phung, and A. Sangiovanni-Vincentelli. Security-aware mapping for CAN-based real-time distributed automotive systems. In IEEE/ACM International Conference on Computer-Aided Design (ICCAD), pages 115–121, Nov. 2013.

[33]

C.-W. Lin, Q. Zhu, and A. Sangiovanni-Vincentelli. Security-aware mapping for TDMA-based real-time distributed systems. In IEEE/ACM International Conference on Computer-Aided Design (ICCAD), pages 24–31, Nov. 2014.

[34]

J. P. MacDuffie and T. Fujimoto. Why Dinosaurs Will Keep Ruling the Auto Industry. Harvard Business Review, 88 (6): 23–25, 2010.

[35]

F. Mueller Challenges for Cyber-Physical Systems: Security, Timing Analysis and Soft Error Protection. In High-Confidence Software Platforms for Cyber-Physical Systems (HCSP-CPS) Workshop, Alexandria, Virginia, page 4, 2006.

[36]

U. Ozguner, T. Acarman, and K. Redmill. Autonomous ground vehicles. Artech House 2011.

[37]

M. Raya, P. Papadimitratos, and J.-P. Hubaux. Securing vehicular communications. IEEE Wireless CommunicationsMagazine, Special Issue on Inter-Vehicular Communications, 13 (LCA-ARTICLE-2006-015): 8–15, 2006.

[38]

I. Rouf, R. Miller, H. Mustafa, T. Taylor, S. Oh, W. Xu, M. Gruteser, W. Trappe, and I. Seskar. Security and privacy vulnerabilities of in-car wireless networks a tire pressure monitoring system case study. In USENIX Conference on Security, pages 21–21, 2010.

[39]

SAE. Time-Triggered Ethernet. SAE Standard AS6802, November 2011.

[40]

F. Sagstetter, S. Andalam, P. Waszecki, M. Lukasiewycz, H. Stahle, S. Chakraborty, and A. Knoll. Schedule integration framework for time-triggered automotive architectures. In Proceedings of the 51st Annual Design Automation Conference, DAC'14, pages 20:1–20:6, New York, NY, USA, 2014. ACM.

[41]

A. Sangiovanni-Vincentelli. Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level Design. Proceedings of the IEEE, 95 (3): 467–506, March 2007.

[42]

A. Sangiovanni-Vincentelli and M. Di Natale. Embedded System Design for Automotive Applications. Computer, 40 (10): 42–51, 2007.

Digital Library

[43]

F. Schwiegelshohn, L. Gierke, and M. HÃijbner. Fpga based traffic sign detection for automotive camera systems. In Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC), 2015 10th International Symposium on, pages 1–6, June 2015.

[44]

T. Steinbach, H.-T. Lim, F. Korf, T. C. Schmidt, D. Herrscher, and A. Wolisz. Tomorrow's in-car interconnect? a competitive evaluation of IEEE 802.1 AVB and Time-Triggered Ethernet (AS6802). In Vehicular Technology Conference (VTC Fall), 2012 IEEE, pages 1–5. IEEE, 2012.

[45]

Y. Yao, L. Rao, X. Liu, and X. Zhou. Delay analysis and study of IEEE 802.11 p based DSRC safety communication in a highway environment. In INFOCOM, 2013 Proceedings IEEE, pages 1591–1599. IEEE, 2013.

[46]

S. Ying et al. Foundations for Innovation in Cyber-Physical Systems. In Workshop Report, Energetics Incorporated, Columbia, Maryland, US, 2013.

[47]

B. Zheng, P. Deng, R. Anguluri, Q. Zhu, and F. Pasqualetti. Cross-layer codesign for secure cyber-physical systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Susiems, 35 (5): 699–711, May 2016.

Digital Library

[48]

B. Zheng, Y. Gao, Q. Zhu, and S. Gupta. Analysis and optimization of soft error tolerance strategies for real-time systems. In Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, pages 55–64. IEEE Press, 2015.

[49]

B. Zheng, H. Liang, Q. Zhu, H. Yu, and C.-W. Lin. Next generation automotive architecture modeling and exploration for autonomous driving. IEEE Computer Society Annual Symposium on VLSI, 2016.

[50]

Q. Zhu, H. Zeng, W. Zheng, M. Di Natale, and A. Sangiovanni-Vincentelli. Optimization of task allocation and priority assignment in hard real-time distributed systems. ACM Transactions on Embedded Computing Systems (TECS), 11 (4): 85, 2012.

Cited By

Abdo AChen HZhao XWu GFeng Y(2024)Cybersecurity on Connected and Automated Transportation Systems: A SurveyIEEE Transactions on Intelligent Vehicles10.1109/TIV.2023.33267369:1(1382-1401)Online publication date: Jan-2024
https://doi.org/10.1109/TIV.2023.3326736
Prakash DBaanav Yedla Ravi BBoddupalli SRay S(2023)VeCAEP: A Hands-on Exploration Platform for Vehicular Communication Attacks2023 IEEE 97th Vehicular Technology Conference (VTC2023-Spring)10.1109/VTC2023-Spring57618.2023.10199804(1-5)Online publication date: Jun-2023
https://doi.org/10.1109/VTC2023-Spring57618.2023.10199804
Liu XLuo YGoeckner AChakraborty TJiao RWang NWang YSato TChen QZhu Q(2023)Invited: Waving the Double-Edged Sword: Building Resilient CAVs with Edge and Cloud Computing2023 60th ACM/IEEE Design Automation Conference (DAC)10.1109/DAC56929.2023.10247809(1-4)Online publication date: 9-Jul-2023
https://doi.org/10.1109/DAC56929.2023.10247809
Show More Cited By

Index Terms

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

Index terms have been assigned to the content through auto-classification.

Recommendations

A Highway Toll Lane Framework that Unites Autonomous Vehicles and High-occupancy Vehicles
2021 IEEE International Intelligent Transportation Systems Conference (ITSC)
We consider the scenario where human-driven/autonomous vehicles with low/high occupancy are sharing a segment of highway and autonomous vehicles are capable of increasing the traffic throughput by preserving a shorter headway than human-driven vehicles. ...
Modeling the Fundamental Diagram of Mixed Traffic Flow With Dedicated Lanes for Connected Automated Vehicles
To solve the problems of when to set up connected automated vehicles (CAVs) dedicated lanes and how many CAVs dedicated lanes to set up under different penetration rates of CAVs, this work focuses on modeling the fundamental diagram of mixed traffic flow ...
Proactive Longitudinal Control of Connected and Autonomous Vehicles with Lane-Change Assistance for Human-Driven Vehicles
2021 IEEE International Intelligent Transportation Systems Conference (ITSC)
Vehicle automation and connectivity enable the cooperative platooning control of connected and autonomous vehicles (CAVs), which can enhance traffic safety and alleviate traffic oscillations. However, CAVs and human-driven vehicles (HDVs) will coexist on ...

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings

2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)

Nov 2016

946 pages

Copyright © 2016.

Publisher

IEEE Press

Publication History

Published: 07 November 2016

Permissions

Request permissions for this article.

Request Permissions

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

14
Total Citations
View Citations
356
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 01 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

Abdo AChen HZhao XWu GFeng Y(2024)Cybersecurity on Connected and Automated Transportation Systems: A SurveyIEEE Transactions on Intelligent Vehicles10.1109/TIV.2023.33267369:1(1382-1401)Online publication date: Jan-2024
https://doi.org/10.1109/TIV.2023.3326736
Prakash DBaanav Yedla Ravi BBoddupalli SRay S(2023)VeCAEP: A Hands-on Exploration Platform for Vehicular Communication Attacks2023 IEEE 97th Vehicular Technology Conference (VTC2023-Spring)10.1109/VTC2023-Spring57618.2023.10199804(1-5)Online publication date: Jun-2023
https://doi.org/10.1109/VTC2023-Spring57618.2023.10199804
Liu XLuo YGoeckner AChakraborty TJiao RWang NWang YSato TChen QZhu Q(2023)Invited: Waving the Double-Edged Sword: Building Resilient CAVs with Edge and Cloud Computing2023 60th ACM/IEEE Design Automation Conference (DAC)10.1109/DAC56929.2023.10247809(1-4)Online publication date: 9-Jul-2023
https://doi.org/10.1109/DAC56929.2023.10247809
Concas FNurminen JMikkonen TTarkoma S(2020)Validation Frameworks for Self-Driving Vehicles: A SurveySmart Cities: A Data Analytics Perspective10.1007/978-3-030-60922-1_10(197-212)Online publication date: 12-Dec-2020
https://doi.org/10.1007/978-3-030-60922-1_10
Imanishi YCollin ASiddiqi ARebentisch ETanimichi TMatta Y(2019)Optimization-Based Robust Architecture Design for Autonomous Driving SystemSAE Technical Paper Series10.4271/2019-01-0473Online publication date: 2-Apr-2019
https://doi.org/10.4271/2019-01-0473
Huang CWardega KLi WZhu QSangiovanni-Vincentelli ASztipanovits JZhu Q(2019)Exploring weakly-hard paradigm for networked systemsProceedings of the Workshop on Design Automation for CPS and IoT10.1145/3313151.3313165(51-59)Online publication date: 15-Apr-2019
https://dl.acm.org/doi/10.1145/3313151.3313165
Zheng BLin CShiraishi SZhu Q(2019)Design and Analysis of Delay-Tolerant Intelligent Intersection ManagementACM Transactions on Cyber-Physical Systems10.1145/33001844:1(1-27)Online publication date: 18-Nov-2019
https://dl.acm.org/doi/10.1145/3300184
Hyun SSong JShin SBae D(2019)Statistical Verification Framework for Platooning System of Systems with Uncertainty2019 26th Asia-Pacific Software Engineering Conference (APSEC)10.1109/APSEC48747.2019.00037(212-219)Online publication date: Dec-2019
https://doi.org/10.1109/APSEC48747.2019.00037
Lin CZheng BLiang HZhu Q(2019)Platform-Based Design for Automotive and Transportation Cyber-Physical SystemsDesign Automation of Cyber-Physical Systems10.1007/978-3-030-13050-3_2(21-40)Online publication date: 10-May-2019
https://doi.org/10.1007/978-3-030-13050-3_2
Zheng BLiang HWang ZZhu Q(2018)Model-Based Software Synthesis for Safety-Critical Cyber-Physical SystemsSafe, Autonomous and Intelligent Vehicles10.1007/978-3-319-97301-2_9(163-186)Online publication date: 15-Nov-2018
https://doi.org/10.1007/978-3-319-97301-2_9
Show More Cited By

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents