openETCS / validation

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

Verification of User Story 7: Establishing a communication Session in Level NTC #264

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 Running in Level NTC and Mode SN
User Story Definition Sequence Diagram Building up Radio Communicatoin and changing to Level 2
Link to DAS2V model\Scade\System\ObuFunctions\Radio\MoRC\MoRC.etp
model\Scade\System\ObuFunctions\Procedures\Procedure.etp
validation of train data ?
model\Scade\System\ObuFunctions\ManageLocationRelatedInformation\TrainPosition\ProvidePositionReport\ProvidePositionReport.etp
general message -> Safe radio connection ? @stefan-karg
National Values (tbd @MatthieuPoirot)
Fixed Text Message defines any text message displayed on the DMI: Procedure + DMI
Conditional Level Transition Order (tbd @MariellePetitDoche)
Receiving and Ack ov MA (tbd @christianstahl @Jakobgartner)
model\Scade\System\DMI_Control\DMI_Control.vsw
model\Scade\System\ObuFunctions\ManageLevelsAndModes\Level_And_Mode_Types\Level_And_Mode_Types.etp
Name of Function MoRC_Pck::managementOfRadioCommunication/
validation of train data ?
ProvidePositionReport_Pkg::ProvidePositionReport/ ?
ManageProcedure_Pkg::Master_Procedure/
DMI_Control_Pkg::DMI_Controller/
ManageLevelAndMode
WP3 Issues WP3 User Story 7
Related to Specificatoin SUBSET-026 v3.3 Chapter
Test Specification
Restult of Tests

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