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/4967

Título: Geração automática de código ANSI C a partir de Redes de Petri IOPT - PNML2C -
Autor: Rebelo, Rogério Alexandre Botelho Campos
Orientador: Gomes, Luís
Issue Date: 2010
Editora: Faculdade de Ciências e Tecnologia
Resumo: Nesta dissertação apresenta-se a elaboração de regras de tradução e o desenvolvimento de uma ferramenta de geração de código na Linguagem ANSI C a partir de Redes de Petri IOPT especificadas em PNML. As redes de Petri IOPT resultam da extensão das redes de Petri Lugar-Transição com algumas características não autónomas,como sinais e eventos de entrada e saída. Para cada característica dos modelos expressos em Redes de Petri IOPT são definidas as estruturas necessárias em ANSI C para a sua execução, de forma a garantir a semântica pretendida. A ferramenta desenvolvida recebe o modelo do controlador expresso através de um modelo IOPT através de um ficheiro no formato PNML, ao qual foram adicionadas as representações dos elementos específicos das redes IOPT. O modelo é analisado e é criado um conjunto de cinco ficheiros preparados para, apenas com a definição do interface com a plataforma de implementação, executar a rede de acordo com a semântica definida. Foram criados dois interfaces para a ferramenta, um gráfico para ser usado por humanos e outro por comandos para facilitar a integração com outras ferramentas. Criou-se ainda uma nova ferramenta com o mesmo objectivo mas utilizando um novo meta-modelo das Redes de Petri IOPT de forma a tratar as alterações introduzidas por este meta-modelo. As ferramentas desenvolvidas foram validadas através de exemplos de sistemas de automação.
Descrição: Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores
URI: http://hdl.handle.net/10362/4967
Appears in Collections:FCT: DEE - Dissertações de Mestrado

Files in This Item:

File Description SizeFormat
Rebelo_2010.pdf1,58 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