Defesa de Mestrado – Jessica Junia Santillo Costa – 14/9/2021
17/08/2021 13:58
| Defesa de Dissertação de Mestrado | |
| Aluno | Jessica Junia Santillo Costa |
| Orientador
Coorientador |
Prof. Rômulo Silva de Oliveira, Dr. – DAS/UFSC
Prof. Luis Fernando Arcaro, Dr. – EMBRAER |
| Data | 14/9/2021 (terça-feira) – 15h30
Videoconferência (https://meet.google.com/rpv-pwxx-wps) |
| Banca | Prof. Rômulo Silva de Oliveira, Dr. – DAS/UFSC (presidente);
Prof. Rodrigo Lange, Dr. – IFRS; Prof. Rafael Rodrigues Obelheiro, Dr. – DCC/UDESC; Prof. Cristian Koliver, Dr. – INE/UFSC. |
| Título | Emprego de Medição na Estimação do Tempo de Execução no Pior Caso para Sistemas de Tempo Real |
| Resumo: O objetivo deste trabalho é a avaliação de métodos e técnicas para estimar o tempo de execução no pior caso (WCET), em aplicações de tempo real executadas em hardware com recursos de aceleração complexos. Busca-se avaliar a aplicação da Análise de Tempo Probabilística Baseada em Medições (MBPTA) para estimação do WCET, utilizando como estudo de caso um sistema operacional que busca atender aos aspectos funcionais e temporais exigidos pela especificação ARINC 653 executado sobre uma plataforma BeagleBone. Testes foram feitos com a inserção de Benchmarks em diferentes partições do sistema operacional. Os Benchmarks implementados foram o fibcall, o bsort e o lms do projeto Mälardalen e o dijkstra do projeto TACLeBench. Diversos testes foram realizados para avaliar se o comportamento temporal da aplicação estava sujeito a variações. Os testes realizados comprovaram que o isolamento temporal e espacial, que deveria ser estabelecido por meio do particionamento do SO segundo a especificação ARINC 653, não é, por vezes, respeitado em função das características do hardware utilizado. Dois cenários foram usados nos testes em que foram coletadas 10 amostras com 50.000 medições. Apesar da existência de fatores que podem afetar o comportamento temporal da aplicação, o comportamento em regime se apresentou estável e, de maneira geral, a técnica MBPTA baseada na Teoria de Valores Extremos usando a abordagem Máximos de Blocos pôde ser aplicada e os resultados obtidos foram satisfatórios. Para cada cenário, foram usados 3 diferentes tamanhos de blocos e 3 diferentes quantidades de blocos. Foram gerados pWCETs (probabilistic WCETs) para 4 diferentes probabilidades de excedência. No caso da probabilidade de excedência de , ainda que 50 valores distintos de pWCET tenham sido obtidos, a diferença entre o maior e o menor valor obtido foi menor do que 1%, mostrando que o método, apesar de sua variabilidade inerente, fornece resultados consistentes. Em todos os casos, a mediana dos pWCETs () obtidos foi maior do que o maior valor observado. | |
