Henrique Amaral Misson

Mestrando em Engenharia de Automação e Sistemas pela Universidade Federal de Santa Catarina, atua na área de verificação formal de sistemas ciber-físicos, com foco em veículos aéreos não tripulados (VANT). Possui graduação em Engenharia de Controle e Automação pela Universidade Federal de Ouro Preto - UFOP. Tem experiência na área de Robótica, Mecatrônica e Automação. Durante a graduação, desenvolveu projetos na área de robótica, eletrônica de controle e empreendedorismo. Possui Master em Engenharia Geral / Sistemas Embarcados Inteligentes pela École des Mines de Douai - FR (2014), um programa de duplo diploma em parcerias entre Universidade Federal de Ouro Preto e a École des Mines da França. Durante o Master na França, fez estágios na área de projetos e desenvolvimento de indicadores para a produção nas Empresas SCHOONBERG TP e ArcelorMittal (Florange), ambos na França, além de projetos de pesquisa na área de programação com Kinect e modelagem de uma barragem na Universidade Francesa.

Informações coletadas do Lattes em 22/07/2022

Acadêmico

Formação acadêmica

Mestrado em andamento em Engenharia de Automação e Sistemas

2017 - Atual

Universidade Federal de Santa Catarina
Título: Aplicação de Runtime Verification ao Projeto de Cyber-Physical Systems (CPS),Orientador: Leandro Buss Becker
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: VANT; Runtime Verification; Cyber Physical Systems; Model Checking; Systems Verification.Grande área: OutrosGrande Área: Outros / Área: Robótica, Mecatrônica e Automação / Subárea: Teste e Tolerância a Falhas. Grande Área: Outros / Área: Robótica, Mecatrônica e Automação / Subárea: Verificação Formal de Sistemas.

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

2010 - 2016

Universidade Federal de Ouro Preto
Título: MONITORAMENTO E CONTROLE ENERGÉTICO RESIDENCIAL VIA SMARTPHONE
Orientador: PAULO MARCOS DE BARROS MONTEIRO

Graduação em Engenharia de Sistemas Embarcados Inteligentes

2012 - 2014

Ecole des Mines de Douai, Mines Douai
Título: Mesure de la Performance de la Programmation des lignes de Production du site de Florange
Orientador: Emmanuel Jacques e Jacques Boonaert
com Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.

Ensino Médio (2º grau)

2006 - 2009

Santa Maria

Formação complementar

2016 - 2016

Programa Engenheiro Empreendedor. (Carga horária: 99h). , Serviço de Apoio às Micro e Pequenas Empresas de Belo Horizonte, SEBRAE/MG, Brasil.

2014 - 2014

Marketing International. (Carga horária: 21h). , Ecole des Mines de Douai, Mines Douai, França.

2013 - 2014

Filière Entrepreneur. (Carga horária: 108h). , Ecole des Mines de Douai, Mines Douai, França.

2013 - 2013

Securité du Travail. (Carga horária: 21h). , Ecole des Mines de Douai, Mines Douai, França.

2012 - 2012

Mise en Forme de Matériaux. (Carga horária: 86h). , Ecole des Mines de Douai, Mines Douai, França.

Idiomas

Bandeira representando o idioma Inglês

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

Bandeira representando o idioma Espanhol

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

Bandeira representando o idioma Francês

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

Áreas de atuação

Grande área: Outros / Área: Robótica, Mecatrônica e Automação.

Participação em eventos

Winter Challenge 8ª edição - Robocore. Projeto Sucatão. 2012. (Exposição).

Projetos de pesquisa

  • 2017 - Atual

    Aplicação de Runtime Verification ao Projeto de Cyber-Physical Systems (CPS), Descrição: ProVant é um projeto criado em 2012 na UFSC em parceria com a UFMG, que tem por objetivo o desenvolvimento e a obtenção de conhecimentos relacionados ao design e controle de VANTs. O objetivo deste trabalho de pesquisa é a integração de técnicas de verificação de Runtime Verification ao processo de desenvolvimento de Cyber-Physical Systems (CPS) , em especial ao desenvolvimento do VANT. Para aplicação desta técnica se busca utilizar simulações com Hardware-In-the-Loop(HIL) para permitir análises em um ambiente mais próximo da aplicação real.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (2) . , Integrantes: Henrique Amaral Misson - Coordenador / Julio Elias Normey Rico - Integrante / Leandro Buss Becker - Integrante.

  • 2014 - 2015

    Programa de Incentivo e Inovação, Descrição: O PII é uma iniciativa da Secretaria de Estado de Ciência, Tecnologia e Ensino Superior de Minas Gerais (SECTES-MG), em parceria com o Serviço Brasileiro de Apoio às Micro e Pequenas Empresas (SEBRAE-MG), com Instituições de Ciência e Tecnologia (ICTs) localizadas em cidades desse Estado e com as respectivas prefeituras. O objetivo do PII é promover, em Minas Gerais, a inovação tecnológica proveniente de ICTs, tanto por meio de licenciamentos de tecnologia para empresas já consolidadas quanto por intermédio da criação e consolidação de empresas nascentes de base tecnológica (ENBT) de origem acadêmica. Ao longo do programa, foram desenvolvidas atividades de suporte técnico-gerencial a projetos de inovação tecnológica de Instituições de Ciência e Tecnologia (ICT) de Minas Gerais apoiados pelo PII. Essa assistência analítica compreende desde estudos da viabilidade técnica, econômica e comercial e dos impactos ambiental e social (EVTECIAS) dos projetos, correspondente à primeira etapa do programa, na qual foi finalizada.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (20) . , Integrantes: Henrique Amaral Misson - Coordenador / Marcelo Gomes Speziali - Integrante.

Projetos de desenvolvimento

  • 2011 - 2012

    Projeto de Robótica Equipe Sucatão, Descrição: Projeto tem como objetivo desenvolver robôs de combate para competições. Um robô é desenvolvido em várias etapas, passando pela elaboração do pré-projeto, simulações, montagem de protótipo, além de inúmeros testes. O projeto é composto por várias áreas, em que os participantes são divididos para a construção do robô. Participação do grupo de eletrônica de controle, em que consiste na ligação entre o robô e o controle remoto à partir de um microcontrolador.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (18) . , Integrantes: Henrique Amaral Misson - Integrante / Paulo Henrique Vieira Magalhães - Coordenador.

  • 2011 - 2012

    Projeto de Robótica Equipe Sucatão, Descrição: Projeto tem como objetivo desenvolver robôs de combate para competições. Um robô é desenvolvido em várias etapas, passando pela elaboração do pré-projeto, simulações, montagem de protótipo, além de inúmeros testes. O projeto é composto por várias áreas, em que os participantes são divididos para a construção do robô. Participação do grupo de eletrônica de controle, em que consiste na ligação entre o robô e o controle remoto à partir de um microcontrolador.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (18) . , Integrantes: Henrique Amaral Misson - Integrante / Paulo Henrique Vieira Magalhães - Coordenador.

  • 2011 - 2012

    Projeto de Robótica Equipe Sucatão, Descrição: Projeto tem como objetivo desenvolver robôs de combate para competições. Um robô é desenvolvido em várias etapas, passando pela elaboração do pré-projeto, simulações, montagem de protótipo, além de inúmeros testes. O projeto é composto por várias áreas, em que os participantes são divididos para a construção do robô. Participação do grupo de eletrônica de controle, em que consiste na ligação entre o robô e o controle remoto à partir de um microcontrolador.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (18) . , Integrantes: Henrique Amaral Misson - Integrante / Paulo Henrique Vieira Magalhães - Coordenador.

  • 2011 - 2012

    Projeto de Robótica Equipe Sucatão, Descrição: Projeto tem como objetivo desenvolver robôs de combate para competições. Um robô é desenvolvido em várias etapas, passando pela elaboração do pré-projeto, simulações, montagem de protótipo, além de inúmeros testes. O projeto é composto por várias áreas, em que os participantes são divididos para a construção do robô. Participação do grupo de eletrônica de controle, em que consiste na ligação entre o robô e o controle remoto à partir de um microcontrolador.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (18) . , Integrantes: Henrique Amaral Misson - Integrante / Paulo Henrique Vieira Magalhães - Coordenador.

  • 2011 - 2012

    Projeto de Robótica Equipe Sucatão, Descrição: Projeto tem como objetivo desenvolver robôs de combate para competições. Um robô é desenvolvido em várias etapas, passando pela elaboração do pré-projeto, simulações, montagem de protótipo, além de inúmeros testes. O projeto é composto por várias áreas, em que os participantes são divididos para a construção do robô. Participação do grupo de eletrônica de controle, em que consiste na ligação entre o robô e o controle remoto à partir de um microcontrolador.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (18) . , Integrantes: Henrique Amaral Misson - Integrante / Paulo Henrique Vieira Magalhães - Coordenador.

Histórico profissional

Experiência profissional

2017 - Atual

Universidade Federal de Santa Catarina

Vínculo: , Enquadramento Funcional:

2013 - 2013

Schoonberg TP

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

Outras informações:
O objetivo do estágio era, junto com um professor da universidade, fazer o conceito de uma linha de produção para uma inovação da empresa em contrução de pré-fabricados para Engenharia Civil. Na época, uma patente estava sendo realizada, e eu pude participar da sua finalização com o tutor do estágio Obs : Estágio na língua Francesa

2014 - 2014

ArcelorMittal

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

Outras informações:
Estágio de seis meses na divisão Atlantique Lorraine da ArcelorMittal na França. O objetivo era avaliar a qualidade da programação das linhas de produção da usina através da concepção de KPI, no que diz respeito às datas de passagem de cada bobina nas respectivas linhas de produção. Estas datas são calculadas por um novo software implantado em março deste ano. Outro objetivo era a reorganisação de um software de programação que permite a ordenar e enviar as bobinas à usina para serem fabricadas. Esta reorganisação faz parte de um grande projeto nesta divisão da ArcelorMittal na França. Obs : Estágio feito na língua Francesa