Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S
Fraunhofer, Germany.
Mondragon University, Spain.
NXP Semiconductors, Germany.
AIT Austrian Institute of Technology, Austria.
Show others and affiliations
2021 (English)In: Lecture Notes in Computer Science, Springer, 2021, Vol. 13227, p. 386-382Conference paper, Published paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
Springer, 2021. Vol. 13227, p. 386-382
Series
Lecture Notes in Computer Science, ISSN 03029743
Keywords [en]
verication and validation, safety, cybersecurity, privacy, automated systems, V&V workflows, V&V tool chains
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:ri:diva-55461DOI: 10.1007/978-3-031-04580-6_25ISI: 978-303104579-0Scopus ID: 85129783157OAI: oai:DiVA.org:ri-55461DiVA, id: diva2:1579886
Conference
International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS XXI)
Projects
VALU3S (Verification and Validation of Automated Systems’ Safety and Security)
Funder
EU, Horizon 2020, 876852Available from: 2021-07-12 Created: 2021-07-12 Last updated: 2023-04-28Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Sangchoolie, Behrooz

Search in DiVA

By author/editor
Sangchoolie, Behrooz
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 308 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf