openETCS / validation

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

Verification of Module: Manage_TrackSideInformation_Integration #306

Open janWelte opened 9 years ago

janWelte commented 9 years ago

Within the design working package (WP3) the Architecture and Design Specifications are defined based mainly based on the Subset-26 and additional Subsets. In addition the User Stories derived for the Amsterdam-Utrecht Track have been used as a guideline. The main function _Manage_TrackSideInformationIntegration is responsible to collect and check the data received via BTM or Radio. Those information valid for the current train status are provided to the following kernel functions.

Title Content
Object Operator: Manage_TrackSideInformation_Integration
Definition Verify correct and consitent architecture of the module
Link to DAS2V ADD document with the [SCADE model](https://github.com/openETCS/modeling/raw/mastermodel modelScadeSystemObuFunctionsManageLocationRelatedInformationBaliseGroupManage_TrackSideInformation_IntegrationManage_TrackSideInformation_Integration.etp)
Link to Documentation ADD document
Name of Function Manage_TrackSideInformation_Integration_Pkg::Manage_TrackSideInformation_Integration/
WP3 Issues Relates to User Story 4
Related to Specificatoin mainly SUBSET-026-3.4, SUBSET-026-3.16 and SUBSET-036-4.2
Test Specification tbd
Restult of Tests tbd
Verification Report

Related to issue #237

assigned to @janWelte

janWelte commented 9 years ago

Architecture verification review related to ADD document chapter and SCADE model structure

relating to chapter:


Finding:


ADD: In these sections, also a detailed definition of the concepts implemented on those interfaces is documented.

Finding:



ADD: An overview of the interface of component Manage_TrackSideInformation_Integration is shown in Figure 6.

Finding:


4.1.2.1 Inputs


Finding:


ADD: 4.1.2.1.7 tNvContact Description: For monitoring the safe radio connection, this national value is needed as an input. Source: Database

Finding:


ADD: `4.1.2.1.8 lastRelevantEventTimestamp

Source: Database `

Finding:


ADD: `4.1.2.1.10 inSupervisingRbcId

Source: Database Type: int Valid range of values [Complete list of valid values]`

Finding:


ADD: `4.1.2.1.12 q_nvlocacc

Source: Database`

Finding:


Finding:


4.1.2.2 Outputs


For most outputs

ADD: Description [Brief description of the output] And

Destination [Name of the destination component(s)]

Finding: