Publicação
Reengenharia de um sistema de controladores domóticos utilizando Redes de Petri
| Resumo: | 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. |
|---|---|
| Autores principais: | Reis, Mauro António Pereira dos |
| Assunto: | Domótica Tiny Domot Redes de Petri Diagramas de estados |
| Ano: | 2011 |
| País: | Portugal |
| Tipo de documento: | dissertação de mestrado |
| Tipo de acesso: | acesso aberto |
| Instituição associada: | Universidade Nova de Lisboa |
| Idioma: | português |
| Origem: | Repositório Institucional da UNL |
| Resumo: | 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. |
|---|