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 条
  • [31] Independent Verification and Validation of an Industrial Simulation Model
    Robinson, Stewart
    Brooks, Roger J.
    SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2010, 86 (07): : 405 - 416
  • [32] Verification and validation of a Direct Numerical Simulation code
    Petri, Larissa A.
    Sartori, Patricia
    Rogenski, Josuel K.
    de Souza, Leandro F.
    COMPUTER METHODS IN APPLIED MECHANICS AND ENGINEERING, 2015, 291 : 266 - 279
  • [33] Rapid, automated, test, verification and validation for the CubeSats
    Zaidi, Yaseen
    Fitz-Coy, Norman G.
    van Zyl, Robert
    INTERNATIONAL JOURNAL OF SPACE SCIENCE AND ENGINEERING, 2019, 5 (03) : 242 - 268
  • [34] Verification and Validation Framework for AFDX Avionics Networks
    Villegas, Javier
    Fortes, Sergio
    Escano, Vicente
    Baena, Carlos
    Colomer, Benjamin
    Barco, Raquel
    IEEE ACCESS, 2022, 10 : 66743 - 66756
  • [35] Simulation verification and validation by dynamic policy enforcement
    Tsai, WT
    Liu, X
    Chen, Y
    Paul, R
    38th Annual Simulation Symposium, Proceedings, 2005, : 91 - 98
  • [36] On the verification and validation of UML structural and behavioral diagrams
    Alawneh, Lu'ay
    Debbabi, Mourad
    Hassaine, Fawzi
    Soeanu, Andrei
    PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON ADVANCES IN COMPUTER SCIENCE AND TECHNOLOGY, 2006, : 304 - +
  • [37] ON THE VERIFICATION AND VALIDATION OF GEOSPATIAL IMAGE ANALYSIS ALGORITHMS
    Roberts, Randy S.
    Trucano, Timothy G.
    Pope, Paul A.
    Aragon, Cecilia R.
    Jiang, Ming
    Wei, Thomas
    Chilton, Lawrence K.
    Bakel, Alan
    2010 IEEE INTERNATIONAL GEOSCIENCE AND REMOTE SENSING SYMPOSIUM, 2010, : 174 - 177
  • [38] Advances in verification and validation in computational fluid dynamics
    Chen J.
    Xiao W.
    Zhao W.
    Zhang P.
    Yang F.
    Jin T.
    Guo Y.
    Wu X.
    Chen J.
    Wang R.
    Li L.
    Advances in Mechanics, 2023, 53 (03) : 626 - 660
  • [39] Test Scenario Selection for System-Level Verification and Validation of Geolocation-Dependent Automotive Control Systems
    Bach, Johannes
    Langner, Jacob
    Otten, Stefan
    Sax, Eric
    Holzaepfel, Marc
    2017 INTERNATIONAL CONFERENCE ON ENGINEERING, TECHNOLOGY AND INNOVATION (ICE/ITMC), 2017, : 203 - 210
  • [40] A Formal Framework for Verification and Validation of External Behavioral Models of Embedded Systems Represented Through Black Box Structures
    Sastry, J. K. R.
    Prakash, Chandra, V
    2010 IEEE 2ND INTERNATIONAL ADVANCE COMPUTING CONFERENCE, 2010, : 430 - 435