search

openETCS / validation

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

VnV probes: Brakes #289

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: 3 and 4 and 43

SUBSET-027 Variable SCADE Variable Declaration filename
M_BRAKE_COMMAND_STATE brakeCmd.m_servicebrake_cm TIU_Types_Pkg::Brake_command_T SpeedSupervision_Integration_Pkg.xscade
M_BRAKE_COMMAND_STATE brakeCmd.m_emergencybrake_cm TIU_Types_Pkg::Brake_command_T SpeedSupervision_Integration_Pkg.xscade
TRACTION CUT OFF COMMAND STATE not yet implemented