Grooming of D4.4

[MarcBehrens]

• General Setup of Verification and Validation putting the different activities in the context of the CENELEC
• General Scope: Summing up the findings of
  • D4.3.1: Model Verification and Validation Grooming of D4.3.1 #312
  • D4.3.2: Code/ Implementation Verification and Validation Grooming of D4.3.2 #311
  • D4.3.3: Process/ Tools/ Safety Verification and Validation Grooming of D4.3.3 #310
    including evaluation criteria on the correctness.
• Report on overall traceability (SysML, SCADE, Code, Test-Specifications, Test-Reports)
  • Coverage of requirements
• Exploitable Results and Outlook
• Covering VnV documents Number 24-35 of document mapping