Proposta de um método de verificação por tempo global com redes de Petri no desenvolvimento de software embarcado e em tempo real

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.contributorKunzle, Luis Allan-
Autor(es): dc.contributorTodt, Eduardo-
Autor(es): dc.contributorUniversidade Federal do Paraná. Setor de Ciencias Exatas. Programa de Pós-Graduaçao em Informática-
Autor(es): dc.creatorPeres, Leticia Mara-
Data de aceite: dc.date.accessioned2019-08-21T23:02:06Z-
Data de disponibilização: dc.date.available2019-08-21T23:02:06Z-
Data de envio: dc.date.issued2010-09-20-
Data de envio: dc.date.issued2010-09-20-
Data de envio: dc.date.issued2010-09-20-
Fonte completa do material: dc.identifierhttp://hdl.handle.net/1884/24292-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/1884/24292-
Descrição: dc.descriptionResumo: 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.-
Formato: dc.formatapplication/pdf-
Formato: dc.formatapplication/pdf-
Palavras-chave: dc.subjectInformática-
Título: dc.titleProposta de um método de verificação por tempo global com redes de Petri no desenvolvimento de software embarcado e em tempo real-
Tipo de arquivo: dc.typelivro digital-
Aparece nas coleções:Repositório Institucional - Rede Paraná Acervo

Não existem arquivos associados a este item.