A carregar...
Publicação
Geração automática de código ANSI C a partir de Redes de Petri IOPT - PNML2C -
| Nome: | Descrição: | Tamanho: | Formato: | |
|---|---|---|---|---|
| 1.54 MB | Adobe PDF |
Orientador(es)
Resumo(s)
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