RFI TC.PATC SR CM 03 M 69

SPECIFICA DEI REQUISITI DI SISTEMA SCMT
Volume 3 - SottoSistema di Bordo Appendice B - Requisiti di
Architettura, Interfaccia, Ambiente e RAMS
SCMT Codifica: RFI TC.PATC SR CM 03 M 69 F FOGLIO
114 di 138
• gli ingressi, nell'ordine con cui sono riportati sulle transizioni del diagramma, sono:
(CurrInput == CurrOutput), FreezeDelayExpired ;
• tutti gli stati sono raggruppati in tre macro-stati, all'interno dei quali le variabili
"LastInput" e "CurrOutput" hanno il compito di distinguere gli stati logici derivati da
diversi valori di ingresso (“CurrInput”);
• Lo stato iniziale della macchina è:
- stato Stable,
- CurrOutput=0,
- CurrInput=0;
- FreezeDelayExpired =1 (dove 1 indica che il timer è scaduto).
• a seguito dei valori CurrInput, CurrentOutput e FreezeDelayExpired assunti nello stato
si ricava la transizione;
• a seguito di ogni transizione il valore da prendere in considerazione di CurrInput è
quello dello stato precedente, solo dopo che questo è stato assegnato od a CurrOut o
LastInput, CurrInput assume il valore nel nuovo stato.
V3B.162
[E] Il sistema SSB SCMT deve garantire la permanenza su bus
MVB del valore delle variabili:
V3B.163
- dispfreetp → Disponibilità frenatura lettropneumatica
- funzsupred → Stato della funzione Supero Rosso CMT/RSC
- azorgvigil → Azionamento Organo di Vigilanza
- pulsupred → Pulsante Supero Rosso
- pulescscmt → Pulsante esclusione SCMT
- pulmanov → Pulsante Manovra
- pulsrsc → Pulsante RSC
- pulsric → Pulsante RIC
- pulspre → Pulsante PRE
- pulsrf → Pulsante RF
a fronte di una variazione per un periodo TFreeze superiore almeno al
doppio del loro tempo di vita sul bus stesso.
[E] Tfreeze deve essere posto pari ad 1 secondo.
V3B.164 [E] La macchina a stati deve essere realizzata come in Figura 4-9.
V3B.165
[E] Il sistema SSB SCMT deve garantire la permanenza su bus del