A carregar...
Publicação
Reengenharia de um sistema de controladores domóticos utilizando Redes de Petri
| Nome: | Descrição: | Tamanho: | Formato: | |
|---|---|---|---|---|
| 1.82 MB | Adobe PDF |
Autores
Orientador(es)
Resumo(s)
Nesta dissertação apresenta-se todo um processo de reengenharia de um sistema de
controladores domóticos designado por Tiny Domots.
Partindo da análise do sistema já existente, encontraram-se os modelos comportamentais
associados utilizando como formalismo de modelação primário os Diagramas de Estados.
Criaram-se regras de tradução manual entre os Diagramas de Estados e Redes de Petri
(RdP), sendo que para a edição das Redes de Petri foi utilizada a ferramenta Snoopy IOPT que permite aplicar ao seu resultado, ferramentas de geração automática de código. Neste caso foi utilizada a ferramenta de geração automática de código C (PNML2C), sendo este o tipo de código suportado pela plataforma utilizada (PIC18F4620 da Microchip).
Desta forma obteve-se um sistema de controladores domóticos com as mesmas
funcionalidades do sistema existente, no entanto, criado com auxílio de ferramentas de edição de Redes de Petri e geração automática de código. É feita ainda uma análise comparativa entre os dois tipos de código (manual existente – gerado automaticamente).
O modelo encontrado, permite a fácil adição de novas funcionalidades ao sistema actual,
servindo este de base a novas gerações de controladores domóticos Tiny Domots.
Através das várias fases deste processo de “reverse engineering” obteve-se uma definição
e validação de metodologia que pode ser extensível a outras áreas que recorram a sistemas embutidos, não se limitando apenas à área da Domótica.
Descrição
Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade
Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Electrotécnica
e de Computadores
Palavras-chave
Domótica Tiny Domot Redes de Petri Diagramas de estados