Luís Fernando Arcaro

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.

Informações coletadas do Lattes em 12/06/2025

Acadêmico

Formação acadêmica

Doutorado em Engenharia de Automação e Sistemas

2015 - 2019

Universidade Federal de Santa Catarina
Título: Increasing the Reliability and Applicability of Measurement-Based Probabilistic Timing Analysis
Rômulo Silva de Oliveira. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Sistemas de Tempo Real; Análise Temporal Probabilística Baseada em Mediçõe; Confiabilidade; Aleatorização Temporal.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Tempo Real.

Mestrado em Engenharia de Automação e Sistemas

2013 - 2015

Universidade Federal de Santa Catarina
Título: Implementação de um sistema operacional compatível com a especificação ARINC 653, Ano de Obtenção: 2015
Rômulo Silva de Oliveira.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Tempo real; Sistemas operacionais; ARINC 653.Grande área: OutrosGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Tempo Real. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas Operacionais.

Graduação em Bacharelado em Ciência da Computação

2005 - 2012

Universidade de Caxias do Sul
Título: Desenvolvimento de uma plataforma de comunicação para dispositivos com interface de rede TCP/IP
Orientador: André Luis Martinotto

Ensino Médio (2º grau)

2000 - 2002

Escola Estadual Evaristo de Antoni

Ensino Fundamental (1º grau)

1999 - 1999

Escola Estadual Evaristo de Antoni

Ensino Fundamental (1º grau)

1994 - 1998

Escola Municipal José Bonifácio

Idiomas

Bandeira representando o idioma Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Bandeira representando o idioma Espanhol

Compreende Razoavelmente, Fala Pouco, Lê Bem, Escreve Pouco.

Bandeira representando o idioma Português

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Tempo Real.

Organização de eventos

ARCARO, L. F. . Joint 9th IFAC Symposium on Robust Control Design (ROCOND'18) and 2nd IFAC Workshop on Linear Parameter Varying Systems (LPVS'18). 2018. (Congresso).

Participação em eventos

Brazilian Symposium on Computing Systems Engineering 2018 (SBESC'18).A Reliability Evaluation Method for Probabilistic WCET Estimates based on the Comparison of Empirical Exceedance Densities. 2018. (Simpósio).

Joint 9th IFAC Symposium on Robust Control Design (ROCOND'18) and 2nd IFAC Workshop on Linear Parameter Varying Systems (LPVS'18). 2018. (Simpósio).

IEEE Real-Time Systems Symposium 2017 (RTSS'17).On Using GEV or Gumbel Models When Applying EVT for Probabilistic WCET Estimation. 2017. (Simpósio).

IEEE International Conference on Industrial Informatics 2015 (INDIN'15). Lessons learned from the development of an ARINC 653 compatible Operating System. 2015. (Congresso).

Brazilian Symposium on Computing Systems Engineering 2014 (SBESC'14).Mapeamento do isolamento espacial da ARINC 653 para a arquitetura ARMv7-A. 2014. (Simpósio).

Participação em bancas

Aluno: Bruno Dourado Miranda

OLIVEIRA, R. S.; MATTOS, M. M.;ARCARO, L. F.; FRAGA, J. S.. Análise de Tempo de Resposta de Tarefas no Sistema Operacional FreeRTOS. 2021. Dissertação (Mestrado em Programa de Pós-Graduação em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

Aluno: Jorge Luiz Sant'Anna de Souza

PAES, T. L.; NUNES, M. B.;ARCARO, L. F.; SEJAS, I. I.. CAPTEDI: Sistema para Captação e Disponibilização de Informações na Educação Inclusiva e Especial. 2019. Trabalho de Conclusão de Curso (Graduação em Análise e Desenvolvimento de Sistemas) - Instituto Federal de Santa Catarina.

Aluno: [Nome removido após solicitação do usuário]

CAVALCANTE, T. S. G.;ARCARO, L. F.; JUSTO, D. S.. Sistema de Controle de Gestão para ONG de Animais. 2019. Trabalho de Conclusão de Curso (Graduação em Análise e Desenvolvimento de Sistemas) - Instituto Federal de Santa Catarina.

Aluno: João Mario Ferreira

CARMINATI, A.; BENINCA, R. A.;ARCARO, L. F.. Software Mobile para Controle de Chamados. 2019. Trabalho de Conclusão de Curso (Graduação em Análise e Desenvolvimento de Sistemas) - Instituto Federal de Santa Catarina.

Aluno: Ruan Carlos Crepes Soares Label

JUSTO, D. S.; LIMA, B. L.; PAES, T. L.;ARCARO, L. F.. Sistema para Gerenciamento de Tecidoteca. 2019. Trabalho de Conclusão de Curso (Graduação em Análise e Desenvolvimento de Sistemas) - Instituto Federal de Santa Catarina.

Aluno: Matheus Zardo von Mecheln

RABELO, R. J.; GERGES, R. N. C.; FLESCH, R. C. C.;ARCARO, L. F.; ORTOLAN, F. K.; BARANKIEVIC, V. S.. Automação do Processo de Determinação da Força do Arco em Protetores Auriculares. 2018. Trabalho de Conclusão de Curso (Graduação em Engenharia de Controle e Automação) - Universidade Federal de Santa Catarina.

Aluno: Gustavo Peres

SILVEIRA, H. B.; GRACIOSA, H.; STEMMER, M. R.;ARCARO, L. F.; BONET, E. F. E.; BLOEDORN, M. V.. Automatização do Processo de Gravação a Laser de Placas de Identificação para Motores Elétricos. 2015. Trabalho de Conclusão de Curso (Graduação em Engenharia de Controle e Automação) - Universidade Federal de Santa Catarina.

Orientou

Jessica Junia Santillo Costa

Emprego de Medição na Estimação do Tempo de Execução no Pior Caso para Sistemas de Tempo Real; 2021; Dissertação (Mestrado em Programa de Pós-Graduação em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina,; Coorientador: Luís Fernando Arcaro;

Produções bibliográficas

  • ARCARO, LUIS FERNANDO ; SILVA, KARILA PALMA ; OLIVEIRA, ROMULO SILVA DE . On the Reliability and Tightness of GP and Exponential Models for Probabilistic WCET Estimation. ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS , v. 23, p. 1-27, 2018.

  • COSTA, JESSICA JUNIA SANTILLO ; DE OLIVEIRA, ROMULO SILVA ; ARCARO, LUIS FERNANDO . Use of Measurements in Worst-Case Execution Time Estimation for Real-Time Systems. In: 2021 XI Brazilian Symposium on Computing Systems Engineering (SBESC), 2021, Florianopolis. 2021 XI Brazilian Symposium on Computing Systems Engineering (SBESC), 2021. p. 1.

  • SILVA, KARILA PALMA ; ARCARO, LUIS FERNANDO ; DE OLIVEIRA, ROMULO SILVA . Methods for Comparing Execution Times of Different Input Data when Real-Time Tasks Run on Complex Computer Architectures. In: 2020 X Brazilian Symposium on Computing Systems Engineering (SBESC), 2020, Florianopolis. 2020 X Brazilian Symposium on Computing Systems Engineering (SBESC), 2020. p. 1.

  • ARCARO, L. F. ; SILVA, K. P. ; OLIVEIRA, R. S. ; ALMEIDA, L. . Reliability Test based on a Binomial Experiment for Probabilistic Worst-Case Execution Times. In: 2020 IEEE RealTime Systems Symposium (RTSS), 2020, On-line. 2020 IEEE Real-Time Systems Symposium (RTSS), 2020.

  • SILVA, KARILA PALMA ; ARCARO, LUIS FERNANDO ; DE OLIVEIRA, DANIEL BRISTOT ; DE OLIVEIRA, ROMULO SILVA . An Empirical Study on the Adequacy of MBPTA for Tasks Executed on a Complex Computer Architecture with Linux. In: 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA), 2018, Torino. 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA), 2018. p. 321-328.

  • SILVA, K. P. ; ARCARO, L. F. ; OLIVEIRA, R. S. . Método Empírico para Avaliar a Sensibilidade do Tempo de Execução de Tarefas de Tempo Real aos Dados de Entrada. In: Brazilian Symposium on Computing Systems Engineering 2018 (SBESC'18), 2018, Salvador. Proceedings of the Brazilian Symposium on Computing Systems Engineering 2018 (SBESC'18), 2018.

  • SILVA, KARILA PALMA ; ARCARO, LUIS FERNANDO ; OLIVEIRA, ROMULO SILVA DE . On Using GEV or Gumbel Models When Applying EVT for Probabilistic WCET Estimation. In: 2017 IEEE RealTime Systems Symposium (RTSS), 2017, Paris. 2017 IEEE Real-Time Systems Symposium (RTSS), 2017. p. 220-230.

  • ARCARO, LUIS FERNANDO ; DE OLIVEIRA, ROMULO SILVA . Lessons learned from the development of an ARINC 653 compatible Operating System. In: 2015 IEEE 13th International Conference on Industrial Informatics (INDIN), 2015, Cambridge. 2015 IEEE 13th International Conference on Industrial Informatics (INDIN), 2015. p. 221-226.

  • ARCARO, L. F. ; OLIVEIRA, R. S. . Mapeamento do isolamento espacial da ARINC 653 para a arquitetura ARMv7-A. In: Brazilian Symposium on Computing Systems Engineering 2014 (SBESC'14), 2014, Manaus. Proceedings of the Brazilian Symposium on Computing Systems Engineering 2014 (SBESC'14), 2014.

  • ARCARO, LUIS FERNANDO ; PALMA SILVA, KARILA ; SILVA DE OLIVEIRA, ROMULO . A Reliability Evaluation Method for Probabilistic WCET Estimates Based on the Comparison of Empirical Exceedance Densities. In: 2018 VIII Brazilian Symposium on Computing Systems Engineering (SBESC), 2018, Salvador. 2018 VIII Brazilian Symposium on Computing Systems Engineering (SBESC), 2018. p. 196.

  • ARCARO, L. F. ; SILVA, K. P. ; OLIVEIRA, R. S. . A Reliability Evaluation Method for Probabilistic WCET Estimates based on the Comparison of Empirical Exceedance Densities. 2018. (Apresentação de Trabalho/Simpósio).

  • SILVA, K. P. ; ARCARO, L. F. ; OLIVEIRA, R. S. . On Using GEV or Gumbel Models When Applying EVT for Probabilistic WCET Estimation. 2017. (Apresentação de Trabalho/Simpósio).

  • ARCARO, L. F. ; OLIVEIRA, R. S. . Lessons learned from the development of an ARINC 653 compatible Operating System. 2015. (Apresentação de Trabalho/Conferência ou palestra).

  • ARCARO, L. F. ; OLIVEIRA, R. S. . Mapeamento do isolamento espacial da ARINC 653 para a arquitetura ARMv7-A. 2014. (Apresentação de Trabalho/Simpósio).

Outras produções

OLIVEIRA, R. S. ; ARCARO, L. F. ; SILVA, K. P. . Análise Temporal Probabilística Baseada em Medições (ATPBM). 2018. (Curso de curta duração ministrado/Outra).

Prêmios

2013

Láurea Acadêmica, Universidade de Caxias do Sul (UCS).

Histórico profissional

Experiência profissional

2019 - 2019

Instituto Federal de Santa Catarina

Vínculo: Servidor Público, Enquadramento Funcional: Professor Substituto, Carga horária: 40

2012 - 2013

CODI Sistema de Gestão da Produção Ltda.

Vínculo: Celetista, Enquadramento Funcional: Programador de Computador, Carga horária: 44

2009 - 2012

Mobitec Brasil Ltda.

Vínculo: Celetista, Enquadramento Funcional: Programador de Computador, Carga horária: 44

2007 - 2009

Keyworks Tecnologia da Informação Ltda.

Vínculo: Celetista, Enquadramento Funcional: Programador de Computador, Carga horária: 44

2004 - 2005

Pigozzi S.A. Engrenagens e Transmissões

Vínculo: Celetista, Enquadramento Funcional: Aprendiz do SENAI

2019 - 2021

Instituto SENAI de Inovação em Sistemas Embarcados

Vínculo: Celetista, Enquadramento Funcional: Pesquisador, Carga horária: 44

2021 - Atual

EMBRAER

Vínculo: Celetista, Enquadramento Funcional: Desenvolvedor de Software, Carga horária: 44