RFI TC.PATC SR CM 03 M 69
RFI TC.PATC SR CM 03 M 69
RFI TC.PATC SR CM 03 M 69
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
SPECIFICA DEI REQUISITI DI SISTEMA S<strong>CM</strong>T<br />
Volume 3 - SottoSistema di Bordo Appendice B - Requisiti di<br />
Architettura, Interfaccia, Ambiente e RAMS<br />
S<strong>CM</strong>T Codifica: <strong>RFI</strong> <strong>TC</strong>.PA<strong>TC</strong> <strong>SR</strong> <strong>CM</strong> <strong>03</strong> M <strong>69</strong> F FOGLIO<br />
113 di 138<br />
Figura 4-9 Diagramma a stati della funzione.<br />
NOTE:<br />
Gli ingressi della Macchina a Stati sono costituiti dal valore della variabile ricevuta e dallo<br />
stato del Timer di congelamento (in corso/ terminato).<br />
La descrizione corretta della Macchina a Stati dovrebbe seguire il modello di Moore<br />
(output associato allo stato) e gli stati logici che la costituiscono dovrebbero essere in<br />
numero grande, per tenere conto delle molte combinazioni possibili degli ingressi.<br />
Per ragioni di compattezza e generalità del diagramma, si utilizza piuttosto un modello<br />
ibrido di descrizione, nel quale:<br />
• l'output è associato alle transizioni (Mealy);