Test Model for Roll Away Protection

openETCS / validation

WP4: Validation and verification strategy

8 stars 22 forks source link

Test Model for Roll Away Protection #228

Closed MarcBehrens closed 9 years ago

MarcBehrens commented 10 years ago

Related to standstill supervision and the direction controller.
Movement is permitted until a specific distance is reached (example: 2m National Value: D_NVROLL in Subset-026-7.5.1.17), after this the brake is pulled.
Apply brake until standstill is reached.
Reset allowed distance at standstill and release brake.
Details: Subset 26: 3.14.2, 7.4.2.1.1, 7.5.1.17, 4.4.7.1.5

MarcBehrens commented 10 years ago

@idelatorre is there an update on the testmodel?

idelatorre commented 10 years ago

The model is being updated to cover all the requirements of the Roll Away Protection due to the initial model was not complete and only covered some functionality

KarstenFalk commented 9 years ago

@idelatorre atr goto meeting on 19th nov: still working on trying to fix the model

idelatorre commented 9 years ago

The issues were fixed and we are testing that all possible transitions and states are correctly covered to have the 100% requirements coverage

MarcBehrens commented 9 years ago

Test Model is ready and can be found at https://github.com/openETCS/modeling/tree/master/User%20Stories