Verification Artifacts Styleguide

(Proposal of 2013-10-14)

Please use semantic versioning explained here: http://semver.org/spec/v2.0.0.html

Variables Namings are separated between internal (inside the EVC- Kernel) and external variables (used for communication between the EVC - Kernel and the interfaces). (see D2.4) All external variables are described inside the following documents:

1. openETCS API documentation
2. Subset-026-7
3. to be completed

External and internal variables are announced to the data dictionary. (role and way to be defined)

Only variables accepted by the data dictionary are allowed to be used as variables inside the model.

The mapping between external and internal variables are defined inside the data dictionary.

Data Dictionary

The data dictionary will evolve over time and thus the need to have a synchornised set of variables has been identified a crucial part in a distributed development.

The proposal is to have a common document inside github with the following properties:

1. The name of the document is: "openETCSDataDictionary.csv"
2. The document consists of comma separated values CSV see RFC4180
3. All contributions to the document are launched as a pull request
4. Each variable will be represented within one line consisting of

e.g. M_MODE;Integer;RBC;Subset-026-7.5.1.72;"possible ambiguity of external input and output function"

1. Variable name (see naming converntions within D2.4)

2. Variable type (see SysML Version 1.3 defintion June 2012 and ISO/IEC 9899:TC2 specification)

3. Variable source (the name of the function or name of the interface the variable is derived from)

4. Requirements link either the use of the variable is defined or, if available, the variable itself is defined(see naming convention within D2.4)

5. Risk: possible ambiguity used for refinment of data dictionary, proposals e.g. to replace one variable by differentiating two aspects can be filed here (free text, string for later reuse)

6. The data dictionary will reside inside the SSRS Repository under the responsibility of the SSRS task leader.

7. Merging the line into the repository will be done according to the rules se within the SSRS task

8. Merging of the line related to the variable into the CSV file master branch means that the variable has been

9. Checked for redundancy within the data dictionary

10. Checked for naming converntions and restrictions are met (defined within D2.4)

11. Checked that all information related to the variable is given

12. Approved and accepted by the SSRS team

Internal Functions

Naming of internal functions

Internal functions are named using an active form consisting of at least a combination of a verb and an object

Example:

1. initiateTerminatingASession

Internal variables

Naming of internal variables

The naming of the variables should consist of at least a combination of a verb and an object

Examples:

1. orderReceivedFromTrackside for a structure
2. endOfMissionIsExecuted for a boolean

Property of internal Variables

1. Can be correlated to external variables
2. Used to create internal functions
3. The sourcethe internal variable is derived from is given in the name of the function
4. The variable type is defined within SysML Version 1.3 defintion June 2012 and ISO/IEC 9899:TC2 specification)