Home

This page is the entry point for validation, verification and safety related information.

This represents validation and verification work package (WP4) #Work Package Summary

• Current Activities:
• Verification and Validation 1st level (Product Backlog) (Sprint-02 Backlog)
• WP7 & WP4 Workshop on Secondary Toolchain and VnV Results
• Goal: Validation and Verification of the Model and Modeling Processes and Tools
• Team: The Team members and their expertise
• WP Leader: (Deutsches Zemtrum für Luft und Raumfahrt) (Marc Behrens)
• Task Leader 1: Hardi Hungar (Identification of Tools and Profile Usage)
• Task Leader 2: Ana Cavalli (V&V of the Formal Model)
• Task Leader 3: Jens Gerlach (V&V of the Implementation / Code)
• Task Leader 4: Hansjörg Manz, Jan Welte (Verification of the Tools and Processes)
• Task Leader 5: Cyril Cornu, (Internal Assessment)
• Verification :
  • Testing Activities (especially the Telco) Agenda and Results
  • Verification Documents: Containing a linked list of documents relevant for openETCS verification
• Validation :
  • Validation Documents: Containing a linked list of documents relevant for openETCS validation
• Safety/ Process :
  • Safety Activities (especially the Telco) Agenda and Results
  • Safety Documents: Containing a linked-/ referenced list of documents relevant for openETCS safety evaluation
• Communication: Please use the wp-specific Mailing List: [email protected] (subscribe by sending an email to [email protected])
• DoW: Validation and Verification Description of Work