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

Título: Reengenharia de um sistema de controladores domóticos utilizando Redes de Petri
Autor: Reis, Mauro António Pereira dos
Orientador: Gomes, Luís
Palavras-chave: Domótica
Tiny Domot
Redes de Petri
Diagramas de estados
Issue Date: 2011
Editora: Faculdade de Ciências e Tecnologia
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.
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
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
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  - Feedback
Promotores do RCAAP   Financiadores do RCAAP

Fundação para a Ciência e a Tecnologia Universidade do Minho   Governo Português Ministério da Educação e Ciência PO Sociedade do Conhecimento (POSC) Portal oficial da União Europeia