Publicação
Configurador de sistemas distribuídos de controlo especificados através de redes de Petri IOPT
| datacite.subject.fos | Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática | pt_PT |
| dc.contributor.advisor | Gomes, Luis | |
| dc.contributor.author | Pimenta, José Eduardo Marques | |
| dc.date.accessioned | 2016-04-20T13:26:38Z | |
| dc.date.available | 2016-04-20T13:26:38Z | |
| dc.date.issued | 2015-09 | |
| dc.date.submitted | 2016-04 | |
| dc.description.abstract | O objetivo principal deste trabalho é desenvolver um protótipo de ferramenta que permita a geração de ficheiros de configuração de sistemas distribuídos de controlo em plataformas específicas permitindo a integração de um conjunto de componentes previamente definidos. Cada componente é caracterizado como um módulo, identificando-se o conjunto de sinais e eventos de entrada e saída, bem como o seu comportamento, normalmente especificado através de um modelo em redes de Petri IOPT – RdP-IOPT (Input-Output Place-Transitions). O formato PNML (Petri Net Markup Language) será utilizado para a representação de cada componente. Os componentes referidos poderão ser obtidos através de vários métodos, nomeadamente através de ferramentas em desenvolvimento, que se encontram disponíveis em http://gres.uninova.pt/IOPT-Tools/ e também através da sua edição no editor de IOPT, como resultado da partição de um modelo expresso em IOPT, utilizando o editor Snoopy-IOPT em conjugação com a ferramenta SPLIT. Serão considerados várias formas para interligação dos componentes, incluindo-se ligações diretas e wrappers assíncronos num contexto de sistemas Globalmente Assíncronos Localmente Síncronos - GALS bem como diferentes tipos de barramentos e ligações série, incluindo Network-On-Chip específicos. A descrição da interligação entre componentes é gerada automaticamente pela ferramenta desenvolvida, tendo em conta resultados de dissertações de mestrado anteriores. As plataformas especificas de suporte à implementação incluem FPGA’s da serie Xilinx Spartan3,3E e Xilinx Virtex, e várias placas de desenvolvimento. | pt_PT |
| dc.identifier.uri | http://hdl.handle.net/10362/17066 | |
| dc.language.iso | por | pt_PT |
| dc.relation | Petri-Rig - A Petri net based framework for embedded systems engineeRInG | |
| dc.subject | Configurador | pt_PT |
| dc.subject | PNML | pt_PT |
| dc.subject | Network-On-Chip | pt_PT |
| dc.subject | Wrappers | pt_PT |
| dc.subject | IOPT | pt_PT |
| dc.title | Configurador de sistemas distribuídos de controlo especificados através de redes de Petri IOPT | pt_PT |
| dc.type | master thesis | |
| dspace.entity.type | Publication | |
| oaire.awardNumber | PTDC/EEI-AUT/2641/2012 | |
| oaire.awardTitle | Petri-Rig - A Petri net based framework for embedded systems engineeRInG | |
| oaire.awardURI | info:eu-repo/grantAgreement/FCT/3599-PPCDT/PTDC%2FEEI-AUT%2F2641%2F2012/PT | |
| oaire.fundingStream | 3599-PPCDT | |
| project.funder.identifier | http://doi.org/10.13039/501100001871 | |
| project.funder.name | Fundação para a Ciência e a Tecnologia | |
| rcaap.rights | openAccess | pt_PT |
| rcaap.type | masterThesis | pt_PT |
| relation.isProjectOfPublication | 3d28ff4c-3642-47bb-8acf-3e523285bf4d | |
| relation.isProjectOfPublication.latestForDiscovery | 3d28ff4c-3642-47bb-8acf-3e523285bf4d | |
| thesis.degree.name | Mestrado em Engenharia Eletrotécnica e de Computadores | pt_PT |