Towards a verification and validation test framework for open system architectures

Daniel Ota, Periklis Charchalakis, Elias Stipidis

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNResearchpeer-review

Abstract

Today's military platforms are equipped with variety of sensors and effectors. However, these components are rarely interconnected or are only linked via manufacturer-specific, proprietary interfaces. This hinders changes to and extensions of platform components. Often platform modifications are only possible with the help of the original integrator, which complicates a seamless integration of new components. In order to unify the interfaces of sub-systems and enhance platform interoperability, several open architecture initiatives have been launched on national and multi-national levels. Some as the NATO Generic Vehicle Architecture (NGVA) have already recognised that new approaches for system verification and acceptance need to be considered. Nevertheless, these considerations are still on the conceptual level and no tools for rigorous interface conformity testing are yet in place. This paper describes a concept supporting the testing of interface specifications in early standardisation phases as well as the verification of platform architecture implementations in actual systems later on. On the example of the NGVA, a test framework is presented focussing on the reuse of test artefacts from early specification checking for later conformance and final acceptance testing. The approach is validated by means of a case study supporting the NGVA standardisation.

Original languageEnglish
Title of host publicationICMT 2017 - 6th International Conference on Military Technologies
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages115-122
Number of pages8
ISBN (Electronic)9781538619889
DOIs
Publication statusPublished - 21 Jul 2017
Event6th International Conference on Military Technologies, ICMT 2017 - Brno, Czech Republic
Duration: 31 May 20172 Jun 2017

Conference

Conference6th International Conference on Military Technologies, ICMT 2017
CountryCzech Republic
CityBrno
Period31/05/172/06/17

Fingerprint

Open systems
platforms
Standardization
Testing
vehicles
Specifications
standardization
acceptability
specifications
Interoperability
effectors
interoperability
reuse
integrators
Sensors
artifacts
sensors

Keywords

  • Acceptance Testing
  • Military Open Architectures
  • Model Checking
  • NATO Generic Vehicle Architecture
  • Open System Architectures
  • Test Framework
  • Validation
  • Verification

Cite this

Ota, D., Charchalakis, P., & Stipidis, E. (2017). Towards a verification and validation test framework for open system architectures. In ICMT 2017 - 6th International Conference on Military Technologies (pp. 115-122). [7988742] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/MILTECHS.2017.7988742
Ota, Daniel ; Charchalakis, Periklis ; Stipidis, Elias. / Towards a verification and validation test framework for open system architectures. ICMT 2017 - 6th International Conference on Military Technologies. Institute of Electrical and Electronics Engineers Inc., 2017. pp. 115-122
@inproceedings{53e4225cedaa45aa96fce2965622d6c3,
title = "Towards a verification and validation test framework for open system architectures",
abstract = "Today's military platforms are equipped with variety of sensors and effectors. However, these components are rarely interconnected or are only linked via manufacturer-specific, proprietary interfaces. This hinders changes to and extensions of platform components. Often platform modifications are only possible with the help of the original integrator, which complicates a seamless integration of new components. In order to unify the interfaces of sub-systems and enhance platform interoperability, several open architecture initiatives have been launched on national and multi-national levels. Some as the NATO Generic Vehicle Architecture (NGVA) have already recognised that new approaches for system verification and acceptance need to be considered. Nevertheless, these considerations are still on the conceptual level and no tools for rigorous interface conformity testing are yet in place. This paper describes a concept supporting the testing of interface specifications in early standardisation phases as well as the verification of platform architecture implementations in actual systems later on. On the example of the NGVA, a test framework is presented focussing on the reuse of test artefacts from early specification checking for later conformance and final acceptance testing. The approach is validated by means of a case study supporting the NGVA standardisation.",
keywords = "Acceptance Testing, Military Open Architectures, Model Checking, NATO Generic Vehicle Architecture, Open System Architectures, Test Framework, Validation, Verification",
author = "Daniel Ota and Periklis Charchalakis and Elias Stipidis",
year = "2017",
month = "7",
day = "21",
doi = "10.1109/MILTECHS.2017.7988742",
language = "English",
pages = "115--122",
booktitle = "ICMT 2017 - 6th International Conference on Military Technologies",
publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

Ota, D, Charchalakis, P & Stipidis, E 2017, Towards a verification and validation test framework for open system architectures. in ICMT 2017 - 6th International Conference on Military Technologies., 7988742, Institute of Electrical and Electronics Engineers Inc., pp. 115-122, 6th International Conference on Military Technologies, ICMT 2017, Brno, Czech Republic, 31/05/17. https://doi.org/10.1109/MILTECHS.2017.7988742

Towards a verification and validation test framework for open system architectures. / Ota, Daniel; Charchalakis, Periklis; Stipidis, Elias.

ICMT 2017 - 6th International Conference on Military Technologies. Institute of Electrical and Electronics Engineers Inc., 2017. p. 115-122 7988742.

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNResearchpeer-review

TY - GEN

T1 - Towards a verification and validation test framework for open system architectures

AU - Ota, Daniel

AU - Charchalakis, Periklis

AU - Stipidis, Elias

PY - 2017/7/21

Y1 - 2017/7/21

N2 - Today's military platforms are equipped with variety of sensors and effectors. However, these components are rarely interconnected or are only linked via manufacturer-specific, proprietary interfaces. This hinders changes to and extensions of platform components. Often platform modifications are only possible with the help of the original integrator, which complicates a seamless integration of new components. In order to unify the interfaces of sub-systems and enhance platform interoperability, several open architecture initiatives have been launched on national and multi-national levels. Some as the NATO Generic Vehicle Architecture (NGVA) have already recognised that new approaches for system verification and acceptance need to be considered. Nevertheless, these considerations are still on the conceptual level and no tools for rigorous interface conformity testing are yet in place. This paper describes a concept supporting the testing of interface specifications in early standardisation phases as well as the verification of platform architecture implementations in actual systems later on. On the example of the NGVA, a test framework is presented focussing on the reuse of test artefacts from early specification checking for later conformance and final acceptance testing. The approach is validated by means of a case study supporting the NGVA standardisation.

AB - Today's military platforms are equipped with variety of sensors and effectors. However, these components are rarely interconnected or are only linked via manufacturer-specific, proprietary interfaces. This hinders changes to and extensions of platform components. Often platform modifications are only possible with the help of the original integrator, which complicates a seamless integration of new components. In order to unify the interfaces of sub-systems and enhance platform interoperability, several open architecture initiatives have been launched on national and multi-national levels. Some as the NATO Generic Vehicle Architecture (NGVA) have already recognised that new approaches for system verification and acceptance need to be considered. Nevertheless, these considerations are still on the conceptual level and no tools for rigorous interface conformity testing are yet in place. This paper describes a concept supporting the testing of interface specifications in early standardisation phases as well as the verification of platform architecture implementations in actual systems later on. On the example of the NGVA, a test framework is presented focussing on the reuse of test artefacts from early specification checking for later conformance and final acceptance testing. The approach is validated by means of a case study supporting the NGVA standardisation.

KW - Acceptance Testing

KW - Military Open Architectures

KW - Model Checking

KW - NATO Generic Vehicle Architecture

KW - Open System Architectures

KW - Test Framework

KW - Validation

KW - Verification

UR - http://www.scopus.com/inward/record.url?scp=85029379549&partnerID=8YFLogxK

U2 - 10.1109/MILTECHS.2017.7988742

DO - 10.1109/MILTECHS.2017.7988742

M3 - Conference contribution with ISSN or ISBN

SP - 115

EP - 122

BT - ICMT 2017 - 6th International Conference on Military Technologies

PB - Institute of Electrical and Electronics Engineers Inc.

ER -

Ota D, Charchalakis P, Stipidis E. Towards a verification and validation test framework for open system architectures. In ICMT 2017 - 6th International Conference on Military Technologies. Institute of Electrical and Electronics Engineers Inc. 2017. p. 115-122. 7988742 https://doi.org/10.1109/MILTECHS.2017.7988742