Virtualized In Situ Software Update Verification: Verification of Over-the-Air Automotive Software Updates

被引：2
|
作者：
Coe, David J. [1 ]
Kulick, Jeffrey H. [1 ]
Milenkovic, Aleksandar [1 ]
Etzkorn, Letha [2 ]
机构：
[1] Univ Alabama, Dept Elect & Comp Engn, Huntsville, AL 35899 USA
[2] Univ Alabama, Comp Sci Dept, Huntsville, AL 35899 USA
来源：
IEEE VEHICULAR TECHNOLOGY MAGAZINE | 2020年 / 15卷 / 01期
关键词：
Automobile drivers;
D O I：
10.1109/MVT.2019.2954302
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
The integration of driver assistance and autonomous driving capabilities has increased the complexity of automotive software, making the verification of software updates more challenging. The utility of simulators in software verification is limited in terms of their level of fidelity to real-world hardware and driving conditions. The use of physical test vehicles on a test track is both costly and not representative of real-world conditions and vehicle configurations.
引用
下载
收藏
页码：84 / 90
页数：7
相关论文
共 50 条
  • [21] Functional Design and Verification of Automotive Embedded Software: An Integrated System Verification Flow
    Shedeed, Mohamed
    Bahig, Ghada
    Elkharashi, M. Watheq
    Chen, Michael
    2013 SAUDI INTERNATIONAL ELECTRONICS, COMMUNICATIONS AND PHOTONICS CONFERENCE (SIECPC), 2013,
  • [22] INVITED: Specification, Verification and Design of Evolving Automotive Software
    Ramesh, S.
    Vogel-Heuser, Birgit
    Chang, Wanli
    Roy, Debayan
    Zhang, Licong
    Chakraborty, Samarjit
    PROCEEDINGS OF THE 2017 54TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2017,
  • [23] Software verification
    Kroening, Daniel
    Frontiers in Artificial Intelligence and Applications, 2009, 185 (01) : 505 - 532
  • [24] Management of automotive software updates
    Placho, Teresa
    Schmittner, Christoph
    Bonitz, Arndt
    Wana, Oliver
    MICROPROCESSORS AND MICROSYSTEMS, 2020, 78
  • [25] From software verification to 'everyware' verification
    Kwiatkowska, Marta
    COMPUTER SCIENCE-RESEARCH AND DEVELOPMENT, 2013, 28 (04): : 295 - 310
  • [26] On the software-based development and verification of automotive control systems
    Hu, Wei-Wen
    Wang, Ming-Li
    Lin, Yu-Hui
    IECON 2007: 33RD ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-3, CONFERENCE PROCEEDINGS, 2007, : 857 - 862
  • [27] Semiformal Verification of Temporal Properties in Automotive Hardware Dependent Software
    Lettnin, Djones
    Nalla, Pradeep K.
    Behrend, Joerg
    Ruf, Juergen
    Gerlach, Joachim
    Kropf, Thomas
    Rosenstiel, Wolfgang
    Schoenknecht, Volker
    Reitemeyer, Stephan
    DATE: 2009 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, VOLS 1-3, 2009, : 1214 - +
  • [28] Towards Formal Security Verification of Over-the-Air Update Protocol: Requirements, Survey and UpKit Case Study
    Ponsard, Christophe
    Darquennes, Denis
    ICISSP: PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON INFORMATION SYSTEMS SECURITY AND PRIVACY, 2021, : 800 - 808
  • [29] A Model-Based Security Testing Approach for Automotive Over-The-Air Updates
    Mahmood, Shahid
    Fouillade, Alexy
    Hoang Nga Nguyen
    Shaikh, Siraj A.
    2020 IEEE 13TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), 2020, : 6 - 13
  • [30] Secure Automotive On-Board Protocols: A Case of Over-the-Air Firmware Updates
    Idrees, Muhammad Sabir
    Schweppe, Hendrik
    Roudier, Yves
    Wolf, Marko
    Scheuermann, Dirk
    Henniger, Olaf
    COMMUNICATION TECHNOLOGIES FOR VEHICLES, 2011, 6596 : 224 - +
12345