Disciplina: Sistemas Digitais I

Nome: Carollina Silva de Santana

Curso: Engenharia Industrial Elétrica Prof.: Josélia Holanda

Projeto de um Controlador de Semáforos de Trânsito

As luzes de um semáforo seguem o diagrama de transição de estados ilustrado na figura

1:

Figura 1: Diagrama de transição de estados das luzes de um semáforo.

Os semáforos são representados pelas direções:
Direção 1: G1, Y1, R1, A
Direção 2: G2, Y2, R2, A
Os estados são representados pela seguinte sequência:
Sentido 1: Passagem livre
Sentido 2: Parar
Estado 0
G Y R
Direção 1 1 0 0
Direção 2 0 0 1
Tabela 1: Estado 0.
Sentido 1: Passagem com cuidado
Sentido 2: Parar
Estado 1
G Y R
Direção 1 0 1 0
Direção 2 0 0 1
Tabela 2: Estado 1.
Sentido 1: Parar
Sentido 2: Passagem livre
Estado 2
G Y R
Direção 1 0 0 1
Direção 2 1 0 0
Tabela 3: Estado 2.
Sentido 1: Parar
Sentido 2: Passagem com cuidado
Estado 3
G Y R
Direção 1 0 0 1
Direção 2 0 1 0
Tabela 4: Estado 3.

Para que um estado seja alterado para o seguinte será utilizada a entrada Cont igual a 1.
Caso ela seja 0, deve permanecer no mesmo estado.

Figura 2: Comportamento da entrada Cont.

b) Para cada mudança de estado (Cont=1), é necessário analisar a condição do estado
Normal. Caso seu valor não seja 1, o próximo estado deve ser o estado 4.

Figura 3: Estado de Atenção.

Estado 4
G Y R A
Direção 1 x x x
1
Direção 2 x x x
Tabela 5: Estado 4.
c)

Figura 4: Diagrama de blocos.

d) Tabela de Estados e Saídas

Entrada Saída
Cont Q2 Q1 Q0 Q2' Q1' Q0'
0 0 0 0 0 0 0
0 0 0 1 0 0 1
0 0 1 0 0 1 0
0 0 1 1 0 1 1
0 1 0 0 1 0 0
1 0 0 0 0 0 1
1 0 0 1 0 1 0
1 0 1 0 0 1 1
1 0 1 1 0 0 0
1 1 0 0 0 0 0

Tabela 6: Normal = 1.

Q2 Q2*
0 x 0 0 Q0*
Cont x x 0 0
x x 0 0 Q0
Cont* 1 x 0 0 Q0*
Q1* Q1 Q1*

𝑄2’=𝐶𝑜𝑛𝑡̅̅̅̅̅̅̅̅̅̅̅̅̅̅ ̅̅̅̅̅̅̅ 𝑄2

Q2 Q2*
0 x 1 0 Q0*
Cont x x 0 1
x x 1 0 Q0
Cont* 0 x 1 0 Q0*
Q1* Q1 Q1*

𝑄1’=𝐶𝑜𝑛𝑡̅̅̅̅̅̅̅̅̅̅̅̅̅̅ ̅̅̅̅̅̅̅ 𝑄1+𝐶𝑜𝑛𝑡 (𝑄1⨁𝑄0)

Q2 Q2*
0 0 1 1 Q0*
Cont 0 0 0 0
x x 1 1 Q0
Cont* 0 x 0 0 Q0*
Q1* Q1 Q1*

𝑄0’=𝐶𝑜𝑛𝑡̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅ 𝑄2̅̅̅̅̅̅̅ 𝑄0+𝐶𝑜𝑛𝑡𝑄2̅̅̅̅̅̅̅ 𝑄0̅̅̅̅̅̅̅

𝑄0’=𝑄2(̅̅̅̅̅̅̅ 𝐶𝑜𝑛𝑡⨁𝑄0)
 Entrada Saída
Cont Q2 Q1 Q0 Q2' Q1' Q0'
0 0 0 0 0 0 0
0 0 0 1 0 0 1
0 0 1 0 0 1 0
0 0 1 1 0 1 1
0 1 0 0 0 0 0
1 0 0 0 1 0 0
1 0 0 1 1 0 0
1 0 1 0 1 0 0
1 0 1 1 1 0 0
1 1 0 0 1 0 0
Tabela 7: Normal = 0.

Q2 Q2*
1 X 1 1 Q0*
Cont X X 1 1
X X 0 0 Q0
Cont* 1 x 0 0 Q0*
Q1* Q1 Q1*

𝑄2’= 𝑄2+𝐶𝑜𝑛𝑡

Q2 Q2*
0 X 0 0 Q0*
Cont X X 0 0
X X 1 0 Q0
Cont* 0 x 1 0 Q0*
Q1* Q1 Q1*

𝑄1’=𝐶𝑜𝑛𝑡̅̅̅̅̅̅̅̅̅̅̅̅̅̅ ̅̅̅̅̅̅̅ 𝑄1

Q2 Q2*
0 X 0 0 Q0*
Cont X X 0 0
X X 1 1 Q0
Cont* 0 x 0 0 Q0*
Q1* Q1 Q1*

𝑄0∗=𝐶𝑜𝑛𝑡̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅ 𝑄0

e)
̅̅̅̅̅̅̅ ̅̅̅̅̅̅̅ 2+𝐶𝑜𝑛𝑡)
𝑄2’=𝑁𝑜𝑟𝑚𝑎𝑙 𝐶𝑜𝑛𝑡̅̅̅̅̅̅̅̅̅̅̅̅̅̅ ̅̅̅̅̅̅̅ 𝑄2+𝑁𝑜𝑟𝑚𝑎𝑙̅̅̅̅̅̅̅̅̅̅̅̅̅̅(𝑄
̅̅̅̅̅̅̅
𝑄1’=𝑁𝑜𝑟𝑚𝑎𝑙(𝐶𝑜𝑛𝑡̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅ 𝑄1+𝐶𝑜𝑛𝑡 (𝑄1⨁𝑄0))+𝑁𝑜𝑟𝑚𝑎𝑙̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅ 𝐶𝑜𝑛𝑡̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅ 𝑄1
̅̅̅̅̅̅̅ ̅̅̅̅̅̅̅
𝑄0’=𝑁𝑜𝑟𝑚𝑎𝑙 𝑄2(̅̅̅̅̅̅̅ 𝐶𝑜𝑛𝑡⨁𝑄0)+𝑁𝑜𝑟𝑚𝑎𝑙̅̅̅̅̅̅̅̅̅̅̅̅̅̅ 𝐶𝑜𝑛𝑡̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅ 𝑄0