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

Postcondizioni:
Tipologia:Functional/Safety
ID: SLR_TCMS_02
Link a SHL_TCMS_02
Nome: Diagnostic information
Input: Diagnostic informationsent on MVB (dataset 41X, X=1, 2, Autoexlusion bit ) and wired
(TCU KO, PropA/B_flt active low)
Precondizioni:
Descrizione: TCMS will also provide diagnostic information TCU_X Major Fault to ATC (dataset
201). In this case it shall be provide a passenger disembark procedure at the next station.
Output atteso:Diagnostic information TCU_X Major Fault to ATC on MVB through dataset 201.
Passenger disembark procedure provided.
Postcondizioni:
Tipologia: Functional/Safety
frase originaria: TCU will also provide a life signal on MVB (dataset 43X).
TCU will detect the HSCB status: if this one is not correctly closed, TCU won’t allow the
propulsion.
ID: SHR_TCU_02
Link a REQ_PROP_10
Nome: HSCB status
Input: HSCB status
Precondizioni:
Descrizione: TCU shall detect the HSCB status
Output atteso: HSCB status detected
Postcondizioni:
Tipologia:Functional
ID: SLR_TCU_02
Link a SHR_TCU_02
Nome: HSCB status
143