search

openETCS / validation

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

VnV probes: DMI & Speed Supervision #291

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: 38 and 20

SUBSET-027 Variable SCADE Variable Declaration filename
CAB STATUS TIU_trainStatus Obu_BasicTypes_Pkg::T_internal_Type Manage_TrackSideInformation_Integration_Pkg.xscade
M_SDMTYPE DMI_sdmToDMI DMI_Types_Pkg::speedSupervisionForDMI_T openETCS_EVC.xscade
M_SDMSUPSTAT DMI_sdmToDMI DMI_Types_Pkg::speedSupervisionForDMI_T openETCS_EVC.xscade
V_PERM DMI_sdmToDMI DMI_Types_Pkg::speedSupervisionForDMI_T openETCS_EVC.xscade
V_SBI DMI_sdmToDMI DMI_Types_Pkg::speedSupervisionForDMI_T openETCS_EVC.xscade
V_TARGET DMI_sdmToDMI DMI_Types_Pkg::speedSupervisionForDMI_T openETCS_EVC.xscade
D_TARGET DMI_sdmToDMI DMI_Types_Pkg::speedSupervisionForDMI_T openETCS_EVC.xscade
V_RELEASE DMI_sdmToDMI DMI_Types_Pkg::speedSupervisionForDMI_T openETCS_EVC.xscade