Ricardo Bedin França

Possui graduação em Engenharia de Controle e Automação Industrial pela Universidade Federal de Santa Catarina(2006), mestrado em Engenharia de Automação e Sistemas pela Universidade Federal de Santa Catarina(2008), mestrado em Syst. Automatiques, Informatiques et Décisionnels pela Université Toulouse III Paul Sabatier(2008) e doutorado em Informatique SLCHP pela Institut National Polytechnique de Toulouse(2012). Atualmente é Engenheiro da EMBRAER. Tem experiência na área de Ciência da Computação, com ênfase em Sistemas de Computação. Atuando principalmente nos seguintes temas:Software de controle de voo, Geraçao Automatica de Codigo, Sistemas Embarcados e Sistemas Tempo-Real.

Informações coletadas do Lattes em 05/04/2026

Acadêmico

Formação acadêmica

Doutorado em Informatique SLCHP

2009 - 2012

Institut National Polytechnique de Toulouse
Título: Processus et outils qualifiables de développement de systèmes critiques certifiés en aéronautique à base de génération automatique de code
Orientador: Yamine Aït Ameur
Palavras-chave: Software de controle de voo; Geraçao Automatica de Codigo; Sistemas Embarcados; Sistemas Tempo-Real.Grande área: EngenhariasGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação.

Mestrado em Engenharia de Automação e Sistemas

2007 - 2008

Universidade Federal de Santa Catarina
Título: Uma Abordagem para Modelagem e Verificação de Protocolos Síncronos de Barramentos de Comunicação
, Ano de Obtenção: 2008.Jean-Marie Farines.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Protocolos de barramento; Protocolos síncronos; AADL; Event-B; Sistemas Parametrizados.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Linguagem Formais e Autômatos.

Mestrado em Syst. Automatiques, Informatiques et Décisionnels

2007 - 2008

Université Toulouse III Paul Sabatier
Título: Étude des protocoles paramétrés de bus - Validation par transformations synchrone-asynchrone, Ano de Obtenção: 2008
Orientador: François Vernadat
Palavras-chave: barramentos de comunicação; linguagens síncronas; Event-B.Grande área: EngenhariasGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas.

Graduação em Engenharia de Controle e Automação Industrial

2002 - 2006

Universidade Federal de Santa Catarina

Formação complementar

2002 - 2002

Montagem e Manutenção de Microcomputadores. (Carga horária: 120h). , Serviço Nacional de Aprendizagem Comercial, SENAC, Brasil.

2002 - 2002

Manutenção de Periféricos e Instalação de Redes. (Carga horária: 30h). , Serviço Nacional de Aprendizagem Comercial, SENAC, Brasil.

Idiomas

Inglês

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

Espanhol

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

Francê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 Computação/Especialidade: Sistemas Computacionais Embarcados.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.

Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Eletrônica Industrial, Sistemas e Controles Eletrônicos/Especialidade: Controle de Processos Eletrônicos, Retroalimentação.

Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Eletrônica Industrial, Sistemas e Controles Eletrônicos/Especialidade: Automação Eletrônica de Processos Elétricos e Industriais.

Participação em eventos

QCon São Paulo 2017. Confiança em tempo real: aprendizados em software embarcado crítico. 2017. (Congresso).

1st Brazilian Swedish Workshop on Aeronautics and Defense.Technological Challenges in Software Development for Safety-Critical Airborne Systems. 2014. (Seminário).

École de Jeunes Chercheurs en Programmation.Étude des protocoles paramétrés de bus - Validation par transformations synchrone-asynchrone. 2008. (Outra).

Workshop TOPCASED. 2007. (Oficina).

Participação em bancas

Aluno: Leonardo Francisco

DIAS, L. A. V.OLIVEIRA, N. M. F.FRANÇA, R. B.. Addressing Issues in Multi-Core Airborne Systems Certification. 2017. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.

Aluno: Bruno Duarte Corrêa

TRABASSO, L. G.SAOTOME, O.FRANÇA, R. B.. Avaliação de Técnicas de Reconhecimento de Padrões em Ambientes Aeronáuticos. 2015. Dissertação (Mestrado em Engenharia Aeronâutica e Mecânica) - Instituto Tecnológico de Aeronáutica.

Aluno: Renato Matuzaki Honda

DIAS, L. A. V.CASTRO, P. A. L.FRANÇA, R. B.. Proposta de uma metodologia de Análise de Intervalo de Valor em Desenvolvimento de Software baseado em modelo. 2013. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.

Orientou

Henrique Forlani Masini

An Approach to Generate Optimized Cyclic Scheduling from AADL Specification; 2014; Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica, ; Coorientador: Ricardo Bedin França;

Produções bibliográficas

LOPES, MARCUS KIMURA ; FRANCA, RICARDO BEDIN ; HIRATA, CELSO MASSAKI ; DIAS, LUIZ ALBERTO VIEIRA . Method to Detect Floating-Point Absorption and Cancellation Phenomena in Software-Critical Design Models. In: 2018 8th LatinAmerican Symposium on Dependable Computing (LADC), 2018, Foz do Iguaçu. 2018 Eighth Latin-American Symposium on Dependable Computing (LADC), 2018. p. 125.
LOPES, M. K. ; FRANÇA, R. B. ; DIAS, L. A. V. ; CUNHA, A. M. . Enhancing Range Analysis in Software Design Models by Detecting Floating-Point Absorption and Cancellation. In: The International Conference on Information Technology: New Generations, 2017, Las Vegas. The International Conference on Information Technology: New Generations, 2017.
FERNANDES, F. C. P. M. ; FRANÇA, R. B. . Assessing the impact of Scrum in airborne software quality assurance. In: Simpósio Brasileiro de Qualidade de Software, 2015, Manaus. Anais do SBQS 2015, 2015.
MASINI, HENRIQUE FORLANI ; FRANCA, RICARDO BEDIN ; HIRATA, CELSO MASSAKI ; DE MELO BEZERRA, JULIANA . An approach to generate optimized cyclic scheduling from AADL specification. In: 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC), 2014, Colorado Springs. 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC). p. 8A2-1.
BORALLI, A. B. ; FRANÇA, R. B. . Applying Continuous Integration principles in safety-critical airborne software. In: Workshop Brasileiro sobre Métodos Ágeis, 2014, Florianópolis. Workshop Brasileiro sobre Métodos Ágeis, 2014.
FRANÇA, R. B. ; BLAZY, S. ; FAVRE-FELIX, D. ; LEROY, X. ; PANTEL, M. ; SOUYRIS, J. . Formally verified optimizing compilation in ACG-based flight control software. In: Embedded Real Time Software and Systems, 2012, Toulouse. ERTS2 2012: Embedded Real Time Software and Systems, 2012.
FRANÇA, R. B. ; FAVRE-FELIX, D. ; LEROY, X. ; PANTEL, M. ; SOUYRIS, J. . Towards Formally Verified Optimizing Compilation in Flight Control Software. In: Predictability and Performance in Embedded Systems, 2011, Grenoble. Bringing Theory to Practice: Predictability and Performance in Embedded Systems, DATE Workshop PPES 2011, March 18, 2011, Grenoble, France, 2011. v. 18. p. 59-68.
FRANÇA, R. B. ; BECKER, L. B. ; BODEVEIX, JP. ; FARINES, J. M. ; FILALI, M. . Towards Safe Design of Synchronous Bus Protocols in Event-B. In: Brazilian Symposium on Formal Methods, 2009, Gramado. Proceedings of the Brazilian Symposium on Formal Methods. Porto Alegre: Sociedade Brasileira de Computação, 2009.
FRANÇA, R. B. ; ROLLAND, JF. ; FILALI, M. ; BODEVEIX, JP. ; CHEMOUIL, D. . Assessment of AADL's Behavioral Annex. In: Journées FAC, 2007, Toulouse. Actes de FAC'2007, 2007.
FRANÇA, R. B. ; FARINES, J. M. ; BODEVEIX, JP. ; BECKER, L. B. ; FILALI, M. . Modeling a Bus Protocol: An Incremental Approach. In: IX Workshop de Tempo Real, 2007, Belém. Anais do WTR 2007, 2007.
FRANÇA, R. B. ; GOBBI, D. R. ; FARINES, J. M. ; BODEVEIX, JP. ; BECKER, L. B. ; FILALI, M. . Design of Real-Time Automation Systems Using Architecture Description Languages.. In: VIII Simpósio Brasileiro de Automação Industrial, 2007, Florianópolis. Anais do VIII Simpósio Brasileiro de Automação Inteligente, 2007.
FRANCA, RICARDO BEDIN ; BODEVEIX, JEAN-PAUL ; FILALI, MAMOUN ; ROLLAND, JEAN-FRANCOIS ; CHEMOUIL, DAVID ; THOMAS, DAVE . The AADL behaviour annex -- experiments and roadmap. In: , 2007, Auckland. . p. 377-382.
FRANÇA, R. B. ; FILALI, M. ; BODEVEIX, JP. . AADL Modeling of a Generic Bus. In: Journées FAC, 2007, Toulouse. Actes de FAC'2007, 2007.
FRANÇA, R. B. . Improving Embraer software design with Simulink Importer and Python API. 2023. (Apresentação de Trabalho/Conferência ou palestra).
FRANÇA, R. B. . Confiança em tempo real: aprendizados em software embarcado crítico. 2017. (Apresentação de Trabalho/Conferência ou palestra).

Histórico profissional

Endereço profissional

EMBRAER. , Rodovia Presidente Dutra, km 134, Eugênio de Melo, 12247820 - São José dos Campos, SP - Brasil, Telefone: (12) 39271000

Experiência profissional

2007 - 2008

Institut de Recherche En Informatique de Toulouse

Vínculo: Livre, Enquadramento Funcional: Estagiário, Carga horária: 40, Regime: Dedicação exclusiva.

2006 - 2007

Institut de Recherche En Informatique de Toulouse

Vínculo: Livre, Enquadramento Funcional: Estagiário, Carga horária: 40, Regime: Dedicação exclusiva.

2006 - 2006

Universidade Federal de Santa Catarina

Vínculo: Livre, Enquadramento Funcional: Estagiário, Carga horária: 20

2012 - Atual

EMBRAER

Vínculo: CLT, Enquadramento Funcional: Engenheiro, Regime: Dedicação exclusiva.

2009 - 2012

Airbus Operations SAS

Vínculo: Colaborador, Enquadramento Funcional: Engenheiro (doutorando CIFRE), Carga horária: 38, Regime: Dedicação exclusiva.