Carlos Henrique Netto Lahoz

Doutor na área de Sistemas Digitais - Engenharia Elétrica da Universidade de São Paulo (POLI-USP 2009). Foi Tecnologista Sênior do Instituto de Aeronáutica e Espaço (IAE 1984-2017), lider por mais de 9 anos da equipe de software do Veículo Lançador de Satélites VLS-1, Foi membro da equipe de Engenharia de Sistemas das Redes Elétricas do VLS-1. Professor da Universidade do Vale do Paraíba (UNIVAP desde 2017 em diante) e Professor Titular da Universidade Paulista (UNIP 2003-2023). Bolsista de Produtividade do CNPq (2012 a 2014). Experiência na área de Ciências da Computação, com ênfase em Engenharia de Software. Professor Colaborador na Pós Gradução em Ciencias e Tecnologias Espaciais do Instituto Tecnológico de Aeronáutica (ITA 2012 em diante). Chefe do Grupo de Pesquisa Software de Aplicação Aeroespacial do CNPq. Pós-doutorado no Aeroastro Department do Massachusetts Institute of Technology (MIT-2015-2016) pelo programa Ciencias sem Fronteiras (CsF). Bolsista da Fundação Lemann (2015). Membro fundador do Capitulo Brasil do INCOSE. Consultor em engenharia de sistemas do Giant Magellan Telescope Brazil Office GMTBrO (2022-2023)

Informações coletadas do Lattes em 11/06/2026

Acadêmico

Formação acadêmica

Doutorado em Engenharia Elétrica

2004 - 2009

Universidade de São Paulo
Título: ELICERE: O processo de elicitação de metas de dependabilidade para sistemas computacionais críticos - estudo de caso aplicado à área espacial
, Ano de obtenção: 2009. João Batista Camargo Júnior. Palavras-chave: elicitação; espacial; requisitos; processo; dependabilidade.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 Aeroespacial. Setores de atividade: Administração Pública, Defesa e Seguridade Social.

Mestrado em Computação Aplicada

2001 - 2004

Instituto Nacional de Pesquisas Espaciais
Título: Uma Abordagem para a Gerência da Qualidade em um Ambiente de Engenharia de Software Centrado em Processo
Orientador: Nilson Sant´Anna
, Ano de Obtenção: 2004.Palavras-chave: qualidade de software; ambiente de engenharia de software; 15504; SPEM; processo.Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Arquitetura de Sistemas de Computação. Setores de atividade: Aeronáutica e Espaço.

Graduação em Técnologo Em Processamento de Dados

1982 - 1983

Universidade de Taubaté

Pós-doutorado

2015 - 2016

Pós-Doutorado. , Massachusetts Institute of Technology, MIT, Estados Unidos. , Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. , Grande área: Engenharias / Área: Engenharia Aeroespacial / Subárea: Garantia de Produto de Software. , Grande Área: Engenharias / Área: Engenharia Aeroespacial / Subárea: Engenharia de Segurança. , Grande Área: Engenharias / Área: Engenharia Aeroespacial / Subárea: Análise de Perigos.

Formação complementar

2016 - 2016

Maximizing the Mentee-Mentorship Relationship. (Carga horária: 12h). , Harvard Clinical and Translational Science Center, HARVARD CATALYST, Estados Unidos.

2016 - 2016

Kaufman Teaching Certificate Program KTCP. (Carga horária: 24h). , Massachusetts Institute of Technology, MIT, Estados Unidos.

2010 - 2010

Gerenciamento de Riscos em Projeto. (Carga horária: 32h). , C&R Consultoria Empresarial, C&R, Brasil.

2007 - 2007

General Purpose Platform, VxWorks Edition. (Carga horária: 32h). , WindRiver Education Services, WINDRIVER, Estados Unidos.

2006 - 2006

System Engineering. (Carga horária: 40h). , Project Performance International, PPI, Austrália.

2002 - 2002

Tornado 2 Training Workshop. (Carga horária: 40h). , WindRiver Education Services, WINDRIVER, Estados Unidos.

2001 - 2001

Engenharia de Requisitos. (Carga horária: 24h). , CSZ Engenharia e Informática, CSZ, Brasil.

2001 - 2001

Requirements Engineering Course. (Carga horária: 32h). , The University of York, York, Inglaterra.

2000 - 2000

Tecnologia de Informação e Negócios na Era Digital. (Carga horária: 32h). , Fundação Getulio Vargas - SP, FGV-SP, Brasil.

2000 - 2000

Segurança, Confiab e Disponib. Sistemas Comput.. (Carga horária: 40h). , CSZ Engenharia e Informática, CSZ, Brasil.

1999 - 1999

Introdução a Engenharia de Foguetes. (Carga horária: 49h). , Instituto de Aeronáutica e Espaço, IAE, Brasil.

1998 - 1998

Qualidade, Confiabilidade e Segurança de Software. (Carga horária: 48h). , Instituto Tecnológico da Aeronáutica, ITA, Brasil.

1994 - 1994

Avionic Systems and Software Safety. (Carga horária: 60h). , Instituto de Aeronáutica e Espaço, IAE, Brasil.

Idiomas

Inglês

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

Espanhol

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

Francês

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

Á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.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas Críticos.

Grande área: Engenharias / Área: Engenharia Aeroespacial / Subárea: Sistemas Aeroespaciais/Especialidade: Foguetes.

Grande área: Engenharias / Área: Engenharia Aeroespacial / Subárea: Sistemas Aeroespaciais/Especialidade: Engenharia de Sistemas.

Grande área: Engenharias / Área: Engenharia Aeroespacial / Subárea: Sistemas Aeroespaciais/Especialidade: Computação Aplicada.

Grande área: Engenharias / Área: Engenharia Aeroespacial / Subárea: Garantia de Produto de Software.

Organização de eventos

HIRATA, C. M. ; LAHOZ, CARLOS HENRIQUE NETO . LASW - Latin American STAMP Workshop 2024. 2024. (Congresso).

NETTO LAHOZ, CARLOS HENRIQUE ; HIRATA, C. M. ; AMBROSIO, A. M. ; LARANJEIRO, N. . LADC STAMP Workshop. 2021. (Congresso).

AVELAR, A. C. ; LAHOZ, C. H. N. . 8o. Seminário de Projetos de Pesquisa e Desenvolvimento em Veículos Espaciais e Tecnologias Associadas. 2014. (Congresso).

LAHOZ, C. H. N. ; AVELAR, A. C. ; MOREIRA, J. P. . 7o. Seminário de Projetos de Pesquisa e Desenvolvimento em Veículos Espaciais e Tecnologias Associadas. 2013. (Congresso).

AVELAR, A. C. ; LAHOZ, C. H. N. ; MOREIRA, J. P. . 6o. Seminário de Projetos de Pesquisa e Desenvolvimento em Veículos Espaciais e Tecnologias Associadas. 2012. (Congresso).

Morais ; LAHOZ, C. H. N. . 5º SePP&D - Seminário de Projetos de Pesquisa & Desenvolvimento em Veículos Espaciais e Tecnologias Associadas. 2011. (Congresso).

Mattiello ; CAMARGO JÚNIOR, J. B. ; LAHOZ, C. H. N. ; BEZERRA, E. ; Lemes ; Cristia ; SILVA, N. P. J. . Fifth Latin American Symposium on Dependable Computing. 2011. (Congresso).

Participação em eventos

ISO/TC20/SC14/WG5 Fall Meeting.Reunião do Working Grupo 5 - Space Systems & Operations. 2024. (Encontro).

Fall Meeting TC20/SC14/WG5.Reunião do Working Grupo 5 - Space Systems & Operations. 2023. (Encontro).

ISO/TC20/SC14/WG5 Fall Meeting.ISO Fall Meeting 2023 WG5. 2022. (Encontro).

ISO/TC20/SC14 Plenary Meeting 2021.ISO/TC20/SC14/WG5 Fall Meeting 2021. 2021. (Encontro).

23rd WORKSHOP ON REQUIREMENTS ENGINEERING.Identificação de Requisitos de Segurança para Experimentos Científicos Embarcados. 2020. (Oficina).

ISO/TC20/SC14/WG5 Fall Meeting 2019.Cybersecurity for Space Systems. 2019. (Oficina).

ISO-TC20-SC14-WG5 Space Systems - Programme Management.ISO-TC20-SC14 / WG5 49th Fall Meeting. 2018. (Encontro).

ISO-TC20-SC14 Plenary Meeting.ISO/TC 20/SC 14 27th Plenary meeting e 46th WG5 Meeting. 2017. (Encontro).

ISO-TC20-SC14-WG5 Space Systems - Programme Management.The 47th WG5 Fall Meeting. 2017. (Encontro).

ISO-TC-20-SC14 WG5 - Space Systems - Programme Management.ISO WF5 43rd Meeting. 2015. (Encontro).

ISO-TC20-SC14 WG5 - Space Systems - Programme Management.TC20 WG5 41st Meeting. 2014. (Encontro).

Simpósio Internacional de Melhoria de Processo de Software (SIMPROS).Processos de desenvolvimento de software para a área espacial. 2007. (Simpósio).

Comdex SUCESU. Tutorial - Um Ambiente Integrado para suporte a projetos de engenharia de software. 2003. (Congresso).

Comdex SUCESU. Tutorial - Segurança de Software. 2001. (Congresso).

Participação em bancas

Aluno: Amilton Carlos da Conceição Filho

CARLOS HENRIQUE NETO LAHOZ; MARQUES, J. C.; CERQUEIRA, C. S.; VILELA, J. F. F.. Um Modelo de Indicador para Gestão dos Atrasos Admistrativos e Logísticos com Analise nos Setores Naval e Aeroespacial. 2025. Dissertação (Mestrado em Ciências e Tecnologias Espaciais) - Instituto Tecnológico de Aeronáutica.

Aluno: Giovanni César Borges da Costa

MARTINS, LUIZ EDUARDO GALVÃO;NETTO LAHOZ, CARLOS HENRIQUE; MOLLERI, J.; LOURENCAO, P.. An Audit Modelo For Software Tool Qualification in Safety Critical Systems. 2025. Dissertação (Mestrado em INOVAÇÃO TECNOLÓGICA) - Universidade Federal de São Paulo.

Aluno: Jones Mendes Vieira da Fonseca

SECCO, N. R.; CRUZ, R. V.; VILLANI, E.;NETTO LAHOZ, CARLOS HENRIQUE; CASTILHO, D. S.; DONATO, P. F. A.. Emprego Comparativo das Metodologias CAST e HFACS-ME para a Analise de Acidentes de Helicópteros no Brasil com a Presença de Problemas de Manutenção. 2025. Dissertação (Mestrado em Ciências e Tecnologias Espaciais) - Instituto Tecnológico de Aeronáutica.

Aluno: Andrey Toshiro Okamura

SILVA, A. E. A.; COELHO, G. P.;NETTO LAHOZ, CARLOS HENRIQUE; RUNGE, C. J. R.. Detecção de Erros em Sentenças Textuais para Análise STPA com Classificação via BERT. 2025. Dissertação (Mestrado em TECNOLOGIA) - Universidade Estadual de Campinas.

Aluno: Carline de Gregori Muenchen

VILLANI, E.; CERQUEIRA, C. S.; AMBROSIO, A. M.;LAHOZ, C. H. N.. Análise Sistemica e Parametrica Acoplada de um Sistema de experimentação em Microgravidade Utilizando uma Abordagem MBSE. 2023. Dissertação (Mestrado em Ciências e Tecnologias Espaciais) - Instituto Tecnológico de Aeronáutica.

Aluno: Silvio Romero Oliveira do Nascimento Filho

MORAES, A. O.; SOUZA, J. B. G.; CIACCIA, F. R. D. A. S.;LAHOZ, C. H. N.. Accessibility Solutions for the Elderly and People with Disabilities in Regional Aviation. 2023. Dissertação (Mestrado em Curso de Mestrado Profissional em Segurança de Aviação e Aeronavegabilidade) - Instituto Tecnológico de Aeronáutica.

Aluno: Jéssica Garcia de Azevedo,

COUTINHO, O. L.; CERQUEIRA, C. S.; AMBROSIO, A. M.;LAHOZ, C. H. N.. Model-Based System Engineering Applied to the Verification Process of a Cubesat Attitude Determination and Control Subsystem. 2023. Dissertação (Mestrado em Ciências e Tecnologias Espaciais) - Instituto Tecnológico de Aeronáutica.

Aluno: Carlos Renato dos Santos

MORAES, A. O.; MARQUES, J. C.;LAHOZ, C. H. N.; VILELA, J. F. F.. ASP: An Aerospace Specification Process for Module Using VHDL. 2023. Dissertação (Mestrado em Ciências e Tecnologias Espaciais) - Instituto Tecnológico de Aeronáutica.

Aluno: Domenico Merrichelli II

II, D. M.; BELDERRAIN, M. C. N.; CASTILHO, D. S.; SOUSA, M. S.;NETTO LAHOZ, CARLOS HENRIQUE. Aplicação de STPA Ativo em Operações de Aproximação e Pouso de Aeronaves Militares no Ambiente Antártico. 2021. Dissertação (Mestrado em Ciências e Tecnologias Espaciais) - Instituto Tecnológico de Aeronáutica.

Aluno: Ricardo Franco

SOUZA, F. L.; SANTOS, W. A.; LOUREIRO, G.; COSTA, L. E. V. L.;LAHOZ, C. H. N.. Modelo de Referencia MBSE da Interface entre Satélites e um Veículo Lançador Escolhido Usando AHP. 2018. Dissertação (Mestrado em Engenharia e Tecnologia Espaciais) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Felipe Barker Linero Esteves

MORAES, A. O.; SANTOS, J. S.;LAHOZ, C. H. N.; DIAS, S. S.. Previsão de Irregularidades Ionosféricas para Usuários GNSS com Fluxo Solar e Atividade Magnética. 2018. Dissertação (Mestrado em Pós-graduação em Engenharia Aeronâutica e Mecânica) - Instituto Tecnológico da Aeronáutica.

Aluno: Idoaldo José de Lima

BORILLE, G. M. R.; ALVES, C. J. P.;LAHOZ, C. H. N.; ELLER, R. A. G.; SOUSA, M. S.. STPA Applied to Safety Hazard Analysis of Brazilian Airport Infrastructure. 2018. Dissertação (Mestrado em Pos-graduação em Infraestrutura Aeronáutica) - Instituto Tecnológico da Aeronáutica.

Aluno: Alheri Longji Dakwat

TRABASSO, L. G.; VILLANI, E.;LAHOZ, C. H. N.; HIRATA, C. M.; LEMOS, F. L.. System Safety Assessment based on STPA and Model Checking. 2017. Dissertação (Mestrado em Engenharia Aeronâutica e Mecânica) - Instituto Tecnológico de Aeronáutica.

Aluno: Fellipe Guilherme Rey de Souza

VILLANI, E.; HIRATA, C. M.;LAHOZ, C. H. N.; BEZERRA, J. M.; LEMOS, F. L.. Approach to Aid Automation of STPA Step 2. 2017. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.

Aluno: Daiane Rocha

MELO, F. C. L.; BELDERRAIN, M. C. N.; SILVA, J. L. G.;LAHOZ, C. H. N.. Uma adaptação da norma NBR ISO 16290:2015 aplicada em projetos do setor aeroespacial. 2016. Dissertação (Mestrado em Pós-Graduação em Ciências e Tecnologias Espaciais) - Instituto Tecnológico da Aeronáutica.

Aluno: Carolina Duarte Villela

VILLELA, C. D.; BEZERRA, J. M.; SANO, H.; HIRATA, C. M.;LAHOZ, C. H. N.. Modeling Guidelines and Usage Analysis Towards Applying HIP-HOPS Method to Airborne Electrical Systems. 2015. Dissertação (Mestrado em Programa de especialização em engenharia - PEE) - Instituto Tecnológico da Aeronáutica.

Aluno: Andre Yoshimi Kusumoto

SOUTO, C. D.; PIRK, R.; LEITE, N. P. O.; BARRETO, A. B.;LAHOZ, C. H. N.. Identificação de Alvos em Ensaios de Separação de Carga Utilizando Visão Computacional. 2015. Dissertação (Mestrado em Pós-Graduação em Ciências e Tecnologias Espaciais) - Instituto Tecnológico da Aeronáutica.

Aluno: Danilo Lopes Gurgel

HIRATA, C. M.; BEZERRA, J. M.; MIRISOLA, L. G. B.;LAHOZ, C. H. N.. A Ruled-BAsed Approach for Safety Analysis Using STAMP/STPA. 2015. Dissertação (Mestrado em Engenharia Aeronâutica e Mecânica) - Instituto Tecnológico de Aeronáutica.

Aluno: Ana Paula Müller Giacoli

BIZARRIA, F. C. P.; Lombardi, J. C.;LAHOZ, C. H. N.. Proposta de sistema para registro eletrônico de ponto com gerenciamento remoto. 2011. Dissertação (Mestrado em Pós-graduação em Engenharia Mecânica) - Universidade de Taubaté.

Aluno: Waldir Aguiar dos Santos

Roberto Roma de Vasconcellos; Carlos Alberto Chaves;LAHOZ, C. H. N.. Aplicação de metodologia REDX para melhoria de produto e processo: caso de uma montadora do setor automotivo. 2010. Dissertação (Mestrado em Pós-graduação em Engenharia Mecânica) - Universidade de Taubaté.

Aluno: Waldenê de Melo Moura

MORAES, A. O.;NETTO LAHOZ, CARLOS HENRIQUE; LEITE, V. C. M. N.; VILLAS BOAS, D. J. F.; TOLEDO, R. C.; SANTOS, J. S.. Contribuições Inovadoras no Desenvolvimento de uma Plataforma Inteligente e de Baixo Custo para Experimentos Suborbitais. 2025. Tese (Doutorado em Ciências e Tecnologias Espaciais) - Instituto Tecnológico de Aeronáutica.

Aluno: Diogo Bertolini Profeta de Oliveira,

PALHARINI, R. C.; MORAES, A. O.;CAMARGO JÚNIOR, J. B.; CARVALHO, P. V. R.;LAHOZ, C. H. N.. Beyond Traditional Safety Analysis: A novel hybrid FRAM-BBN framework to RNP approach procedure safety analysis. 2023. Tese (Doutorado em Ciências e Tecnologias Espaciais) - Instituto Tecnológico de Aeronáutica.

Aluno: Evandro Rostirolla Bortoloto

PIRK, R.; BIZARRIA, F. C. P.;NETTO LAHOZ, CARLOS HENRIQUE; ROSARIO, J. M.; RONDINEAU, S. R. M. J.. Redes de Petri Aplicadas na Análise de Proposta de Arquitetura para Banco de Ensaios de Motor-Foguete a Propelente Líquido. 2023. Tese (Doutorado em Ciências e Tecnologias Espaciais) - Instituto Tecnológico da Aeronáutica.

Aluno: Sergio Fugivara

LAHOZ, CARLOS HENRIQUE NETTO; MORAES, A. O.; CARDOSO JUNIOR, M. M.; NERI, J. A. C. F.; PILLAT, V. G.. Análise de Segurança Sistêmica em Missões de lançamento de Foguetes: Uma AbordageM para SistemaS de Sistemas . 2023. Tese (Doutorado em Ciências e Tecnologias Espaciais) - Instituto Tecnológico da Aeronáutica.

Aluno: Luiz Eduardo Guarino de Vasconcelos

PIRK, R.; LOPES, C. M. A.; LEITE, N. P. O.; BIZARRIA, F. C. P.;LAHOZ, C. H. N.; SANTOS, R. D. C.; UEHARA, A. F.. Solução Fotogrametrica Aplicada em Ensaios de Separação de Carga e Ensaios de Impacto de Alta Velocidade. 2018. Tese (Doutorado em Ciências e Tecnologias Espaciais) - Instituto Tecnológico da Aeronáutica.

Aluno: Glauco da Silva

PIRK, R.;LAHOZ, C. H. N.; OLIVEIRA, J. M. P.; SENA, G. J.; AMBROSIO, A. M.. Ontoelicere: Aplicação Inteligente de Apoio a Análise de Perigos em Sistemas Aeroespaciais. 2017. Tese (Doutorado em Ciências e Tecnologias Espaciais) - Instituto Tecnológico da Aeronáutica.

Aluno: Luis Fernando de Almeida

MATHIAS; SOARES; TOMAZINI; BIZARRIA, F. C. P.;LAHOZ, C. H. N.. Redes neurais artificiais aplicadas à manutenção baseada na condição. 2011. Tese (Doutorado em ENGENHARIA) - Universidade Estadual Paulista Júlio de Mesquita Filho.

Aluno: Marcelo José Ruv Lemes

CAMARGO JÚNIOR, J. B.; MELNIKOFF, S. S. S.; Hirama, K.; Hoff, J. C. C.;LAHOZ, C. H. N.. Complexidade, acoplamento e criticalidade (C2A) como indicadores de risco em projetos de sistemas. 2011. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Alexandre Macedo de Oliveira

MARQUES, J. C.; CERQUEIRA, C. S.;LAHOZ, CARLOS H. N.; LEONARDI, R.; CHAGAS, R. A. J.. Concurrent Engineering Methodology Applied to Launch Vehicle Conceptual Design. 2025. Exame de qualificação (Doutorando em Ciências e Tecnologias Espaciais) - Instituto Tecnológico de Aeronáutica.

Aluno: Andre Yoshimi Kusumoto

LAHOZ, CARLOS H. N.; HIRATA, C. M.; MARQUES, J. C.; BARRETO, A. B.. Abordagem de Analise de Segurança no Tratamento de Dados Sensíveis em Sistemas Aeroespaciais -Active Cybersec. 2025 - Instituto Tecnológico de Aeronáutica.

Aluno: Daniel Rondon Pleffken

CERQUEIRA, C. S.;LAHOZ, CARLOS H. N.; CARDOSO JUNIOR, M. M.. Processos de Espaçonavegabilidade e Aeronavegabilidade para Produtos Aeroespaciais. 2023. Exame de qualificação (Doutorando em Ciências e Tecnologias Espaciais) - Instituto Tecnológico de Aeronáutica.

Aluno: Luiz Felipe Hoffmann

BIZARRIA, F. C. P.;LAHOZ, C. H. N.; PIRK, R.; PASTOUKHOV, V.. Inteligencia Artificial Aplicada na Inspeção de Camada Aderente para Propelente Solido de Motor-Foguete. 2018. Exame de qualificação (Doutorando em Ciências e Tecnologias Espaciais) - Instituto Tecnológico da Aeronáutica.

Aluno: Luiz Eduardo Guarino de Vasconcelos

LOPES, C. M. A.; LEITE, N. P. O.; BIZARRIA, F. C. P.;LAHOZ, C. H. N.. Uma Solução Fotogramétrica 3D Aplicada a Ensaios de Separação de Carga e Impacto Balístico. 2016. Exame de qualificação (Doutorando em Ciências e Tecnologias Espaciais) - Instituto Tecnológico da Aeronáutica.

Aluno: Luis Fernando de Almeida

MATHIAS; BIZARRIA, F. C. P.; SOARES;LAHOZ, C. H. N.. Redes neurais artificiais aplicadas à manutenção baseada na condição. 2011. Exame de qualificação (Doutorando em Engenharia Mecânica) - Universidade Estadual Paulista Júlio de Mesquita Filho.

Aluno: Andrey Toshiro Okamura

SILVA, A. E. A.; COELHO, G. P.;CARLOS HENRIQUE NETO LAHOZ. Classificação via BERT para análise STPA. 2024 - Universidade Estadual de Campinas.

Aluno: Eric Ferreira dos Santos

SANTOS, E. F.; CASTILHO, D. S.; CARDOSO JUNIOR, M. M.;CARLOS HENRIQUE NETO LAHOZ. Viabilidade de Aplicação de Active STPA em um SMS Aderente ao Anexo 19 da ICAO. 2023. Exame de qualificação (Mestrando em Curso de Mestrado Profissional em Segurança de Aviação e Aeronavegabilidade) - Instituto Tecnológico de Aeronáutica.

Aluno: Domenico Merrichelli II

BELDERRAIN, M. C. N.; CASTILHO, D. S.; URBINA, L. M. S.;LAHOZ, C. H. N.. Aprimoramento de Requisitos e Restrições de Segurança Utilizando o Modelo STPA Ativo. 2020. Exame de qualificação (Mestrando em Ciências e Tecnologias Espaciais) - Instituto Tecnológico de Aeronáutica.

Aluno: Bruna Franco Campos

CHAGAS JUNIOR, M. F.; PERONDI, L. F.; GENARO, A. F. S.;LAHOZ, C. H. N.. Relação entre a Gestão de Riscos e a Garantia da Segurança em Projetos de Satélites. 2020. Exame de qualificação (Mestrando em Engenharia e Tecnologia Espaciais) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Letícia Costa Leite

LAHOZ, C. H. N.; FERREIRA, H. L. E.; CARVALHO, P. H. S.. Ferramenta de Software para Monitoramento e Apoio ao Controle de Hipertensão Arterial. 2023. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade do Vale do Paraíba.

Aluno: Junior Rafael Rosa FAgundes

LAHOZ, CARLOS HENRIQUE NETTO; PILAT, V. G.; FERREIRA, H. L. E.. Sistema de Monitoramento e Alerta de Deslizamento de Terras. 2023. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade do Vale do Paraíba.

Aluno: Pedro Henrique Serpa Bechelli

LAHOZ, CARLOS HENRIQUE NETTO; SCHIAVO, L. E. C. A.; JESUS, W. S. C.. Gerador de Scripts para Configuração de Protocolos de Rede. 2023. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade do Vale do Paraíba.

Aluno: Mariana Mayumi Sasagawa Mendonça

MENDONCA, M. M. S.;LAHOZ, CARLOS H. N.; JESUS, W. S. C.; PILAT, V. G.; BELTRAME JUNIOR, M.. Univap na sua mão ? Aplicativo móvel de apoio a localização e movimentação no campus Univap Urbanova. 2021. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade do Vale do Paraíba.

Aluno: Amadeu Vinícius Duarte Fernandes

JESUS, W. S. C.;LAHOZ, C. H. N.; FERREIRA, H. L. E.. Arquitetura de Microsserviços Aplicada à Soluções de Alta Escalabilidade. 2021. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade do Vale do Paraíba.

Aluno: Daniel Kenzo Nakaya Aulicino

FERREIRA, H. L. E.; JESUS, W. S. C.; BARBOSA, E. A.;CARLOS HENRIQUE NETO LAHOZ. Estimativa de Faturamento de Lojas do Segmento de Fast Food Utilizando Modelo Huff Model. 2021. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade do Vale do Paraíba.

Aluno: Gabriel Pontes Araujo Muniz

CARLOS HENRIQUE NETO LAHOZ; FERREIRA, H. L. E.; JESUS, W. S. C.. ?Horta Automatizada Monitorada Remotamete. 2021. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade do Vale do Paraíba.

Aluno: Guilherme Latocheski Santos

CARLOS HENRIQUE NETO LAHOZ; PILAT, V. G.; FERREIRA, H. L. E.; JESUS, W. S. C.. SRV ? Surveillance Robotic Vehicle (Veiculo Robótico de Vigilancia). 2021. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade do Vale do Paraíba.

Aluno: Daniel Medeiros Battistetti

SOUSA, M. S.;LAHOZ, C. H. N.; COIMBRA, R. F. F.; SOUSA, B. S.. Modelagem Lógica de função de navegação de um Sistema de Gerencaimento de Vôo. 2018. Trabalho de Conclusão de Curso (Graduação em Engenharia Mecânica Aeronáutica) - Universidade Federal de Itajubá.

Aluno: Aloysio Augusto R de Carvalho

SILVEIRA, J. M. B.;LAHOZ, C. H. N.. Controle de Diabetes Mellitus Tipo 1 através de Dispositivos Móveis. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Paulista.

Aluno: Lucas Jardim Ribeiro

SOUSA, M. S.; RAMOS, A. B.;LAHOZ, C. H. N.; ALEXANDRINO, P. S. L.. Aplicação da abordagem STAMP para a melhoria do gerenciamento de projetos em uma empresa. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia Mecânica Aeronáutica) - Universidade Federal de Itajubá.

Aluno: Alexsander Kleber Santana

SOUSA, M. S.; RAMOS, A. B.; ALEXANDRINO, P. S. L.;LAHOZ, C. H. N.. Aplicação de Requisitos ARP4754A e ARP4761 no Desenvolvimento dos Sistemas de um Veiculo Aére não Tripulado. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia Mecânica Aeronáutica) - Universidade Federal de Itajubá.

Aluno: Helen de Cassia dos Reis

LAHOZ, C. H. N.; Kusumoto A; DIETRICH, E.. Detecção Automatizada de Trilhas Interrompidas de um Circuito Impresso. 2013. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Paulista.

Aluno: Marco A Santos, Gregório Teixeira, Taciane Santos, Everton

LAHOZ, C. H. N.; Kusumoto A; Barreto A. Metodologia de Teste de Software para Pequenas e Médias Empresas: Caixa Preta. 2011. Trabalho de Conclusão de Curso (Graduação em Ciencias da Computação) - Universidade Paulista.

Aluno: Elias R, Honorato R, Almeida R, Marques S, Lima W

Shiguemori E;LAHOZ, C. H. N.; Barreto A. Redes Neurais para Avaliação de Bens Imobiliários. 2011. Trabalho de Conclusão de Curso (Graduação em Ciencias da Computação) - Universidade Paulista.

SCHLINDWEIN, S.; BERGIANTE, N. C. R.; BANDOS, M. F. C.;LAHOZ, CARLOS HENRIQUE NETO. Banca Examinadora do Concurso Público regido pelo Edital nº 02/ITA/2025. 2025. Instituto Tecnológico da Aeronáutica.

PIMENTEL, A.; CARDOSO, P.; ARAKAKI, R.; SANTIAGO, V.;LAHOZ, CARLOS H. N.. CONCURSO PÚBLICO PARA PROVIMENTO DE VAGAS EM CARGOS DE TECNOLOGISTA PLENO I E TECNOLOGISTA JÚNIOR I DA CARREIRA DE DESENVOLVIMENTO TECNOLÓGICO. 2024. Instituto Nacional de Pesquisas Espaciais.

MOKARZEL, F. C.; PANETTA, J.;LAHOZ, C. H. N.. Concurso Publico para provimento de vaga no corpo docente do ITA EDITAL 01/ITA/2017. 2017. Instituto Tecnológico da Aeronáutica.

IMAMURA, O. C.; MARTINS, C. A.;LAHOZ, C. H. N.. Participação em Subcomissão de Defesa Pública de Memorial de Concurso Público do DCTA. 2013. Departamento de Ciência e Tecnologia Aeroespacial.

CARDOSO, P. E.;LAHOZ, C. H. N.; PELLEGRINO, S. R. M.; AZEVEDO, D. N. R.. Provimento de Vagas em Cargos de Nível Superior da Carreira Desenv. Tecnológico. 2012. Instituto Nacional de Pesquisas Espaciais.

NETTO LAHOZ, CARLOS HENRIQUE. Comissão de Merito da Chamada Publica 01/2022 Prog Capacitação Institucional PCI. 2022. Instituto Nacional de Pesquisas Espaciais.

Orientou

Carlos de Oliveira Lino

Framework de Engenharia de Capacidades para o Programa Espacial Brasileiro; Início: 2023; Tese (Doutorado em Ciências e Tecnologias Espaciais) - Instituto Tecnológico de Aeronáutica; (Orientador);

Andre Yoshimi Kusumoto

Metodologia para apoio a decisão no monitoramento estrutural de componentes de sistemas aeroespaciais, utilizando conceitos de Prognostics and Health Management (PHM); Início: 2021; Tese (Doutorado em Ciências e Tecnologias Espaciais) - Instituto Tecnológico da Aeronáutica; (Orientador);

Arthur Petrocchi Gomes Reis

Analise de Segurança do Instrumento MANIFEST; Início: 2024; Trabalho de Conclusão de Curso (Graduação em Engenharia de Sistemas) - Universidade Federal de Minas Gerais; (Orientador);

DINIZ MERLADET, ANTONIO VINICIUS

Comparison of CAST and FTA results in the Investigation of a Suborbital Rocket Launch Accident; 2025; Dissertação (Mestrado em Aerospace Science and Technology) - Universitat Politècnica de Catalunya, ; Coorientador: Carlos Henrique Netto Lahoz;

Guilherme Jayme Allan Pimentel

System Safety Analysis of a Subsonic Wind Tunnel; 2022; Dissertação (Mestrado em Pós-Graduação em Ciências e Tecnologias Espaciais) - Instituto Tecnológico da Aeronáutica, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Coorientador: Carlos Henrique Netto Lahoz;

Antonio Vinicius Diniz Merladet

Análise de Segurança por Métodos Sistêmicos em Operações de Lançamento Suborbitais; 2020; Dissertação (Mestrado em Pós-Graduação em Ciências e Tecnologias Espaciais) - Instituto Tecnológico da Aeronáutica, ; Orientador: Carlos Henrique Netto Lahoz;

Heuller Aloys Carnerio Procópio

Mitigação de Riscos de Experimentos Científicos Embarcados em Cargas Úteis em Foguetes Suborbitais; 2020; Dissertação (Mestrado em INOVAÇÃO TECNOLÓGICA) - Universidade Federal de São Paulo, ; Coorientador: Carlos Henrique Netto Lahoz;

Gledson Hernandez Diniz

Critical Software Processes Selection in Very Small Entitites; 2019; Dissertação (Mestrado em Engenharia e Tecnologia Espaciais) - Instituto Nacional de Pesquisas Espaciais, ; Coorientador: Carlos Henrique Netto Lahoz;

Tharcius Augusto Pivetta

PRO-ELICERE: uma ferramenta para auxilio à análise de perigos; 2016; Dissertação (Mestrado em Pós-Graduação em Ciências e Tecnologias Espaciais) - Instituto Tecnológico da Aeronáutica, ; Orientador: Carlos Henrique Netto Lahoz;

Idoaldo José de Lima

STPA Applied to Safety Hazard Analysis of Brazilian Airport Infrastructure; 2016; Dissertação (Mestrado em Pos-graduação em Infraestrutura Aeronáutica) - Instituto Tecnológico da Aeronáutica, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Coorientador: Carlos Henrique Netto Lahoz;

Marcos Alécio Romani

PROCESSO DE ANÁLISE DE REQUISITOS DE DEPENDABILIDADE PARA SOFTWARE ESPACIAL; 2007; Dissertação (Mestrado em Mestrado Prof; Engenharia Aeroespacial) - Instituto Tecnológico de Aeronáutica, ; Coorientador: Carlos Henrique Netto Lahoz;

Pedro Haruo Takahashi

Avaliação da Codificação para Detecção de Erros da Comunicação de Dados do VLS_1; 2006; Dissertação (Mestrado em Mestrado Prof; Engenharia Aeroespacial) - Instituto de Aeronáutica e Espaço, ; Coorientador: Carlos Henrique Netto Lahoz;

Márcio Akira Harada

Balanced Scorecard em Projetos de Software Espacial; 2006; Dissertação (Mestrado em Mestrado Prof; Engenharia Aeroespacial) - Instituto Tecnológico de Aeronáutica, ; Coorientador: Carlos Henrique Netto Lahoz;

Sergio Fugivara

Análise de Segurança EM SistemaS de Sistemas paraLançamentos Espaciais; 2025; Tese (Doutorado em Ciências e Tecnologias Espaciais) - Instituto Tecnológico da Aeronáutica, ; Orientador: Carlos Henrique Netto Lahoz;

Sergio Fugivara

Metodologia para Análise de Falhas Aplicável em Veículos do Programa Espacial Brasileiro; 2020; Tese (Doutorado em Ciências e Tecnologias Espaciais) - Instituto Tecnológico da Aeronáutica, ; Orientador: Carlos Henrique Netto Lahoz;

Benedito Massayuki Sakugawa

METRICS FOR OVERSIGHT OF SOFTWARE SUPPLIER OF SAFETY-CRITICAL AEROSPACE SYSTEMS; 2017; Tese (Doutorado em Engenharia e Tecnologia Espaciais) - Instituto Nacional de Pesquisas Espaciais, ; Coorientador: Carlos Henrique Netto Lahoz;

Glauco da Silva

PRO-ELICERE: Processo inteligente de apoio a análise de dependabilidade em sistema espaciais; 2013; Tese (Doutorado em Ciências e Tecnologias Espaciais) - Instituto Tecnológico da Aeronáutica, ; Orientador: Carlos Henrique Netto Lahoz;

Benedito Massayuki Sakugawa

Um Framework para Auxílio à Verificação de Requisitos de Safety de Sistemas Espaciais Embarcados com uso intensivo de Software; 2012; Tese (Doutorado em ENGENHARIA E TECNOLOGIA ESPACIAIS) - Instituto Nacional de Pesquisas Espaciais, ; Coorientador: Carlos Henrique Netto Lahoz;

Ariel Augusto dos Santos Leite

Protótipo de Sisterma WEB para Controle de Produção SMT Alimentado por Microcontroladores ESP32; 2025; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade do Vale do Paraíba; Orientador: Carlos Henrique Netto Lahoz;

Ingrid Souza dos Santos

Modelagem de processos para melhoria de serviços da UNIVAP; 2025; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Produção) - Universidade do Vale do Paraíba; Orientador: Carlos Henrique Netto Lahoz;

Ricardo Faria da Costa

Desenvolvimento de uma Ferramenta de Software para Análise de Segurança de Sistemas Críticos; 2025; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade do Vale do Paraíba; Orientador: Carlos Henrique Netto Lahoz;

Geraldo Marcelo Aparecido Alves Junior

Desenvolvimento de um protótipo de impressora 3d para aplicações didáticas; 2021; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade do Vale do Paraíba; Orientador: Carlos Henrique Netto Lahoz;

Mariana Mayumi Sasagawa Mendonça

Univap na sua mão ? Aplicativo móvel de apoio a localização e movimentação no campus Univap Urbanova; 2021; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade do Vale do Paraíba; Orientador: Carlos Henrique Netto Lahoz;

Amadeu Vinícius Duarte Fernandes

Arquitetura de Microserviços Aplicada a Soluções de Alta Escalabilidade; 2021; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade do Vale do Paraíba; Orientador: Carlos Henrique Netto Lahoz;

Igor Lopes Delfino

Desenvolvimento de Aplicativo para Adoção de Animais Abandonados Utilizando a Linguagem RUBY on RAILS e IONIC; 2021; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade do Vale do Paraíba; Orientador: Carlos Henrique Netto Lahoz;

Carlos Wesley Pereira Godinho

Aplicativo Colaborativo para Auxiliar na Busca de Animais Perdidos; 2019; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Paulista; Orientador: Carlos Henrique Netto Lahoz;

Diego da Silva Pinheiro Felipe

Ferramenta de Software de Apoio a Determinação Orbital de Satelites Artificiais; 2019; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade do Vale do Paraíba; Orientador: Carlos Henrique Netto Lahoz;

Gustavo Escobar Preto

sistema de personalização de cartão inteligente (Smartcard); 2018; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade do Vale do Paraíba; Orientador: Carlos Henrique Netto Lahoz;

Renan Liberato

Sistema para identificação de presença em pontos de referência; ; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Paulista; Orientador: Carlos Henrique Netto Lahoz;

Helen de Cassia dos Reis

Detecção Automatizada de Trilhas Interrompidas de um Circuito Impresso; 2013; Trabalho de Conclusão de Curso; (Graduação em Ciencias da Computação (13701)) - Universidade Paulista; Orientador: Carlos Henrique Netto Lahoz;

Marco Antonio Santos

METODOLOGIA DE TESTE DE SOFTWARE PARA PEQUENAS E MÉDIAS EMPRESAS: CAIXA PRETA; 2011; Trabalho de Conclusão de Curso; (Graduação em Ciencias da Computação) - Universidade Paulista; Orientador: Carlos Henrique Netto Lahoz;

Gabriela Diniz

Revisão Sistemática (RS) do STAMP/STPA em sistemas aeroespaciais; 2017; Iniciação Científica; (Graduando em Engenharia Aeronáutica) - Instituto Tecnológico da Aeronáutica; Orientador: Carlos Henrique Netto Lahoz;

João Paulo Teixeira

Continuação do Desenvolvimento de um Protótipo de um EGSE para Monitoramento dos Comandos Gerados por um Computador de Bordo; 2014; Iniciação Científica; (Graduando em Engenharia Elétrica) - Universidade do Vale do Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Carlos Henrique Netto Lahoz;

Érika Santana de Barros

Continuação do estudo para automação da camada núcleo do processo ELICERE de análise de dependabilidade de sistemas críticos; 2013; Iniciação Científica; (Graduando em Análise e Desenvolvimento de Sistemas) - Faculdade de Tecnologia de São José dos Campos, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Carlos Henrique Netto Lahoz;

Juliana Condez de Sousa Costa

Aplicando o processo ELICERE para a análise de dependabilidade do foguete V-ALFA; 2011; Iniciação Científica; (Graduando em Ciencias da Computação) - Universidade Paulista; Orientador: Carlos Henrique Netto Lahoz;

Rodrigo José Teixeira

Desenvolvimento de um Aplicativo para Visualização Gráfica dos dados Recebidos pelos Sensores e dos Comandos Gerados por um Controlador Digital; ; 2011; Iniciação Científica; (Graduando em Engenharia Elétrica ETEP) - Instituto de Aeronáutica e Espaço, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Carlos Henrique Netto Lahoz;

Taynara de Araujo Soares

Estudo aplicado à melhoria das características ergonômicas da interface homem-computador do Banco de Controle do VLS-1; 2010; Iniciação Científica; (Graduando em Engenharia da Computação) - Instituto Tecnológico da Aeronáutica, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Carlos Henrique Netto Lahoz;

Christian Bisacchi Coelho Devezas

Projeto de construção de página web do projeto de V&V de Sistemas de Software para Projetos Espaciais; 2012; Orientação de outra natureza - Instituto de Aeronáutica e Espaço, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Carlos Henrique Netto Lahoz;

Marize Corrêa Simões

Avaliação final do uso das técnicas de dependabilidade de software e estudo da técnica STPA para análise de perigos de sistema/software; 2012; Orientação de outra natureza - Instituto de Aeronáutica e Espaço, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Carlos Henrique Netto Lahoz;

Fernando Garcia Nicodemos

Verificação e Validação de Sistemas de Software da Área Espacial; 2011; Orientação de outra natureza - Instituto de Aeronáutica e Espaço, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Carlos Henrique Netto Lahoz;

Elmer Dotti

Luciene Bianca Alves

Capacitação e uso de técnicas de V&V e dependabilidade; 2011; Orientação de outra natureza - Instituto de Aeronáutica e Espaço, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Carlos Henrique Netto Lahoz;

Produções bibliográficas

MERLADET, ANTONIO VINICIUS DINIZ ; LAHOZ, CARLOS HENRIQUE NETTO ; MANFLETTI, CHIARA ; CASTILHO, DIOGO SILVA ; SILVEIRA, RODRIGO DE MELO . System-Theoretic Process Analysis Applied for Verification Processes During Launch Operations. IEEE Access , v. 14, p. 23336-23366, 2026.
MERLADET, ANTONIO V.D. ; LAHOZ, CARLOS H.N. ; MANFLETTI, CHIARA ; CASTILHO, DIOGO S. ; SILVEIRA, RODRIGO M. . Recommendations for flight safety systems through STPA application. Journal Of Space Safety Engineering , v. 1, p. 1-18, 2025.
MERLADET, ANTONIO V.D. ; LAHOZ, CARLOS H.N. ; MANFLETTI, CHIARA ; SILVEIRA, RODRIGO M. ; CASTILHO, DIOGO S. ; ANDRADE, KAREN S. . Safety analysis of evaluation and acceptance processes for space systems and operations based on system-theoretic approach. Journal of Space Safety Engineering , v. 1, p. 1-19, 2024.
PROCÓPIO, HEULLER ALOYS CARNEIRO ; MARTINS, LUIZ EDUARDO GALVÃO ; LAHOZ, CARLOS HENRIQUE NETTO . Safety Requirements Identification in Suborbital Payload Experiments. JOURNAL OF AEROSPACE TECHNOLOGY AND MANAGEMENT (ONLINE) , v. 16, p. 1-17, 2024.
REINHARDT, JOEL CARLOS VIEIRA ; DEWES, MARIANA DE FREITAS ; GONÇALEZ, ODAIR LELIS ; LAHOZ, CARLOS HENRIQUE NETTO . SpaceX Starship SN10 Prototype Safety Analysis: A Case Study on Organization?s Needs Management. JOURNAL OF AEROSPACE TECHNOLOGY AND MANAGEMENT (ONLINE) , v. 16, p. 1-29, 2024.
LANDI, RENAN GUIMARÃES ; MONTEDO, UIARA BANDINELI ; LAHOZ, CARLOS HENRIQUE NETTO . Using systems theory for additional risk detection in boiler explosions in Brazil. SAFETY SCIENCE , v. 152, p. 105761, 2022.
FUGIVARA, SÉRGIO ; MERLADET, ANTÔNIO V. D. ; LAHOZ, CARLOS H. N. . STPA Analysis of Brazilian Sounding Rockets Launching Operations. MICROGRAVITY SCIENCE AND TECHNOLOGY , v. 33, p. 43, 2021.
SILVA, GLAUCO DA ; LAHOZ, CARLOS HENRIQUE NETO . ontoELICERE: Um Conjunto de Ontologias para Representar os Elementos de uma Análise de Perigos em Sistemas Aeroespaciais. Comunicações em Informática , v. 2, p. 5, 2019.
DINIZ, G. H. ; AMBROSIO, A. M. ; LAHOZ, C. H. N. . Critical Software Processes Tailoring and Very Small Entities (VSE): A Literature Review. INTERNATIONAL JOURNAL OF ADVANCED ENGINEERING RESEARCH AND SCIENCE , v. 6, p. 276-285, 2019.
RIBEIRO, JOANA RAMOS ; PELICIONI, LUCIELE CRISTINA ; CALDAS, ILMO ; NETTO LAHOZ, CARLOS HENRIQUE ; BELDERRAIN, MISCHEL CARMEN NEYRA . Evolution of policies and technologies for space debris mitigation based on bibliometric and patent analyses. SPACE POLICY , v. 1, p. 1, 2018.
PIVETTA, THARCIUS AUGUSTO ; DA SILVA, GLAUCO ; LAHOZ, CARLOS HENRIQUE NETTO ; CAMARGO JÚNIOR, JOÃO BATISTA . PRO-ELICERE: A Hazard Analysis Automation Process Applied to Space Systems. Journal of Aerospace Technology and Management (Online) , v. 8, p. 328-338, 2016.
DA SILVA, GLAUCO ; LAHOZ, CARLOS HENRIQUE NETTO . FERRAMENTAS PARA ANÁLISE DE DEPENDABILIDADE E SEGURANÇA DE SOFTWARES: UM BREVE LEVANTAMENTO. REVISTA CIENTÍFICA ON-LINE TECNOLOGIA GESTÃO HUMANISMO , v. 7, p. 18-30, 2016.
LIMA, I. J. ; SOUSA, M. S. ; JORGE, A. B. ; COIMBRA, R. F. F. ; LAHOZ, C. H. N. . Abordagem STAMP aplicada à Análise de Acidentes na Operação Civil de Aeronaves no Brasil. Revista Conexão SIPAER , v. 7, p. 127-142-127, 2016.
SILVA, G. ; LAHOZ, C. H. N. . Ferramentas para análise de dependabilidade e segurança de softwares: um breve levantamento. Revista Científica On-line Tecnologia Gestão Humanismo , v. 7, p. 18-30, 2016.
PIVETTA, T. A. ; LAHOZ, C. H. N. ; CAMARGO JÚNIOR, J. B. . PRO-ELICERE: A Hazard Analysis Automation Process Applied to Space Systems. Journal of Aerospace Technology and Management (Online) , v. 8, p. 328-338, 2016.
ROMANI ; LAHOZ, C. H. N. ; YANO . Identifying Dependability Requirements for Space Software Systems. Journal of Aerospace Technology and Management (Online) , v. 2, p. 1-15, 2010.
HENRIQUE, CARLOS ; LAHOZ, NETTO . 8.2.2 Requirements and Dependability Obstacles That Must Be Overcome. INCOSE International Symposium , v. 20, p. 1040-1050, 2010.
LAHOZ, C. H. N. ; CAMARGO JÚNIOR, J. B. ; ABDALA, M. A. D. ; BURGARELI, L. A. . A Software Safety Requirements Elicitation Study on Critical Computer Systems. The First International Conference on System Safety , Great Britain, v. 1, n.1, p. 47-53, 2006.
LAHOZ, C. H. N. ; CAMARGO JÚNIOR, J. B. . Um Estudo sobre a Atividade de Elicitação de Requisitos em Projetos de Software da Área Espacial. Cadernos do IME. Série Informática , v. 1, p. 116-123, 2006.
NETTO LAHOZ, CARLOS HENRIQUE . Meta-Requirements for Space Systems. In: Luiz Eduardo G. Martins, Tony Gorschek, Blekinge. (Org.). Requirements Engineering for Safety-Critical Systems. 1ed.Indianapolis: Rivers Publishers, 2022, v. 1, p. 1-15.
MOURA, C. A. T. ; LAHOZ, C. H. N. ; ABDALA, M. A. D. . A Pratical Approach to Quality Assurance in Critical Systems. In: Rogério de Lemos; Taisy Silva Weber, João Batista Camargo Jr.. (Org.). Dependable Computing. 1ed.Berlim: Springer, 2003, v. 1, p. 369-370.
MERLADET, A. V. D. ; LAHOZ, CARLOS H. N. ; MANFLETTI, C. ; CASTILHO, DIOGO S. ; SILVEIRA, RODRIGO DE MELO . Recommendations for FLlight Safety Systems Through STPA Application. In: 13th IAASS Conference, 2024, Praga. 13TH IAASS CONFERENCE. Noordwijk: IAASS, 2024. v. 1. p. 1-1.
AZEVEDO, M. P. ; LAHOZ, CARLOS H. N. . A Case Study of Model-Based Systems Engineering Approach Applied in the SAE BRAZIL AeroDesign Competition. In: SAE Brasil 2024 Congress, 2024, Sao Paulo. SAE BRAZIL Proceedings. Sao Paulo: SAE, 2024. v. 1. p. 1-10.
MERLADET, A. V. D. ; LAHOZ, C. H. N. ; CASTILHO, D. S. ; MANFLETTI, C. ; SILVEIRA, RODRIGO DE MELO . System-Theoretic Process Analysis applied for Verification Processes during Launch Operations. In: 7th International Conference on System Reliability and Safety, 2023, Bologna, Italy. 2023 7th International Conference on System Reliability and Safety, 2023. v. 1. p. 1-63.
GOODWIN, M. ; ADAMS, D. ; HARTMANN, V. ; CARLOS HENRIQUE NETO LAHOZ ; NICOLAZZI, D. M. ; O?BRIEN, E. ; LACOMBE, C. ; LAWRENCE, J. . Application of model-based systems engineering to MANIFEST conceptual design. In: SPIE International Society for Optics and Photonics, 2022. Proc. SPIE. 12187, Modeling, Systems Engineering, and Project Management for Astronomy X. v. 1.
MERLADET, ANTONIO VINICIUS DINIZ ; SILVEIRA, RODRIGO DE MELO ; FUGIVARA, SERGIO ; LAHOZ, CARLOS HENRIQUE NETTO . Safety analysis of Brazilian suborbital launch operations based on system-theoretic approach. In: 2021 10th LatinAmerican Symposium on Dependable Computing (LADC), 2021, Florianópolis. 2021 10th Latin-American Symposium on Dependable Computing (LADC), 2021. v. 1. p. 1-15.
DINIZ, G. H. ; AMBROSIO, A. M. ; LAHOZ, C. H. N. ; SAKUGAWA, B. . Criteria proposal for critical software development processes selection for space projects in Very Small Entities. In: 9o. Workshop em Engenharia e Tecnologias Espaciais, 2018, Sao Jose dos Campos. Anais do WETE 2018. Sao Jose dos Campos: INPE, 2018. v. 1. p. 1-8.
MERLADET, A. V. D. ; LAHOZ, C. H. N. ; SILVEIRA, R. M. ; FUGIVARA, S. . Análise de Segurança por Métodos Sistêmicos em Operações de Lançamento Suborbitais.. In: Forum de Pesquisa e Inovação do CLBI-UFRN, 2018, Natal, RN. Anais do VIII FOPI, 2018. v. 1.
LIMA, I. J. ; ALVES, C. J. P. ; LAHOZ, C. H. N. ; PAMPLONA, D. A. ; CAETANO, M. . Airport Characterization Through System Safety Context. In: SITRAER - SIMPÓSIO DE TRANSPORTE AÉREO, 2017, Rio de Janeiro. SITRAER Anais 2017, 2017.
LAHOZ, C. H. N. ; SANTOS, S. R. G. . STPA for space software dependability and safety. In: 8th International Association for the Advancement of Space Safety Conference IAASS, 2016, Melbourne, FL. Proceedings of IAASS 2016, 2016.
SAKUGAWA, B. ; AMBROSIO, A. M. ; LOUREIRO, G. ; LAHOZ, C. H. N. . A Framework for Oversight of Software´s Suppliers of Safety-Critical Space System Based on Civil Aviation Best Practices. In: 67th International Astronautical Congress, 2016, Guadalajara. 67th IAC Programme, 2016. v. 1. p. IAC-16-34891-1-IAC-16-34891-7.
LIMA, I. J. ; SOUSA, M. S. ; JORGE, A. B. ; COIMBRA, R. F. F. ; LAHOZ, C. H. N. . Abordagem STAMP aplicada à Análise de Acidentes na Operação Civil de Aeronaves no Brasil. In: 9o. Simposio de Segurança de Voo, 2016, Sao Jose dos Campos. Simposio de Segurança de Voo 2016 Anais, 2016. v. 1. p. 1-15.
SANTOS, S. R. G. ; LAHOZ, C. H. N. . The SISNAV Software Project: a Report Experience. In: Sixth Latin-American Symposium on Dependable Computing, 2013, Rio de Janeiro. Supplemental Volume, 2013. v. 1.
SILVA, G. ; LAHOZ, C. H. N. . PRO-Elicere: a study for create a new process for dependability analysis of space computer systems. In: 6th International Association for the Advancement of Space Safety Conference, 2013, Montreal. Proceedings, 2013.
LAHOZ, C. H. N. ; ABDALA, M. A. D. . Dependability Techniques Applied to Space Software ? a Research Project Report. In: International System Safety Conference, 2013, Boston. procedures, 2013. v. 1. p. 125-132.
SILVA, G. ; LAHOZ, C. H. N. . A New Process for Space Computer System Dependability Analysis. In: 64th International Astronautical Congress, 2013, Beijing. Anais digitais, 2013.
LAHOZ, C. H. N. ; ROMANI ; YANO . Dependability Attributes for Space Computer Systems: Quality Factors Approach. In: 12th International Conference on Space Operations, 2012, Estocolmo. SpaceOps 2012 Proceedings, 2012. v. 1.
LAHOZ, C. H. N. ; ALVES, L. B. ; ABDALA, M. A. D. . Dependability Techniques Applied in a Case Study of Space Software. In: 63rd International Astronautical Congress IAC 2012, 2012, Nápoles. IAC 2012 Final Programme, 2012. v. 01.
DOTTI, ; LAHOZ, C. H. N. . The Dependability Approach for the New Version of VLS On Board Software. In: Fifth Latin-American Symposium on Dependable Computing, 2011, Sao Jose dos Campos. Proceedings of the Fifth Latin-American Symposium on Dependable Computing -Supplemental Volume, 2011. v. 1.
NICODEMOS ; LAHOZ, C. H. N. ; ABDALA, M. A. D. ; SAOTOME . Using Combined SFTA and SFMECA Techniques for Space Critical Software. In: 5th International Association for the Advancement of Space Safety Conference, 2011, Versailles. 5th IAASS Final Programme & Abstract Book, 2011. v. 1.
LAHOZ, C. H. N. . Requirements and Dependability Obstacles That Must Be Overcome. In: 20th Annual INCOSE International Symposium, 2010, Chicago, EUA. 20th Anniversary INCOSE Symposium Proceedings. Evanston, IL: EIS DIGITAL PUBLISHING, 2010. v. 1.
LAHOZ, C. H. N. ; CAMARGO JÚNIOR, J. B. . ELICERE: A Process for Defining Dependability Goals for Critical Computer Systems. In: 19th Annual INCOSE International Symposium (INCOSE 2009), 2009, Cingapura. INCOSE 2009 SINGAPORE, 2009.
ROMANI ; LAHOZ, C. H. N. ; YANO . Dependability Attributes for Space Computer System. In: 2009 Brazilian Symposium on Aerospace Engineering and Applications, 2009, São José dos Campos. Proceedings of the 2009 Brazilian Symposium on Aerospace Engineering and Applications / 3rd CTA-DLR Workshop on Data Analysis and Flight Control, 2009.
ROMANI ; TAKAHASHI, P. H. ; LAHOZ, C. H. N. . A PROCESS OF CODE INSPECTION FOR SPACE SOFTWARE. In: International Astronautical Congress IAC-2009, 2009, Daejeon. Final Program- List of Symposium, 2009.
ROMANI ; LAHOZ, C. H. N. ; YANO . Dependability Requirement Analysis Process for Space Software. In: International System Safety Conference, 2008, Vancouver, Canada. 26th International System Safety Conference, 2008.
LAHOZ, C. H. N. ; CAMARGO JÚNIOR, J. B. . An Approach for Dependability Requirements Elicitation in Computer Systems for Space Projects. In: 25 th System Safety Conference, 2007, Baltimore, EUA. Conference Proceedings. Stoughton, WI: The Printing House, INC, 2007. v. 1. p. 239-248.
LAHOZ, C. H. N. ; CAMARGO JÚNIOR, J. B. ; ABDALA, M. A. D. ; BURGARELI, L. A. . A Software Safety Requirements Elicitation Study on Critical Computer Systems. In: 1st International Conference on System Safety 2006, 2006, Londres. 1st International Conference on System Safety 2006 Proceedings. London: Institution of Engineering and Technology, 2006. v. 1. p. 47-53.
LAHOZ, C. H. N. ; BURGARELI, L. A. ; CAMARGO JÚNIOR, J. B. . Definition and Modeling of a Software Safety Process for Space Applications. In: 23rd International System Safey Conference 2005, 2005, San Diego, CA. 23rd ISSC, 2005. v. 1.
LAHOZ, C. H. N. . Definição e melhoria de processos de software para o desenvolvimento de sistemas críticos. In: VII Simpósio Internacional de Melhoria de Processo de Software - SIMPROS, 2005, São Paulo. VII Simpósio Internacional de Melhoria de Processo de Software - SIMPROS. São Paulo: SENAC São Paulo, 2005. v. 1.
LAHOZ, C. H. N. ; MOURA, C. A. T. . Defining Quality Processes Models in Software Engineering Environments: A Step Towards Dependable Software and Manageable Projects. In: 55 th International Astronautical Congress, IAC2004, 2004, Vancouver, CA. 55 th International Astronautical Congress, Final Program, 2004. v. 1. p. 174-174.
LAHOZ, C. H. N. ; BURGARELI, L. A. ; MOURA, C. A. T. . MELHORIA E CONFIABILIDADE EM DESENVOLVIMENTO DE SOFTWARE PARA PROJETOS ESPACIAIS. In: II SAFETY WORKSHOP - Escola Politécnica da USP, 2004, São Paulo (SP). II SAFETY WORKSHOP - Trabalhos Apresentados. São Paulo: Engenharia de Sistemas, 2004. v. 1. p. 73-92.
LAHOZ, C. H. N. . On-Board Software Validation of a Satellite Launcher Vehicle. In: 21st International System Safety Conference, 2003, Ottawa. 21st International System Safety Conference - Conference Proceedings. Unionville, Virginia, USA: System Safety Society, 2003. v. 1. p. 1203-1211.
ABDALA, M. A. D. ; LAHOZ, C. H. N. ; SANTANNA, N. . Utilizando o SPEM para a Modelagem dos Processos da Qualidade e do Gerenciamento da Configuração em um Ambiente Integrado. In: V Simpósio Internacional de Melhoria de Processo de Software, 2003, Recife. Anais do V SIMPROS 2003. Recife: Salviano - Santan Filho, 2003. v. 1. p. 91-101.
LAHOZ, C. H. N. ; SANTANNA, N. . Os Padrões ISO/IEC 12207 e 15504 e a Modelagem de Processos da Qualidade de Software. In: III Worshop dos Cursos de Computação Aplicada do INPE, 2003, São josé dos Cmapos. Anais do III WORKCAP, 2003. p. 43-48.
LAHOZ, C. H. N. ; ABDALA, M. A. D. ; SANTANNA, N. . O Processo de Auditar Produtos: uma pesquisa referente à sua definição e modelagem para a Garantia da Qualidade no e-WebProject. In: IV Simpósio Internacional de Melhoria de Processo de Software, 2002, Recife. Anais do SIMPROS 2002. Recife: Salviano-Santana Filho-Medeiros Maciel, 2002. v. 1.
ABDALA, M. A. D. ; LAHOZ, C. H. N. . Um Estudo para a Definição de Processos das Gerências da Qualidade e da Configuração em um Ambiente Integrado para Apoio ao Desenvolvimento e Gestão de Projetos de Software. In: WORKSHOP DOS CURSOS DE COMPUTAÇÃO APLICADA DO INPE, 2002, São José dos Campos. WORKSHOP DOS CURSOS DE COMPUTAÇÃO APLICADA DO INPE,Anais, 2002.
ABDALA, M. A. D. ; LAHOZ, C. H. N. ; LEMOS, R. . Diversity of safety arguments in the validation of a sounding rocket destruction system. In: System Safety Conference, 2001, Huntsville. 19th International System Safety Conference - Conference Proceedings. Unionville, Virginia, USA: System Safety Society, 2001. v. 1. p. 760-769.
LAHOZ, C. H. N. ; ABDALA, M. A. D. ; MOURA, C. A. T. ; LEMOS, R. . Avaliação de ações cooperativas na análise da segurança do sistema de teledestruição de um veículo de sondagem. In: Simpósio de Segurança em Informática, 2000, São José dos Campos. Simpósio de Segurança em Informática - Anais. São José dos Campos: Fernandes, Clóvis Torres, 2000. v. 1. p. 49-58.
MELNIKOFF, S. S. ; MOURA, C. A. T. ; LAHOZ, C. H. N. ; ABDALA, M. A. D. ; SARDINHA, M. . Uma abordagem da garantia de qualidade de software no projeto do Veículo Lançador de Satélite brasileiro.. In: SoSt´99 Symposium on Software Technology, 1999, Buenos Aires. Proceedins UBA 1999, 1999.
CASALE, D. E. ; SILVA, R. C. ; LAHOZ, CARLOS H. N. ; COSTA, L. E. V. L. . Requisitos para um Sistema de Aeronave Remotamente Pilotada de Ataque. In: XXVI Simpósio de Aplicações Operacionais em Áreas de Defesa, 2024, Sao Jose dos Campos. Anais SIGE 2024. Sao Jose dos Campos: DIGITAL, 2024. v. 1. p. 1-4.
NETTO LAHOZ, CARLOS HENRIQUE . IHC dos anos 80 ao Século 21. 2025. (Apresentação de Trabalho/Seminário).
NETTO LAHOZ, CARLOS HENRIQUE ; MOREIRA, G. . Key Insights and Findings from the STAMP Workshops at MIT (2012 - 2024). 2025. (Apresentação de Trabalho/Congresso).
NETTO LAHOZ, CARLOS HENRIQUE . STAMP and ISO 20517: Cybersecurity for Space Standard. 2024. (Apresentação de Trabalho/Congresso).
MERLADET, A. V. D. ; NETTO LAHOZ, CARLOS HENRIQUE ; MANFLETTI, C. ; CASTILHO, D. S. . Recommendations for Flight Safety Systems Through STPA Application. 2024. (Apresentação de Trabalho/Congresso).
MERLADET, A. V. D. ; MANFLETTI, C. ; NETTO LAHOZ, CARLOS HENRIQUE ; CASTILHO, D. S. . Comparison of Hazard Analysis Methods Applied to Flight Safety Systems. 2024. (Apresentação de Trabalho/Congresso).
LAHOZ, CARLOS HENRIQUE NETO . Os Desafios da Comunicação em um Ambiente de Engenharia de Sistemas. 2023. (Apresentação de Trabalho/Conferência ou palestra).
LANDI, R. G. ; NETTO LAHOZ, CARLOS HENRIQUE ; MONTEDO, U. . Using CAST for Additional Risk Detection in Boiler Explosions in Brazil. 2022. (Apresentação de Trabalho/Congresso).
LAHOZ, C. H. N. . STAMP and New ISO Standard for Cybersecurity. 2020. (Apresentação de Trabalho/Conferência ou palestra).
MERLADET, A. V. D. ; LAHOZ, C. H. N. ; SILVEIRA, R. M. . STPA Applied to Launch Operations Management. 2019. (Apresentação de Trabalho/Conferência ou palestra).
LIMA, I. J. ; ALVES, C. J. P. ; LAHOZ, C. H. N. . STPA for Airports: safety hazard analysis for airport operations in hub airports. 2018. (Apresentação de Trabalho/Conferência ou palestra).
LIMA, I. J. ; LAHOZ, C. H. N. ; SOUSA, M. S. . CAST analysis of the PT-OVC Learjet 35A accident in Sao Paulo. 2017. (Apresentação de Trabalho/Conferência ou palestra).
LAHOZ, C. H. N. ; LIMA, I. J. . Preliminary CAST analysis of LaMia CP-2933 accident. 2017. (Apresentação de Trabalho/Conferência ou palestra).
LAHOZ, C. H. N. ; SANTOS, S. R. G. . Systematic Review on STPA: Final Results. 2016. (Apresentação de Trabalho/Conferência ou palestra).
LAHOZ, C. H. N. ; RICO, D. E. ; RICHTER, S. . RAPID SwProcessAssessment VSE. 2015. (Apresentação de Trabalho/Conferência ou palestra).
LAHOZ, C. H. N. . STPA for SPACE. 2015. (Apresentação de Trabalho/Conferência ou palestra).
SANTOS, S. R. G. ; LAHOZ, C. H. N. . Systematic review on STPA: A preliminary study. 2015. (Apresentação de Trabalho/Conferência ou palestra).
LAHOZ, C. H. N. ; ABDALA, M. A. D. . SFTA, SFMECA AND STPA APPLIED TO BRAZILIAN SPACE SOFTWARE. 2014. (Apresentação de Trabalho/Conferência ou palestra).
LAHOZ, C. H. N. . SPA activities in the software development of the Brazilian Satellite Launcher. 2013. (Apresentação de Trabalho/Conferência ou palestra).
LAHOZ, C. H. N. ; CAMARGO JÚNIOR, J. B. . ELICERE: A Process for Software Reliability Assessment for Critical Computer Systems. 2011. (Apresentação de Trabalho/Conferência ou palestra).
LAHOZ, C. H. N. ; ALVES, M. C. B. . Verificação e Validação de Software para Projetos Espaciais. 2011. (Apresentação de Trabalho/Seminário).
LAHOZ, C. H. N. ; CAMARGO JÚNIOR, J. B. . Defining Dependability Goals in Computer Systems for Space Projects. 2008. (Apresentação de Trabalho/Simpósio).
BURGARELI, L. A. ; MELNIKOFF, S. S. ; ABDALA, M. A. D. ; LAHOZ, C. H. N. . Integrated Safety Verification Techniques Applied to the Brazilian Satellite Launcher Vehicle Software. 2006. (Apresentação de Trabalho/Simpósio).
LAHOZ, C. H. N. . Os Desafios Atuais dos Projetos de Software da Área Espacial. 2005. (Apresentação de Trabalho/Conferência ou palestra).
LAHOZ, C. H. N. ; ABDALA, M. A. D. ; SANTANNA, N. . Tutorial - Um Ambiente Integrado para suporte a projetos de engenharia de software. 2003. (Apresentação de Trabalho/Congresso).
MELNIKOFF, S. S. S. ; CAMARGO JÚNIOR, J. B. ; ALMEIDA JUNIOR, J. R. ; LAHOZ, C. H. N. ; ABDALA, M. A. D. . Tutorial - Segurança de Software. 2001. (Apresentação de Trabalho/Congresso).
LAHOZ, C. H. N. . ELICERE: The elicitation process for dependability goals in critical computer systems. São José dos Campos: Instituto de Aeronáutica e Espaço, 2009 (Thesis Abstract).

Outras produções

LAHOZ, CARLOS HENRIQUE NETO . Delahoz Consultoria em Engenharia de Sistemas. 2022.

LAHOZ, C. H. N. . ISO 18676 Space systems - Guidelines for the management of systems engineering. 2017.

LAHOZ, C. H. N. ; COSTA, G. F. . Descrição de Testes de Software para o Software Aplicativo de Bordo do VLS-1 V03 - Ambiente 2. 2003.

LAHOZ, C. H. N. ; SILVA, R. R. ; SCHELIN, C. . Plano de Testes de Software para o Software Aplicativo de Bordo do VLS-1 V03. 2002.

LAHOZ, C. H. N. . Introdução a Engenharia de Sistemas. 2023. .

LAHOZ, C. H. N. . ESA-TECQQS-TN-0658 S4S For Very Small Entities (VSE) - Research Technical Visit. 2014. (Relatório de pesquisa).

LAHOZ, C. H. N. . ESA-TECQQS-TN-0659 Classification of Software Failures Types - Research Technical Visit. 2014. (Relatório de pesquisa).

LAHOZ, C. H. N. ; ABDALA, M. A. D. ; SANTANNA, N. . Um Ambiente Integrado para Suporte a Projetos de Engenharia de Software. 2003. (Curso de curta duração ministrado/Outra).

MELNIKOFF, S. S. ; CAMARGO JÚNIOR, J. B. ; ALMEIRA JR, J. R. ; LAHOZ, C. H. N. ; ABDALA, M. A. D. . Segurança em Software. 2001. (Curso de curta duração ministrado/Outra).

Projetos de pesquisa

2010 - 2014

Verificação e Validação de Sistemas de Software para Projetos Espaciais, Descrição: O projeto se propõe a utilizar uma abordagem híbrida de V&V que envolve, numa primeira fase, a identificação, a prevenção, a tolerância e a remoção das fragilidades de um sistema deste tipo e, numa segunda fase, a utilização de técnicas apropriadas e inovadoras de Verificação e Validação (V&V) para assegurar que os resultados e recomendações desta primeira fase de estudos foram aplicados e implantados corretamente neste sistema. Um estudo de caso será desenvolvido onde uma análise comparativa será feita considerando-se a especificação de um sistema de software de controle de voo de um lançador de satélites, antes e depois da aplicação das técnicas mencionadas acima, resultando em recomendações de melhorias para os projetos atuais e futuros do IAE, na infusão de técnicas inovadoras em projetos já existentes e na contribuição de especialistas internacionais. Os resultados também incluem a formação e capacitação de recursos humanos nestas técnicas para a área espacial, tanto aqueles pertencentes ao IAE como os bolsistas envolvidos, que estarão, assim, melhor preparados para emprego na indústria aeroespacial.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Carlos Henrique Netto Lahoz - Coordenador / Martha Adriana Dias Abdala - Integrante / Marcos Aléco dos Santos Romani - Integrante / Miriam Célia Bergue Alves - Integrante., Financiador(es): CNPq/MCT/AEB - Auxílio financeiro.
2007 - 2010

Reunião de Especialistas em Verificação e Validação de Software, Descrição: O projecto REVVIS é uma reunião de um número alargado de especialistas Iberoamericanos envolvidos em projetos de Pesquisa, Desenvolvimento e Inovação dedicados a Verificação e Validação de Software (V&V de SW) com o propósito de realizar o intercâmbio de conhecimentos, divulgar melhores práticas e resultados de projetos, realizar transferência de tecnologia e incrementar de modo geral a qualidade de projectos de Software através da generalização do recurso a V&V de SW. O objectivo geral é realizar um projeto que coloque em contato pesquisadores Ibero-Americanos envolvidos em projetos internacionais de pesquisa e desenvolvimento dedicados ou relacionados com V&V e contribua para a integração dos grupos de pesquisa e intercâmbio de experiências, resultados e ideias. O REVVIS pretende promover o desenvolvimento harmonizado e aplicação sistemática de V&V em projetos de Software na Ibero-América, com notável impacto econômico (pelos custos reduzidos em cada projecto) e benefícios sociais (pela maior especialização do recursos humanos e melhoria da qualidade dos produtos).. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Carlos Henrique Netto Lahoz - Integrante / Martha Adriana Dias Abdala - Integrante / Luciana Akemi Burgareli - Integrante / Rovedy Busquim Aparecida e Silva - Integrante / Miriam Célia Bergue Alves - Coordenador., Financiador(es): Programa Ibero-Americano de Ciencia y Tecnologia para el Desarrollo - Bolsa.
2005 - 2007

Ambiente para Testes de Software Crítico, Descrição: Este projeto visava auxiliar na definição de uma arquitetura de Hardware/Software para o Laboratório Engenharia de Software (LES) da AEL, a fim de permitir testar módulos independentes de sistemas embarcados de tempo real. Como estudo de caso foi proposto o desenvolvimento e implantação de um protótipo que analisa uma seqüência de eventos de vôo, baseada no Software Aplicativo de Bordo (SOAB) do VLS. Por meio do protótipo foi possível simular o comportamento de ativação e tratamento dos eventos pré-definidos e ainda identificar uma necessidade de promover melhorias no código do SOAB.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Carlos Henrique Netto Lahoz - Coordenador / Luciana Akemi Burgareli - Integrante / Pedro Haruo Takahashi - Integrante / Christine Córdula Dantas - Integrante / Rovedy Busquim Aparecida e Silva - Integrante / Cláudio Olany - Integrante.
1999 - 2002

Confiança no Funcionamento de Software Embarcado para Aplicações Aeroespaciais, Descrição: O Projeto CAPES/British Council n. 093/99 (Capacitação na Área de Confiança no Funcionamento de Software Embarcado para Aplicações Aeroespaciais), promoveu a participação de pesquisadores do IAE e de Universidades do Reino Unido (Univ. Kent, City Univ., Univ. Glasgow e Univ. York) no âmbito da capacitação em segurança de sistemas críticos para os projetos de software (AEL-C), da Divisão de Eletrônica (AEL).. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Carlos Henrique Netto Lahoz - Integrante / Carlos Augusto Teixiera de Moura - Integrante / Martha Adriana Dias Abdala - Integrante / Rogério de Lemos - Integrante / João Luiz Filgueiras de Azevedo - Coordenador / Selma S S Melnikoff - Integrante / Mirian M Louis - Integrante / Goodchild Collin - Integrante / Jonathan Moffett - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro / British Council - Auxílio financeiro.

Projetos de desenvolvimento

2011 - Atual

Desenvolvimento Tecnológico e Inovação do Processo ELICERE de Análise de Dependabilidade de Software, Descrição: Este projeto, intitulado PRO-ELICERE, visa ao desenvolvimento tecnológico de um produto para apoio à análise da segurança, da confiabilidade, da disponibilidade e da manutenabilidade de software para sistemas críticos, a fim de garantir sua qualidade e a confiança no funcionamento. O resultado final pretendido é criar um produto e seu processo a ser aplicado em sistemas computacionais críticos, de áreas estratégicas nacionais como a espacial, de transporte (metroviário, aeronáutico entre outras) de energia e outros setores que possuem aplicações com restrições de segurança, através de tecnologia inovadora para a melhoria das atividades de análise de dependabilidade de sistemas intensivos de software. Os resultados também incluem a formação e capacitação de recursos humanos nestas técnicas para a área espacial como os bolsistas PIBIC e DTI envolvidos, que estarão, assim, melhor preparados para emprego na indústria aeroespacial.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (1) . , Integrantes: Carlos Henrique Netto Lahoz - Coordenador / Glauco da Silva - Integrante / Érika Santana de Barros - Integrante / Tharcius Augusto Pivetta - Integrante.
1997 - 1997

Estudos de Rede de Computadores em Desenvolvimento de Software Embarcado, Descrição: Capacitação de recursos humanos no desenvolvimento de software para o Veiculo Lançador de Satélites (VLS) utilizando o pacote de desenvolvimento VRTX-32 Velocity DOS, compilador C e rede Novel. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Carlos Henrique Netto Lahoz - Integrante / Carlos Augusto Teixiera de Moura - Coordenador / Antonio José Vitório Domiciano - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2011 - Atual

Desenvolvimento Tecnológico e Inovação do Processo ELICERE de Análise de Dependabilidade de Software, Descrição: Este projeto, intitulado PRO-ELICERE, visa ao desenvolvimento tecnológico de um produto para apoio à análise da segurança, da confiabilidade, da disponibilidade e da manutenabilidade de software para sistemas críticos, a fim de garantir sua qualidade e a confiança no funcionamento. O resultado final pretendido é criar um produto e seu processo a ser aplicado em sistemas computacionais críticos, de áreas estratégicas nacionais como a espacial, de transporte (metroviário, aeronáutico entre outras) de energia e outros setores que possuem aplicações com restrições de segurança, através de tecnologia inovadora para a melhoria das atividades de análise de dependabilidade de sistemas intensivos de software. Os resultados também incluem a formação e capacitação de recursos humanos nestas técnicas para a área espacial como os bolsistas PIBIC e DTI envolvidos, que estarão, assim, melhor preparados para emprego na indústria aeroespacial.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (1) . , Integrantes: Carlos Henrique Netto Lahoz - Coordenador / Glauco da Silva - Integrante / Érika Santana de Barros - Integrante / Tharcius Augusto Pivetta - Integrante.
1997 - 1997

Estudos de Rede de Computadores em Desenvolvimento de Software Embarcado, Descrição: Capacitação de recursos humanos no desenvolvimento de software para o Veiculo Lançador de Satélites (VLS) utilizando o pacote de desenvolvimento VRTX-32 Velocity DOS, compilador C e rede Novel. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Carlos Henrique Netto Lahoz - Integrante / Carlos Augusto Teixiera de Moura - Coordenador / Antonio José Vitório Domiciano - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2011 - Atual

Desenvolvimento Tecnológico e Inovação do Processo ELICERE de Análise de Dependabilidade de Software, Descrição: Este projeto, intitulado PRO-ELICERE, visa ao desenvolvimento tecnológico de um produto para apoio à análise da segurança, da confiabilidade, da disponibilidade e da manutenabilidade de software para sistemas críticos, a fim de garantir sua qualidade e a confiança no funcionamento. O resultado final pretendido é criar um produto e seu processo a ser aplicado em sistemas computacionais críticos, de áreas estratégicas nacionais como a espacial, de transporte (metroviário, aeronáutico entre outras) de energia e outros setores que possuem aplicações com restrições de segurança, através de tecnologia inovadora para a melhoria das atividades de análise de dependabilidade de sistemas intensivos de software. Os resultados também incluem a formação e capacitação de recursos humanos nestas técnicas para a área espacial como os bolsistas PIBIC e DTI envolvidos, que estarão, assim, melhor preparados para emprego na indústria aeroespacial.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (1) . , Integrantes: Carlos Henrique Netto Lahoz - Coordenador / Glauco da Silva - Integrante / Érika Santana de Barros - Integrante / Tharcius Augusto Pivetta - Integrante.
1997 - 1997

Estudos de Rede de Computadores em Desenvolvimento de Software Embarcado, Descrição: Capacitação de recursos humanos no desenvolvimento de software para o Veiculo Lançador de Satélites (VLS) utilizando o pacote de desenvolvimento VRTX-32 Velocity DOS, compilador C e rede Novel. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Carlos Henrique Netto Lahoz - Integrante / Carlos Augusto Teixiera de Moura - Coordenador / Antonio José Vitório Domiciano - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2011 - Atual

Desenvolvimento Tecnológico e Inovação do Processo ELICERE de Análise de Dependabilidade de Software, Descrição: Este projeto, intitulado PRO-ELICERE, visa ao desenvolvimento tecnológico de um produto para apoio à análise da segurança, da confiabilidade, da disponibilidade e da manutenabilidade de software para sistemas críticos, a fim de garantir sua qualidade e a confiança no funcionamento. O resultado final pretendido é criar um produto e seu processo a ser aplicado em sistemas computacionais críticos, de áreas estratégicas nacionais como a espacial, de transporte (metroviário, aeronáutico entre outras) de energia e outros setores que possuem aplicações com restrições de segurança, através de tecnologia inovadora para a melhoria das atividades de análise de dependabilidade de sistemas intensivos de software. Os resultados também incluem a formação e capacitação de recursos humanos nestas técnicas para a área espacial como os bolsistas PIBIC e DTI envolvidos, que estarão, assim, melhor preparados para emprego na indústria aeroespacial.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (1) . , Integrantes: Carlos Henrique Netto Lahoz - Coordenador / Glauco da Silva - Integrante / Érika Santana de Barros - Integrante / Tharcius Augusto Pivetta - Integrante.
1997 - 1997

Estudos de Rede de Computadores em Desenvolvimento de Software Embarcado, Descrição: Capacitação de recursos humanos no desenvolvimento de software para o Veiculo Lançador de Satélites (VLS) utilizando o pacote de desenvolvimento VRTX-32 Velocity DOS, compilador C e rede Novel. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Carlos Henrique Netto Lahoz - Integrante / Carlos Augusto Teixiera de Moura - Coordenador / Antonio José Vitório Domiciano - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2011 - Atual

Desenvolvimento Tecnológico e Inovação do Processo ELICERE de Análise de Dependabilidade de Software, Descrição: Este projeto, intitulado PRO-ELICERE, visa ao desenvolvimento tecnológico de um produto para apoio à análise da segurança, da confiabilidade, da disponibilidade e da manutenabilidade de software para sistemas críticos, a fim de garantir sua qualidade e a confiança no funcionamento. O resultado final pretendido é criar um produto e seu processo a ser aplicado em sistemas computacionais críticos, de áreas estratégicas nacionais como a espacial, de transporte (metroviário, aeronáutico entre outras) de energia e outros setores que possuem aplicações com restrições de segurança, através de tecnologia inovadora para a melhoria das atividades de análise de dependabilidade de sistemas intensivos de software. Os resultados também incluem a formação e capacitação de recursos humanos nestas técnicas para a área espacial como os bolsistas PIBIC e DTI envolvidos, que estarão, assim, melhor preparados para emprego na indústria aeroespacial.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (1) . , Integrantes: Carlos Henrique Netto Lahoz - Coordenador / Glauco da Silva - Integrante / Érika Santana de Barros - Integrante / Tharcius Augusto Pivetta - Integrante.
1997 - 1997

Estudos de Rede de Computadores em Desenvolvimento de Software Embarcado, Descrição: Capacitação de recursos humanos no desenvolvimento de software para o Veiculo Lançador de Satélites (VLS) utilizando o pacote de desenvolvimento VRTX-32 Velocity DOS, compilador C e rede Novel. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Carlos Henrique Netto Lahoz - Integrante / Carlos Augusto Teixiera de Moura - Coordenador / Antonio José Vitório Domiciano - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2011 - Atual

Desenvolvimento Tecnológico e Inovação do Processo ELICERE de Análise de Dependabilidade de Software, Descrição: Este projeto, intitulado PRO-ELICERE, visa ao desenvolvimento tecnológico de um produto para apoio à análise da segurança, da confiabilidade, da disponibilidade e da manutenabilidade de software para sistemas críticos, a fim de garantir sua qualidade e a confiança no funcionamento. O resultado final pretendido é criar um produto e seu processo a ser aplicado em sistemas computacionais críticos, de áreas estratégicas nacionais como a espacial, de transporte (metroviário, aeronáutico entre outras) de energia e outros setores que possuem aplicações com restrições de segurança, através de tecnologia inovadora para a melhoria das atividades de análise de dependabilidade de sistemas intensivos de software. Os resultados também incluem a formação e capacitação de recursos humanos nestas técnicas para a área espacial como os bolsistas PIBIC e DTI envolvidos, que estarão, assim, melhor preparados para emprego na indústria aeroespacial.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (1) . , Integrantes: Carlos Henrique Netto Lahoz - Coordenador / Glauco da Silva - Integrante / Érika Santana de Barros - Integrante / Tharcius Augusto Pivetta - Integrante.
1997 - 1997

Estudos de Rede de Computadores em Desenvolvimento de Software Embarcado, Descrição: Capacitação de recursos humanos no desenvolvimento de software para o Veiculo Lançador de Satélites (VLS) utilizando o pacote de desenvolvimento VRTX-32 Velocity DOS, compilador C e rede Novel. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Carlos Henrique Netto Lahoz - Integrante / Carlos Augusto Teixiera de Moura - Coordenador / Antonio José Vitório Domiciano - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2011 - Atual

Desenvolvimento Tecnológico e Inovação do Processo ELICERE de Análise de Dependabilidade de Software, Descrição: Este projeto, intitulado PRO-ELICERE, visa ao desenvolvimento tecnológico de um produto para apoio à análise da segurança, da confiabilidade, da disponibilidade e da manutenabilidade de software para sistemas críticos, a fim de garantir sua qualidade e a confiança no funcionamento. O resultado final pretendido é criar um produto e seu processo a ser aplicado em sistemas computacionais críticos, de áreas estratégicas nacionais como a espacial, de transporte (metroviário, aeronáutico entre outras) de energia e outros setores que possuem aplicações com restrições de segurança, através de tecnologia inovadora para a melhoria das atividades de análise de dependabilidade de sistemas intensivos de software. Os resultados também incluem a formação e capacitação de recursos humanos nestas técnicas para a área espacial como os bolsistas PIBIC e DTI envolvidos, que estarão, assim, melhor preparados para emprego na indústria aeroespacial.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (1) . , Integrantes: Carlos Henrique Netto Lahoz - Coordenador / Glauco da Silva - Integrante / Érika Santana de Barros - Integrante / Tharcius Augusto Pivetta - Integrante.
1997 - 1997

Estudos de Rede de Computadores em Desenvolvimento de Software Embarcado, Descrição: Capacitação de recursos humanos no desenvolvimento de software para o Veiculo Lançador de Satélites (VLS) utilizando o pacote de desenvolvimento VRTX-32 Velocity DOS, compilador C e rede Novel. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Carlos Henrique Netto Lahoz - Integrante / Carlos Augusto Teixiera de Moura - Coordenador / Antonio José Vitório Domiciano - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2011 - Atual

Desenvolvimento Tecnológico e Inovação do Processo ELICERE de Análise de Dependabilidade de Software, Descrição: Este projeto, intitulado PRO-ELICERE, visa ao desenvolvimento tecnológico de um produto para apoio à análise da segurança, da confiabilidade, da disponibilidade e da manutenabilidade de software para sistemas críticos, a fim de garantir sua qualidade e a confiança no funcionamento. O resultado final pretendido é criar um produto e seu processo a ser aplicado em sistemas computacionais críticos, de áreas estratégicas nacionais como a espacial, de transporte (metroviário, aeronáutico entre outras) de energia e outros setores que possuem aplicações com restrições de segurança, através de tecnologia inovadora para a melhoria das atividades de análise de dependabilidade de sistemas intensivos de software. Os resultados também incluem a formação e capacitação de recursos humanos nestas técnicas para a área espacial como os bolsistas PIBIC e DTI envolvidos, que estarão, assim, melhor preparados para emprego na indústria aeroespacial.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (1) . , Integrantes: Carlos Henrique Netto Lahoz - Coordenador / Glauco da Silva - Integrante / Érika Santana de Barros - Integrante / Tharcius Augusto Pivetta - Integrante.
1997 - 1997

Estudos de Rede de Computadores em Desenvolvimento de Software Embarcado, Descrição: Capacitação de recursos humanos no desenvolvimento de software para o Veiculo Lançador de Satélites (VLS) utilizando o pacote de desenvolvimento VRTX-32 Velocity DOS, compilador C e rede Novel. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Carlos Henrique Netto Lahoz - Integrante / Carlos Augusto Teixiera de Moura - Coordenador / Antonio José Vitório Domiciano - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2011 - Atual

Desenvolvimento Tecnológico e Inovação do Processo ELICERE de Análise de Dependabilidade de Software, Descrição: Este projeto, intitulado PRO-ELICERE, visa ao desenvolvimento tecnológico de um produto para apoio à análise da segurança, da confiabilidade, da disponibilidade e da manutenabilidade de software para sistemas críticos, a fim de garantir sua qualidade e a confiança no funcionamento. O resultado final pretendido é criar um produto e seu processo a ser aplicado em sistemas computacionais críticos, de áreas estratégicas nacionais como a espacial, de transporte (metroviário, aeronáutico entre outras) de energia e outros setores que possuem aplicações com restrições de segurança, através de tecnologia inovadora para a melhoria das atividades de análise de dependabilidade de sistemas intensivos de software. Os resultados também incluem a formação e capacitação de recursos humanos nestas técnicas para a área espacial como os bolsistas PIBIC e DTI envolvidos, que estarão, assim, melhor preparados para emprego na indústria aeroespacial.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (1) . , Integrantes: Carlos Henrique Netto Lahoz - Coordenador / Glauco da Silva - Integrante / Érika Santana de Barros - Integrante / Tharcius Augusto Pivetta - Integrante.
1997 - 1997

Estudos de Rede de Computadores em Desenvolvimento de Software Embarcado, Descrição: Capacitação de recursos humanos no desenvolvimento de software para o Veiculo Lançador de Satélites (VLS) utilizando o pacote de desenvolvimento VRTX-32 Velocity DOS, compilador C e rede Novel. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Carlos Henrique Netto Lahoz - Integrante / Carlos Augusto Teixiera de Moura - Coordenador / Antonio José Vitório Domiciano - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2011 - Atual

Desenvolvimento Tecnológico e Inovação do Processo ELICERE de Análise de Dependabilidade de Software, Descrição: Este projeto, intitulado PRO-ELICERE, visa ao desenvolvimento tecnológico de um produto para apoio à análise da segurança, da confiabilidade, da disponibilidade e da manutenabilidade de software para sistemas críticos, a fim de garantir sua qualidade e a confiança no funcionamento. O resultado final pretendido é criar um produto e seu processo a ser aplicado em sistemas computacionais críticos, de áreas estratégicas nacionais como a espacial, de transporte (metroviário, aeronáutico entre outras) de energia e outros setores que possuem aplicações com restrições de segurança, através de tecnologia inovadora para a melhoria das atividades de análise de dependabilidade de sistemas intensivos de software. Os resultados também incluem a formação e capacitação de recursos humanos nestas técnicas para a área espacial como os bolsistas PIBIC e DTI envolvidos, que estarão, assim, melhor preparados para emprego na indústria aeroespacial.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (1) . , Integrantes: Carlos Henrique Netto Lahoz - Coordenador / Glauco da Silva - Integrante / Érika Santana de Barros - Integrante / Tharcius Augusto Pivetta - Integrante.
1997 - 1997

Estudos de Rede de Computadores em Desenvolvimento de Software Embarcado, Descrição: Capacitação de recursos humanos no desenvolvimento de software para o Veiculo Lançador de Satélites (VLS) utilizando o pacote de desenvolvimento VRTX-32 Velocity DOS, compilador C e rede Novel. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Carlos Henrique Netto Lahoz - Integrante / Carlos Augusto Teixiera de Moura - Coordenador / Antonio José Vitório Domiciano - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2011 - Atual

Desenvolvimento Tecnológico e Inovação do Processo ELICERE de Análise de Dependabilidade de Software, Descrição: Este projeto, intitulado PRO-ELICERE, visa ao desenvolvimento tecnológico de um produto para apoio à análise da segurança, da confiabilidade, da disponibilidade e da manutenabilidade de software para sistemas críticos, a fim de garantir sua qualidade e a confiança no funcionamento. O resultado final pretendido é criar um produto e seu processo a ser aplicado em sistemas computacionais críticos, de áreas estratégicas nacionais como a espacial, de transporte (metroviário, aeronáutico entre outras) de energia e outros setores que possuem aplicações com restrições de segurança, através de tecnologia inovadora para a melhoria das atividades de análise de dependabilidade de sistemas intensivos de software. Os resultados também incluem a formação e capacitação de recursos humanos nestas técnicas para a área espacial como os bolsistas PIBIC e DTI envolvidos, que estarão, assim, melhor preparados para emprego na indústria aeroespacial.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (1) . , Integrantes: Carlos Henrique Netto Lahoz - Coordenador / Glauco da Silva - Integrante / Érika Santana de Barros - Integrante / Tharcius Augusto Pivetta - Integrante.
1997 - 1997

Estudos de Rede de Computadores em Desenvolvimento de Software Embarcado, Descrição: Capacitação de recursos humanos no desenvolvimento de software para o Veiculo Lançador de Satélites (VLS) utilizando o pacote de desenvolvimento VRTX-32 Velocity DOS, compilador C e rede Novel. , Situação: Concluído; Natureza: Desenvolvimento.
2011 - Atual

Desenvolvimento Tecnológico e Inovação do Processo ELICERE de Análise de Dependabilidade de Software, Descrição: Este projeto, intitulado PRO-ELICERE, visa ao desenvolvimento tecnológico de um produto para apoio à análise da segurança, da confiabilidade, da disponibilidade e da manutenabilidade de software para sistemas críticos, a fim de garantir sua qualidade e a confiança no funcionamento. O resultado final pretendido é criar um produto e seu processo a ser aplicado em sistemas computacionais críticos, de áreas estratégicas nacionais como a espacial, de transporte (metroviário, aeronáutico entre outras) de energia e outros setores que possuem aplicações com restrições de segurança, através de tecnologia inovadora para a melhoria das atividades de análise de dependabilidade de sistemas intensivos de software. Os resultados também incluem a formação e capacitação de recursos humanos nestas técnicas para a área espacial como os bolsistas PIBIC e DTI envolvidos, que estarão, assim, melhor preparados para emprego na indústria aeroespacial.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (1) . , Integrantes: Carlos Henrique Netto Lahoz - Coordenador / Glauco da Silva - Integrante / Érika Santana de Barros - Integrante / Tharcius Augusto Pivetta - Integrante.
1997 - 1997

Estudos de Rede de Computadores em Desenvolvimento de Software Embarcado, Descrição: Capacitação de recursos humanos no desenvolvimento de software para o Veiculo Lançador de Satélites (VLS) utilizando o pacote de desenvolvimento VRTX-32 Velocity DOS, compilador C e rede Novel. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Carlos Henrique Netto Lahoz - Integrante / Carlos Augusto Teixiera de Moura - Coordenador / Antonio José Vitório Domiciano - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2011 - Atual

Desenvolvimento Tecnológico e Inovação do Processo ELICERE de Análise de Dependabilidade de Software, Descrição: Este projeto, intitulado PRO-ELICERE, visa ao desenvolvimento tecnológico de um produto para apoio à análise da segurança, da confiabilidade, da disponibilidade e da manutenabilidade de software para sistemas críticos, a fim de garantir sua qualidade e a confiança no funcionamento. O resultado final pretendido é criar um produto e seu processo a ser aplicado em sistemas computacionais críticos, de áreas estratégicas nacionais como a espacial, de transporte (metroviário, aeronáutico entre outras) de energia e outros setores que possuem aplicações com restrições de segurança, através de tecnologia inovadora para a melhoria das atividades de análise de dependabilidade de sistemas intensivos de software. Os resultados também incluem a formação e capacitação de recursos humanos nestas técnicas para a área espacial como os bolsistas PIBIC e DTI envolvidos, que estarão, assim, melhor preparados para emprego na indústria aeroespacial.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (1) . , Integrantes: Carlos Henrique Netto Lahoz - Coordenador / Glauco da Silva - Integrante / Érika Santana de Barros - Integrante / Tharcius Augusto Pivetta - Integrante.
1997 - 1997

Estudos de Rede de Computadores em Desenvolvimento de Software Embarcado, Descrição: Capacitação de recursos humanos no desenvolvimento de software para o Veiculo Lançador de Satélites (VLS) utilizando o pacote de desenvolvimento VRTX-32 Velocity DOS, compilador C e rede Novel. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Carlos Henrique Netto Lahoz - Integrante / Carlos Augusto Teixiera de Moura - Coordenador / Antonio José Vitório Domiciano - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2011 - Atual

Desenvolvimento Tecnológico e Inovação do Processo ELICERE de Análise de Dependabilidade de Software, Descrição: Este projeto, intitulado PRO-ELICERE, visa ao desenvolvimento tecnológico de um produto para apoio à análise da segurança, da confiabilidade, da disponibilidade e da manutenabilidade de software para sistemas críticos, a fim de garantir sua qualidade e a confiança no funcionamento. O resultado final pretendido é criar um produto e seu processo a ser aplicado em sistemas computacionais críticos, de áreas estratégicas nacionais como a espacial, de transporte (metroviário, aeronáutico entre outras) de energia e outros setores que possuem aplicações com restrições de segurança, através de tecnologia inovadora para a melhoria das atividades de análise de dependabilidade de sistemas intensivos de software. Os resultados também incluem a formação e capacitação de recursos humanos nestas técnicas para a área espacial como os bolsistas PIBIC e DTI envolvidos, que estarão, assim, melhor preparados para emprego na indústria aeroespacial.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (1) . , Integrantes: Carlos Henrique Netto Lahoz - Coordenador / Glauco da Silva - Integrante / Érika Santana de Barros - Integrante / Tharcius Augusto Pivetta - Integrante.
1997 - 1997

Estudos de Rede de Computadores em Desenvolvimento de Software Embarcado, Descrição: Capacitação de recursos humanos no desenvolvimento de software para o Veiculo Lançador de Satélites (VLS) utilizando o pacote de desenvolvimento VRTX-32 Velocity DOS, compilador C e rede Novel. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Carlos Henrique Netto Lahoz - Integrante / Carlos Augusto Teixiera de Moura - Coordenador / Antonio José Vitório Domiciano - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2011 - Atual

Desenvolvimento Tecnológico e Inovação do Processo ELICERE de Análise de Dependabilidade de Software, Descrição: Este projeto, intitulado PRO-ELICERE, visa ao desenvolvimento tecnológico de um produto para apoio à análise da segurança, da confiabilidade, da disponibilidade e da manutenabilidade de software para sistemas críticos, a fim de garantir sua qualidade e a confiança no funcionamento. O resultado final pretendido é criar um produto e seu processo a ser aplicado em sistemas computacionais críticos, de áreas estratégicas nacionais como a espacial, de transporte (metroviário, aeronáutico entre outras) de energia e outros setores que possuem aplicações com restrições de segurança, através de tecnologia inovadora para a melhoria das atividades de análise de dependabilidade de sistemas intensivos de software. Os resultados também incluem a formação e capacitação de recursos humanos nestas técnicas para a área espacial como os bolsistas PIBIC e DTI envolvidos, que estarão, assim, melhor preparados para emprego na indústria aeroespacial.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (1) . , Integrantes: Carlos Henrique Netto Lahoz - Coordenador / Glauco da Silva - Integrante / Érika Santana de Barros - Integrante / Tharcius Augusto Pivetta - Integrante.
1997 - 1997

Estudos de Rede de Computadores em Desenvolvimento de Software Embarcado, Descrição: Capacitação de recursos humanos no desenvolvimento de software para o Veiculo Lançador de Satélites (VLS) utilizando o pacote de desenvolvimento VRTX-32 Velocity DOS, compilador C e rede Novel. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Carlos Henrique Netto Lahoz - Integrante / Carlos Augusto Teixiera de Moura - Coordenador / Antonio José Vitório Domiciano - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2011 - 2014

Desenvolvimento Tecnológico e Inovação do Processo ELICERE de Análise de Dependabilidade de Software, Descrição: Este projeto, intitulado PRO-ELICERE, visa ao desenvolvimento tecnológico de um produto para apoio à análise da segurança, da confiabilidade, da disponibilidade e da manutenabilidade de software para sistemas críticos, a fim de garantir sua qualidade e a confiança no funcionamento. O resultado final pretendido é criar um produto e seu processo a ser aplicado em sistemas computacionais críticos, de áreas estratégicas nacionais como a espacial, de transporte (metroviário, aeronáutico entre outras) de energia e outros setores que possuem aplicações com restrições de segurança, através de tecnologia inovadora para a melhoria das atividades de análise de dependabilidade de sistemas intensivos de software. Os resultados também incluem a formação e capacitação de recursos humanos nestas técnicas para a área espacial como os bolsistas PIBIC e DTI envolvidos, que estarão, assim, melhor preparados para emprego na indústria aeroespacial.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (1) . , Integrantes: Carlos Henrique Netto Lahoz - Coordenador / Glauco da Silva - Integrante / Érika Santana de Barros - Integrante / Tharcius Augusto Pivetta - Integrante.
1997 - 1997

Estudos de Rede de Computadores em Desenvolvimento de Software Embarcado, Descrição: Capacitação de recursos humanos no desenvolvimento de software para o Veiculo Lançador de Satélites (VLS) utilizando o pacote de desenvolvimento VRTX-32 Velocity DOS, compilador C e rede Novel. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Carlos Henrique Netto Lahoz - Integrante / Carlos Augusto Teixiera de Moura - Coordenador / Antonio José Vitório Domiciano - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2011 - 2014

Desenvolvimento Tecnológico e Inovação do Processo ELICERE de Análise de Dependabilidade de Software, Descrição: Este projeto, intitulado PRO-ELICERE, visa ao desenvolvimento tecnológico de um produto para apoio à análise da segurança, da confiabilidade, da disponibilidade e da manutenabilidade de software para sistemas críticos, a fim de garantir sua qualidade e a confiança no funcionamento. O resultado final pretendido é criar um produto e seu processo a ser aplicado em sistemas computacionais críticos, de áreas estratégicas nacionais como a espacial, de transporte (metroviário, aeronáutico entre outras) de energia e outros setores que possuem aplicações com restrições de segurança, através de tecnologia inovadora para a melhoria das atividades de análise de dependabilidade de sistemas intensivos de software. Os resultados também incluem a formação e capacitação de recursos humanos nestas técnicas para a área espacial como os bolsistas PIBIC e DTI envolvidos, que estarão, assim, melhor preparados para emprego na indústria aeroespacial.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (1) . , Integrantes: Carlos Henrique Netto Lahoz - Coordenador / Glauco da Silva - Integrante / Érika Santana de Barros - Integrante / Tharcius Augusto Pivetta - Integrante.
1997 - 1997

Estudos de Rede de Computadores em Desenvolvimento de Software Embarcado, Descrição: Capacitação de recursos humanos no desenvolvimento de software para o Veiculo Lançador de Satélites (VLS) utilizando o pacote de desenvolvimento VRTX-32 Velocity DOS, compilador C e rede Novel. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Carlos Henrique Netto Lahoz - Integrante / Carlos Augusto Teixiera de Moura - Coordenador / Antonio José Vitório Domiciano - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2011 - 2014

Desenvolvimento Tecnológico e Inovação do Processo ELICERE de Análise de Dependabilidade de Software, Descrição: Este projeto, intitulado PRO-ELICERE, visa ao desenvolvimento tecnológico de um produto para apoio à análise da segurança, da confiabilidade, da disponibilidade e da manutenabilidade de software para sistemas críticos, a fim de garantir sua qualidade e a confiança no funcionamento. O resultado final pretendido é criar um produto e seu processo a ser aplicado em sistemas computacionais críticos, de áreas estratégicas nacionais como a espacial, de transporte (metroviário, aeronáutico entre outras) de energia e outros setores que possuem aplicações com restrições de segurança, através de tecnologia inovadora para a melhoria das atividades de análise de dependabilidade de sistemas intensivos de software. Os resultados também incluem a formação e capacitação de recursos humanos nestas técnicas para a área espacial como os bolsistas PIBIC e DTI envolvidos, que estarão, assim, melhor preparados para emprego na indústria aeroespacial.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (1) . , Integrantes: Carlos Henrique Netto Lahoz - Coordenador / Glauco da Silva - Integrante / Érika Santana de Barros - Integrante / Tharcius Augusto Pivetta - Integrante.
1997 - 1997

Estudos de Rede de Computadores em Desenvolvimento de Software Embarcado, Descrição: Capacitação de recursos humanos no desenvolvimento de software para o Veiculo Lançador de Satélites (VLS) utilizando o pacote de desenvolvimento VRTX-32 Velocity DOS, compilador C e rede Novel. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Carlos Henrique Netto Lahoz - Integrante / Carlos Augusto Teixiera de Moura - Coordenador / Antonio José Vitório Domiciano - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

Prêmios

2009

Best Student Paper - Brazil, International Council on Systems Engineering.

2009

Ambassador of INCOSE, International Council on System Engineering.

Histórico profissional

Endereço profissional

Universidade do Vale do Paraíba, Universidade do Vale do Paraíba - Campus Urbanova. , Avenida Shishima Hifumi, Urbanova, 12244000 - São José dos Campos, SP - Brasil, Telefone: (12) 39471028, URL da Homepage:

Experiência profissional

2017 - Atual

Universidade do Vale do Paraíba

Vínculo: Celetista, Enquadramento Funcional: Professor, Carga horária: 20

Outras informações:
Desde Agosto de 2023 é Coordenador do Curso Tecnólogo Superior em Artes e Midias Digitais

2017 - 2023

Universidade Paulista

Vínculo: Celetista, Enquadramento Funcional: Professor titular, Carga horária: 4

2003 - 2015

Universidade Paulista

Vínculo: Celetista formal, Enquadramento Funcional: Professor titular, Carga horária: 6

Outras informações:
Ministrou aulas de Sistemas Operacionais, Qualidade de Software, Metodologia de Trabalho Acadêmico, Metodologia de Pesquisa, Redes de Computadores, Sistemas Distribuidos.

2012 - Atual

Instituto Tecnológico da Aeronáutica

Vínculo: professor colaborador, Enquadramento Funcional: Professor, Carga horária: 4

Outras informações:
Participa como Professor Colaborador do Programa de Pós-graduação em Ciências e Tecnologias Espaciais (PG-CTE) do ITA na linha de pesquisa Computação Aplicada

Atividades

07/2012
Pesquisa e desenvolvimento, ITA.Linhas de pesquisa

2014 - Atual

International Organization for Standartization, ISO, Suíça

Vínculo: Colaborador, Enquadramento Funcional: Project Leader

2012 - Atual

International Council of System Engineering

Vínculo: Membro Fundador, Enquadramento Funcional: não há

Outras informações:
Foi Presidente do Conselho Consultivo do INCOSE Brasil (4 anos), Membro do Conselho Consultivo INCOSE BRASIL (4 anos),Membro do Conselho Fiscal (2 anos).

2015 - 2016

Massachusetts Institute Of Technology

Vínculo: Professor Visitante, Enquadramento Funcional: Pesquisador Visitante (visto J1)

Outras informações:
Bolsista Ciencias sem Fronteiras e em missão do IAE

Atividades

08/2015
Pesquisa e desenvolvimento, MIT.Linhas de pesquisa

1984 - 2017

Instituto de Aeronáutica e Espaço

Vínculo: Servidor público, Enquadramento Funcional: Tecnologista Senior, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Desenvolvimento de programas e sistemas na área científica Analista de Banco de Dados do CPD do IAE Analista de Centro de Informações-CI da Divisão de Eletrônica/IAE Tecnologista do Grupo de Software da Divisão de Eletrônica-IAE/AEL-C

Atividades

02/1991
Pesquisa e desenvolvimento, Ael, Computação.Linhas de pesquisa
02/1991
Outras atividades técnico-científicas , Ael, Ael.Atividade realizada, Pesquisa na Áera de software de Tempo Real.

2022 - 2023

Giant Magellan Telescope Brazil Office GMTBrO

Vínculo: Engenheiro de Sistemas, Enquadramento Funcional: Prrestação de Serviços

Outras informações:
The Brazilian representative of the Giant Magellan Telescope GMT consortium is the São Paulo Research Foundation (FAPESP), managed by the Brazil GMT Brazil Office GMTBrO, and has the contribution of a scientific astronomy team, composed mainly by the Institute of Astronomy, Geophysics and Atmospheric Sciences (IAG/USP), University of Paraiba Valley (UNIVAP), Maua Institute of Technology (IMT) and Polytechnic School at the University of São Paulo (Poli-USP).