Skip to main content
Top

2018 | OriginalPaper | Chapter

A Verification, Validation and Accreditation Process for Autonomous Interoperable Systems

Authors : Alberto Tremori, Pilar Caamaño Sobrino, Arnau Carrera Viñas, Giovanni Luca Maglione, David Solarna, Robert Been, Thomas Mansfield

Published in: Modelling and Simulation for Autonomous Systems

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literature
1.
go back to reference Pinto, J., Ribeiro, M., Giodini, S., L’Hoir, P., Braga, A., Sartore, A., Giron-Sierra, J.M., Sousa, J.: Network enabled cooperation of autonomous vehicles: a communications perspective. In: IEEE OCEANS 2017, Aberdeen, UK (2017) Pinto, J., Ribeiro, M., Giodini, S., L’Hoir, P., Braga, A., Sartore, A., Giron-Sierra, J.M., Sousa, J.: Network enabled cooperation of autonomous vehicles: a communications perspective. In: IEEE OCEANS 2017, Aberdeen, UK (2017)
2.
go back to reference Sariel, S., Erdogan, N., Balch, T.: Naval mine coutermeasure missions. IEEE Robot. Autom. Mag. 15(1), 45–52 (2008)CrossRef Sariel, S., Erdogan, N., Balch, T.: Naval mine coutermeasure missions. IEEE Robot. Autom. Mag. 15(1), 45–52 (2008)CrossRef
3.
go back to reference Hodicky, J.: HLA as an experimental backbone for autonomous system integration into operational field. In: MESAS 2014: Modelling and Simulation for Autonomous Systems, Rome, Italy (2014) Hodicky, J.: HLA as an experimental backbone for autonomous system integration into operational field. In: MESAS 2014: Modelling and Simulation for Autonomous Systems, Rome, Italy (2014)
4.
go back to reference Hodicky, J.: Standard to support military autonomous system life cycle. In: International Conference on Mechnatronics 2017, Brno, Czech Republic (2017) Hodicky, J.: Standard to support military autonomous system life cycle. In: International Conference on Mechnatronics 2017, Brno, Czech Republic (2017)
5.
go back to reference IEEE: Recommended practice for verification, validation, and accreditation of a federationan overlay to the high level architecture federation development and execution process. In: EEE Std. 1516.4-2007, pp. 1–76 (2007) IEEE: Recommended practice for verification, validation, and accreditation of a federationan overlay to the high level architecture federation development and execution process. In: EEE Std. 1516.4-2007, pp. 1–76 (2007)
6.
go back to reference IEEE: IEEE recommended practice for distributed simulation engineering and execution process (DSEEP). In: EEE Std. 1730-2010. IEEE (2011) IEEE: IEEE recommended practice for distributed simulation engineering and execution process (DSEEP). In: EEE Std. 1730-2010. IEEE (2011)
7.
go back to reference Ruiz, J., Behner, H., Herzog, R., Hodicky, J., Vrieler, S., Lofstrand, B.: Towards a new NATO certification capability for HLA interoperability. In: SISO Simulation Innovation Workshop, Orlando, USA (2016) Ruiz, J., Behner, H., Herzog, R., Hodicky, J., Vrieler, S., Lofstrand, B.: Towards a new NATO certification capability for HLA interoperability. In: SISO Simulation Innovation Workshop, Orlando, USA (2016)
8.
go back to reference Roza, M., Sebalj, D., Voogd, J.: The generic methodology for verification and validation support acceptance of models, simulations and data. The Journal of Defense Modeling and Simulation: Applications, Methodology, Technology 10(4), pp. 347–365 (2012) Roza, M., Sebalj, D., Voogd, J.: The generic methodology for verification and validation support acceptance of models, simulations and data. The Journal of Defense Modeling and Simulation: Applications, Methodology, Technology 10(4), pp. 347–365 (2012)
9.
go back to reference Carrera, A., Tremori, A., Cammano, P., Been, R., Bruzzone, A.G.: HLA Interoperability for ROS-based autonomous systems. In: International Workshop on Modelling and Simulation for Autonomous Systems (2016) Carrera, A., Tremori, A., Cammano, P., Been, R., Bruzzone, A.G.: HLA Interoperability for ROS-based autonomous systems. In: International Workshop on Modelling and Simulation for Autonomous Systems (2016)
10.
go back to reference United States Department of Defense: Department of Defense Standard Practice - Documentation of Verification, Validation and Accreditation (VV&A) for Models and Simulations. MIL-STD-3022, US, January 2008 United States Department of Defense: Department of Defense Standard Practice - Documentation of Verification, Validation and Accreditation (VV&A) for Models and Simulations. MIL-STD-3022, US, January 2008
11.
go back to reference NATO Security Committee: Management Directive on CIS Security, AC/35-D/2005-REV3, NATO, 12th October 2015 NATO Security Committee: Management Directive on CIS Security, AC/35-D/2005-REV3, NATO, 12th October 2015
Metadata
Title
A Verification, Validation and Accreditation Process for Autonomous Interoperable Systems
Authors
Alberto Tremori
Pilar Caamaño Sobrino
Arnau Carrera Viñas
Giovanni Luca Maglione
David Solarna
Robert Been
Thomas Mansfield
Copyright Year
2018
DOI
https://doi.org/10.1007/978-3-319-76072-8_22

Premium Partner