Publication Details

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. Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S Invited Paper. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science. Lecture Notes in Computer Science. Cham: 2022. p. 368-382. ISSN: 0302-9743.
Czech title
Modelování pracovních postupů verifikace a validace napříč doménami ve velkém evropském výzkumném projektu VALU3S
Type
conference paper
Language
English
Authors
BAUER, T.
AGIRRE, J.
FÜRCHO, D.
Herzner Wolfgang
HRUŠKA, B.
KARACA, M.
PEREIRA, D.
PROENÇA, J.
SCHLICK, R.
SICHER, R.
Smrčka Aleš, Ing., Ph.D. (DITS)
YAYAN, U.
Sangchoolie Behrooz
URL
Keywords

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

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.

Published
2022
Pages
368–382
Journal
Lecture Notes in Computer Science, ISSN 0302-9743
Proceedings
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Series
Lecture Notes in Computer Science
Conference
21st International Conference on Embedded Computer Systems - Architectures, Modeling, and Simulation (SAMOS), Samos, GR
Place
Cham
DOI
10.1007/978-3-031-04580-6_25
UT WoS
000873503300025
EID Scopus
2-s2.0-85129783157
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"
}
Files
Back to top