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): Marranghello, Norian [UNESP]
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
Palavras-chave em Inglês:
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 Dezani, Henrique [UNESP]Universidade Estadual Paulista (Unesp)Souza, Rogéria Cristiane Gratão deCarlson Filho, Carlos MagnusMarranghello, Norian [UNESP]2014-06-11T19:22:35Z2014-06-11T19:22:35Z2006-05-19DEZANI, 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-3312Neste 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)79 f.porUniversidade Estadual Paulista (Unesp)Alephreponame:Repositório Institucional da UNESPinstname:Universidade Estadual Paulista (UNESP)instacron:UNESPRedes de petriSoftware - SínteseMicrocontroladoresSoftware synthesisMicrocontrollersPetri netGeração automática de código para microcontroladores aplicada a um ambiente de co-projeto de hardware e softwareinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/openAccessEngenharia Elétrica - FEISAutomaçãoUniversidade Estadual Paulista (UNESP), Faculdade de Engenharia, Ilha Solteira20986232628927190000-0003-1086-3312Publication85b724f4-c5d4-4984-9caf-8f0f0d076a19virtual::172485-185b724f4-c5d4-4984-9caf-8f0f0d076a19virtual::172485-1909f8040-719f-42cf-a550-e298b801fcebvirtual::189064-1909f8040-719f-42cf-a550-e298b801fcebvirtual::189064-1ORIGINALdezani_h_me_ilha.pdfapplication/pdf383103https://repositorio.unesp.br/bitstreams/d9aa0db8-ec4c-41ab-ace2-ccb60974d86f/download4d2db649fe811e74784845f2d0b245b4MD51trueAnonymousREADTEXTdezani_h_me_ilha.pdf.txtWritten by FormatFilter org.dspace.app.mediafilter.TikaTextExtractionFilter on 2023-11-28T06:11:15Z (GMT).Extracted texttext/plain103323https://repositorio.unesp.br/bitstreams/c72a0eb0-49d6-4ed3-9283-92394d1b18cc/downloadbc77e1e01cc3b640c822af3544a553a8MD54falseAnonymousREADTHUMBNAILdezani_h_me_ilha.pdf.jpgWritten by FormatFilter org.dspace.app.mediafilter.ImageMagickPdfThumbnailFilter on 2016-11-16T22:25:39Z (GMT).IM Thumbnailimage/jpeg4089https://repositorio.unesp.br/bitstreams/c9dfcd19-8342-4c94-9865-9e9f4f3ebc01/download73ae2d19802d770dbe9e08f231225f8eMD53falseAnonymousREAD11449/872232026-03-10T19:01:25.616446Zopen.accessoai:repositorio.unesp.br:11449/87223https://repositorio.unesp.brRepositório InstitucionalPUBhttp://repositorio.unesp.br/oai/requestrepositoriounesp@unesp.bropendoar:29462026-03-10T19:01:25Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)false
dc.title.pt.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.institution.none.fl_str_mv Universidade Estadual Paulista (Unesp)
dc.contributor.committeeMember.none.fl_str_mv Souza, Rogéria Cristiane Gratão de
Carlson Filho, Carlos Magnus
dc.contributor.author.fl_str_mv Dezani, Henrique [UNESP]
dc.contributor.advisor1.fl_str_mv Marranghello, Norian [UNESP]
contributor_str_mv Marranghello, Norian [UNESP]
dc.subject.por.fl_str_mv Redes de petri
Software - Síntese
Microcontroladores
topic Redes de petri
Software - Síntese
Microcontroladores
Software synthesis
Microcontrollers
Petri net
dc.subject.eng.fl_str_mv 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.issued.fl_str_mv 2006-05-19
dc.date.accessioned.fl_str_mv 2014-06-11T19:22:35Z
dc.date.available.fl_str_mv 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.citation.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.
dc.identifier.uri.fl_str_mv http://hdl.handle.net/11449/87223
dc.identifier.aleph.none.fl_str_mv 000467136
dc.identifier.file.none.fl_str_mv dezani_h_me_ilha.pdf
dc.identifier.capes.none.fl_str_mv 33004099080P0
dc.identifier.lattes.none.fl_str_mv 2098623262892719
dc.identifier.orcid.none.fl_str_mv 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.
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
bitstream.url.fl_str_mv https://repositorio.unesp.br/bitstreams/d9aa0db8-ec4c-41ab-ace2-ccb60974d86f/download
https://repositorio.unesp.br/bitstreams/c72a0eb0-49d6-4ed3-9283-92394d1b18cc/download
https://repositorio.unesp.br/bitstreams/c9dfcd19-8342-4c94-9865-9e9f4f3ebc01/download
bitstream.checksum.fl_str_mv 4d2db649fe811e74784845f2d0b245b4
bc77e1e01cc3b640c822af3544a553a8
73ae2d19802d770dbe9e08f231225f8e
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)
repository.mail.fl_str_mv repositoriounesp@unesp.br
_version_ 1878343760684777472

Registros relacionados