João Batista Camargo Júnior.
Livre · Engenharia de Computação e Sistemas Digitais
- Unidade
- Escola Politécnica
- Departamento
- Engenharia de Computação e Sistemas Digitais
Currículo atualizado em 09/12/2025
Cita-se como: CAMARGO JÚNIOR, J. B.;Camargo Junior, João Batista;CAMARGO JÚNIOR, J. B. (João Batista Camargo Júnior);João B. Camargo Jr.;CAMARGO JOÃO B.;CAMARGO, JOÃO B.;CAMARGO JR, J. B.;CAMARGO, J.B.;Camargo, J.B.;CAMARGO, JOAO B.;João Batista Camargo, Jr.;João Batista Camargo;CAMARGO, JOAO BATISTA;Camargo, J. B.;JUNIOR, JOAO B. CAMARGO;CAMARGO JUNIOR, JOAO B.;CAMARGO JUNIOR, João Batista;JÚNIOR, JOÃO BATISTA CAMARGO;CAMARGO, JOÃO BATISTA;JOÃO BATISTA CAMARGO JR;João Batista Camargo Júnior;JR, JOÃO BATISTA CAMARGO;CAMARGO , JOÃO BATISTA
Resumo biográfico
Possui mestrado em Engenharia Elétrica pela Universidade de São Paulo (1989) e doutorado em Engenharia Elétrica pela Universidade de São Paulo (1996). Em 2002 tornou-se Livre Docente em Análise de Risco de Sistemas Computacionais de Aplicação Crítica passando a ser Professor Associado da Universidade de São Paulo. Tem experiência na área de Engenharia Elétrica, com ênfase em Confiabilidade e Segurança de Sistemas Computacionais,atuando principalmente no seguintes temas: análise de risco, confiabilidade, disponibilidade, segurança ("safety"), tolerância a falhas e certificação de sistemas críticos.
Indicadores
Áreas de atuação
04 registros- EngenhariasEngenharia ElétricaEletrônica Industrial, Sistemas e Controles Eletrônicos › Confiabilidade e Segurança de Sistemas Computacionais
- EngenhariasEngenharia ElétricaEngenharia de Software › Confiabilidade e Segurança de Sistemas de Software
- EngenhariasEngenharia ElétricaEletrônica Industrial, Sistemas e Controles Eletrônicos › Disponibilidade de Sistemas Computacionais
- EngenhariasEngenharia de TransportesSegurança de Sistemas Embarcados Críticos
Formação acadêmica
03 registros- 1991 – 1996DoutoradoConcluídoEngenharia Elétrica · Universidade de São Paulo“Estudo da Segurança em Sistemas de Controle Metro-Ferroviários”Orientação: Benício José de Souza
- 1984 – 1989MestradoConcluídoEngenharia Elétrica · Universidade de São Paulo“Aspectos do Processamento de Interfaces em Linguagem Natural”Orientação: João José neto
- Livre-docênciaConcluídoLivre-docência · Universidade de São Paulo
Idiomas
02 registros| Idioma | Leitura | Fala | Escrita | Compreensão |
|---|---|---|---|---|
| Inglês | Bem | Razoável | Razoável | Razoável |
| Alemão | Pouco | Pouco | Pouco | Pouco |
Atuação profissional
10 registros- 2018 – 2023Sociedade Brasileira de Pesquisa Em Transporte AéreoPresidenteColaborador1h/sem
- 2013 – 2015Dedicação exclusivaUniversidade de São PauloProfessor ASSOCIADOServidor Publico40h/sem
- 2009 – presenteVínculo atualFundação para o Desenvolvimento Tecnológico da Engenharia
- 2008 – presenteVínculo atualFundação de Amparo à Pesquisa do Estado de São PauloAssessor ad-hoc
- 2005 – 2018Journal fo the Brazilian Air Transportation Research SocietyColaboradorEditor Chefe
- 2005 – presenteVínculo atualJournal of the Brazilian Air Transportation Research SocietyMembro de corpo editorial
- 2004 – 2006Sociedade Brasileira de Pesquisa Em Transporte AéreoVice PresidenteColaborador2h/sem
- 1989 – presenteVínculo atualDedicação exclusivaUniversidade de São PauloProfessor DoutorProfessor Associado40h/sem
- 1983 – 1985Dedicação exclusivaTelecomunicações do Estado de São PauloEngenheiroServidor público ou celetista
- 1982 – 1983Dedicação exclusivaNec do BrasilEngenheiroServidor público ou celetista
Produção bibliográfica
223 registros- 2025Desenvolvendo Competências Técnicas e Comportamentais de Engenharia no Contexto Integrador e Extensionista das Disciplinas de Laboratório de Eletrônica Digital.Antonio Vieira da Silva Neto; Gabriel S Santos; Edso Midorikawa; CUGNASCA, PAULO S.; Reginaldo Arakaki; Jorge Luís Risco Becerra +1 autores · Congresso Brasileiro de Ensino em Engenharia COBENGE 2025 · Campinas
- 2024EXPLORANDO A CAPACIDADE DE TRÁFEGO AÉREO NA HELICONTROL: UMA ABORDAGEM DE SIMULAÇÃO COM FOCO NOS SISTEMAS ACAS/TCASGHIDONI, ULISSES; VISMARI, LUCIO; João Batista Camargo Júnior · ENEGEP 2024 Encontro Nacional de Engenharia de Produção · PORTO ALEGRE/RS - BRASIL
- 2024Assessing the Impact of Fog on Autonomous Vehicle Perception SystemsAlexandre Ray da Silva; João Batista Camargo Júnior · Lating Amercian Symposium od Dependable and Secure Computing · Recife
- 2024Using Reinforcement Learning and ADS-B Data for the development of a Sense-and-Avoid System to the integration of Autonomous eVTOL in the São Paulo Urban AirspaceGHIDONI, ULISSES; VISMARI, LUCIO FLAVIO; João Batista Camargo Júnior · Air Transportation Symposium 2024 - XXI SITRAER · Even3 · Fortaleza
- 2023Safety and Security Integrated Analysis Approaches Considering New Updates for Maritime SystemsRAMOS, ROGÉRIO BRITO; João Batista Camargo Júnior · 33rd European Safety and Reliability Conference · Research Publishing · ISBN 9789811880711 · Southampton
- 2022Framework para Implantação de Sistemas EVTOL - Requisitos TécnicosAlfredo Almeida de Araujo; João Batista Camargo Júnior; Lester de Abreu Faria · XIX Simpósio de Transporte Aéreo · SBTA · São José dos Campos
- 2019The Role of Virtual Reality in Autonomous Vehicles Safety: A Sistematic Literature MapingALEXANDRE MOREIRA NASCIMENTO; A.C.M. QUEIROZ; VISMARI, LUCIO FLAVIO; J.N. BAILENSON; Paulo Sérgio Cugansca; João Batista Camargo Júnior +1 autores · IEEE International Conference on Artificial Intelligence and Virtual Reality - AIVR · San Diego
- 2019Evaluating Unsupervised Anomaly Detection Models to Detect Faults in Heavy Haul Railway Operations.D.F.N. OLIVEIRA; M.M. NEVES; VISMARI, LUCIO F.; Jorge Rady de Almeida Júnior; PAULO SÉRGIO CUGNASCA; João Batista Camargo Júnior +3 autores · 18th IEEE International Conference on Machine Learning and Applications - ICMLA · Boca Raton
- 2019A Comparative Analysis of Unsupervised Learning Techniques for Anomaly Detection in Railway SystemsM.S. FERREIRA; LUCIO FLÁVIO VISMARI; Paulo Sérgio Cugansca; Jorge Rady de Almeida Jr; João Batista Camargo Júnior; G. KALLEMBACK · 18th IEEE International Conference on Machine Learning and Applications, 2019 · Boca Raton
- 2019A Cost Sensitive Approach to Enhance the Use of ML Classifiers in Software Testing Efforts.ALEXANDRE MOREIRA NASCIMENTO; LUCIO FLÁVIO VISMARI; Paulo Sérgio Cugansca; João Batista Camargo Júnior; Jorge Rady de Almeida Junior · IEEE International Conference on Machine Learning and Applications - ICMLA, · Boca Raton
- 2018A Fuzzy logic, risk-based autonomous vehicle control approach and its impacts on road transportation safetyVISMARI, LUCIO F.; João Batista Camargo Júnior; NAUFAL, JAMIL K.; DE ALMEIDA, JORGE R.; MOLINA, CAROLINE B. S. T.; INAM, RAFIA +2 autores · 2018 IEEE International Conference on Vehicular Electronics and Safety (ICVES) · IEEE · ISBN 9781538635438 · Madrid
- 2018Enhancing the Accuracy of Parking Assistant Sensors with Bayesian FilterNASCIMENTO, ALEXANDRE M.; CUGNASCA, PAULO S.; VISMARI, LUCIO F.; João Batista Camargo Júnior; DE ALMEIDA, JORGE R. · 2018 IEEE International Conference on Vehicular Electronics and Safety (ICVES) · IEEE · ISBN 9781538635438 · Madrid
- 2018A simulation-based safety analysis framework for autonomous vehicles? assessing impacts on road transport system?s safety and efficiencyVISMARI, LUCIO F.; MOLINA, CAROLINE; João Batista Camargo Júnior; Jorge Rady de Almeida Junior; Rafia Inam; Elena Fersman +1 autores · European Safety and Reliability Conference (ESREL) · Taylor & Francis Group · ISBN 978-0-8153-8 · Trondheim
- 2018Cellular Automata as an Approach for Collision Avoidance in UTMRafael Yudi; Derick Moreira Baum; João Batista Camargo Júnior · XVII Air Transportation Symposium SITRAER 2018 · João Batista Camargo Jr. · ISBN 24481912 · São Paulo
- 2018A Framework for Evaluating Path Planning in Low Altitude EnvironmentsEuclides Carlos Pinto Neto; Derick Moreira Baum; ALMEIDA, JORGE RADY DE; João Batista Camargo Júnior; CUGNASCA, PAULO S. · XVII Air Transportation Symposium SITRAER 2018 · João Batista Camargo Jr. · ISBN 24481912 · São Paulo
- 2018A Simulation Framework for Testing Detect and Avoid Technique for Small Unmanned Aircraft SystemsVinicius Maurício de Almeida; Thiago Toshio Matsumoto; CUGNASCA, PAULO S.; João Batista Camargo Júnior · XVII Air Transportation Symposium SITRAER 2018 · João Batista Camargo Jr. · ISBN 24481912 · São Paulo
- 2018UMA PROPOSTA DE ANÁLISE DO IMPACTO DOS VEÍCULOS AUTÔNOMOS SOBRE ASPECTOS LOGÍSTICOS DO SISTEMA VIÁRIO ATUALPaula Naomi Muniz dos Snatos; João Batista Camargo Júnior; LUCIO FLÁVIO VISMARI · 32º Congresso de Pesquisa e Ensino em Transportes - 2018. São Paulo: Associação Nacional de Pesquisa e Ensino em Transportes · Gramado - RS
- 2018. A Safe Flow-Management Method for Air Traffic Considering the UAS Presence into the Non-Segregated AirspaceNETO, EUCLIDES PINTO; BAUM, DERICK M.; M Brinati; ALMEIDA, JORGE R.; João Batista Camargo Júnior; Paulo Sérgio Cugansca · European Safety and Reliability Conference (ESREL 2018) · CRC Press · Trondheim
- 2018A Risk Analysis of Unmanned Aircraft Systems (UAS) integration into non-segregate AirspaceR. Buosi; BAUM, DERICK M.; Euclides Carlos Pinto Neto; M. Martins; de Almeida, J. R.; Paulo Sérgio Cugnasca +1 autores · International Conference on Unmanned Aircraft Systems (ICUAS 2018) · Dallas
- 2017Assuring Fully Autonomous Vehicles Safety by Design: The Autonomous Vehicle Control (AVC) Module StrategyMOLINA, CAROLINE BIANCA SANTOS TANCREDI; ALMEIDA, JORGE RADY DE; VISMARI, LUCIO F.; GONZALEZ, RODRIGO IGNACIO R.; NAUFAL, JAMIL K.; João Batista Camargo Júnior · 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSNW) · IEEE · ISBN 9781538622728 · Denver
- 2017An airspace capacity-based safety assessment model considering UAS integrationNETO, EUCLIDES PINTO; BAUM, DERICK M.; HERNANDEZ-SIMOES, CARLOS E.; ALMEIDA, JORGE R.; João Batista Camargo Júnior; CUGNASCA, PAULO S. · 2017 International Conference on Unmanned Aircraft Systems (ICUAS) · ISBN 9781509044955 · Miami
- 2017A comparison of two simulators to support safety analysis in autonomous vehiclesCaroline Molina; GONZALEZ, RODRIGO IGNACIO R.; João Batista Camargo Júnior; Jorge Rady de Almeida Jr; LUCIO FLÁVIO VISMARI; Jamil Kalil Naufal Jr. +2 autores · European Safety and Reliability Conference · Taylor & Francis Group · ISBN 9781138629370 · Portoroz - Eslovênia
- 2017A preliminary analysis of impacts of vehicular ad hoc networks on traffic safetyTiago A Silva; João Batista Camargo Júnior; Jamil Kalil Naufal Jr.; LUCIO FLÁVIO VISMARI; INAM, RAFIA; Carlos R B Azevedo · European Safety and Reliability Conference · Taylor & Francis Group · ISBN 978113862937 · Portoroz, Eslovênia
- 2017. EVALUATING SAFETY AND EFFICIENCY IN AIRCRAFT SEQUENCING IN FINAL APPROACH CONSIDERING THE UAS PRESENCEEuclides Carlos Pinto Neto; BAUM, DERICK M.; ALMEIDA, JORGE R.; João Batista Camargo Júnior; Paulo Sérgio Cugnasca · XXXI Congresso de Pesquisa e Ensino em Transportes - XXXI ANPET, 2017 · Recife
- 2017ANALYSIS OF THE BRAZILIAN AIRSPACE CAPACITY MODEL IN COMPLEX ENVIRONMENTSEuclides Carlos Pinto Neto; Derick Moreira Baum; João Batista Camargo Júnior; Paulo Sérgio Cugnasca · XVI SITRAER - Simpósio de Transporte Aéreo · Rio de Janeiro
Produção técnica
35 registros- 2001O Desenvolvimento de Sistemas Baseados em Componentes a Partir da Visão de ObjetosJoão Batista Camargo Júnior; Renata Evangelista Romariz Recco · Divulgação de Pesquisas sendo realizadas
- 2001Gerenciamento Hierárquico de FalhasJoão Batista Camargo Júnior; Jamil Kalil Naufal Jr. · Divulgação de Pesquisas Realizadas
- 2000Comissão Julgadora do XXVI Concurso Premio Governador do Estado - Invento BrasileiroJoão Batista Camargo Júnior · Emitir parecer sobre inventos no âmbito deste concurso
- 1999Análise, Verificação e Síntese de Segmentos de Via de uma Malha Metroviária.João Batista Camargo Júnior; Arnaldo Moura; Jorge Rady de Almeida Jr; Arnaldo Bonifácio · Divulgação de pesquisa na UNICAMP
- 1997Confiabilidade e Segurança- A pesquisa na Escola PolitécnicaJoão Batista Camargo Júnior; Jorge Rady de Almeida Júnior · Divulgação das Pesquisas Realizadas em Confiabilidade e Segurança na EPUSP
- 1996A Importância da Completeza na Especificação de Sistemas de SegurançaJoão Batista Camargo Júnior; Benício José de Souza · Boletim Técnico divulgando os principais resultados do Doutorado realizado
- 1989Ambiente Inteligente para o Projeto de Unidades de Sistemas de ProduçãoJoão Batista Camargo Júnior · Relatório de Pesquisa financiada
- 1988Formalização de Linguagens Naturais. Anais EPUSP - Engenharia de EletricidadeJoão Batista Camargo Júnior; João José Neto · Divulgação de resultado de pesquisa na EPUSP
- 1988Sistema de Software para Controle de Tráfego Urbano. Anais EPUSP - Engenharia de EletricidadeJoão Batista Camargo Júnior; Paulo Sérgio Muniz; Maria Alice G Ferreira · Divulgação das pesquisas na EPUSP
Projetos de extensão
05 registrosProjetos de extensão universitária registrados no Currículo Lattes — a categoria de produção acadêmica própria, ao lado das produções bibliográfica, técnica e artística.
- Em andamento2012 – presenteExtensão
Análise de Segurança do Projeto do Sistema de Sinalização e Controle do Trecho Capão Redondo - Chacará Klabin e Pátios Guido e Capão Redondo da Linha 5 da Companhia do Metropolitano de São Paulo
Prestação de serviços especializados de engenharia para análise de segurança do projeto do sistema de sinalização e controle do trecho Capão Redondo - Chacara Klabin e Pátios Guido Calói e Capão Redondo da Linha 5 - Lilás da Companhia do Metropolitano de São Paulo
Financiadores- Companhia do Metropolitando de São Paulo · REMUNERACAO
EquipeJoão Batista Camargo Júnior (Responsável), Bruno Abrantes Basseto, Valter Fernandes Avelino, Jorge Rady de Almeida Junior, BENÍCIO JOSÉ DE SOUZA, LUCIO FLÁVIO VISMARI, Paulo Sérgio Cugansca, Antonio Vieira da Silva Neto +1 integrantes
- Em andamento2012 – presenteExtensão
Análise de Segurança do Projeto do Sistema de Sinalização e Controle do Sistema Monotrilho da Linha 15 da Companha do Metro
Prestação de serviços técnicos de engenharia para análise de segurança do projeto sistema monotrilho da Linha 15 - Prata da Companhia do Metro
Financiadores- Companhia do Metropolitando de São Paulo · REMUNERACAO
EquipeJoão Batista Camargo Júnior (Responsável), Jorge Rady de Almeida Jr, Bruno Abrantes Basseto, Valter Fernandes Avelino, PAULO SÉRGIO CUGNASCA, BENÍCIO JOSÉ DE SOUZA, LUCIO FLÁVIO VISMARI, Daniel Baraildi Sesso +2 integrantes
- Concluído2010 – 2010Extensão
Análise Independente de Segurança e Disponibilidade dos Sistemas de Tratamento e Visualização de Dados (STVD) de Tráfego Aéreo
Serviços especializados de análise de segurança e disponibilidade dos Sistemas de Tratamento e Visualização de Dados (STVD) de Tráfego Aéreo
Financiadores- Comissão de Implantação do Sistema de Controle do espaço Aéreo · REMUNERACAO
EquipeJoão Batista Camargo Júnior (Responsável), Jorge Rady de Almeida Júnior, Ricardo Alexandre Veiga Gimenes, Mário Aparecido Corrêa, Vitor Hugo Furtado, Valter Fernandes Avelino, PAULO SÉRGIO CUGNASCA, Lúcio Flávio Vismari +2 integrantes
- Concluído2009 – 2024Extensão
Análise de Segurança do Projeto de Modernização do Sistema de Sinalização e Controle das Linhas 1,2 e 3 da Companhia do Metropolitando de São Paulo
Prestação de serviços especializados de engenharia para elaboração da análise de segurança do projeto de modernização do sistema de sinalização e controle das Linha 1 - Azul, 2 - Verde e 3 - Vermelha da Companhia do Metropolitano de São Paulo.
Financiadores- Companhia do Metropolitando de São Paulo · REMUNERACAO
EquipeJoão Batista Camargo Júnior (Responsável), Jorge Rady de Almeida Jr, PAULO SÉRGIO CUGNASCA, LUCIO FLÁVIO VISMARI, RICARDO ALEXANDRE VEIGA GIMENES, Daniel Baraildi Sesso, Antonio Vieira da Silva Neto, Thiago Toshio Matsumoto +1 integrantes
- Concluído2008 – 2008Extensão
Análise de Confiabilidade e Segurança do Radar SABER M60
Esta atividade envolve uma metodologia de análise de segurança e confiabilidade que contempla o estudo detalhado do sistema sob análise, determinação dos Requisitos Gerais de Segurança e Confiabilidade e análise dos módulos críticos de software, hardware e procedimentos operacionais.
Financiadores- Centro Tecnológico do Exército · REMUNERACAO
EquipeJoão Batista Camargo Júnior (Responsável), Paulo Sérgio Cugnasca, Jorge Rady de Almeida Júnior, Ricardo Alexandre Veiga Gimenes, Gilberto Francisco Martha de Souza, LUCIO FLÁVIO VISMARI, Marcelo Lopes
Projetos
08 registrosProjetos de pesquisa e de desenvolvimento tecnológico registrados no Currículo Lattes.
- Concluído2020 – 2025Pesquisa
Eficiência operacional do espaço aéreo
Eficiência operacional do espaço aéreo - incluindo os tópicos de gerenciamento de tráfegoaéreo (ATM), integração de aeronaves autônomas no espaço aéreo controlado, gerenciamento detráfego aéreo não tripulado (UTM) e mobilidade aérea urbana (UAM).
Financiadores- Boeing R&D · COOPERACAO
EquipeJoão Batista Camargo Júnior (Responsável), Jorge Rady de Almeida Júnior, PAULO SÉRGIO CUGNASCA, Lúcio Flávio Vismari, Daniel Baraildi Sesso, Derick Moreira Baum
- Concluído2018 – 2020Pesquisa
Segurança Crítica (safety) e Resiliência em Sistemas Veiculares Autônomos
Contempla as seguintes atividades:1) Investigação sobre Sistemas Complexos e Comunicação Colaborativa visando Segurança e Resiliência.2) Atualização do Framework já desenvolvido e Desenvolvimento de Casos de Uso.3) Demonstração dp Framework e Análise de Segurança e Resiliência de Veículos Autônomos
Financiadores- Ericsson Telecomunicações - Matriz · COOPERACAO
EquipeJoão Batista Camargo Júnior (Responsável), VISMARI, LUCIO F., CUGNASCA, PAULO S., ALMEIDA, JORGE RADY DE, MOLINA, CAROLINE, NASCIMENTO, ALEXANDRE M.
- Concluído2018 – 2023Pesquisa
Automação da Sinalização Ferroviária
O objetivo geral do projeto consiste em propor soluções tecnológicas inovadoras para a modernização dos sistemas de sinalização e telecomunicações.Dentro deste contexto, as pesquisas estarão divididas em 3 (três) grandes vertentes: Sinalização e Telecomunicação, Big Data e Manutenção Preditiva.
Financiadores- VALE S A · BOLSA
EquipeJoão Batista Camargo Júnior (Responsável), Jorge Rady de Almeida Jr, Jamil Kalil Naufal Jr., Lúcio Flávio Vismari, Paulo Sérgio Cugansca, Ivanilo Jacintho dos Santos, Gabriel Francisco Florio, David Fernandes Neves Oliveira
- Concluído2015 – 2017Pesquisa
Segurança Crítica (safety) em sistemas ciberfísicos automotivos
Atividade t investigação a respeito do estado da arte, conceitos e tendênciasrelacionadas aos sìstemas ciberfisicos.Atividade 2: investigação, identificação e compreensão de conceitos, métricas, técnicas emodelos relacionados à dEendabilidade e à rcsiliência de sisïemas ciberfísìcos.Atividade 3: identificação de quais elementos investigados nas atividades 1 e 2 poderiamser aplicados em processos de análise de confiabilidade e resiliência de sistemas ciberfisicos.
EquipeJoão Batista Camargo Júnior (Responsável), Jorge Rady de Almeida Jr, Jamil Kalil Naufal Jr., LUCIO FLÁVIO VISMARI, Caroline Molina, Ignacio Rojas González
- Concluído2015 – 2017Pesquisa
Research on Safety in Aviation Technologies and ATM - Boeing Research Technology - Brazil
This Statement of Work (SOW) contemplates the collaborative efforts between the Grupo de Análise de Segurança da Escola Politécnica da USP (GAS/POLI-USP, in the Portuguese acronym for Safety Analysis Group / School of Engineering at University of São Paulo) and Boeing Research and Technology Brazil (BRTB), as part of The Boeing Company (Boeing), on the theme Safety in aviation technologies and ATM. This SOW, which acts as a technical project, aims at demonstrating the competence and the expertize of GAS/POLI-USP in carrying out the research projects related to the areas of research opportunity in Air Traffic Management (ATM) identified by BRT in Brazil. It contains a project description for the activities, schedule, milestones and deliverables that BRTB and GAS/POLI-USP will coordinate on the above mentioned theme.
Financiadores- The Boeing Company · COOPERACAO
EquipeJoão Batista Camargo Júnior (Responsável), Jorge Rady de Almeida Jr, PAULO SÉRGIO CUGNASCA, RICARDO ALEXANDRE VEIGA GIMENES, Daniel Baraildi Sesso, Thiago Toshio Matsumoto, Carlos Enrique Simões, Derick Moreira Baum +1 integrantes
- Concluído2009 – 2010Pesquisa
Laboratório de Sistemas Críticos para Certificação de Sistemas de Transporte
Sistemas cujo funcionamento anormal, fora dos requisitos aceitáveis, possa ser catastrófico para pessoas ou para o ambiente no qual está inserido, causando mortes, ferimentos, prejuízos ambientais e materiais, são categorizados como Sistemas Críticos em Segurança (Safety) (STOREY, 1996; KNIGHT, 2002; CAMARGO JR., 2002). Encontra-se nesta categoria de Sistemas Críticos em Segurança, entre outros, os Sistemas de Supervisão e Controle de diversas aplicações de transporte, tais como as aplicações aeronáuticas e metroferroviárias. Portanto, devido às severas conseqüências nas quais as pessoas e o ambiente estão expostos, altos níveis de confiabilidade e de segurança devem ser garantidos, por meio de processos minuciosos de desenvolvimento, de testes e de certificação, aos sistemas de supervisão e controle críticos em segurança aplicados em áreas vitais do cotidiano, tais como os transportes. Além disso, a aceitação de produtos críticos em segurança, sobretudo aqueles relacionados aos transportes aéreos, pela comunidade internacional é condicionada ao atendimento de severos requisitos de testes e de certificação. Assim, é de vital importância para a balança comercial que o país possua know-how em processos de desenvolvimento e de certificação de produtos críticos em segurança, pois isto abrirá mercados para a exportação destes produtos de alto valor agregado.Nas últimas décadas, os Sistemas Críticos evoluíram rapidamente, estando cada vez mais automatizados e interconectados. Este paradigma se baseia no emprego intensivo das modernas tecnlogias, incluindo softwares de aplicação extensos que operam sobre sistemas operacionais complexos e estão interconectados por meio de sofisticados protocolos de comunicação. A complexidade de tais sistemas é crescente e, justamente por este fato, impõe grandes desafios para seus Engenheiros e Desenvolvedores: os projetos contêm uma grande quantidade de elementos funcionais fortemente interdependentes (muitos dos quais são de prate
Financiadores- Conselho Nacional de Desenvolvimento Científico e Tecnológico · AUXILIO_FINANCEIRO
EquipeJoão Batista Camargo Júnior (Responsável), Paulo Sérgio Cugnasca, Jorge Rady de Almeida Júnior, Carlos Lahoz, Lúcio Flávio Vismari, Ricardo Alexandre Veiga Gimenes, Mário Aparecido Corrêa, Italo Romani de Oliveira +4 integrantes
- Concluído2009 – 2013Pesquisa
INCT-SEC - Instituto Nacional de Ciencias e Tecnologia em Sistemas Embarcados Criticos
O Laboratório Grupo de Análise de Segurança - GAS da POLI-USP participa do INCT-SEC - Instituto Nacional de Ciência e Tecnologia em Sistemas Embarcados Críticos, coordenado pelo ICMC/USP, São Carlos, SP, de grande relevância nacional. A missão do INCT-SEC é elevar e agregar habilidades, competências e infra-estrutura necessárias para o desenvolvimento de sistemas embarcados críticos, com ênfase para veículos autônomos móveis, de forma a capacitar a academia e a indústria brasileira no ensino, treinamento, pesquisa e desenvolvimento científico-tecnológico em aplicações de relevância e de alto impacto econômico-social em áreas estratégicas do país, a exemplo de aplicações na agricultura, segurança e defesa nacional, aviação e meio ambiente. O projeto é bastante abrangente, e envolvegrupos de pesquisadores de nove universidades brasileiras, entre elas EESC/USP, ICMC/USP, UNESP, POLI/USP, PUCRS, UEM, UFES, UFAM, UFG e UFSCar, e sete componentes da Iniciativa privado.Os principais objetivos são o desenvolvimento de pesquisas para a construção de sistemas embarcados críticos com ênfase para veículos autônomos móveis e a construção de pelo menos dois protótipos de veículo, um aéreo e um terrestre, com o objetivo de serem transferidos para as empresas associadas, visando a possível fabricação e comercialização. Outros objetivos relevantes do INCT/SEC são: a produção de uma metodologia e tecnologias associadas para o ensino e treinamento de pessoal formado na área. Na realidade pretende-se constituir um Centro de Treinamento e Capacitação no âmbito do projeto. Pretende-se também motivar a formação de um número significativo de mestres e doutores e produção intelectual na forma de artigos científicos apresentados e publicados em conferências e periódicos de boa qualidade, bem como de patentes. A parte específica do Grupo de Análise de Segurança refere-se à Análise de Risco de Sistemas Aéreos não Tripulados visando uma futura regulamentação para Certificação
Financiadores- Fundação de Amparo à Pesquisa do Estado de São Paulo · BOLSA
- Conselho Nacional de Desenvolvimento Científico e Tecnológico · AUXILIO_FINANCEIRO
EquipeJoão Batista Camargo Júnior, Paulo Sérgio Cugnasca, Jorge Rady de Almeida Júnior, Lúcio Flávio Vismari, Ricardo Alexandre Veiga Gimenes, Mário Aparecido Corrêa, Vitor Hugo Furtado, Fernando de Oliveira Gil +1 integrantes
- Concluído2004 – 2007Pesquisa
Prototipagem de Um Sistema de Apoio à Decisão Compartilhada para Infra-estrutura Aeronáutica sobre Bases de Dados Paralelas e Distribuídas
O objetivo principal deste projeto é avaliar uma implementação do sistema CDM ? Collaborative Decision Making na área de gerenciamento do tráfego aéreo em uma plataforma de rede gigabit. Conceitualmente, o CDM é definido na proposta do Air Traffic Managment Operational Concept Panel como ?um grupo de aplicativos que visa melhorar as operações de vôo mediante o crescente envolvimento dos operadores de aeronaves e dos aeroportos no processo de gerenciamento de tráfego aéreo?.
Financiadores- Financiadora de Estudos e Projetos · AUXILIO_FINANCEIRO
EquipeJoão Batista Camargo Júnior, Paulo Sérgio Cugnasca, Jorge Rady de Almeida Jr, Lúcio Flávio Vismari, Mário Aparecido Corrêa, Italo Romani de Oliveira, Liria Matsumoto Sato (Responsável), Eno Siewerdt
Orientações
- Mestrado
desde 2025Ulisses Ghidoni · OrientaçãoNAVEGAÇÃO AUTÔNOMA DE DRONES E RESOLUÇÃO DE CONFLITOS DE TRÁFEGO AÉREO UTILIZANDO O AGENTE DE APRENDIZAGEM POR REFORÇO SOFT-ACTOR CRITIC (SAC). · Engenharia de Computação · Escola Politécnica da USPEm andamento - Mestrado
desde 2025Alexandre Ray da Silva · OrientaçãoUuso da Inteligência Artificial (IA) em sistemas críticos em segurança (safety) · Engenharia Elétrica · Universidade de São PauloEm andamento - Doutorado
desde 2025Alfredo Almeida de Araujo · OrientaçãoImplantação de Sistemas eVTOL - Aspectos de Comunicação · Engenharia Elétrica · Universidade de São PauloEm andamento
Bancas julgadoras
141 registros- 2024Rogério Brito RamosMetodologia de análise integrada de segurança crítica e segurança cibernética em sistemas ciber físicos · Engenharia de Computação · Escola Politécnica da USPBanca: João Batista Camargo Júnior, AVELINO, VALTER F., Mario Aparecido CorreaMestrado
- 2024Lúcio Flávio VismariGarantia da segurança crítica em sistemas complexos: uma abordagemorientada a riscos para o gerenciamento de recursos de comunicação em Sistemas Inteligentes Cooperativos (C=ITS) · Engenharia de Computação · Escola Politécnica da USPBanca: João Batista Camargo Júnior, Gilberto Francisco Martha de Souza, Selma Shin S Melnikoff, Ricardo Caneloi dos Santos, Marcelo José Ruv LemesDoutorado
- 2024ALEXANDRE RAY DA SILVAAvaliando o Impacto das Condições Climáticas Adversas na Segurança da Visão Computacional de Veículos Autônomos · Engenharia de Computação · Escola Politécnica da USPBanca: João Batista Camargo Júnior, Artur Jordão Lima Correia, Ricardo NakamuraExame de qualificação de mestrado
- 2024Alfredo Almeida de AraujoFramework de sistema de comunicação que atenda às futuras necessidades de requisitos de UAM (Mobilidade Urbana Aérea) · Engenharia de Computação · Escola Politécnica da USPBanca: João Batista Camargo Júnior, PAULO SÉRGIO CUGNASCA, Cristiano Magalhaes PanazioExame de qualificação de doutorado
- 2023Diogo Bertolini Profeta de OliveiraBEYOND TRADITIONAL SAFETY ANALYSIS: A NOVEL HYBRID FRAM-BBN FRAMEWORK TO RNP APPROACH PROCEDURE SAFETY ANALYSIS · Engenharia Aeronautica · Instituto Tecnológico de AeronáuticaBanca: Rodrigo Cassineli Palharini, Alison de Oliviera Moraes, Carlos Henrique Netto lahoz, João Batista Camargo Júnior, Paulo Victor Rodrigues de CarvalhoDoutorado
- 2022Cesar Augusto GabeMetodologia para avaliação de risco de falta de energia em reatores nucleares marítimos · Engenharia Mecânica · Universidade de São PauloBanca: Gilberto Francisco Martha de Souza, João Batista Camargo Júnior, Paulo Fernando Ferreira Frutoso e MeloMestrado
- 2021Tiago Alves SilvaModelos de aplicações baseadas em comunicação veicular para análise de segurança de veículos autônomos · Engenharia de Computação · Escola Politécnica da USPBanca: João Batista Camargo Júnior, Gilberto Francisco Martha de Souza, Valter Fernandes AvelinoMestrado
- 2021Derick Moreira BaumModelo de inteligência artificial de capacidade do espaço aéreo no ambiente UAM com base na complexidade do espaço aéreo · Engenharia de Computação · Escola Politécnica da USPBanca: João Batista Camargo Júnior, Fábio Kawaoka Takase, Li Weigang, Marcelo Xavier Guterres, Marcelo José Ruv LemesDoutorado
- 2020Daniel Alberto PamplonaAN EFFICIENT METAHEURISTIC APPROACH FOR THE AIRCRAFT SEQUENCING PROBLEM TO INCREASE RUNWAY CAPACITY · Engenharia de Infra-Estrutura Aeronáutica · Instituto Tecnológico de AeronáuticaBanca: Carlos Müller, Cláudio Jorge Pinto, Mayara Condé Rocha Murça, Marcelo Xavier Guterres, João Batista Camargo Júnior, Italo Romani de OliveiraDoutorado
- 2019Alexandre Moreira NascimentoArchitectures for Safety Assurance in Artifical Intelligent Applications in Autonomous Vehicle · Doutorado em Engenharia Elétrica · Universidade de São PauloBanca: PAULO SÉRGIO CUGNASCA, João Batista Camargo Júnior, Graça BressanExame de qualificação de doutorado
- 2018Wesley José Nogueira MedeirosModelo para determinação de resiliência em sistemas de transportes: uma aplicação no sistema de tráfego aéreo · Engenharia de Sistemas Logísticos · Universidade de São PauloBanca: João Batista Camargo Júnior, Alexandre de Barros Barreto, Lúcia Vilela Leite FilgueirasMestrado
- 2018João Carlos SalamaniAnálise de Risco e aumento da confiabilidade de motores Otto com relação às falhas esporádicas e de difícil diagnóstico · Engenharia Mecânica · Universidade de São PauloBanca: Gilberto Francisco Martha de Souza, João Batista Camargo Júnior, Eduardo Lorenzetti Pellini, Hélio Fiori de Castro, José Guilherme Coelho BaêtaDoutorado
- 2018Leonardo Tórtora Devienne FerrazMétodos para melhorar os processos de vinculação e revogação o de certificados em redes veiculares · Engenharia Elétrica · Universidade de São PauloBanca: Marcos Antonio Simplício Jujnior, João Batista Camargo Júnior, Alfredo Goldman Vel LejbmanExame de qualificação de mestrado
- 2018Rafael Yudi ImaiSistema de Gerencimento de Tráfego Aéreo de Veículso Aéreos não Tripulados · Engenharia de Computação · Universidade de São PauloBanca: João Batista Camargo JúniorGraduação
- 2017Euclides Carlos Pinto NetoSwarm-based optimization of final arrival segments considering the unmanned aircraft system integration into the non-segregated airspace. · Engenharia Elétrica · Universidade de São PauloBanca: Paulo Sérgio Cugnasca, João Batista Camargo Júnior, Jamil Kalil Naufal Jr.Exame de qualificação de mestrado
- 2017João Bosco Freire Leite Segundo, Mariana Fadel BearziPlataforma de Suporte a Simulação de Sistemas Veiculares em Tempo Acelerado · Engenharia de Computação · Universidade de São PauloBanca: João Batista Camargo JúniorGraduação
- 2016Yuri Maximilian Rottner DiricksonMetodologia de análise de impacto em segurança crítica da automação das tarefas do controlador de tráfego aéreo da torre de controle de aeródromo · Engenharia Elétrica · Universidade de São PauloBanca: Marcelo Ramos Martins, Alexandre de Barros BarretoMestrado
- 2016Thiago Toshio MatsumotoModelagem e simulação de veículo aéreo não tripulado autônomo para avaliação de risco de colisão com outras aeronaves · Engenharia Elétrica · Universidade de São PauloBanca: Fabio Gagliardi Cozman, Kalinka Regina Lucas Jaquie Castelo BrancoMestrado
- 2016Daniel Braldi SessoAvaliação de segurança em sistemas de controle de tráfego aéreo baseados em vigilância dependente automática por radiodifusão considerando parâmetros de integridade de dados · Engenharia Elétrica · Universidade de São PauloBanca: Fábio Levy Siqueira, Ítalo Romani de OliveiraMestrado
- 2016André Luiz de OliveiraA model-based approach to support the systematic reuse and generation of safety artefacts in safety-critical software product line engineering · Instituto de Ciências Matemáticas e de Computação · Universidade de São PauloBanca: Rosana Teresinha Vaccare Braga, Daniel Lucredio, Leandro Buss Becker, Timothy Patrick KellyDoutorado
- 2016Emerson Alberto MarconatoModelo de arquitetura em camadas para interconexão de sistemas em SANT · Instituto de Ciências Matemáticas e de Computação · Universidade de São PauloBanca: Kalinka Regina Lucas Jaquie Castelo Branco, Fernando Santos Osório, paulo sergio martins pedro, Maria Istela CagninDoutorado
- 2016Neemias Xavier Ferreira dos SantosApresentação e análise das caracterísitcas e funcionalidades de um sistema metroferroviário que utiliza conceitos de ITS · Curso de Especialização em tecnologia Metro-Ferroviária · Universidade de São PauloBanca: Jorge Rady de Almeida Jr, Selma Shin S MelnikoffCurso de aperfeiçoamento/especialização
- 2016Rodrigo Reinaldo da SilvaEstudo de aplicação de sistemas inteligentes de transporte (ITS) dirigidos à integração de dados na Companhia Paulista de Trens Metropolitanods - CPTM · Curso de Especialização em tecnologia Metro-Ferroviária · Universidade de São PauloBanca: Jorge Rady de Almeida Jr, Selma Shin S MelnikoffCurso de aperfeiçoamento/especialização
- 2016Gerson Oliveira de JesusSistema de bilhetagem eletrônica de passageiros da CPTM: Tendências para o acesso com cartões inteligentes · Curso de Especialização em tecnologia Metro-Ferroviária · Universidade de São PauloBanca: Jorge Rady de Almeida Jr, Gilberto Francisco Martha de SouzaCurso de aperfeiçoamento/especialização
- 2016Heloisa Helena Lobato de OliveiraEStudo dos impactos das gratuidades no transporte de passageiros da CPTM · Curso de Especialização em tecnologia Metro-Ferroviária · Universidade de São PauloBanca: Jorge Rady de Almeida Jr, Gilberto Francisco Martha de SouzaCurso de aperfeiçoamento/especialização
Revisor de periódico
08 registros- 2016 – presenteVínculo atualIEEE Systems JournalRevisor de periódico
- 2014 – presenteVínculo atualJournal of Intelligent & Robotic SystemsRevisor de periódico
- 2014 – presenteVínculo atualRisk AnalysisRevisor de periódico
- 2014 – presenteVínculo atualJournal of Advanced TransportationRevisor de periódico
- 2013 – presenteVínculo atualIEEE Transactions on Intelligent Transportation SystemsRevisor de periódico
- 2013 – presenteVínculo atualReliability Engineering & Systems SafetyRevisor de periódico
- 2013 – presenteVínculo atualTransportation Research. Part C, Emerging TechnologiesRevisor de periódico
- 2012 – presenteVínculo atualIEEE SoftwareRevisor de periódico
Prêmios e títulos
16 registros- 2017Menção Honrosa como Poster de Destaque do Doutoradno Derick Baum orientado por João Batista Camargo Jr - VI Workshop de Pós-GraduaçãoPrograma de Pós-Graduação em Engenharia Elétrica - EPUSP
- 2017Professor Paraninfo da Turma de Engenharia de Computação da Escola Politécnica da USPEscola Politécnica da USP
- 2016Terceiro Melhor Artigo durante o XV SITRAER - Simpósio de Pesquisa em Transporte AéreoSociedade Brasileira de Pesquisa em Transporte Aéreo
- 2013Paraninfo da Turma de Engenharia de ComputaçãoEscola Politécnica da USP
- 2013Paraninfo da Turma de Engenharia Elétrica - Ênfase ComputaçãoEscola Politécnica da USP
- 2011Paraninfo da Turma dos Formandos do Curso de Engenharia de ComputaçãoEscola Politécnica da USP
- 2007Terceiro Melhor Artigo - Tendências no Contole do Tráfego Aéreo e os Desafios para os Sistemas Computacionais - VI SITRAERSociedade Brasileira de Pesquisa em Transporte Aéreo - SBTA
- 2007Paraninfo da turma dos Formando do Curso de Engenharia Elétrica - Ênfase Computação Quadrimestral de 2007Escola Politécnica da USP
- 2006Melhor Artigo do V SITRAER, Simpósio de Pesquisa em Transporte Aéreo: Integrating UAV in to Controlated Air Space Using Cooperative Multiagent NegotiationSociedade Brasileira de Pesquisa em Transporte Aéreo
- 2005Melhor Artigo do IV SITRAER - Simpósio de Pesquisa em Transporte Aéreo: Uma arquitetura lógica para auxílio à tomada de decisão no gerenciamento de tráfego aéreoSociedade Brasileira de Pesquisa em Transporte Aéreo
- 2004Professor Paraninfo dos Formandos em 2004 do Curso de Engenharia de Computação CooperativoEscola Politécnica da USP
- 2004Prêmio de Destaque: premia Lúcio Flávio Vismari e João Batista Camargo Jr. pelo seu destaque na apresentação do trabalho intitulado Avaliação do Impacto das Novas Tecnologias sobre a Segurança Aeronáutica, realizado durante o IV SITRAERSociedade Brasileira de Pesquisa em Transporte Aéreo
- 2004Prêmio de Destaque: premia Jamil Kali Naufal Jr. e João Batista Camargo Jr. pelo seu destaque na apresentação do trabalho intitulado Modelo de Otimização de Demanda em Infra-Estrutura Aeronáutica no III SITRAER Simpósio de Transporte AéreoSociedade Brasileira de Pesquisa em Transporte Aéreo
- 2003Citação ao Grupo de Análise de Segurança - GAS na página 77 com o título: Engenharia nos Trilhos e nos Ares.Revista Info Exame, Ano 18, No. 210, setembro de 2003
- 1999Menção Honrosa pelo artigo Uma Lista de Inspeção para Análise de Software Críticodurante o Simpósio de Segurança em Informática SSI.Instituto Tecnológico de Aeronáutica - ITA
- 1995Paraninfo da Turma de 1995 do Curso de Engenharia de ComputaçãoEscola Politécnica da USP
Participação em eventos
18 registros- 2016Ataques e Simulações em Infraestrutura CríticaIT-SA Brasil · Conferencista · Convidado · São Paulo
- 2016Air Traffic Control ChallengesXV SITRAER Simpósio de Pesquisa em Transporte Aéreo · Conferencista · Convidado · São Luis
- 2016Action Tank 12 - Innovation on Transportation - Innovation on High Speed Railways - Safety ChallengesBIN@SP · Conferencista · Convidado · São Paulo
- 2014Debates sobre a EC 3 do PCSXIV Workshop de Graduação do Departamento de Engenharia de Computação e Sistemas Digitais da EPUSP · Outras formas · Participante · São Paulo
- 2014Workshop de Controle de Tráfego AéreoAirport EXPO 2014 · Moderador · Convidado · São Paulo
- 2013SIRIUS BRASIL - Impulsionando o Desenvolvimento do ATM NacionalSIRIUS BRASIL - Impulsionando o Desenvolvimento do ATM Nacional · Conferencista · Convidado · Rio de Janeiro
- 2013Workshop de regulamentação de Sistemas de Aeronaves Remotamente Pilotadas - RPASWorkshop de Regulamentação de Sistemas de Aeronaves Remotamente Pilotadas - RPASS · Conferencista · Convidado · São Paulo
- 2013DEFESA CIBERNÉTICA e MONITORAMENTO DE FRONTEIRASDEFESA CIBERNÉTICA e MONITORAMENTO DE FRONTEIRAS · Conferencista · Convidado · São Paulo
- 2011Estudo de Detecção pelo Trem de trilho Partido em Tempo Real através da Corrente de Tração para Sistemas Metroviários17a Semana de Tecnologia Metroferroviária · Apresentação Oral · Participante · São Paulo
- 2011Debates sobre o Tema pós-GraduaçãoWorkshop de Pesquisa, Pós-graduação e Extensão do PCS · Outras Formas · Participante · São Paulo
- 2010Mesa Redonda - Avaliação do Projeto Fibra ÓticaProjeto de Fibra Ótica para EMTU - Empresa Metropolitana de Transportes Urbanos · Avaliador · Convidado · São Paulo
- 2009Proceding of European Safety and Reliability ConferenceESREL 2009 European Safety and Reliability Conference · Apresentação Oral · Participante · Praga
- 2009Análise de Segurança de Sistemas MetroferroviáriosIX Curso Internacional de Treinamentos em Sistemas de Trens Urbanos · Conferencista · Convidado · Porto Alegre
- 2008Análise de Segurança e Confiabilidade de Sistemas CríticosExpoGPS 2008 ? Feira e Congresso Latino Americano de Localização e Rastreamento · Conferencista · Convidado · São Paulo
- 2008Painel sobre Regulamentação de VANTOuvinte · São José dos Campos
- 2006III Safety Workshop - MetroFerroviárioIII SafetyWorkshop - MetroFerroviário · Moderador · Convidado · São Paulo
- 2005IV Simpósio de Transporte Aéreo - Coordenador GeralIV Simpósio de Transporte Aéreo · Apresentação Oral · Participante · São José dos Campos
- 2003General Chair - LADC 2003 - First Latin American Symposium od Dependable ComputingFirst Latin American Symposium on Dependable Computing - LADC 2003 · Apresentação Oral · Participante · São Paulo
Coautorias
16 coautores- 141 obras
- 110 obras
- 13 obras
- 10 obras
- 3 obras
- 2 obras
- 1 obra
- 1 obra
- 1 obra
- 1 obra
Na imprensa
betaVersão beta: esta seção é experimental e pode ser alterada ou removida a qualquer momento, e os dados podem estar incompletos ou incorretos.
