Banca de DEFESA: JAMILE DE BARROS VASCONCELOS

Uma banca de DEFESA de MESTRADO foi cadastrada pelo programa.
DISCENTE : JAMILE DE BARROS VASCONCELOS
DATA : 30/05/2023
HORA: 15:00
LOCAL: Defesa remota em sala virtual
TÍTULO:

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

PALAVRAS-CHAVES:

Análise Temporal Probabilística Baseada em Medições (MBPTA), Teoria dos Valores Extremos (EVT), Sistemas de Tempo Real (RTS), Tempo de Execução no Pior Caso (WCET), WCET Probabilístico (pWCET).

PÁGINAS: 170
RESUMO:

Sistemas de tempo real (RTS) são aqueles cujas ações estão sujeitas a restrições tempo- rais, 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.

MEMBROS DA BANCA:
Presidente - 2215121 - GEORGE MARCONI DE ARAUJO LIMA
Interna - 2115505 - TATIANE NOGUEIRA RIOS
Externa ao Programa - 2213780 - VERONICA MARIA CADENA LIMA - UFBA