Show simple item record

dc.contributor.authorAndrade, Vinícius Camargopt_BR
dc.contributor.otherPeres, Leticia Marapt_BR
dc.contributor.otherUniversidade Federal do Paraná. Setor de Ciencias Exatas. Programa de Pós-Graduaçao em Informáticapt_BR
dc.date.accessioned2013-07-15T14:15:38Z
dc.date.available2013-07-15T14:15:38Z
dc.date.issued2013-07-15
dc.identifier.urihttp://hdl.handle.net/1884/30664
dc.description.abstractResumo: Linguagem Unificada de Modelagem (UML) é amplamente adotada para o desenvolvimento de aplicações. Entretanto, ela não foi projetada com estrutura formal que permite sua aplicação direta na verificação de sistemas embarcados de tempo real. Uma abordagem para preencher essa lacuna _e transformar modelos UML em representações formais, como redes de Petri. No entanto, os trabalhos existentes não resolvem esta questão quando são utilizadas restrições de energia e de tempo. Este trabalho apresenta como novidade a transformação de diagramas de sequência UML com energia e tempo em modelos de rede de Petri temporal. Estes modelos de rede de Petri são então utilizados como entrada para a análise de tempo e do consumo de energia por ferramentas de verificação de software como Tina e GTT.pt_BR
dc.format.mimetypeapplication/pdfpt_BR
dc.languagePortuguêspt_BR
dc.subjectDissertaçõespt_BR
dc.subjectTesespt_BR
dc.subjectRedes de petript_BR
dc.subjectSistemas embutidos de computadorpt_BR
dc.titleTransformação de modelos de diagrama de sequência uml contemplando restrições de tempo e energia para rede de petri temporalpt_BR
dc.typeDissertaçãopt_BR


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record