openETCS / validation

WP4: Validation and verification strategy
8 stars 22 forks source link

Verification of traceability #298

Open MarcBehrens opened 9 years ago

MarcBehrens commented 9 years ago

To answer the question: Which requirement is covered by the design model (one direction) it is agreed to have the operators linked within the SCADE requirements gateway.

It is agreed to have from top model level either summing up packages (100%) or its additional operators as far as possible.

All requirements need to be linked according to: https://github.com/morido/subset026reqif.

One model part already applied within the SCADE requirements gateway is: Calculate Train Position

An update of the wikipage is planned: https://github.com/openETCS/validation/wiki/Traceability-in-SCADE-Suite-Models

feedback is planned by @BerndHekele