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

Detalhes bibliográficos
Autor(a) principal: Peres, Leticia Mara
Data de Publicação: 2010
Tipo de documento: Tese
Idioma: por
Título da fonte: Repositório Institucional da UFPR
Texto Completo: https://hdl.handle.net/1884/24292
Resumo: Orientador: Prof. Dr. Luis Allan Künzle
id UFPR_5f175ba6dba5bf82382275ef20b4b689
oai_identifier_str oai:acervodigital.ufpr.br:1884/24292
network_acronym_str UFPR
network_name_str Repositório Institucional da UFPR
repository_id_str 308
spelling Kunzle, Luis Allan, 1962-Todt, Eduardo, 1963-Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em InformáticaPeres, Leticia Mara2022-12-07T19:49:33Z2022-12-07T19:49:33Z2010https://hdl.handle.net/1884/24292Orientador: Prof. Dr. Luis Allan KünzleCo-Orientador: Prof. Dr. Eduardo TodtTese (doutorado) - Universidade Federal do Paraná, Setor de Ciencias Exatas, Programa de Pós-Graduação em Informática. Defesa: Curitiba, 09/08/2010Bibliografia: fls. 117-126Resumo: 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.Abstract: Real time embedded systems are function and time constrained. In these systems, time constraints are as important as functional. An analytical model can help in the verification activities during embedded software analysis and design, reducing development time and increasing assurance of proper system behavior. This work proposes the application of global time technique of Petri nets as an alternative to the verification of real time embedded software. An algorithm of global time technique was proposed and implemented. We proposed a general method of application of this technique and an instantiation of this method. We developed models for the mapping of tasks in Petri nets and we determined and implemented a model for the generation of scenarios for the schedulability analysis considering fixed priority and earliest deadline first policies. The implementation and analysis of experiments allowed us to observe the method and models. The method proposed in this thesis aims to identify behavioral scenarios which do not meeting the time constraints of the modeled system. This is a major concern for software development teams about embedded and real time systems. As a result, we developed a method allowing time verification of real-time mbedded software using global and relative clocks, which is an important step to facilitate the application of Petri nets in the development of these systems.126f. : grafs., tabs.application/pdfDisponível em formato digitalInformáticaRedes de petriSoftwareCiencia da computaçãoProposta de um método de verificação por tempo global com redes de Petri no desenvolvimento de software embarcado e em tempo realinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisporreponame:Repositório Institucional da UFPRinstname:Universidade Federal do Paraná (UFPR)instacron:UFPRinfo:eu-repo/semantics/openAccessORIGINALTESEDOUT.PDFapplication/pdf1344456https://acervodigital.ufpr.br/bitstream/1884/24292/1/TESEDOUT.PDFcb7fb34c95ddd2cff958621d8bad28c9MD51open accessTEXTTESEDOUT.PDF.txtExtracted Texttext/plain298484https://acervodigital.ufpr.br/bitstream/1884/24292/2/TESEDOUT.PDF.txt7281c8b54d2da83c70432886dd5d5e2bMD52open accessTHUMBNAILTESEDOUT.PDF.jpgGenerated Thumbnailimage/jpeg1221https://acervodigital.ufpr.br/bitstream/1884/24292/3/TESEDOUT.PDF.jpgdad53c3b9251666f0de141aa48eac414MD53open access1884/242922022-12-07 16:49:33.725open accessoai:acervodigital.ufpr.br:1884/24292Repositório de PublicaçõesPUBhttp://acervodigital.ufpr.br/oai/requestopendoar:3082022-12-07T19:49:33Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)false
dc.title.pt_BR.fl_str_mv Proposta de um método de verificação por tempo global com redes de Petri no desenvolvimento de software embarcado e em tempo real
title Proposta de um método de verificação por tempo global com redes de Petri no desenvolvimento de software embarcado e em tempo real
spellingShingle Proposta de um método de verificação por tempo global com redes de Petri no desenvolvimento de software embarcado e em tempo real
Peres, Leticia Mara
Informática
Redes de petri
Software
Ciencia da computação
title_short Proposta de um método de verificação por tempo global com redes de Petri no desenvolvimento de software embarcado e em tempo real
title_full Proposta de um método de verificação por tempo global com redes de Petri no desenvolvimento de software embarcado e em tempo real
title_fullStr Proposta de um método de verificação por tempo global com redes de Petri no desenvolvimento de software embarcado e em tempo real
title_full_unstemmed Proposta de um método de verificação por tempo global com redes de Petri no desenvolvimento de software embarcado e em tempo real
title_sort Proposta de um método de verificação por tempo global com redes de Petri no desenvolvimento de software embarcado e em tempo real
author Peres, Leticia Mara
author_facet Peres, Leticia Mara
author_role author
dc.contributor.other.pt_BR.fl_str_mv Kunzle, Luis Allan, 1962-
Todt, Eduardo, 1963-
Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em Informática
dc.contributor.author.fl_str_mv Peres, Leticia Mara
dc.subject.por.fl_str_mv Informática
Redes de petri
Software
Ciencia da computação
topic Informática
Redes de petri
Software
Ciencia da computação
description Orientador: Prof. Dr. Luis Allan Künzle
publishDate 2010
dc.date.issued.fl_str_mv 2010
dc.date.accessioned.fl_str_mv 2022-12-07T19:49:33Z
dc.date.available.fl_str_mv 2022-12-07T19:49:33Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/1884/24292
url https://hdl.handle.net/1884/24292
dc.language.iso.fl_str_mv por
language por
dc.relation.pt_BR.fl_str_mv Disponível em formato digital
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 126f. : grafs., tabs.
application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFPR
instname:Universidade Federal do Paraná (UFPR)
instacron:UFPR
instname_str Universidade Federal do Paraná (UFPR)
instacron_str UFPR
institution UFPR
reponame_str Repositório Institucional da UFPR
collection Repositório Institucional da UFPR
bitstream.url.fl_str_mv https://acervodigital.ufpr.br/bitstream/1884/24292/1/TESEDOUT.PDF
https://acervodigital.ufpr.br/bitstream/1884/24292/2/TESEDOUT.PDF.txt
https://acervodigital.ufpr.br/bitstream/1884/24292/3/TESEDOUT.PDF.jpg
bitstream.checksum.fl_str_mv cb7fb34c95ddd2cff958621d8bad28c9
7281c8b54d2da83c70432886dd5d5e2b
dad53c3b9251666f0de141aa48eac414
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)
repository.mail.fl_str_mv
_version_ 1801860925215473664

Registros relacionados