A Verification, Validation and Accreditation Process for Autonomous Interoperable Systems

被引:2
|
作者
Tremori, Alberto [1 ]
Sobrino, Pilar Caamano [1 ]
Vinas, Arnau Carrera [1 ]
Maglione, Giovanni Luca [1 ]
Solarna, David [1 ]
Been, Robert [1 ]
Mansfield, Thomas [1 ]
机构
[1] NATO STO Ctr Maritime Res & Expt, 400 Viale San Bartolomeo, La Spezia, Italy
来源
MODELLING AND SIMULATION FOR AUTONOMOUS SYSTEMS | 2018年 / 10756卷
关键词
Verification and Validation; Acrediation; Mine Countermeasure; Autonomous underwater vehicles; Modelling and simulation;
D O I
10.1007/978-3-319-76072-8_22
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Navies, Industries and Research are investigating how to move to future mine counter measure operations where of multiple autonomous underwater vehicles work collaboratively with minimal human interaction. Modelling and simulation is proving to be a capable support to test autonomy by the adoption, in particular, on interoperable environments that may comprise of models, hardware and software-in-the-loop. Industry and NATO standards exist for federated simulation but the standards do not provide detailed guidance to carry out lean, comprehensive and consistent design, development and testing of distributed simulation for autonomy. This paper presents a methodological framework and identifies process steps that support users in the design and development and allow development teams to carry out efficient verification, validation and accreditation activities on distributed simulation systems. The framework has been designed to be lean and efficient while producing outputs that comply fully with existing industry standard approaches. The presented framework has been demonstrated on a distributed modelling and simulation system in a representative underwater environment.
引用
收藏
页码:314 / 323
页数:10
相关论文
共 50 条
  • [1] 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
  • [2] Testing, Validation, and Verification of Robotic and Autonomous Systems: A Systematic Review
    Araujo, Hugo
    Mousavi, Mohammad Reza
    Varshosaz, Mahsa
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2023, 32 (02)
  • [3] Verification, validation and accreditation: An HLA FEDEP overlay
    Masys, A. J.
    2006 Canadian Conference on Electrical and Computer Engineering, Vols 1-5, 2006, : 2163 - 2166
  • [4] Machine-Learned Specifications for the Verification and Validation of Autonomous Cyberphysical Systems
    Drusinsky, Doron
    Michael, James Bret
    Litton, Matthew
    2022 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW 2022), 2022, : 333 - 341
  • [5] Verification, validation, and accreditation for models and simulations in the Australian defence context: a review
    Owen, Kerryn R.
    Chakrabortty, Ripon K.
    JOURNAL OF DEFENSE MODELING AND SIMULATION-APPLICATIONS METHODOLOGY TECHNOLOGY-JDMS, 2024, 21 (02): : 205 - 227
  • [6] A novel framework for verification and validation of simulations of autonomous robots
    Durst, Phillip J.
    McInnis, David
    Davis, Jeremy
    Goodin, Christopher T.
    SIMULATION MODELLING PRACTICE AND THEORY, 2022, 117
  • [7] The Verification and Validation of Software Architecture for Systems of Systems
    Michael, James Bret
    Riehle, Richard
    Sling, Man-Tak
    2009 IEEE INTERNATIONAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING SOSE 2009, 2009, : 130 - 135
  • [8] Verification and Validation of Adaptive Instructional Systems: A Text Mining Review
    Emond, Bruno
    ADAPTIVE INSTRUCTIONAL SYSTEMS, AIS 2024, 2024, 14727 : 25 - 43
  • [9] Towards Mechatronics Approach of System Design, Verification and Validation for Autonomous Vehicles
    Samak, Chinmay
    Samak, Tanmay
    Krovi, Venkat
    2023 IEEE/ASME INTERNATIONAL CONFERENCE ON ADVANCED INTELLIGENT MECHATRONICS, AIM, 2023, : 1208 - 1213
  • [10] Early verification and validation of mission critical systems
    C. Ponsard
    P. Massonet
    J. F. Molderez
    A. Rifaut
    A. van Lamsweerde
    H. Tran Van
    Formal Methods in System Design, 2007, 30