UNIVERSIDADE FEDERAL DO MARANHÃO

CENTRO DE CIÊNCIAS EXATAS E TECNOLOGIA

COORDENAÇÃO DO CURSO DE ENGENHARIA DA COMPUTAÇÃO

LABORATÓRIO DE CIRCUITOS DIGITAIS – 2021 / 1

Turma 2

SISTEMA DE SEMÁFOROS EM UM
CRUZAMENTO DE 4 VIAS

PROFESSOR: PATRICKSON MARINHO SANTOS

ALUNO: EMANUEL RODRIGUES VALENTIM DA SILVA

São Luís, agosto de 2021

 Resumo

O presente relatório tem por objetivo realizar em ambiente de simulação o

funcionamento de um sistema de semáforos em um cruzamento de rodovias de
mão-duplas. Os resultados e os métodos são satisfatórios e suficientes para validar
o sistema desenvolvido em ambiente virtual de forma que foi obtido como resultado
a correta temporização e transição dos estados dos semáforos.

1 Introdução
O emprego de circuito lógicos por vezes se mostra necessário para aplicações que
exigem tempo real de execução e que não exigem a modificação de sua forma de
execução. Por mais que já existam formas mais otimizadas e conveniente de
desenvolvimento do controle dos leds dos semáforos para cruzamentos, o presente
experimento busca desenvolver a capacidade de resolução de problemas para uma
aplicação prática que faça uso de circuitos lógicos combinacionais.

1.1 Modelo teórico

O flip-flop é o elemento de memória mais importante dentre os circuitos lógicos.
Embora uma porta isolada não tenha a capacidade de guardar informação,
algumas podem ser acopladas em sequência com esse objetivo (TOCCI, ).
Esses componentes podem receber sinais de clock que nada mais são que
pulsos com o objetivo de altear o estado de um sistema digital (TOCCI,). Tais
pulsos podem ser positivos ou negativos, conforme a figura 1:

Figura 1: Pulso positivo e negativo

Fonte: Tocci, 2011

2
Um pulso que realiza a função planeja em nível alto é um pulso positivo,
enquanto que aquele que realiza a função planejada em nível baixo é um
pulso negativo. Flip Flops, ou qualquer outro sistema digital que receba sinais
de clock são chamados de sistemas síncronos. Nele, a mudança de estado
é determinada por pulsos sequenciais que obedecem a um período, ou trem
de pulsos (TOCCI).

Figura 2: Sinal de clock

Fonte: Tocci, 2011

Dentre os vários tipos de Flip Flops, existe o tipo J-K o qual o clock é
disparado por borda de subida. A tabela verdade para este tipo de Flip Flop
está mostrada na tabela 1.

Tabela 1: Tabela verdade do flip-flop tipo J-K

Fonte: Tocci, 2011

3
 Figura 3: Mudança de estado por borda de subida no flip-flop J-K

Fonte: Tocci, 2011

A figura 3 mostra como o estado atual é modificado pela transição de pulso

em bordas de subida à medida que o tempo avança.

Uma tabela verdade é uma técnica de descrição de circuito que relacionada

as entradas com suas respectivas saídas.

Figura 4: Exemplo de tabela verdade

Fonte: Tocci, 2011

4
 Existe uma relação que se dá entre a tabela verdade e a construção de
circuitos lógicos através do emprego dos teoremas booleanos e de
simplificação algébrica (Teoremas de DeMorgan) e emprego do mapa de
Karnough.

Figura 5: Circuito Lógico Combinacional

Fonte: Tocci, 2011

Tabela 2: Tabela Verdade do circuito da figura 5

Fonte: Tocci, 2011

1.2 Objetivos
Para este experimento, tem-se por objetivos:

• Realizar a montagem, em ambiente virtual de simulação, de um circuito

lógico capaz de representar o funcionamento de semáforos em um
cruzamento de vias de mão-duplas;
• Estabelecer um período de atuação para a sequência de visualização de
cores (Verde, Amarelo e Vermelho);

5
2 Metodologia
Para atingir os objetivos do experimento, optou-se por empregar a seguinte
lógica:

1. O período inicia no tempo 0s com necessariamente um dos sinais não

opostos na cor verde.
2. O tempo que esse sinal permanecerá na cor verde será de 15s.
3. Em seguida, o semáforo modifica seu estado para AMARELO e
permanece por 2s.
4. Finalmente, este semáforo muda seu estado para VERMELHO.
As seguintes ressalvas foram feitas:

• O estado VERMELHO deverá permanecer por 17s que é o resultado da

soma dos tempos do estado VERDE e AMARELO.
• Será empregado dois tipos de semáforos, sendo um com início no estado
VERDE e outro com estado VERMELHO e com seu tempo de
permanência segundo a lógica acima descrita.
• Os semáforos que estarão fisicamente opostos terão a mesma
funcionalidade, fazendo necessário, portanto, realizar a montagem de
apenas 1. Assim é totalizado 2 tipos de semáforos.
Para simular o período de atuação, resolveu-se fazer uso de um contador de 6
bits formado por flip-flops J-K em sequência, de forma que a contagem supere o
número 32 que é o período total de um ciclo de funcionamento.

As saídas dos flip-flops, correspondentes aos bits do contador, serão utilizadas

como as portas de entrada para um circuito lógico que determinará a mudança
de estado de 3 leds que representarão o semáforo nas cores verde, amarelo e
vermelho.

Neste experimento, optou-se por utilizar o ambiente virtual de simulação Logisim

desenvolvido por Carl Burch sob a GNU General Public License sendo um
software livre.

Suas funcionalidades permitem a simulação de circuitos digitais com portas

lógicas através de uma interface gráfica intuitiva além de conter um recurso muito
útil na formação de circuitos lógicos a partir da formação de tabelas verdade.
Sua interface pode ser observada na figura 7:

6
 Figura 6: Interface gráfica do Logisim

Fonte: produzido pelo autor

O circuito lógico obtido no software Logisim será montado no ambiente de

simulação de circuitos eletrônicos do Proteus, cujas ferramentas permitem a
visualização de forma interativa do funcionamento dos semáforos através de
leds nas cores de interesse.

Figura 7: Software Proteus

Fonte: produzido pelo autor

7
3 Procedimento Experimental
Iniciou-se o procedimento experimental através da montagem do contador
formado de flip-flops J-K de 6 bits. Na simulação no Proteus, utilizou-se o CI 4027
com a configuração mostrada na figura 8.

Figura 8: Contador de 6bits com flip-flop J-K

Fonte: produzido pelo autor

Em seguida, desenvolveu-se a tabela verdade a fim de fazer a correta relação

dos valores de entrada com os valores de saída. Como se trata de dois tipos de
semáforos, onde um irá iniciar pelo estado VERDE e outro pelo estado
VERMELHO, serão obtidas duas tabelas verdade. Para o primeiro tipo, deseja-
se que, inicialmente, o led verde seja aceso durante 15s. Ou seja, seu valor de
saída na tabela verdade será de 1 para todos os bits correspondentes ao tempo
de 0s até 14s. No valor binário correspondente a 15s já deve acontecer a
mudança para o estado AMARELO que permanecerá até o valor correspondente
a 16s. Acontece então a mudança para o estado VERMELHO e este fica até o
tempo de 31s. Adicionalmente, haverá uma saída de nome RESET para
identificar quando o período acaba de forma a reiniciar o contador, ou seja, o
ciclo reinicia.

Para o segundo tipo de semáforo, utilizou-se a mesma lógica, porém deveria

começar em VERMELHO. Sendo assim, para os primeiros 17s (0s até 16s) o
estado ficaria em VERMELHO, de onde imediatamente mudaria para VERDE e
permaneceria pelos próximos 15s (17s até 29s) quando mudaria finalmente para
AMARELO e então o ciclo seria reiniciado. Assim, obteve-se uma tabela verdade
com 6 entradas, correspondentes aos bits do contador, e 6 saídas
correspondentes aos 3 leds de cada semáforo. Essa tabela pode ser visualizada
na tabela 3.

8
 Tabela 3: Tabela verdade dos estados do semáforo

Fonte: produzido pelo autor

Em seguida, recorreu-se ao software Logisim para montagem do circuito

combinacional a partir da tabela 3. Como são dois semáforos, realizou-se a
montagem de dois circuitos apresentados na figura 9 e 10, respectivamente.

9
 Figura 9: Circuito Lógico para estado inicial em VERDE

Figura 10: Circuito Lógico para estado inicial em VERMELHO

Fonte: produzido pelo autor

Realizou-se, então a reprodução desses circuitos no software Proteus a fim de

verificar os resultados. Como se trata de dois tipos de semáforos mas 4
semáforos, realizou-se a montagem dos leds da forma presente na figura 11 para
melhor visualização.

10
 Figura 11: Disposição dos leds que representam o semáforo no Proteus

Fonte: produzido pelo autor

4 Resultados
Após a montagem de todo o circuito no Proteus, iniciou-se a simulação para
verificar o funcionamento dos estados dos tipos de semáforo através dos leds
nas cores correspondente do semáforo e obteve-se o seguinte resultado para os
primeiros 15s:

11
 Figura 12: Primeiro estado dos semáforos

Fonte: produzida pelo autor

A figura 12 mostra que os semáforos do sentido vertical estão VERDES

enquanto os semáforos da posição horizontal estão VERMELHOS.

Para a primeira transição de estado, que ocorre nos semáforos do sentido

vertical tem-se o resultado da figura 13.

12
 Figura 13: Segundo estado dos semáforos

Fonte: produzido pelo autor

A figura 13 mostra que enquanto os semáforos da vertical modificam seu estado

para AMARELO os semáforos da direção horizontal continuam em estado
VERMELHO.

Para a próxima transição de estado, obteve-se o resultado da figura 14.

13
 Figura 14: Terceiro estado dos semáforos

Fonte: produzido pelo autor

A figura 14 apresenta o terceiro estado dos semáforos onde ocorre a mudança

dos semáforos do sentido vertical de AMARELO para VERMELHO e no sentido
horizontal onde ocorre a mudança de VERMELHO para VERDE.

Por fim, a última mudança ocorre no final do segundo 31 onde o ciclo é reiniciado.
Seu resultado é mostrado na figura 15.

14
 Figura 15: Terceiro estado dos semáforos

Fonte: produzido pelo autor

A figura 15 mostra que dessa vez a mudança de estado ocorre apenas nos
semáforos da direção horizontal onde ocorre a mudança de VERDE para
Vermelho. A partir deste momento o ciclo é reiniciado.

5 Conclusão
O objetivo do experimento foi concluído com sucesso, tendo sido respeitado
todos os requisitos de funcionamento da aplicação. O emprego de técnicas de
construção de circuitos lógicos através da montagem da tabela verdade que
representa o comportamento de interesse mostrou-se bastante eficiente e
prático devido à facilidade oferecida pelo software Logisim em desenvolvê-la
automaticamente representando um ganho considerável de tempo no
desenvolvimento do projeto. Sua reprodução no Proteus foi de fácil
implementação e intuitiva visualização dos resultados não gerando dúvidas ou
questionamento dos mesmo de qualquer natureza.

15
Referências Bibliográficas

Tocci, Ronald J. Sistemas digitais: princípios e aplicações / Ronald J. Tocci,

Neal S. Widmer, Gregory L. Moss ; revisão técnica Renato Giacomini ; tradução
Jorge Ritter. – 11. ed. – São Paulo : Pearson Prentice Hall, 2011.

16