Home

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

This represents validation and verification work package (WP4).

Find out how to contribute to this project. #Work Package Summary

• Current Activities:

• First Workshop on Safety Assessment

• Verification and Validation 1st level (Product Backlog) (Sprint-12 Backlog (Results of Sprint 2,3,4,5,6,7,8,9,10,11,12-Reporting))

• WP7 & WP4 Workshop on Secondary Toolchain and VnV Results

• OpenETCS Halfterm Review Meeting in Munich - WP 4 Review Meeting

• 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
  • First Verification Results can be found inside the User Stories

• 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

• Acceptance Criteria page