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 条
  • [1] Challenges in verification and validation of autonomous systems for space exploration
    Brat, G
    Jonsson, A
    Proceedings of the International Joint Conference on Neural Networks (IJCNN), Vols 1-5, 2005, : 2909 - 2914
  • [2] Verification and validation of autonomous systems
    Hinchey, MG
    Rash, JL
    Rouff, CA
    26TH ANNUAL NASA GODDARD SOFTWARE ENGINEERING WORKSHOP, PROCEEDINGS, 2002, : 136 - 144
  • [3] A Review of Verification and Validation for Space Autonomous Systems
    Rafael C. Cardoso
    Georgios Kourtis
    Louise A. Dennis
    Clare Dixon
    Marie Farrell
    Michael Fisher
    Matt Webster
    Current Robotics Reports, 2021, 2 (3): : 273 - 283
  • [4] Proxy Verification and Validation For Critical Autonomous and AI Systems
    Laplante, Phil
    Kassab, Mohamad
    DeFranco, Joanna
    2022 IEEE 29TH ANNUAL SOFTWARE TECHNOLOGY CONFERENCE (STC 2022), 2022, : 37 - 40
  • [5] RIACS workshop on the verification and validation of autonomous and adaptive systems
    2001, American Association for Artificial Intelligence (22)
  • [6] The Challenges of Verification and Validation of Automated Planning Systems
    Frank, Jeremy
    2013 28TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), 2013, : 2 - 2
  • [7] A Verification, Validation and Accreditation Process for Autonomous Interoperable Systems
    Tremori, Alberto
    Sobrino, Pilar Caamano
    Vinas, Arnau Carrera
    Maglione, Giovanni Luca
    Solarna, David
    Been, Robert
    Mansfield, Thomas
    MODELLING AND SIMULATION FOR AUTONOMOUS SYSTEMS, 2018, 10756 : 314 - 323
  • [8] RIACS workshop on the verification and validation of autonomous and adaptive systems
    Pecheur, C
    Visser, W
    Simmons, R
    AI MAGAZINE, 2001, 22 (03) : 107 - 111
  • [9] Verification of Autonomous Systems: Challenges of the Present and Areas for Exploration
    Bouchard, Andrew
    Tatum, Richard
    OCEANS 2015 - MTS/IEEE WASHINGTON, 2015,
  • [10] Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems
    Ferrando, Angelo
    Dennis, Louise A.
    Cardoso, Rafael C.
    Fisher, Michael
    Ancona, Davide
    Mascardi, Viviana
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2021, 30 (04)
12345