Skip to content

Home

Jump to bottom Edit New page
Marc Behrens edited this page Jul 17, 2013 · 35 revisions

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

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

  • 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 :
  • 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
Add a custom footer
Add a custom sidebar
Clone this wiki locally