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 条
  • [31] CONVENUS: CONGESTION VERIFICATION OF NETWORK UPDATES IN SOFTWARE-DEFINED NETWORKS
    Liu, Xin
    Jin, Dong
    Lee, Cheol Won
    Moon, Jong Cheol
    2016 WINTER SIMULATION CONFERENCE (WSC), 2016, : 1131 - 1142
  • [32] Verification of Concurrent Software
    Huisman, Marieke
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (261): : 2 - 2
  • [33] Challenges of software verification
    Arceri, Vincenzo
    Negrini, Luca
    Olivieri, Luca
    Ferrara, Pietro
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2024, 26 (06) : 669 - 672
  • [34] VERIFICATION OF SOFTWARE PROGRAMS
    BUCKLEY, FJ
    COMPUTERS AND AUTOMATION, 1971, 20 (02): : 23 - &
  • [35] Software verification & validation
    Pierce, P
    NORTHCON/96 - IEEE TECHNICAL APPLICATIONS CONFERENCE, CONFERENCE RECORD, 1996, : 265 - 268
  • [36] Systematic threat assessment and security testing of automotive over-the-air (OTA) updates
    Mahmood, Shahid
    Nguyen, Hoang Nga
    Shaikh, Siraj Ahmed
    VEHICULAR COMMUNICATIONS, 2022, 35
  • [37] Software Dataplane Verification
    Dobrescu, Mihai
    Argyraki, Katerina
    COMMUNICATIONS OF THE ACM, 2015, 58 (11) : 113 - 121
  • [38] Verification of Concurrent Software
    Kroening, Daniel
    DEPENDABLE SOFTWARE SYSTEMS ENGINEERING, 2016, 45 : 159 - 178
  • [39] SOFTWARE TESTING AND VERIFICATION
    WHITE, LJ
    ADVANCES IN COMPUTERS, 1987, 26 : 335 - 391
  • [40] Software to streamline verification
    不详
    PROFESSIONAL ENGINEERING, 2004, 17 (18) : 45 - 45
12345