Detail publikačního výsledku

Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S Invited Paper

BAUER, T.; AGIRRE, J.; FÜRCHO, D.; HERZNER, W.; HRUŠKA, B.; KARACA, M.; PEREIRA, D.; PROENÇA, J.; SCHLICK, R.; SICHER, R.; SMRČKA, A.; YAYAN, U.; SANGCHOOLIE, B.

Original Title

Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S Invited Paper

English Title

Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S Invited Paper

Type

Paper in proceedings (conference paper)

Original Abstract

The complexity of systems continues to increase rapidly, especially due to the multi-level integration of subsystems from different domains into cyber-physical systems. This results in special challenges for the efficient verification and validation (V&V) of these systems with regard to their requirements and properties. In order to tackle the new challenges and improve the quality assurance processes, the V&V workflows have to be documented and analyzed. In this paper, a novel approach for the workflow modelling of V&V activities is presented. The generic approach is tailorable to different industrial domains and their specific constraints, V&V methods, and toolchains. The outcomes comprise a dedicated modelling notation (VVML) and tool-support using the modelling framework Enterprise Architect for the efficient documentation and implementation of workflows in the use cases. The solution enables the design of re-usable workflow assets such as V&V activities and artifacts that are exchanged between workflows. This work is part of the large scale European research project VALU3S that deals with the improvement and evaluation of V&V processes in different technical domains, focusing on safety, cybersecurity, and privacy properties.

English abstract

The complexity of systems continues to increase rapidly, especially due to the multi-level integration of subsystems from different domains into cyber-physical systems. This results in special challenges for the efficient verification and validation (V&V) of these systems with regard to their requirements and properties. In order to tackle the new challenges and improve the quality assurance processes, the V&V workflows have to be documented and analyzed. In this paper, a novel approach for the workflow modelling of V&V activities is presented. The generic approach is tailorable to different industrial domains and their specific constraints, V&V methods, and toolchains. The outcomes comprise a dedicated modelling notation (VVML) and tool-support using the modelling framework Enterprise Architect for the efficient documentation and implementation of workflows in the use cases. The solution enables the design of re-usable workflow assets such as V&V activities and artifacts that are exchanged between workflows. This work is part of the large scale European research project VALU3S that deals with the improvement and evaluation of V&V processes in different technical domains, focusing on safety, cybersecurity, and privacy properties.

Keywords

Automated systems, Cybersecurity, Privacy, Safety, V&V tool chains, V&V workflows, Verification and validation

Key words in English

Automated systems, Cybersecurity, Privacy, Safety, V&V tool chains, V&V workflows, Verification and validation

Authors

BAUER, T.; AGIRRE, J.; FÜRCHO, D.; HERZNER, W.; HRUŠKA, B.; KARACA, M.; PEREIRA, D.; PROENÇA, J.; SCHLICK, R.; SICHER, R.; SMRČKA, A.; YAYAN, U.; SANGCHOOLIE, B.

RIV year

2025

Released

27.04.2022

Location

Cham

Book

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Edition

Lecture Notes in Computer Science

ISBN

0302-9743

Periodical

Lecture Notes in Computer Science

State

Federal Republic of Germany

Pages from

368

Pages to

382

Pages count

15

URL

https://link.springer.com/chapter/10.1007/978-3-031-04580-6_25

Full text in the Digital Library

http://hdl.handle.net/

BibTex

@inproceedings{BUT182325,
  author="BAUER, T. and AGIRRE, J. and FÜRCHO, D. and HERZNER, W. and HRUŠKA, B. and KARACA, M. and PEREIRA, D. and PROENÇA, J. and SCHLICK, R. and SICHER, R. and SMRČKA, A. and YAYAN, U. and SANGCHOOLIE, B.",
  title="Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S Invited Paper",
  booktitle="Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
  year="2022",
  series="Lecture Notes in Computer Science",
  journal="Lecture Notes in Computer Science",
  pages="368--382",
  address="Cham",
  doi="10.1007/978-3-031-04580-6\{_}25",
  issn="0302-9743",
  url="https://link.springer.com/chapter/10.1007/978-3-031-04580-6_25"
}

Documents

VALU3S-SAMOS-VVML-2022-978-3-031-04580-6_25