DSpace UNL

RUN >
Faculdade de Ciências e Tecnologia (FCT) >
FCT Departamentos >
FCT: Departamento de Engenharia Electrotécnica >
FCT: DEE - Dissertações de Mestrado >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10362/5728

Title: Reengenharia de um sistema de controladores domóticos utilizando Redes de Petri
Authors: Reis, Mauro António Pereira dos
Advisor: Gomes, Luís
Keywords: Domótica
Tiny Domot
Redes de Petri
Diagramas de estados
Issue Date: 2011
Publisher: Faculdade de Ciências e Tecnologia
Abstract: 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.
Description: 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
URI: http://hdl.handle.net/10362/5728
Appears in Collections:FCT: DEE - Dissertações de Mestrado

Files in This Item:

File Description SizeFormat
Reis_2011.pdf1.86 MBAdobe PDFView/Open
Statistics
View Statistics
FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpaceOrkut
Formato BibTex mendeley Endnote Logotipo do DeGóis 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Universidade Nova de Lisboa  - Statistics  - Feedback
Estamos no RCAAP Governo Português separator Ministério da Educação e Ciência   Fundação para a Ciência e a Tecnologia

Financiado por:

POS_C UE