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 条
  • [41] Economics of software verification
    Holzmann, GJ
    ACM SIGPLAN NOTICES, 2001, : 80 - 85
  • [42] Deductive software verification
    Filliâtre J.-C.
    International Journal on Software Tools for Technology Transfer, 2011, 13 (5) : 397 - 403
  • [43] Software verification with BLAST
    Henzinger, TA
    Jhala, R
    Majumdar, R
    Sutre, G
    MODEL CHECKING SOFTWARE, 2003, 2648 : 235 - 239
  • [44] Trends in software verification
    Holzmann, GJ
    FME 2003: FORMAL METHODS, PROCEEDINGS, 2003, 2805 : 40 - 50
  • [45] Verification of Software Barriers
    Malkis, Alexander
    Banerjee, Anindya
    ACM SIGPLAN NOTICES, 2012, 47 (08) : 313 - 314
  • [46] Software verification with BLAST
    Henzinger, Thomas A.
    Jhala, Ranjit
    Majumdar, Rupak
    Sutre, Grágoire
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2003, 2648 : 235 - 239
  • [47] A formal framework for security testing of automotive over-the-air update systems
    Kirk, Rhys
    Nguyen, Hoang Nga
    Bryans, Jeremy
    Shaikh, Siraj Ahmed
    Wartnaby, Charles
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2023, 130
  • [48] Over-the-Air Updates for Robotic Swarms
    Varadharajan, Vivek Shankar
    St Onge, David
    Guss, Christian
    Beltrame, Giovanni
    IEEE SOFTWARE, 2018, 35 (02) : 44 - 50
  • [49] Over-the-air software download in wireless-sensor networks
    Friedman, L
    EDN, 2006, 51 (08) : 44 - 44
  • [50] Verification Tool of Software Requirement for Network Software
    He, Tao
    Li, Liping
    Li, Huazhong
    INFORMATION COMPUTING AND APPLICATIONS, 2011, 7030 : 545 - +
12345