Runtime monitoring library for the FreeRTOS

Detalhes bibliográficos
Autor(a) principal: Broering, Elton Ferreira
Data de Publicação: 2023
Tipo de documento: Dissertação
Idioma: eng
Título da fonte: Repositório Institucional da UFSC
Texto Completo: https://repositorio.ufsc.br/handle/123456789/250161
Resumo: Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2023.
id UFSC_bc3ecbbdd0c5f4fa8d6326dc21e1391f
oai_identifier_str oai:repositorio.ufsc.br:123456789/250161
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str 2373
spelling Runtime monitoring library for the FreeRTOSEngenharia de sistemasAutomaçãoSistemas de tempo-realDroneDissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2023.Runtime Verification (RV) é uma técnica leve e dinâmica que verifica a execução atual do sistema por meio de estruturas chamadas monitores e produz um veredicto sobre se essa execução satisfaz ou não uma propriedade específica de correção do sistema. Atualmente, há alguns trabalhos que fornecem bibliotecas para suporte à RV. No entanto, uma característica comum é o suporte apenas a sistemas POSIX, e muitos Real-Time Operating Systems (RTOS) não possuem suporte a POSIX, como, por exemplo, o FreeRTOS. Neste trabalho, foi desenvolvida uma biblioteca de suporte ao RunTime Monitoring (RM), que são os monitores para suporte a RunTime Verification com suporte a sistemas não-POSIX. Um dos requisitos era o desenvolvimento de uma biblioteca altamente desacoplada da arquitetura do Real-Time Operating System (RTOS), com suporte ao monitoramento dos Deadlines e Execution Time das Tasks e suporte às Tasks Periódicas e Não Periódicas. O trabalho também possui dois modos de operação: um modo de operação online e um modo de operação offline. O modo de operação offline é mais simples e leve, buscando impactar menos o sistema sendo monitorado, enquanto o modo de operação online faz todas as verificações dos monitores no sistema em execução e também possui suporte a alguns recursos adicionais.Foi desenvolvida uma aplicação exemplo para demonstrar o funcionamento da biblioteca, a partir de um modelo proveniente do Projeto ProVANT. A biblioteca deu suporte ao monitoramento e validação do modelo proveniente do ProVANT e também demonstrou como utilizar a biblioteca e todos os recursos que ela suporta.Abstract: RunTime Verification (RV) is a lightweight and dynamic technique that checks the current running of the system through structures called monitors and produces a verdict on whether or not this run satisfies a specific property of system correctness. Currently there are some works that provide libraries to support RV, however a common feature is the support only for POSIX systems like Linux, and many Real Time Operating Systems (RTOS) do not support POSIX, such as FreeRTOS. In this work, a support library for RunTime Monitoring is developed, which are the monitors to support RunTime Verification with support for FreeRTOS. One of the requirements was the development of a library highly decoupled from the RTOS architecture, with support for monitoring Deadlines and Execution Time of Tasks and support for Periodic and Non-Periodic Tasks. There are also two operation modes, an online operation mode and an offline operation mode, the offline operation mode is simpler and lighter, seeking to impact less the system being monitored, the online operation mode does all the checks of the monitors on the running system and also supports some additional features. An example application was developed to demonstrate how the library works, based on a model from the ProVANT Project. The library supported the monitoring and validation of the model from ProVANT and also demonstrated how to use the library and all the features it supports.Becker, Leandro BussUniversidade Federal de Santa CatarinaBroering, Elton Ferreira2023-09-04T23:12:43Z2023-09-04T23:12:43Z2023info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesis88 p.| il.application/pdf383373https://repositorio.ufsc.br/handle/123456789/250161engreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccess2023-09-04T23:12:44Zoai:repositorio.ufsc.br:123456789/250161Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestopendoar:23732023-09-04T23:12:44Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.fl_str_mv Runtime monitoring library for the FreeRTOS
title Runtime monitoring library for the FreeRTOS
spellingShingle Runtime monitoring library for the FreeRTOS
Broering, Elton Ferreira
Engenharia de sistemas
Automação
Sistemas de tempo-real
Drone
title_short Runtime monitoring library for the FreeRTOS
title_full Runtime monitoring library for the FreeRTOS
title_fullStr Runtime monitoring library for the FreeRTOS
title_full_unstemmed Runtime monitoring library for the FreeRTOS
title_sort Runtime monitoring library for the FreeRTOS
author Broering, Elton Ferreira
author_facet Broering, Elton Ferreira
author_role author
dc.contributor.none.fl_str_mv Becker, Leandro Buss
Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Broering, Elton Ferreira
dc.subject.por.fl_str_mv Engenharia de sistemas
Automação
Sistemas de tempo-real
Drone
topic Engenharia de sistemas
Automação
Sistemas de tempo-real
Drone
description Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2023.
publishDate 2023
dc.date.none.fl_str_mv 2023-09-04T23:12:43Z
2023-09-04T23:12:43Z
2023
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv 383373
https://repositorio.ufsc.br/handle/123456789/250161
identifier_str_mv 383373
url https://repositorio.ufsc.br/handle/123456789/250161
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 88 p.| il.
application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSC
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Repositório Institucional da UFSC
collection Repositório Institucional da UFSC
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv
_version_ 1808652307577962496

Registros relacionados