Metodologie e strumenti dell'Ingegneria dei Requisiti ... - MobiLab

Tipologia: Functional
Frase originaria: TCMS will command the Coasting (dataset 500) and set to 0 Service Brake bit.
TCMS set high the braking Train Line (Cmd_Braking =1) -> service brake set OFF. BCU will send
back the status of service and holding brake bits.
ID: SHR_TCMS_01
LINK a REQ_BRAKE_61
Nome: Traction release by TCMS
Input: Coasting and Propulsion Reset commands on MVB by ATC
Precondizioni:
Descrizione: TCMS shall command the Coasting, shall release the Service Brake , and shall set the
braking Train Line to high (service brake set to OFF)
Output: Coasting commanded, Service Brake released and Braking Train Line set to off.
BCU shall send back the status of service and holding brake (Link a SHR_BCU_01)
Postcondizioni:
Tipologia: Functional
ID: SLR_TCMS_01
Link a SHR_TCMS_01 (HLR)
Nome: Traction release by TCMS
Input: Coasting and Propulsion Reset commands on MVB by ATC through dataset 707/708
Precondizioni: SLR_ATO_1 satisfied
TCMS shall command the Coasting (dataset 500), shall set the Service Brake bit to 0, and shall set
the braking Train Line to high (service brake set to OFF)
Output: Coasting ->1 on MVB, Service Brake ->0, Train Line ->1.
BCU shall send back the status of service and holding brake (Link a SHR_BCU_01)
Postcondizioni:
Tipologia: Functional
Frase originaria: ATO set traction bit =1 on MVB and Coasting and Propulsion Reset bit = 0 and
set the effort request to 50%.
ID: SHR_ATO_02
130