1. TEDE
  2. Unidade Manaus
  3. Programa de Pós-graduação em Informática
  4. Mestrado em Informática
???item.export.label??? ???item.export.type.endnote??? ???item.export.type.bibtex???

Please use this identifier to cite or link to this item: https://tede.ufam.edu.br/handle/tede/2938
Full metadata record
DC FieldValueLanguage
dc.creatorFreitas, Romulo Devezas-
dc.creator.Latteshttp://lattes.cnpq.br/2196959826111097por
dc.contributor.advisor1Barreto, Raimundo da Silva-
dc.contributor.advisor1Latteshttp://lattes.cnpq.br/1132672107627968por
dc.date.available2007-07-06-
dc.date.issued2005-12-01-
dc.identifier.citationFREITAS, Romulo Devezas. Síntese de escalas utilizando semântica de passo máximo em redes de petri com temporização. 2005. 127 f. Dissertação (Mestrado em Informática) - Universidade Federal do Amazonas, Manaus, 2005.por
dc.identifier.urihttp://tede.ufam.edu.br/handle/tede/2938-
dc.description.resumoNo contexto restritivo dos sistemas embarcados de tempo real críticos, a geração de código escalonado mostra-se uma maneira eficiente de proporcionar previsibilidade e demais garantias exigidas por tais sistemas. Entretanto, a geração de código escalonado pressupõe conhecimento prévio da ordem em que as tarefas devem ser executadas. Assim, a síntese de escalonamento é peça chave em um metodologia para síntese de software neste ambiente. Este trabalho apresenta uma abordagem para síntese de escalonamento estático utilizando semântica de passo máximo em redes de Petri com temporização. Este trabalho está inserido no contexto de uma metodologia para síntese de software de sistemas embarcados de tempo real críticos. Em linhas gerais, essa metodologia compreende (i) a especificação do sistema; (ii) a transformação da especificação em um modelo formal baseado em rede de Petri; (iii) a síntese de escalonamento baseada neste modelo e (iv) a geração de código escalonado. No escopo da síntese de escalonamento, este trabalho propõe um conjunto de definições que caracterizam uma estratégia de disparo de passo máximo sobre redes de Petri com temporização, e aplica estas definições na síntese de escalonamento estático para sistemas embarcados de tempo real críticos. Os resultados obtidos nos experimentos apresentados indicam a viabilidade da aplicação da semântica de passo máximo proposta, demonstrando melhorias de desempenho relacionadas ao tempo de execução e ao volume de informação processada. Adicionalmente, além da apresentação de uma abordagem de passo máximo para síntese de escalonamento, este trabalho ainda propõe algumas melhorias e aperfeiçoamentos na metodologia e no modelo adotados como base.por
dc.formatapplication/pdfpor
dc.thumbnail.urlhttp://200.129.163.131:8080//retrieve/7313/Romulo%20Devezas%20Freitas.pdf.jpg*
dc.languageporpor
dc.publisherUniversidade Federal do Amazonaspor
dc.publisher.departmentInstituto de Computaçãopor
dc.publisher.countryBRpor
dc.publisher.initialsUFAMpor
dc.publisher.programPrograma de Pós-graduação em Informáticapor
dc.rightsAcesso Abertopor
dc.subjectSemântica de Passo, Redes de Petri, Escalonamento Estático, Síntese Software.por
dc.subjectSemântica de Passopor
dc.subjectRedes de Petripor
dc.subjectEscalonamento Estáticopor
dc.subjectSíntese Softwarepor
dc.subjectStep semanticeng
dc.subjectPetri Webeng
dc.subjectSynthesis of softwareeng
dc.subject.cnpqCIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃOpor
dc.titleSíntese de escalas utilizando semântica de passo máximo em redes de petri com temporização.por
dc.title.alternativeScale synthesis using maximum step semantic on Petri Web.eng
dc.typeDissertaçãopor
Appears in Collections:Mestrado em Informática

Files in This Item:
File Description SizeFormat 
Romulo Devezas Freitas.pdf798.89 kBAdobe PDFThumbnail

Download/Open Preview
Show simple item record Recommend this item


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.