Show simple item record

dc.contributor.authorPeres, Leticia Marapt_BR
dc.contributor.otherKunzle, Luis Allanpt_BR
dc.contributor.otherTodt, Eduardopt_BR
dc.contributor.otherUniversidade Federal do Paraná. Setor de Ciencias Exatas. Programa de Pós-Graduaçao em Informáticapt_BR
dc.date.accessioned2010-09-20T13:11:18Z
dc.date.available2010-09-20T13:11:18Z
dc.date.issued2010-09-20
dc.identifier.urihttp://hdl.handle.net/1884/24292
dc.description.abstractResumo: Sistemas embarcados de tempo real são sistemas restritos quanto às funcionalidades e recursos disponíveis. Nesses sistemas, requisitos temporais são tão importantes quanto requisitos funcionais. Nas fases de análise e projeto do software embarcado, um modelo analítico pode auxiliar em atividades de verificação, reduzindo o tempo de desenvolvimento e aumentando a garantia do comportamento correto do sistema. Este trabalho propõe a aplicação da técnica de tempo global de redes de Petri na verificação de software embarcado de tempo real. Um algoritmo da técnica de tempo global foi proposto e implementado. Um método geral de aplicação desta técnica e uma instanciação deste método foram propostos. Modelos de mapeamento de tarefas em redes de Petri foram desenvolvidos e um modelo de geração de cenários de comportamento para a análise de escalonabilidade para as políticas de prioridade fixa e earliest deadline first foi determinado e implementado. A execução e análise de experimentos permitiram observar o método e modelos. O método proposto neste trabalho objetiva identificar cenários de comportamento que não respeitam as restrições temporais do sistema modelado. No caso de sistemas embarcados e em tempo real esta é uma das principais preocupações das equipes de desenvolvimento de software. Como resultado, desenvolvemos um método que permite a verificação temporal de software embarcado de tempo real com relógios global e relativo, que é um passo relevante para facilitar a aplicação de redes de Petri no contexto do desenvolvimento destes sistemas.pt_BR
dc.format.mimetypeapplication/pdfpt_BR
dc.languagePortuguêspt_BR
dc.subjectInformáticapt_BR
dc.titleProposta de um método de verificação por tempo global com redes de Petri no desenvolvimento de software embarcado e em tempo realpt_BR
dc.typeTesept_BR


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record