• English
  • Deutsch
  • Log In
    Password Login
    Research Outputs
    Fundings & Projects
    Researchers
    Institutes
    Statistics
Repository logo
Fraunhofer-Gesellschaft
  1. Home
  2. Fraunhofer-Gesellschaft
  3. Konferenzschrift
  4. Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S
 
  • Details
  • Full
Options
2022
Conference Paper
Title

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

Title Supplement
Invited Paper
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.
Author(s)
Bauer, Thomas  
Fraunhofer-Institut für Experimentelles Software Engineering IESE  
Agirre, Joseba A.
Fürcho, David
Herzner, Wolfgang
Hruška, Bob
Karaca, Mustafa
Pereira, David
Proença, José
Schlick, Rupert
Sicher, Robert
Smrčka, Aleš
Yayan, Ugur
Sangchoolie, Behrooz
Mainwork
Embedded Computer Systems: Architectures, Modeling, and Simulation  
Project(s)
Verification and Validation of Automated Systems' Safety and Security  
Funding(s)
H2020  
Funder
European Commission  
Conference
International Conference on Embedded Computer Systems - Architectures, Modeling, and Simulation 2021  
DOI
10.1007/978-3-031-04580-6_25
Language
English
Fraunhofer-Institut für Experimentelles Software Engineering IESE  
Keyword(s)
  • Verification and validation

  • Safety

  • Cybersecurity

  • Privacy

  • Automated systems

  • V&V workflows

  • V&V tool chains

  • Cookie settings
  • Imprint
  • Privacy policy
  • Api
  • Contact
© 2024