search

openETCS / validation

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

VnV probes: Balise Telegram and BALISE GROUP ERROR #290

Open MarcBehrens opened 9 years ago

MarcBehrens commented 9 years ago

Following information gives a hint to where to look for probes within the model. Related Specification: SUBSET-027 v 3.1.0 Concerning: Train Data JRU NID_MESSAGE: 6 and 12

SUBSET-027 Variable SCADE Variable Declaration filename
See Subset-026-7 API_fromTrack API_Msg_Pkg::API_TrackSideInput_T openETCS_EVC.xscade
NID_C MSG_errors Common_Types_Pkg::MSG_Errors_T
NID_ERRORBG MSG_errors Common_Types_Pkg::MSG_Errors_T
M_ERROR outCheckErrors Common_Types_Pkg::MSG_Errors_T Manage_TrackSideInformation_Integration_Pkg.xscade