search

openETCS / validation

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

VnV probes: TIU #292

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: 39

SUBSET-027 Variable SCADE Variable Declaration filename
M_DIRECTION_CONTROLLER Loc_Direction_ST (currently a local variable, will change) TIU_Types_Pkg::M_directioncontroller_signal_status_T InputTIUManagemen.xscade
MarcBehrens commented 9 years ago

currently blocked by openETCS/modeling#541