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 条
  • [21] Lessons Learned In The Process of Conducting the Verification and Validation of Live Virtual and Constructive Distributed Environment
    Elele, James N.
    Turner, David J.
    MODELING AND SIMULATION FOR DEFENSE SYSTEMS AND APPLICATIONS VI, 2011, 8060
  • [22] Verification and validation of detonation modeling
    Liang, Xiao
    Wang, Rui-li
    DEFENCE TECHNOLOGY, 2019, 15 (03) : 398 - 408
  • [23] Verification and Validation of decentralized, self-organizing Cyber-Physical Production Systems
    Tritchkov, Ivan
    Goetz, Helmut
    2016 IEEE 1ST INTERNATIONAL WORKSHOPS ON FOUNDATIONS AND APPLICATIONS OF SELF* SYSTEMS (FAS*W), 2016, : 112 - 117
  • [24] Verification and validation meet planning and scheduling
    Bensalem, Saddek
    Havelund, Klaus
    Orlandini, Andrea
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2014, 16 (01) : 1 - 12
  • [25] Verification and Validation of Simulations Against Holism
    Jebeile, Julie
    Ardourel, Vincent
    MINDS AND MACHINES, 2019, 29 (01) : 149 - 168
  • [26] Verification and validation meet planning and scheduling
    Saddek Bensalem
    Klaus Havelund
    Andrea Orlandini
    International Journal on Software Tools for Technology Transfer, 2014, 16 : 1 - 12
  • [27] Verification and Validation of Simulations Against Holism
    Julie Jebeile
    Vincent Ardourel
    Minds and Machines, 2019, 29 : 149 - 168
  • [28] Verification and validation of an intelligent tutorial system
    Aguilar, R. M.
    Munoz, V.
    Noda, M.
    Bruno, A.
    Moreno, L.
    EXPERT SYSTEMS WITH APPLICATIONS, 2008, 35 (03) : 677 - 685
  • [29] Towards verification and validation in multiagent-based systems and simulations: Analyzing different learning bargaining agents
    Takadama, K
    Suematsu, YL
    Sugimoto, N
    Nawa, NE
    Shimohara, K
    MULTI-AGENT-BASED SIMULATION III, 2003, 2927 : 26 - 42
  • [30] A Formal Framework for Verification and Validation of External Behavioral Models of Embedded Systems through Use Case Models
    Sastry, J. K. R.
    Chandra, Prakash, V
    Reddy, L. S. S.
    PROCEEDINGS OF THE 2009 FOURTH INTERNATIONAL CONFERENCE ON EMBEDDED AND MULTIMEDIA COMPUTING, 2009, : 222 - 229