Progetto Rete Asincrona
Il Controllo di un cancello elettrico “a scomparsa” è affidato ad una macchina
sequenziale asincrona con tre segnali d’ingresso (S, T, P) e due segnali d’uscita (A, C).
• S=1 indica che il cancello è o completamente chiuso, o completamente aperto.
• T è un telecomando: T=1 ordina al Controllo o di mantenere il cancello
completamente aperto se lo è già, o di portarlo fino a questa posizione.
• P è un rilevatore di presenza ostacoli sulla soglia: P=1 ordina al Controllo o di
mantenere il cancello completamente aperto se lo è già, o di portarlo fino a questa
posizione.
• L’assenza di ordini da parte di T e di P impone al
Controllo di avviare immediatamente la procedura di chiusura.
• La configurazione d’uscita A=1,C=0 fa muovere il cancello nella direzione di
apertura.
• La configurazione d’uscita A=0,C=1 fa muovere il cancello nella direzione di chiusura.
• La configurazione d’uscita A=0,C=0 deve essere impiegata dal Controllo per
mantenere il cancello fermo nelle posizioni di completamente chiuso e di
completamente aperto.
Rete di Mealy
Diagramma degli stati
101,10
111,10
101,10
110,10
STP,AC
100,00
110,10
100,10
B
Se ostacolo o
telecomando si
comincia ad aprire
000,10
001,10
001,10
010,10
011,10
000,10
101,00
110,00
111,00
010,10
011,10
Avvio apertura
A
001,10
010,10
011,10
Cancello chiuso
100,0-
101,00
Se compare ostacolo 110,00
o si preme il
111,00
telecomando si
ricomincia ad aprire
In apertura o
completamente aperto
100,01
000,01
E
In chiusura
C
D
000,01
Avvio chiusura
100,01
STP
000
001
011
010
100
101
111
110
A
-
-
-
-
A,00
B,-0
-
B,-0
B
C,10
C,10
C,10
C,10
B,10
B,10
B,10
B,10
C
C,10
C,10
C,10
C,10
D,01
C,00
C,00
C,00
D
E,01
-
-
-
D,01
C,00
C,00
C,00
E
E,01
C,10
C,10
C,10
A,00
-
-
-
B
[AE] => α
B => β
C => γ
D => δ
C
D
E
A
B
C
D
Codifica degli Stati
:Stati stabili
Classi massime di compatibilità :{ [AE],B,C,D}
STP
Y1Y0 000
001
011
010
100
101
111
110
α (00) 00,01
11,10
11,10
11,10
00,00
01,-0
-
01,-0
β (01) 11,10
11,10
11,10
11,10
01,10
01,10
01,10
01,10
γ (11)
11,10
11,10
11,10
10,01
11,00
11,00
11,00
-
-
-
10,01
11,00
11,00
11,00
11,10
δ (10) 00,01
Nella tabella non sono presenti corse critiche infatti
cambia sempre al più una variabile di stato.
Sintesi di Y0 e Y1
Y0
STP
Y1Y0
000
001
011
Y1
010
α (00)
00,01
11,10
11,10
11,10
β (01)
11,10
11,10
11,10
11,10
γ (11)
11,10
11,10
11,10
11,10
δ (10)
00,01
-
-
-
STP
Y1Y0
100
101
111
110
α (00)
00,00
01,-0
-
01,-0
β (01)
01,10
01,10
01,10
01,10
γ (11)
10,01
11,00
11,00
11,00
δ (10)
10,01
11,00
11,00
11,00
Sintesi di A e C
A
STP
Y1Y0
000
001
011
C
010
α (00)
00,01
11,10
11,10
11,10
β (01)
11,10
11,10
11,10
11,10
γ (11)
11,10
11,10
11,10
11,10
δ (10)
00,01
-
-
-
STP
Y1Y0
100
101
111
110
α (00)
00,00
01,-0
-
01,-0
β (01)
01,10
01,10
01,10
01,10
γ (11)
10,01
11,00
11,00
11,00
δ (10)
10,01
11,00
11,00
11,00
Y0= P + T + Y0(!S + !Y1)
Y1= !S(P+T+Y0) + SY1
A = !S(T+Y0+P) + !Y1Y0
C = !S!T!P!Y0 + S!T!PY1
Reset asincrono aggiunto per portare la rete allo stato iniziale.
SIMULAZIONE BEHAVIORAL
Viene premuto il
telecomando
quindi il cancello
comincia ad
aprirsi
Cancello chiuso
Il cancello si apre
completamente ma non
essendoci più il segnale
Viene ripremuto
del telecomando si
comincia a richiudere il pulsante e si
ricomincia ad
aprire il cancello
In chiusura
compare un
ostacolo
quindi il
cancello si
ricomincia ad
aprire.
Non essendoci
più il segnale T
o P allora il
cancello
comincia a
richIudersi
SIMULAZIONE POST-ROUTE
: Ritardi
Il comportamento è analogo al
precedente. Ma si possono notare i
ritardi sulla rete .
TestBench - Vhdl