Instituto Federal de Santa Catarina
Repositório de atividades e projetos elaborados durante a disciplina de Projeto de Protocolos (PTC29008) do curso de Engenharia de Telecomunicações do Instituto Federal de Santa Catarina - câmpus São José, realizada em 2019.2
- Introdução ao promela: é uma linguagem para modelagem de sincronização e coordenação de processos concorrentes. Sendo voltada para verificação de sistemas, essa linguagem não se aplica a expressar algoritmos em geral, tampouco calcular coisas. Seus elementos básicos são:
-
P1-protocolo-de-enlace: um protocolo que visa estabelecer enlaces ponto-a-ponto entre dois computadores.
-
P2-protocolo-de-aplicacao: a aplicação simula a coleta de amostras de diferentes sensores, e os envia para o servidor através de uma implementação do protocolo CoAP, com o campo payload seguindo os padrões do Protocol Buffers.
-
P3-verificacao-de-protocolos: são verificadas algumas FSM do protocolo desenvolvido no projeto 1 por meio de modelos escritos em Promela.