Paulo Diego Barbosa da Silva

Mestre em Ciências pelo Programa de Engenharia Mecânica Aeronáutica, com ênfase em Sistemas Aeroespaciais e Mecatrônica pelo Instituto Tecnológico de Aeronáutica - ITA (2017). Possui graduação em Bacharelado em Sistemas de Informação pela Faculdade Maurício de Nassau, Recife (2011). Tem curso de extensão em engenharia de teste de software pela Universidade Federal de Recife, Cin-UFPE (2010). Trabalha em projetos de R&D voltados para soluções em telecomunicação, Ericsson Billing, atuando em engenharia de testes funcionais e não funcionais. Trabalhou no Instituto Nacional de Pesquisas Espaciais (INPE) como bolsista no projeto de desenvolvimento tecnológico na Divisão de Sistemas Espaciais da Coordenação Geral de Engenharia de Tecnologia Espacial (DSE/ETE), explorando e utilizando metodologias e técnicas de verificação e validação para sistema e software espacial no contexto do Simulador Operacional dos Satélites CBERS 3&4. Atuou no projeto para readaptação do Railroad Signaling Software (sistema crítico) da Vale do Rio Doce, em uma parceria entre as empresas In Forma Software e Modular Mining Systems do Brasil. Possui experiência no clico de Engenharia de Software, com ênfase no processo de Verificação e Validação de sistemas.

Informações coletadas do Lattes em 25/07/2025

Acadêmico

Formação acadêmica

Mestrado em Engenharia Aeronâutica e Mecânica

2015 - 2017

Instituto Tecnológico de Aeronáutica
Título: Sistematização do teste de componentes de simuladores de satélites,Ano de Obtenção: 2017
Emilia Villane.Coorientador: Ana Maria Ambrósio. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Simulação; Verificação e validação; Simulador de satélites.Grande área: EngenhariasGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: ENGENHARIA DE SOFTWARE.

Graduação em Sistema de Informação

2007 - 2011

Centro Universitário Maurício de Nassau - Recife

Formação complementar

2016 - 2016

CSE-209 Conceitos e Práticas de Verificação e Validação de Sist. Espaciais. (Carga horária: 60h). , Instituto Nacional de Pesquisas Espaciais, INPE, Brasil.

2015 - 2015

CSE-310 Engenharia de Software: Desenvolvimento e Gestão. (Carga horária: 60h). , Instituto Nacional de Pesquisas Espaciais, INPE, Brasil.

2010 - 2010

Extensão universitária em Software Productivity Laboratory - LabPS - INES. (Carga horária: 435h). , Universidade Federal de Pernambuco, UFPE, Brasil.

Idiomas

Inglê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: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.

Participação em eventos

5 Workshop em Engenharia e Tecnologia Espaciais. 2015. 2015. (Congresso).

4 Workshop em Engenharia e Tecnologia Espaciais. 2014. 2014. (Congresso).

V EBTS, Encontro Brasileiro de Teste de Software.. 2011. (Congresso).

Produções bibliográficas

SILVA, P. D. B. ; AMBROSIO, ANA MARIA ; VILLANI, Emilia . Model-Based Testing Applied to Software Components of Satellite Simulators. Modelling and Simulation in Engineering , v. 2018, p. 1-14, 2018.
Goncalves, Gildarcio Sousa ; Shigemura, Rafael ; da Silva, Paulo Diego ; Santana, Rodrigo ; Silva, Erlon ; Dakwat, Alheri ; Miguel, Fernando ; Tasinaffo, Paulo Marcelo ; da Cunha, Adilson Marques ; Dias, Luiz Alberto Vieira . An Agile Developed Interdisciplinary Approach for Safety-Critical Embedded System. Advances in Intelligent Systems and Computing. 14ed.: Springer International Publishing, 2018, v. , p. 947-949.
dos Santos, Mayara Valeria Morais ; da Silva, Paulo Diego Barbosa ; Otero, Andre Gomes Lamas ; Wisnieski, Ramiro Tadeu ; Goncalves, Gildarcio Sousa ; Maria, Rene Esteves ; Dias, Luiz Alberto Vieira ; da Cunha, Adilson Marques . Applying Scrum in an Interdisciplinary Project for Fraud Detection in Credit Card Transactions. Advances in Intelligent Systems and Computing. 13ed.Las Vegas, USA: Springer International Publishing, 2016, v. , p. 461-471.
Daniela América da Silva ; Samara Cardoso dos Santos ; Wilson Cristoni Neto ; Luiz Coura ; Robison Egydio Lopes Junior ; Gildarcio Sousa Gonçalves ; Jose Crisóstomo Ozório Junior ; Leonardo Guimarães ; Alyson Basilio ; Fabio Kfouri ; Breslei Max Reis da Fonseca ; MARTINEZ, J. F. P. ; Anderson Gomes ; SILVA, P. D. B. ; Johnny Marques ; Luiz Alberto Vieira Dias ; Adilson Marques d da Cunha ; Paulo Marcelo Tasinaffo . The Potential of Blockchain for Transforming the Urgent and Emergency Care. In: ICIW 2018, The Thirteenth International Conference on Internet and Web Applications and Services, 2018, Barcelona, Spain. ICIW 2018, The Thirteenth International Conference on Internet and Web Applications and Services, 2018. p. 30.
SILVA, PAULO DIEGO BARBOSA DA ; AMBROSIO, ANA MARIA ; VILLANI, EMILIA ; AZEVEDO, DENISE ROTONDI . An Approach for Verification of a Satellite Simulator - An Evolving System. In: 2016 Seventh LatinAmerican Symposium on Dependable Computing (LADC), 2016, Cali. 2016 Seventh Latin-American Symposium on Dependable Computing (LADC), 2016. p. 176.
CERQUEIRA, C. ; SILVA, P. D. B. ; RODRIGUES, I. P. ; AMBROSIO, A. ; VILLANI, E. . Two Independent Processes of Verification Applied to a Satellite Simulator. In: 7 Workshop em Engenharia e Tecnologia Espaciais. Instituto Nacional de Pesquisas Espaciais, 2016, 2016, São José dos Campos. 7 Workshop em Engenharia e Tecnologia Espaciais, 2016.
SILVA, P. D. B. ; AMBROSIO, A. ; AZEVEDO, DENISE ROTONDI ; VILLANI, E. . An Approach for Verification of a Satellite Simulator - an evolving system. 2016. (Apresentação de Trabalho/Simpósio).
CERQUEIRA, C ; SILVA, P. D. B. ; RODRIGUES, I. P. ; AMBROSIO, A. ; VILLANI, E. . Two Independent Processes of Verification Applied to a Satellite Simulator. 2016. (Apresentação de Trabalho/Outra).
Paulo Diego Barbosa da Silva . Sistematização do teste de componentes de simuladores de satélites 2017 (Dissertação de mestrado acadêmico - Português).

Outras produções

SILVA, P. D. B. . CBERS 3&4 System Circuit Subsystem (SYSC) Model. 2017.

SILVA, P. D. B. . CBERS 3&4 Data Collection Subsystem (DCS) Model. 2016.

SILVA, P. D. B. . CBERS 3&4 On Board Data Handling subsystem (OBDH) Model. 2016.

CERQUEIRA, C ; RODRIGUES, I. P. ; SILVA, P. D. B. ; AMBROSIO, A. . Biblioteca de Transformação e Avaliação de Casos de Teste. 2016.

SILVA, PAULO DIEGO BARBOSA DA . Sistematização do teste de componentes de simuladores de satélites. 2015.

SILVA, P. D. B. . Curso de Inverno do INPE. 2014. (Curso de curta duração ministrado/Outra).

AMBROSIO, A. M. ; SILVA, P. D. B. ; BRANDOLIN, J. B. ; OLIVEIRA, E. H. S. ; PADILHA, J. J. ; CEREJA JUNIOR, M. G. . Estudo de casos em modelagem e geração automática de testes desenvolvidos na disciplina de verificação e validação de sistemas espaciais.. 2014. (Relatório de pesquisa).

SILVA, P. D. B. . Análise de Projeto Orientado a Objeto.. 2010. (Monitoria).

Projetos de desenvolvimento

2010 - 2014

Especificação de requisitos para o Simulador do satélite CBERS-4, Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Paulo Diego Barbosa da Silva - Integrante / AMBROSIO, A. - Coordenador / JUN TOMINAGA - Integrante / Antonio Carlos de Oliveira Pereira - Integrante / Rodrigo Bassinello Ramazzotti - Integrante.
2010 - 2014

Especificação de requisitos para o Simulador do satélite CBERS-4, Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Paulo Diego Barbosa da Silva - Integrante / AMBROSIO, A. - Coordenador / JUN TOMINAGA - Integrante / Antonio Carlos de Oliveira Pereira - Integrante / Rodrigo Bassinello Ramazzotti - Integrante.

Prêmios

2018

Best Paper Award - The Potential of Blockchain for Transforming the Urgent and Emergency Care, ICIW 2018 (Barcelona, Spain).

2017

Best Poster Award - An Agile Developed Interdisciplinary Approach for Safety-Critical Embedded System, ITNG 2017 - LA (US).

Histórico profissional

Endereço profissional

Instituto Nacional de Pesquisas Espaciais. , Av. dos Astronautas, 1758, Jardim da Granja, 12227010 - São José dos Campos, SP - Brasil, Telefone: (12) 32086583, URL da Homepage:

Experiência profissional

2018 - Atual

Ericsson Telecomunicações - Matriz

Vínculo: Servidor Público, Enquadramento Funcional: Desenvolvedor de Sistemas Sênior, Carga horária: 40

2017 - 2018

Fundação para Inovações Tecnológicas

Vínculo: Servidor Público, Enquadramento Funcional: Especialista em Teste Pleno, Carga horária: 40, Regime: Dedicação exclusiva.

2015 - 2017

Instituto Tecnológico de Aeronáutica

Vínculo: Bolsista, Enquadramento Funcional: Pesquisador, Carga horária: 40, Regime: Dedicação exclusiva.

2013 - 2015

Instituto Nacional de Pesquisas Espaciais

Vínculo: Bolsista, Enquadramento Funcional: Pesquisador, Carga horária: 8, Regime: Dedicação exclusiva.

Outras informações:
Research and development in engineering and space technology and their applications in behavior models for acceptance testing for the satellite simulator CBERS 3&4 (China-Brazil Earth Resources Satellite).

2011 - 2012

In Forma software

Vínculo: Colaborador, Enquadramento Funcional: Engenheiro de Teste, Carga horária: 40, Regime: Dedicação exclusiva.

2010 - 2010

GTI - Information technology management

Vínculo: Colaborador, Enquadramento Funcional: Engenheiro de teste, Carga horária: 44, Regime: Dedicação exclusiva.

2010 - 2011

CFI - PE

Vínculo: Bolsista, Enquadramento Funcional: Trainee in programming and software testing, Carga horária: 30

2008 - 2010

Leiaut Informática

Vínculo: Bolsista, Enquadramento Funcional: Professor Assistente, Carga horária: 30