Luís Fernando Arcaro

Holds a bachelor's degree in Computer Science (2012) from University of Caxias do Sul (UCS), a master?s degree in Automation and Systems Engineering (2015) from Federal University of Santa Catarina (UFSC), and a PhD degree in Automation and Systems Engineering (2019) from Federal University of Santa Catarina (UFSC). Has academic and professional experience in Computer Science, working mainly on the following subjects: Probabilistic Timing Analysis, Time-randomized Processors, and Real-Time Operating Systems. During the undergraduate course, worked as a professional with the analysis and development of software targeting devices that ranged from application servers to embedded systems. During the masters course, conducted a study on operating systems for aerospace-related applications, and implemented an educational ARINC 653-compatible real-time operating system for low-cost hardware platforms. During the PhD course, conducted studies with the general objective of increasing the reliability and the applicability of measurement-based probabilistic timing analysis techniques, through empirical reliability evaluations of probabilistic worst-case execution time bounds and the development of hardware elements for time-randomized processors. Currently, is a Software Developer at Embraer.

Possui graduação em Bacharelado em Ciência da Computação pela Universidade de Caxias do Sul (2012), mestrado em Engenharia de Automação e Sistemas pela Universidade Federal de Santa Catarina (2015), e doutorado em Engenharia de Automação e Sistemas pela Universidade Federal de Santa Catarina (2019). Tem experiência acadêmica e profissional na área de Ciência da Computação, com ênfase em Sistemas de Tempo Real, atuando principalmente nos seguintes temas: Análise Temporal Probabilística, Processadores Temporalmente Aleatorizados, e Sistemas Operacionais de Tempo Real. Durante o curso de graduação, trabalhou profissionalmente com análise e desenvolvimento de software para dispositivos variando desde servidores de aplicação até sistemas embarcados. Durante o curso de mestrado, conduziu um estudo sobre sistemas operacionais para aplicações aeroespaciais, e desenvolveu um sistema operacional de tempo real educacional compatível com especificação ARINC 653 para plataformas de hardware de baixo custo. Durante o curso de doutorado, conduziu estudos com o objetivo geral de incrementar a confiabilidade e a aplicabilidade de técnicas de análise temporal probabilística baseada em medições, através de avaliações empíricas de confiabilidade de estimativas probabilísticas de tempo de execução no pior caso e do desenvolvimento de elementos de hardware para processadores temporalmente aleatorizados. Atualmente atua como Desenvolvedor de Software na Embraer.