Paulo Claudino Veras

Possui graduação em Engenharia Mecatrônica pela Universidade de Pernambuco (2004), mestrado em Engenharia Aeronáutica e Mecânica, Área de Sistemas Aeroespaciais e Mecatrônica, pelo Instituto Tecnológico de Aeronáutica (2007) e doutorado em Engenharia Aeronáutica e Mecânica, Área de Sistemas Aeroespaciais e Mecatrônica, pelo Instituto Tecnológico de Aeronáutica (2011). Tem experiência na área de Engenharia Aeroespacial, com ênfase em Sistemas Aeroespaciais, atuando principalmente nos seguintes temas: qualidade de software embarcado, qualidade de requisitos de software de aplicações espaciais, verificação, validação e testes de sistemas espaciais, modelagem de software e testes de software embarcado.

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

Acadêmico

Formação acadêmica

Doutorado em Engenharia Aeronâutica e Mecânica

2008 - 2011

Instituto Tecnológico de Aeronáutica
Título: Benchmarking Software Requirements Documentation for Space Application
Orientador: em Universidade de Coimbra ( Henrique Madeira)
com Emília Villani. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Qualidade de software; Validação e Verificação de software; Dependability Benchmark.Grande área: EngenhariasGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Qualidade de Software Embarcado. Setores de atividade: Aeronáutica e Espaço.

Mestrado em Engenharia Aeronâutica e Mecânica

2005 - 2007

Instituto Tecnológico de Aeronáutica
Título: Modelagem e análise do software embarcado de piloto automático de um VANT,Ano de Obtenção: 2008
Profa. Emília Villani.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: UML; Modelagem de software; Redes de Petri; Qualidade de software; Validação e Verificação de software.Grande área: EngenhariasGrande Área: Engenharias / Área: Engenharia Aeroespacial / Subárea: Sistemas Aeroespaciais. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teste e Qualidade de Software Embarcado. Setores de atividade: Aeronáutica e Espaço.

Graduação em Engenharia Mecatrönica

2000 - 2004

Universidade de Pernambuco
Título: ESTUDO DOS BENEFÍCIOS E PROPOSTA DE UM MODELO DE CONTROLE DE UM RASTREADOR SOLAR ATIVO
Orientador: Olga de Castro Vilela

Idiomas

Inglês

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

Áreas de atuação

Grande área: Engenharias / Área: Engenharia Aeroespacial / Subárea: Sistemas Aeroespaciais/Especialidade: Aviões.

Grande área: Engenharias / Área: Engenharia Aeroespacial / Subárea: Sistemas Aeroespaciais/Especialidade: Satélites e Outros Dispositivos Aeroespaciais.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teste e Qualidade de Software Embarcado.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Qualidade de requisitos de software de aplicação espacial.

Grande área: Engenharias / Área: Engenharia Mecânica / Subárea: Mecatrônica.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Software Básico.

Participação em eventos

Latin-American Symposium on Dependable Computing ? LADC.FMEA as a Design Improvement Tool of protoMIRAX Attitude Control Subsystem. 2013. (Simpósio).

IEEE 21st International Symposium on Software Reliability Engineering.Errors on Space Software Requirements: A Field Study and Application Scenarios. 2010. (Simpósio).

4th IFAC Workshop on Discrete-Event System Design. A Comparative Analysis of two Verification Techniques for DEDS: Model Checking versus Model-based Testing. 2009. (Congresso).

International Congress of Mechanical Engineering. MODELLING AND SIMULATION OF A UAV AUTO-PILOT EMBEDDED SOFTWARE USING UML AND A CASE TOOL. 2007. (Congresso).

4o Encontro Nacional dos Estudantes de Engenharia de Controle e Automação. 2004. (Encontro).

3o Encontro Nacional dos Estudantes de Engenharia de Controle e Automação. 2003. (Encontro).

2o Encontro Nacional dos Estudantes de Engenharia de Controle e Automaçao. 2002. (Encontro).

IX Congresso Nacional de Estudantes de Engenharia Mecânica. 2002. (Encontro).

Produções bibliográficas

VÉRAS, PAULO C. ; VILLANI, Emilia ; AMBROSIO, ANA MARIA ; VIEIRA, MARCO ; MADEIRA, HENRIQUE . A benchmarking process to assess software requirements documentation for space applications. The Journal of Systems and Software , v. 100, p. 103-116, 2014.
PONTES, Rodrigo Pastl ; Paulo C. Véras ; AMBROSIO, ANA MARIA ; VILLANI, Emilia . Contributions of model checking and CoFI methodology to the development of space embedded software. Empirical Software Engineering , v. 19, p. 39-68, 2012.
Paulo C. Véras ; Emilia Villani ; Ana Maria Ambrósio ; Rodrigo P. Pontes ; Marco Vieira ; Henrique Madeira . Benchmarking Software Requirements Documentation for Space Application. In: Erwin Schoitsch. (Org.). Lecture Notes in Computer Science. Vienna: Springer-Verlag Berlin Heidelberg, 2010, v. , p. 112-125.
Paulo C. Véras ; Paulino Scherer ; Fernando Silva ; Priscila Renata Silva Barros ; SANTIAGO JUNIOR, V. A. . FMEA as a Design Improvement Tool of protoMIRAX Attitude Control Subsystem. In: Latin-American Symposium on Dependable Computing ? LADC, 2013, Rio de Janeiro. Industrial Tracking, 2013.
Waldo Acioli Falcã ; Paulo C. Véras ; Emilia Villani . A COMPARATIVE STUDY OF UNIVERSITY SATELLITES ON-BOARD DATA HANDLING SOFTWARE PROJECTS. In: Brazilian Congress of Mechanical Engineering, 2011, Natal. Proceedings of COBEM 2011, 2011.
Paulo C. Véras ; Emilia Villani ; Henrique Madeira ; Ana Maria Ambrósio . Dependability Benchmark for PUS-based Satellite On-Board Software. In: Space Operations - SpaceOps, 2010, Huntsville, Alabama. Space Operations Proceedings, 2010. v. 2010.
Paulo C. Véras ; Emilia Villani ; Ana Maria Ambrósio ; Rodrigo P. Pontes ; Marco Vieira ; Henrique Madeira . Benchmarking Software Requirements Documentation for Space Application. In: The 29th International Conference on Computer Safety, Reliability and Security - Safecomp, 2010, Viena. SAFECOMP 2010, 2010. p. 112-125.
Paulo C. Véras ; Emilia Villani ; Ana Maria Ambrósio ; N. Silva ; Marco Vieira ; Henrique Madeira . Errors on Space Software Requirements: A Field Study and Application Scenarios. In: IEEE 21st International Symposium on Software Reliability Engineering, 2010, San Jose, CA. 2010 IEEE 21st International Symposium on Software Reliability Engineering, ISSRE 2010, 2010. p. 61-70.
Rodrigo P. Pontes ; Marcelo Essado ; Paulo C. Véras ; Ana Maria Ambrósio ; Emilia Villani . A Comparative Analysis of two Verification Techniques for DEDS: Model Checking versus Model-based Testing. In: 4th IFAC Workshop on Discrete-Event System Design 2009 (DESDes'09), 2009, Gandia Beach, Valencia. 4th IFAC Workshop on Discrete-Event System Design 2009, 2009. p. 70-75.
Rodrigo P. Pontes ; Marcelo Essado ; Paulo C. Véras ; AMBROSIO, A. M. ; VILLANI, Emilia . Model-Based Refinement of Requirement Specification: A Comparison of Two V&V Approaches. In: 20th International Congress of Mechanical Engineering, 2009, Gramado-RS. 20th International Congress of Mechanical Engineering, 2009.
SILVA, Eduardo Correia da ; Paulo C. Véras ; Saotome, Osamu ; VILLANI, Emilia . Petri net and UML for the V&V of ITASAT Satellite Prototype. In: Brazilian Workshop on Real-Time and Embedded Systems, 2008, Rio de Janeio. X Workshop Brasileiro de Tempo Real e Sistemas Embarcados, 2008. p. 121-124.
Paulo C. Véras ; GOES, Luiz Carlos Sandoval ; VILLANI, Emilia . MODELLING AND SIMULATION OF A UAV AUTO-PILOT EMBEDDED SOFTWARE USING UML AND A CASE TOOL. In: International Congress of Mechanical Engineering, 2007, Brasília. Aerospace Engineering, 2007.
Paulo C. Véras ; Emilia Villani ; Ana Maria Ambrósio ; Marco Vieira ; Henrique Madeira . Towards Benchmarking Software Requirements Documentation for Space Applications. In: Eighth European Dependable Computing Conference - EDCC, 2010, Valencia. EDCC 2010, 2010.
Paulo C. Véras . A informatizaçãço do sistema de gestão de segurança e higiene do trabalho em canteiros de obras. In: VII Seminário de Iniciação Científica da UPE, 2002, Recife - PE. Cientistas para o terceiro milênio, 2002. v. 01. p. 21-21.
Paulo C. Véras ; Emilia Villani ; Ana Maria Ambrósio ; N. Silva ; Marco Vieira ; Henrique Madeira . Errors on Space Software Requirements: A Field Study and Application Scenarios. 2010. (Apresentação de Trabalho/Simpósio).
Rodrigo P. Pontes ; Marcelo Essado ; Paulo C. Véras ; Ana Maria Ambrósio ; Emilia Villani . A Comparative Analysis of two Verification Techniques for DEDS: Model Checking versus Model-based Testing. 2009. (Apresentação de Trabalho/Congresso).
Paulo C. Véras ; GOES, Luiz Carlos Sandoval ; VILLANI, Emilia . MODELLING AND SIMULATION OF A UAV AUTO-PILOT EMBEDDED SOFTWARE USING UML AND A CASE TOOL. 2007. (Apresentação de Trabalho/Congresso).
Paulo C. Véras ; Emilia Villani ; Ana Maria Ambrósio ; Marco Vieira ; Henrique Madeira . Towards Benchmarking Software Requirements Documentation for Space Applications 2010 (Fast Abstract).

Outras produções

Paulo C. Véras . Treinamento para familiarização com o processo de requisitos utilizando a ferramenta de simulação Stateflow do ambiente MATLAB-Simulink. 2008. .

Paulo C. Véras ; VILLANI, Emilia . Treinamento para familiarização com o processo de requisitos utilizando a ferramenta de simulação Stateflow do ambiente MATLAB-Simulink. 2008. (Desenvolvimento de material didático ou instrucional - Material de apresentação para ministrar curso de curta duração).

Projetos de pesquisa

2010 - 2011

ITASAT - Satélite Universitário, Descrição: O ITASAT - Programa Satélite Universitário no ITA compreende duas frentes de atividades: uma, voltada para o projeto de um satélite universitário, a ser especificado em conjunto com o INPE, e outra, voltada para pesquisa e desenvolvimento de inovações em cada sub-sistema do satélite. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Paulo Claudino Veras - Integrante / Emilia Villani - Coordenador., Financiador(es): Agência Espacial Brasileira - Bolsa.
2006 - 2007

Qualidade de Software Embarcado em Aplicações Espaciais, Descrição: O projeto QSEE ? Qualidade do Software Embarcado em Aplicações Espaciais - se insere no contexto de desenvolvimento de software crítico para aplicações espaciais. Esse projeto é fomentado pela FINEP (Financiadora de Estudos e Projetos) via Ação Transversal ? Software 06/2004. O INPE (Instituto Nacional de Pesquisas Espaciais), por meio da cooperação entre as áreas Ciências Espaciais e Atmosféricas (CEA) e Engenharia e Tecnologia Espacial (ETE) é a instituição executora do QSEE, que conta também com a participação do Instituto de Computação da UNICAMP, a empresa DBA Engenharia de Sistemas Ltda, com sede no Rio de Janeiro, e a FUNDEP (Fundação de Desenvolvimento da Pesquisa) como gerenciadora dos recursos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (3) . , Integrantes: Paulo Claudino Veras - Integrante / Maria de Fátima Mattiello-Francisco - Coordenador / Valdivino Alexandre de Santiago Júnior - Integrante / João Braga - Integrante / Wendell Pereira da Silva - Integrante / Ana Maria Ambrósio - Integrante / Benhur Barbosa Lima Junior - Integrante / Eliane Martins - Integrante / Jairo Teles Almires - Integrante / Willy Alfredo Vollger da Silva - Integrante., Financiador(es): Fundação de Desenvolvimento da Pesquisa - Remuneração / Financiadora de Estudos e Projetos - Auxílio financeiro.

Prêmios

2011

Prêmio do Concurso de Teses Marechal-do-Ar Casimiro Montenegro Filho, Secretaria de Assuntos Estratégicos da Presidência da República.

Histórico profissional

Endereço profissional

Empresa Brasileira de Aeronáutica, Eugênio de Melo. , Rodovia Presidente Dutra, km 134, Eugênio de Melo, 12247820 - São José dos Campos, SP - Brasil, Telefone: (12) 988524641

Experiência profissional

2013 - Atual

Empresa Brasileira de Aeronáutica

Vínculo: Celetista, Enquadramento Funcional: Product Development Engineer, Carga horária: 43

2010 - 2011

Instituto Tecnológico de Aeronáutica

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

Outras informações:
Desenvolvedor de software crítico embarcado de tempo real para o computador de bordo de satélite do projeto ITASAT, coordenado em conjunto pelo ITA e pelo INPE e financiado pela Agência Espacial Brasileira - AEB.

2007 - 2008

Instituto Tecnológico de Aeronáutica

Vínculo: Bolsista Mestrado, Enquadramento Funcional: V&V de Software Crítico, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Processo de verificação e validação do software embarcado crítico de tempo real do computador de bordo do satélite do projeto ITASAT, coordenado em conjunto pelo ITA e pelo INPE e financiado pela Agência Espacial Brasileira - AEB.

2009 - 2010

Universidade de Coimbra - Depto. Eng. Informática

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

Outras informações:
Bolsista Capes de doutorado sanduíche.

2013 - 2013

COMPSIS - Computadores e Sistemas Indústria e Comércio

Vínculo: Celetista, Enquadramento Funcional: Coordenador de QED, Carga horária: 40

Outras informações:
Coordenação das atividade de qualidade de engenharia e desenvolvimento (QED) do departamento de sistemas aeroespaciais da empresa. Especificação e execução dos processos de verificação, validação e testes de sistemas embarcados espaciais de acordo com as normas da ECSS (European Cooperation for Space Standardization).

2011 - 2013

COMPSIS - Computadores e Sistemas Indústria e Comércio

Vínculo: Celetista formal, Enquadramento Funcional: Analista de Testes, Carga horária: 40

Outras informações:
Especificação e execução dos processos de verificação, validação e testes de sistemas embarcados espaciais de acordo com as normas da ECSS (European Cooperation for Space Standardization).

2008 - 2009

COMPSIS - Computadores e Sistemas Indústria e Comércio

Vínculo: Estágio, Enquadramento Funcional: ESTAGIÁRIO DE DOUTORADO EM PRODUÇÃO E DESENVO, Carga horária: 28

2006 - 2007

Instituto Nacional de Pesquisas Espaciais

Vínculo: Prestador de serviço, Enquadramento Funcional: Analista de teste, Carga horária: 40