search

openETCS / validation

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

Verification of User Story 12: Termination of Radio Session in Level NTC #269

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 End of Mission in Level NTC and Mode SN
User Story Definition Sequence Diagram: RBC orders to terminate Radio Session, Radio Session is terminated
Link to DAS2V model\Scade\System\ObuFunctions\Radio\MoRC\MoRC.etp
model\Scade\System\ObuFunctions\Procedures\Procedure.etp
model\Scade\System\DMI_Control\DMI_Control.vsw
Name of Function MoRC_Pck::managementOfRadioCommunication/
ManageProcedure_Pkg::Master_Procedure/
DMI_Control_Pkg::DMI_Controller/
WP3 Issues WP3 User Story 12
Related to Specificatoin SUBSET-026 v3.3 Chapter
Test Specification
Restult of Tests

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