search

openETCS / validation

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

Verification of User Story 6: Start of Mission in Level NTC and Mode SN #263

Open MarcBehrens opened 9 years ago

MarcBehrens commented 9 years ago

Within the design working package (WP3) the Funcitonal Requirement Specificaiton is defined by User Stories. To synchronize with new functionality the verification is linked to the User Stories.

Title Content
User Story Title Start of Mission in Level NTC and Mode SN
User Story Definition Sequence Diagram SOM in SN
Link to DAS2V model\Scade\System\ObuFunctions\Procedures\ManageProcedure_Pkg.xscade
model\Scade\System\ObuFunctions\Procedures\SoMProcedure_Pkg.xscade
model\Scade\System\ObuFunctions\ManageLevelsAndModes\Level_And_Mode_Types\Level_And_Mode_Types.etp
model\Scade\System\DMI_Control\DMI_Control.vsw
Name of Function ManageProcedure_Pkg::Master_Procedure
SoMProcedure_Pkg::SoM_NTC_SN/
ManageLevelAndMode
DMI_Control_Pkg::DMI_Controller
WP3 Issues WP3 User Story 6
Related to Specificatoin SUBSET-026 v3.3 Chapter 5 Steps S20, E20, S22, E30
Test Specification
Restult of Tests

Please use #263 inside a commit message when your contribution is related to this user story.

MarcBehrens commented 9 years ago

In this context SoM is beginning from S10 and S20 forward (deviating from the SUBSET-026 definition). The states before Start (or equal action) is pressed in S10 and S20 is defined to be Awakening of the Train (sometimes called Awakeness)