Avaliação Experimental do Uso de Estatística dos Valores Extremos na Determinação de Limites de Tempos de Execução para Projeto de Sistemas de Tempo Real

Enviado por hugo.chaves em qua, 03/05/2023 - 14:27

Nome do aluno

Jamile de Barros Vasconcelos

Título do trabalho

Avaliação experimental do uso de estatística dos valores extremos na determinação de limites de tempos de execução para projeto de sistemas de tempo real

Resumo do trabalho

Sistemas de tempo real (RTS) são aqueles cujas ações estão sujeitas a restrições temporais, definidas em termos de prazos de execução (deadlines). Um RTS crítico é usualmente projetado para nunca deixar de cumprir seus deadlines, como é o caso dos sistemas aviônicos e espaciais. Para que isso aconteça, é fundamental que se saiba qual o tempo máximo que cada tarefa leva para executar nestes ambientes, parâmetro conhecido como Tempo de Execução no Pior Caso (WCET).
Estimar o WCET de uma tarefa não é simples e, no caso das arquiteturas modernas, o mesmo está sujeito a imprevisíveis influências de diferentes elementos de hardware e software, que impedem a identificação de um valor absoluto de WCET. Uma das técnicas mais empregadas, nestes casos, é a Análise Temporal Probabilística Baseada em Medições (MBPTA), fundamentada em um ramo da estatística conhecido como Teoria dos Valores Extremos (EVT).
Por meio da MBPTA-EVT pode-se inferir distribuições de probabilidade de pior caso e estimar WCET Probabilísticos (Probabilistic Worst Case Execution Time - pWCET). O presente trabalho visa realizar uma análise experimental do uso da EVT via MBPTA para inferência de pWCET, apresentando o processo de aplicação da técnica em um ambiente real RPi e expondo os desafios e falhas encontrados durante este processo; ponto raramente exposto pela literatura. Os resultados parciais apontam que EVT é robusta, mas que apresenta fragilidades pois nem sempre produz modelos adequados e resultados pWCET coerentes. O trabalho está inserido no contexto do projeto Kepler, uma cooperação entre a UFBA e o INRIA-Paris.

Orientador

George Marconi de Araújo Lima

Membro Titular Externo (com afiliação)

Verônica Maria Cadena Lima (Departamento de Estatística, IME-UFBA)

Link para o curriculum lattes

http://lattes.cnpq.br/0186120040412904

Membro Titular Interno ou Titular Externo 2 (com afiliação)

Tatiane Nogueira Rio (Instituto de Computação - UFBA)

Link para o curriculum lattes

http://lattes.cnpq.br/0851148137941240

Membro Suplente Externo (com afiliação)

Flávia Maristela Santos Nascimento (Instituto Federal da Bahia - IFBA)