-
Notifications
You must be signed in to change notification settings - Fork 22
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Verification of Module: CheckBGConsistency_Pkg::CheckBGConsistency/ #301
Comments
starting in sprint 36/ 37 |
Architecture verification review related to ADD document chapterrelating to modeling issue openETCS/modeling#307relating to chapter:
of this document: openETCS Architecture and Design Specification ADD: The Standard says:
Finding:
The Standard says:
Finding:
ADD:
Finding:
ADD: The standard says:
Findings:
ADD: The standard says:
Findings:
ADD: The standard says:
Finding:
ADD:
@Farhangi could you please clarify the findings and questions. |
relates to openETCS/product-backlog#77 |
I have revised the section CheckedBGConsistency. |
@Farhangi : still the following findings should be adapted to the ADD-Document:
There are also some minor quality issues, which need to be corrected:
|
Concerning the finding: "This is a design restriction which should be mentioned inside the chapter of the input and output variables (Balise input related to N_PIG) of the ADD document, part "Valid range of values" and "Behaviour for values out of valid range" and "Behaviour when value is erroneous, absent or unwanted (i.e. spurious)" it is expected to be handled inside the chapter "5.2.3.2.2 Interface"
|
Within the design working package (WP3) the Funcitonal Requirement Specificaiton is defined by User Stories. These User Stories are based on the application at the Amsterdam - Utrecht ETCS L2 track. To provide the track data for the ETCS OBU model a dynamic track model has been build, which in cooperation with a train movement model allows to simulate a run on the track. The issue documentes the verification for this dynamic track model.
Please use inside a commit message when your contribution is related to this user story.
Related to issue #237
assigned to @AbdelnasirMohamed
The text was updated successfully, but these errors were encountered: