Reengenharia de um sistema de controladores domóticos utilizando Redes de Petri

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 ComputadoresNesta 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