Dyretiva: um método para a verificação das restrições temporais em sistemas embarcados

Detalhes bibliográficos
Autor(a) principal: Cadamuro Junior, João
Data de Publicação: 2007
Tipo de documento: Tese
Idioma: por
Título da fonte: Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))
Texto Completo: http://repositorio.utfpr.edu.br/jspui/handle/1/93
Resumo: O Dyretiva é um método desenvolvido para utilização na fase de testes de sistemas embarcados operando em tempo real e, em especial, na verificação das restrições temporais do sistema. Como a fase de testes situa-se no final do processo de desenvolvimento, quando o hardware está disponível e o software codificado, a verificação temporal é feita por meio de monitoração do sistema sob teste. As principais premissas do Dyretiva são considerar a limitação de recursos dos sistemas embarcados e as características intrínsecas dos sistemas em tempo real. O método é definido por uma abordagem de monitoração e por um modelo de falta. A abordagem de monitoração define a interface física e lógica necessárias para observar o sistema sob teste, bem como as estratégias de utilização que permitem otimizar a coleta de dados. O modelo de falta identifica as relações e componentes do sistema onde existe maior probabilidade de encontrar os erros procurados. Para demonstrar os conceitos do Dyretiva, um conjunto de ferramentas de apoio a aplicação do método foi construído. Este conjunto, chamado de SoftScope, é composto por seis ferramentas: um pré-instrumentador de código, um instrumentador de código, um monitor, um programa de controle do monitor, programas para filtragem e análise dos dados capturados e um programa de visualização dos resultados. O Dyretiva e o SoftScope são parte integrante do projeto PERF, que está em andamento no LIT (Laboratório de Inovação e Tecnologia em Sistemas Embarcados) da UTFPR (Universidade Tecnológica Federal do Paraná), cujo objetivo é construir um ambiente completo para o desenvolvimento de sistemas embarcados operando em tempo real.
id UTFPR-12_e907788afa9a69c83280aed23473d6f5
oai_identifier_str oai:repositorio.utfpr.edu.br:1/93
network_acronym_str UTFPR-12
network_name_str Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))
repository_id_str
spelling 2010-10-13T17:46:01Z2010-10-13T17:46:01Z200713/10/2011CADAMURO JUNIOR, João. Dyretiva: um método para a verificação das restrições temporais em sistemas embarcados. 2007. 150 f. Tese (Doutorado em Engenharia Elétrica e Informática Industrial) – Universidade Tecnológica Federal do Paraná, Curitiba, 2007.http://repositorio.utfpr.edu.br/jspui/handle/1/93O Dyretiva é um método desenvolvido para utilização na fase de testes de sistemas embarcados operando em tempo real e, em especial, na verificação das restrições temporais do sistema. Como a fase de testes situa-se no final do processo de desenvolvimento, quando o hardware está disponível e o software codificado, a verificação temporal é feita por meio de monitoração do sistema sob teste. As principais premissas do Dyretiva são considerar a limitação de recursos dos sistemas embarcados e as características intrínsecas dos sistemas em tempo real. O método é definido por uma abordagem de monitoração e por um modelo de falta. A abordagem de monitoração define a interface física e lógica necessárias para observar o sistema sob teste, bem como as estratégias de utilização que permitem otimizar a coleta de dados. O modelo de falta identifica as relações e componentes do sistema onde existe maior probabilidade de encontrar os erros procurados. Para demonstrar os conceitos do Dyretiva, um conjunto de ferramentas de apoio a aplicação do método foi construído. Este conjunto, chamado de SoftScope, é composto por seis ferramentas: um pré-instrumentador de código, um instrumentador de código, um monitor, um programa de controle do monitor, programas para filtragem e análise dos dados capturados e um programa de visualização dos resultados. O Dyretiva e o SoftScope são parte integrante do projeto PERF, que está em andamento no LIT (Laboratório de Inovação e Tecnologia em Sistemas Embarcados) da UTFPR (Universidade Tecnológica Federal do Paraná), cujo objetivo é construir um ambiente completo para o desenvolvimento de sistemas embarcados operando em tempo real.The Dyretiva is a method used for verifying the time constraints of embedded realtime systems. The verification is performed by monitoring the embedded software when it is running in an embedded hardware. The Dyretiva method takes into account the resource constrained nature of embedded systems and the time bounded nature of real-time systems. The method is comprised by a monitoring approach and a fault model. The monitoring approach defines the physical and the logical interfaces used in the observation of the system under test, as well as the strategies used for an optimized trace data collection. The fault model identifies relationships and components of the system under test that are most likely to have time faults. To demonstrate Dyretiva concepts, a set of support tools called SoftScope has been developed. SoftScope is comprised of a source code pre-instrumentation tool, a source code instrumentation tool, a hybrid monitor, a program for controlling the hybrid monitor, programs for filtering and analyzing trace data, and a graphical presentation tool. The Dyretiva method and the SoftScope tool set are an integral part of the work-inprogress PERF project, which is under development in the LIT (Laboratory of Embedded Systems Innovation and Technology), at the UTFPR (Federal Technological University of Paraná State). The objective of the PERF project is to build a complete environment suitable for the development of embedded and real-time systems.3,38 MBporUniversidade Tecnológica Federal do ParanáCuritibaPrograma de Pós-Graduação em Engenharia Elétrica e Informática IndustrialEngenharia de sistemasProcessamento eletrônico de dados em tempo realSoftwareSystems engineeringReal-time data processingComputer softwareDyretiva: um método para a verificação das restrições temporais em sistemas embarcadosinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisCuritibaDoutoradoRenaux, Douglas Paulo BertrandCadamuro Junior, Joãoinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))instname:Universidade Tecnológica Federal do Paraná (UTFPR)instacron:UTFPRTHUMBNAILCT_CPGEI_D_Cadamuro Junior, João_2007.pdf.jpgCT_CPGEI_D_Cadamuro Junior, João_2007.pdf.jpgGenerated Thumbnailimage/jpeg1425http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/93/6/CT_CPGEI_D_Cadamuro%20Junior%2c%20Jo%c3%a3o_2007.pdf.jpg5e97b9eba33af2cb205cbc7e5a411405MD56ORIGINALCT_CPGEI_D_Cadamuro Junior, João_2007.pdfCT_CPGEI_D_Cadamuro Junior, João_2007.pdfapplication/pdf3554702http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/93/1/CT_CPGEI_D_Cadamuro%20Junior%2c%20Jo%c3%a3o_2007.pdf04ac17b11be55a24722d5247e49e09b3MD51TEXTCT_CPGEI_D_Cadamuro Junior, João_2007.pdf.txtCT_CPGEI_D_Cadamuro Junior, João_2007.pdf.txtExtracted texttext/plain330241http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/93/5/CT_CPGEI_D_Cadamuro%20Junior%2c%20Jo%c3%a3o_2007.pdf.txt45deb8a5a61b500f061a3da4700c2e51MD551/932021-12-15 22:17:13.091oai:repositorio.utfpr.edu.br:1/93Repositório de PublicaçõesPUBhttp://repositorio.utfpr.edu.br:8080/oai/requestopendoar:2021-12-16T00:17:13Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT)) - Universidade Tecnológica Federal do Paraná (UTFPR)false
dc.title.pt_BR.fl_str_mv Dyretiva: um método para a verificação das restrições temporais em sistemas embarcados
title Dyretiva: um método para a verificação das restrições temporais em sistemas embarcados
spellingShingle Dyretiva: um método para a verificação das restrições temporais em sistemas embarcados
Cadamuro Junior, João
Engenharia de sistemas
Processamento eletrônico de dados em tempo real
Software
Systems engineering
Real-time data processing
Computer software
title_short Dyretiva: um método para a verificação das restrições temporais em sistemas embarcados
title_full Dyretiva: um método para a verificação das restrições temporais em sistemas embarcados
title_fullStr Dyretiva: um método para a verificação das restrições temporais em sistemas embarcados
title_full_unstemmed Dyretiva: um método para a verificação das restrições temporais em sistemas embarcados
title_sort Dyretiva: um método para a verificação das restrições temporais em sistemas embarcados
author Cadamuro Junior, João
author_facet Cadamuro Junior, João
author_role author
dc.contributor.advisor1.fl_str_mv Renaux, Douglas Paulo Bertrand
dc.contributor.author.fl_str_mv Cadamuro Junior, João
contributor_str_mv Renaux, Douglas Paulo Bertrand
dc.subject.por.fl_str_mv Engenharia de sistemas
Processamento eletrônico de dados em tempo real
Software
Systems engineering
Real-time data processing
Computer software
topic Engenharia de sistemas
Processamento eletrônico de dados em tempo real
Software
Systems engineering
Real-time data processing
Computer software
description O Dyretiva é um método desenvolvido para utilização na fase de testes de sistemas embarcados operando em tempo real e, em especial, na verificação das restrições temporais do sistema. Como a fase de testes situa-se no final do processo de desenvolvimento, quando o hardware está disponível e o software codificado, a verificação temporal é feita por meio de monitoração do sistema sob teste. As principais premissas do Dyretiva são considerar a limitação de recursos dos sistemas embarcados e as características intrínsecas dos sistemas em tempo real. O método é definido por uma abordagem de monitoração e por um modelo de falta. A abordagem de monitoração define a interface física e lógica necessárias para observar o sistema sob teste, bem como as estratégias de utilização que permitem otimizar a coleta de dados. O modelo de falta identifica as relações e componentes do sistema onde existe maior probabilidade de encontrar os erros procurados. Para demonstrar os conceitos do Dyretiva, um conjunto de ferramentas de apoio a aplicação do método foi construído. Este conjunto, chamado de SoftScope, é composto por seis ferramentas: um pré-instrumentador de código, um instrumentador de código, um monitor, um programa de controle do monitor, programas para filtragem e análise dos dados capturados e um programa de visualização dos resultados. O Dyretiva e o SoftScope são parte integrante do projeto PERF, que está em andamento no LIT (Laboratório de Inovação e Tecnologia em Sistemas Embarcados) da UTFPR (Universidade Tecnológica Federal do Paraná), cujo objetivo é construir um ambiente completo para o desenvolvimento de sistemas embarcados operando em tempo real.
publishDate 2007
dc.date.submitted.pt_BR.fl_str_mv 13/10/2011
dc.date.issued.fl_str_mv 2007
dc.date.accessioned.fl_str_mv 2010-10-13T17:46:01Z
dc.date.available.fl_str_mv 2010-10-13T17:46:01Z
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.citation.fl_str_mv CADAMURO JUNIOR, João. Dyretiva: um método para a verificação das restrições temporais em sistemas embarcados. 2007. 150 f. Tese (Doutorado em Engenharia Elétrica e Informática Industrial) – Universidade Tecnológica Federal do Paraná, Curitiba, 2007.
dc.identifier.uri.fl_str_mv http://repositorio.utfpr.edu.br/jspui/handle/1/93
identifier_str_mv CADAMURO JUNIOR, João. Dyretiva: um método para a verificação das restrições temporais em sistemas embarcados. 2007. 150 f. Tese (Doutorado em Engenharia Elétrica e Informática Industrial) – Universidade Tecnológica Federal do Paraná, Curitiba, 2007.
url http://repositorio.utfpr.edu.br/jspui/handle/1/93
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 3,38 MB
dc.publisher.none.fl_str_mv Universidade Tecnológica Federal do Paraná
Curitiba
dc.publisher.program.fl_str_mv Programa de Pós-Graduação em Engenharia Elétrica e Informática Industrial
publisher.none.fl_str_mv Universidade Tecnológica Federal do Paraná
Curitiba
dc.source.none.fl_str_mv reponame:Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))
instname:Universidade Tecnológica Federal do Paraná (UTFPR)
instacron:UTFPR
instname_str Universidade Tecnológica Federal do Paraná (UTFPR)
instacron_str UTFPR
institution UTFPR
reponame_str Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))
collection Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))
bitstream.url.fl_str_mv http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/93/6/CT_CPGEI_D_Cadamuro%20Junior%2c%20Jo%c3%a3o_2007.pdf.jpg
http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/93/1/CT_CPGEI_D_Cadamuro%20Junior%2c%20Jo%c3%a3o_2007.pdf
http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/93/5/CT_CPGEI_D_Cadamuro%20Junior%2c%20Jo%c3%a3o_2007.pdf.txt
bitstream.checksum.fl_str_mv 5e97b9eba33af2cb205cbc7e5a411405
04ac17b11be55a24722d5247e49e09b3
45deb8a5a61b500f061a3da4700c2e51
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT)) - Universidade Tecnológica Federal do Paraná (UTFPR)
repository.mail.fl_str_mv
_version_ 1805922920289009664

Registros relacionados