Geração automática de código para microcontroladores aplicada a um ambiente de co-projeto de hardware e software

Detalhes bibliográficos
Ano de defesa: 2006
Autor(a) principal: Dezani, Henrique [UNESP]
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Universidade Estadual Paulista (Unesp)
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Redes de petri
Software - Síntese
Microcontroladores
Software synthesis
Microcontrollers
Petri net
Link de acesso: http://hdl.handle.net/11449/87223
Resumo: Neste trabalho descreve-se um programa de geração automática de código para o microcontrolador 8051 da Intel, a partir de uma rede de Petri, com o objetivo de minimizar o tempo gasto na codificação do programa e automatizar completamente este processo de transformação. Definiu-se o uso da rede de Petri Lugar/Transição como modelo de entrada pois, mesmo tendo um modelo mais compacto, a rede de Petri Colorida, quando transformada em código Assembly é consideravelmente maior que o código Assembly gerado para a rede de Petri Lugar/Transição. Conclui-se que o código gerado pelo programa corresponde, exatamente, ao modelo da rede e pode ser executado pela arquitetura-alvo sem a necessidade de alterações no código.
id UNSP_87dfdc40157df9aaba298159e6516819
oai_identifier_str oai:repositorio.unesp.br:11449/87223
network_acronym_str UNSP
network_name_str Repositório Institucional da UNESP
repository_id_str
spelling Geração automática de código para microcontroladores aplicada a um ambiente de co-projeto de hardware e softwareRedes de petriSoftware - SínteseMicrocontroladoresSoftware synthesisMicrocontrollersPetri netNeste trabalho descreve-se um programa de geração automática de código para o microcontrolador 8051 da Intel, a partir de uma rede de Petri, com o objetivo de minimizar o tempo gasto na codificação do programa e automatizar completamente este processo de transformação. Definiu-se o uso da rede de Petri Lugar/Transição como modelo de entrada pois, mesmo tendo um modelo mais compacto, a rede de Petri Colorida, quando transformada em código Assembly é consideravelmente maior que o código Assembly gerado para a rede de Petri Lugar/Transição. Conclui-se que o código gerado pelo programa corresponde, exatamente, ao modelo da rede e pode ser executado pela arquitetura-alvo sem a necessidade de alterações no código.This dissertation describes a program for the automatic generation of microcontroller code. The program takes a Petri net as input and outputs the corresponding assembly code for the Intel's 8051. The goal of this work is to speed up the coding process as well as to completely automate such a transformation. We use place/transition nets because even colored Petri nets resulting in quite compact models the assembly codes produced from them are much larger than those produced from place/transition nets. Also the code generated by the program described here exactly matches the net model, and can be directly executed on the target architecture without the need for further tuning.Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)Universidade Estadual Paulista (Unesp)Marranghello, Norian [UNESP]Universidade Estadual Paulista (Unesp)Dezani, Henrique [UNESP]2014-06-11T19:22:35Z2014-06-11T19:22:35Z2006-05-19info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesis79 f.application/pdfDEZANI, Henrique. Geração automática de código para microcontroladores aplicada a um ambiente de co-projeto de hardware e software. 2006. 79 f. Dissertação (mestrado) - Universidade Estadual Paulista, Faculdade de Engenharia de Ilha Solteira, 2006.http://hdl.handle.net/11449/87223000467136dezani_h_me_ilha.pdf33004099080P020986232628927190000-0003-1086-3312Alephreponame:Repositório Institucional da UNESPinstname:Universidade Estadual Paulista (UNESP)instacron:UNESPporinfo:eu-repo/semantics/openAccess2023-11-28T06:11:15Zoai:repositorio.unesp.br:11449/87223Repositório InstitucionalPUBhttp://repositorio.unesp.br/oai/requestopendoar:29462023-11-28T06:11:15Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)false
dc.title.none.fl_str_mv Geração automática de código para microcontroladores aplicada a um ambiente de co-projeto de hardware e software
title Geração automática de código para microcontroladores aplicada a um ambiente de co-projeto de hardware e software
spellingShingle Geração automática de código para microcontroladores aplicada a um ambiente de co-projeto de hardware e software
Dezani, Henrique [UNESP]
Redes de petri
Software - Síntese
Microcontroladores
Software synthesis
Microcontrollers
Petri net
title_short Geração automática de código para microcontroladores aplicada a um ambiente de co-projeto de hardware e software
title_full Geração automática de código para microcontroladores aplicada a um ambiente de co-projeto de hardware e software
title_fullStr Geração automática de código para microcontroladores aplicada a um ambiente de co-projeto de hardware e software
title_full_unstemmed Geração automática de código para microcontroladores aplicada a um ambiente de co-projeto de hardware e software
title_sort Geração automática de código para microcontroladores aplicada a um ambiente de co-projeto de hardware e software
author Dezani, Henrique [UNESP]
author_facet Dezani, Henrique [UNESP]
author_role author
dc.contributor.none.fl_str_mv Marranghello, Norian [UNESP]
Universidade Estadual Paulista (Unesp)
dc.contributor.author.fl_str_mv Dezani, Henrique [UNESP]
dc.subject.por.fl_str_mv Redes de petri
Software - Síntese
Microcontroladores
Software synthesis
Microcontrollers
Petri net
topic Redes de petri
Software - Síntese
Microcontroladores
Software synthesis
Microcontrollers
Petri net
description Neste trabalho descreve-se um programa de geração automática de código para o microcontrolador 8051 da Intel, a partir de uma rede de Petri, com o objetivo de minimizar o tempo gasto na codificação do programa e automatizar completamente este processo de transformação. Definiu-se o uso da rede de Petri Lugar/Transição como modelo de entrada pois, mesmo tendo um modelo mais compacto, a rede de Petri Colorida, quando transformada em código Assembly é consideravelmente maior que o código Assembly gerado para a rede de Petri Lugar/Transição. Conclui-se que o código gerado pelo programa corresponde, exatamente, ao modelo da rede e pode ser executado pela arquitetura-alvo sem a necessidade de alterações no código.
publishDate 2006
dc.date.none.fl_str_mv 2006-05-19
2014-06-11T19:22:35Z
2014-06-11T19:22:35Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv DEZANI, Henrique. Geração automática de código para microcontroladores aplicada a um ambiente de co-projeto de hardware e software. 2006. 79 f. Dissertação (mestrado) - Universidade Estadual Paulista, Faculdade de Engenharia de Ilha Solteira, 2006.
http://hdl.handle.net/11449/87223
000467136
dezani_h_me_ilha.pdf
33004099080P0
2098623262892719
0000-0003-1086-3312
identifier_str_mv DEZANI, Henrique. Geração automática de código para microcontroladores aplicada a um ambiente de co-projeto de hardware e software. 2006. 79 f. Dissertação (mestrado) - Universidade Estadual Paulista, Faculdade de Engenharia de Ilha Solteira, 2006.
000467136
dezani_h_me_ilha.pdf
33004099080P0
2098623262892719
0000-0003-1086-3312
url http://hdl.handle.net/11449/87223
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 79 f.
application/pdf
dc.publisher.none.fl_str_mv Universidade Estadual Paulista (Unesp)
publisher.none.fl_str_mv Universidade Estadual Paulista (Unesp)
dc.source.none.fl_str_mv Aleph
reponame:Repositório Institucional da UNESP
instname:Universidade Estadual Paulista (UNESP)
instacron:UNESP
instname_str Universidade Estadual Paulista (UNESP)
instacron_str UNESP
institution UNESP
reponame_str Repositório Institucional da UNESP
collection Repositório Institucional da UNESP
repository.name.fl_str_mv Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)
repository.mail.fl_str_mv
_version_ 1797790975219728384

Registros relacionados