Publicação
Execução de modelos de redes de Petri IOPT usando o conceito de contenda e computação paralela
| datacite.subject.fos | Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática | pt_PT |
| dc.contributor.advisor | Gomes, Luís | |
| dc.contributor.author | Gabriel, Alexandre Luís de Sousa | |
| dc.date.accessioned | 2022-10-06T15:39:54Z | |
| dc.date.available | 2022-10-06T15:39:54Z | |
| dc.date.issued | 2022-02 | |
| dc.description.abstract | O ambiente de desenvolvimento IOPT-Tools, disponível publicamente em http://gres.uninova.pt/IOPT-Tools/ e resultado das contribuições de um elevado número de investigadores e estudantes de doutoramento e de mestrado, permite, entre outras funções, a edição de modelos IOPT (uma classe de redes de Petri vocacionada para o desenvolvimento de controladores), a sua simulação e geração automática de código de execução para plataformas software (C), hardware (VHDL) e PLCs (IL). Dispõe também de ferramentas para a geração do espaço de estados associado ao modelo, bem como de um subsistema para obter informação sobre as propriedades do sistema a partir do espaço de estados criado. O primeiro objetivo do trabalho é o de tirar partido da identificação de contendas no modelo IOPT e de gerar código de execução melhorado (em C) relativamente ao atualmente gerado pelas IOPT-Tools. Dado que para modelos "comuns" é fácil atingir os milhões de estados, sendo a sua geração morosa e carente de recursos (ocupando o servidor por “demasiado” tempo), o segundo objetivo do trabalho é o de tirar partido de computação paralela, utilizando os "cores" disponiveis ou uma GPU instalada no PC onde o servidor das IOPT-Tools esteja em execução, permitindo realizar a computação do espaço de estados assistida por processamento paralelo. Pretende-se caraterizar os benefícios da sua utilização para diferentes tipos de modelos e dimensões do espaço de estados. | pt_PT |
| dc.identifier.uri | http://hdl.handle.net/10362/144490 | |
| dc.language.iso | por | pt_PT |
| dc.subject | Redes de Petri | pt_PT |
| dc.subject | Classe de rede de Petri IOPT | pt_PT |
| dc.subject | IOPT-Tools | pt_PT |
| dc.subject | Contenda | pt_PT |
| dc.subject | C Geração automática de código | pt_PT |
| dc.subject | computação paralela | pt_PT |
| dc.title | Execução de modelos de redes de Petri IOPT usando o conceito de contenda e computação paralela | pt_PT |
| dc.type | master thesis | |
| dspace.entity.type | Publication | |
| rcaap.rights | openAccess | pt_PT |
| rcaap.type | masterThesis | pt_PT |
| thesis.degree.name | MESTRADO INTEGRADO EM ENGENHARIA ELETROTÉCNICA E COMPUTADORES | pt_PT |