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

Req_4:
EB status detection, and information sending to ATC
Descrizione: TCMS can detect the status of EB Relay Bus loop by means of double breaks digital
inputs (EBRB+/-) and will provide on MVB the status of EBRB to ATC (Dataset 201 EB applied).
TCMS can detect the cause of EB application by means of the following digital inputs:
• Sts_MushRoomA/B (on A or B EDC, active low)
• Sts_ObstacleA/B (Obstacle detector on A-Side, active low)
• Sts_ DerlRxSensA/B (derailment sensor right side activated on A-Car, active low)
• Sts_ DerlLxSensA/B (derailment sensor right side activated on A-Car, active low)
Dal requisito di sistema estraiamo due requisiti software di alto livello:
ID: HLR_ Req_1
Nome: Cause of EB application_H
Input : Cause of EB application
Precondizioni : EB Application
Descrizione : TCMS can detect the cause of EB application by means of the digital inputs
Output atteso : Cause of EB application
Postcondizioni :
Tipologia : Functional
Criteri di verifica :
ID: HLR_ Req_2
Nome: EB application cause sent to ATC _H
Input : Information about EB application cause
Precondizioni : EB application
Descrizione : TCMS will provide the information about EB application cause on MVB to ATC even
if this information is directly available to ATC (by means of EB loop status). This information will
also be recorded by DBU. In case of EB request TCMS will provide (via MVB) the relative
information
Output atteso : Information about EB application cause on MVB to ATC and recorded by DBU
Postcondizioni :
123