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

Title: Geração de código VHDL a partir de especificações IOPT PNML2VHDL
Authors: Lima, Paulo Luís Gonçalves
Advisor: Gomes, Luís Filipe dos Santos
Keywords: PNML
VHDL
FORDESIGN
FPGA
IOPT
Redes de Petri
Issue Date: 2009
Publisher: FCT - UNL
Abstract: Com o aumento da complexidade no desenvolvimento de sistemas digitais existe uma necessidade cada vez maior de novas ferramentas que associadas a metodologias, criem mecanismos de abstracção tornando o desenvolvimento mais simples e menos demorado. A utilização de Redes de Petri para a modelação de sistemas de eventos discretos e especificação de controladores digitais tem sido bastante discutida havendo no entanto uma falta de ferramentas no que respeita à implementação desses modelos quando se considera a geração automática de código. Este trabalho tem como objectivo criar regras para a geração automática de código VHDL a serem usadas por uma nova ferramenta de ajuda à implementação de projectos de sistemas síncronos controlados a eventos discretos e baseados na utilização de Redes de Petri. A ferramenta é baseada numa classe de Redes de Petri denominada Input-Output Place- Transition Petri Net (IOPT), representada através de Petri Net Markup Language (PNML). Esta classe IOPT é baseada nas redes lugar/transição e em conceitos bem estudados de Redes de Petri sincronizadas e interpretadas, permitindo a associação de sinais externos de entrada e eventos de entrada e saída a transições e a associação de sinais de saída externos a lugares e a eventos de saída. Denominada por PNML2VHDL, a ferramenta permite gerar a partir de especificações IOPT uma descrição em VHDL da rede de forma a ser automaticamente implementada, por exemplo, numa FPGA. A necessidade desta ferramenta surge após uma cuidada análise das ferramentas existentes na actualidade. A inexistência de tal ferramenta motivou a sua criação. Será, certamente,uma ferramenta da maior utilidade para projectistas e de forma particular para o projecto FORDESIGN. A ênfase da dissertação está nas regras de tradução directa que permitem a tradução do comportamento de uma Rede de Petri descrita em IOPT para uma descrição em VHDL. Na tradução usa-se o método de atribuir a cada característica do modelo em IOPT uma estrutura em VHDL predefinida a que se deu o nome de regra de tradução. Após a definição das regras de tradução, a ferramenta é validada através da realização de diversos exemplos concretos e já bens estudados na literatura existente, como é o caso do parque de estacionamento.
Description: Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção de grau de Mestre em Engenharia Electrotécnica e de Computadores
URI: http://hdl.handle.net/10362/1981
Appears in Collections:FCT: DEE - Dissertações de Mestrado

Files in This Item:

File Description SizeFormat
Lima_2009.pdf1.32 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