Verification Artifacts Styleguide

Versioning

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. (see D2.4)

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 - tbd.

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. Correlated to external variables
2. Used to create internal functions
3. Source - is giving the name of the function