Autonomous Systems and the Challenges in Verification, Validation, and Test

被引：3
|
作者：
Yeh, David
机构：
来源：
IEEE DESIGN & TEST | 2018年 / 35卷 / 03期
基金：
美国国家科学基金会;
关键词：
D O I：
10.1109/MDAT.2018.2816940
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：89 / 97
页数：9
相关论文
共 50 条
  • [21] Open Challenges in the Formal Verification of Autonomous Driving
    Burgio, Paolo
    Ferrando, Angelo
    Villani, Marco
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2024, (411):
  • [22] Modeling and simulation verification and validation challenges
    Pace, DK
    JOHNS HOPKINS APL TECHNICAL DIGEST, 2004, 25 (02): : 163 - 172
  • [23] Challenges in Autonomous Vehicle Testing and Validation
    Koopman, Philip
    Wagner, Michael
    SAE INTERNATIONAL JOURNAL OF TRANSPORTATION SAFETY, 2016, 4 (01) : 15 - 24
  • [24] Verification of Autonomous Systems by Capability Verification Composition (CVC)
    Bouchard, Andrew
    Tatum, Richard
    Horan, Savanna
    OCEANS 2017 - ANCHORAGE, 2017,
  • [25] Verification and Validation Issues in Systems of Systems
    Honour, Eric
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (133): : 2 - 7
  • [26] Verification of autonomous systems for space applications
    Brat, G.
    Denney, E.
    Giannakopoulou, D.
    Frank, J.
    Jonsson, A.
    2006 IEEE AEROSPACE CONFERENCE, VOLS 1-9, 2006, : 3155 - +
  • [27] Verification and Control for Autonomous Mobile Systems
    Hoxha, Bardh
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (361): : 7 - 8
  • [28] Verification of autonomous robotic systems: A perspective
    Hochgeschwender, Nico
    Voos, Holger
    PROCEEDINGS OF THE 13TH IASTED INTERNATIONAL CONFERENCE ON ROBOTICS AND APPLICATIONS/PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON TELEMATICS, 2007, : 204 - +
  • [29] Probabilistic Verification of Concurrent Autonomous Systems
    Parker, David
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (339): : 9 - 9
  • [30] Safety Enforcement for the Verification of Autonomous Systems
    de Niz, Dionisio
    Andersson, Bjorn
    Moreno, Gabriel
    AUTONOMOUS SYSTEMS: SENSORS, VEHICLES, SECURITY, AND THE INTERNET OF EVERYTHING, 2018, 10643
12345