Pesquisa
Projetos Atuais
 |
|
Temas de Interesse
- Modelagem e Simulação – (Discreta, Paralela e Distribuída)
- Segurança em Sistema Embarcado (Métodos Formais e Testes de Software) – Embedded Systems Safety (testing and formal methods)
- Projeto de Sistema Embarcado – Embedded System Design
- Desenvolvimento Dirigido a Modelo aplicado em Sistemas de Tempo Real
- Modelagem e Geração de códigos em sistemas de domínio específico
- Internet das Coisas Industriais (aplicação)
- Sistemas Veiculares (aplicação)
Projetos Anteriores
- Rota 2030 – Melhoria da competitividade de ferramentarias
- Desenvolvimento Dirigido a Modelo para Bootloader de Microcontroladores
- Simulação do Trânsito da Cidade de Joinville
- Infraestrutura para aprendizado de máquinas
- Geração de Propriedades Lineares Temporais a partir de Especificação em Linguagem Natural
- Análise de qualidade nos dados de IIoT e em cidades inteligentes
TCC
- Aplicação da identificação de sistemas para estimação das derivadas de estabilidade e controle de aeronaves de asa fixa. Autor: José Rian Viana Vasconcelos
- Detecção de objetos utilizando sensor LiDAR. Autora: Eloiza Heerdt
- Desenvolvimento de um protótipo de um sistema de controle de acesso via RFID. Autor: Fernando Mendes Peixer
- Arquitetura de comunicação automotiva aplicada para kart elétrico. Autor: Eryk Kooshin Suguiura
- Comunicação entre OPC UA e Modbus TCP. Autor: Gabriel Luiz Martins
- Desenvolvimento de um sistema de monitoramento de máquinas elétricas conectadas para Internet das Coisas Industriais. Autora: Anna Julia Zanotti
- Modelo Baseado em Aprendizado de Máquina para Detecção de Anomalias em Veículos Autônomos. Autora: Tuane Sampaio Machado
- Detecção de anomalias aplicada em internet das coisas industriais. Autor: Vitor Ângelo Russi
- Sistema de Aprendizado de Máquina como Apoio ao Monitoramento de Saúde Estrutural. Autora: Ana Carolina Ribeiro Albino
- Operadores de mutação para modelos de sistemas reativos. Autor: Paulo Henrique Alves Kammradt
- Desenvolvimento de testes para programas em CLP via OPC-UA. Autor: Lucas Jorjan Alves
- Infraestrutura de monitoramento e operação para aprendizado de máquina. Autor: Victor Wilvert Antunes
- Geração de Código Usando Diagramas de Atividade para Sistemas Embarcados. Autor: Jean Marcelo Mira Junior
- Desenvolvimento de uma aplicação web para conversão de modelos utilizando a metodologia BDUF. Autor: Danilo José da Silva
- Plataforma baseada em microserviços para gerenciamento de transformações de modelos. Autor: Samuel Possamai
- Critérios para geração de casos de teste baseados em modelos descritos em PcML. Autora: Beatriz Aruk da Silva
- Desenvolvimento Dirigido a Modelo Para Bootloader de Microcontrolador. Autor: André Luigi Bonote
- Indústria 4.0: adaptação de um modelo de maturidade. Autor: Saúl Andrés Serrano Ossorio
- Modelo de Referência para interface homem máquina no CLP. Autora: Sofia Tami Kitayama Rocha (“Láurea Acadêmica”)
- Desenvolvimento do controle eletrônico do acelerador. Autor: Marco Antônio Zolett Rosso
- Dynamic Response and Pitch Damper Design for a Moderately Flexible, High-Aspect Ratio Aircraft. Autor: Hermann Luis Lebkuchen
- Desenvolvimento de uma tomada conectada com autodiagnóstico para a internet das coisas. Autor: Breno Castro Cardoso
- Modelagem para avaliação de desempenho da rede semafórica de Joinville. Autora: Camila Feliciano
- Implantação e monitoramento de ponta a ponta para sistemas distribuídos remotos. Autora: Vitoria Sedrez
- Aplicação do simulador de tráfego MATSim à cidade de Joinville/SC. Autor: Davi Guggisberg Bicudo
- Modelagem para o cálculo da confiabilidade do tempo de viagem do transporte coletivo por ônibus. Autora: Ana Paula Nunes Duarte
Mestrado
- Transformação de requisitos escritos em português para propriedades lógicas temporais. Autora: Mariana Araújo Tavares Sathler
