Djones Vinicius Lettnin

Djones Lettnin é bacharel em Ciência da Computação pela Universidade Federal de Pelotas (2002) e mestre em Engenharia Elétrica pela Pontifícia Universidade Católica do Rio Grande do Sul (2004). Em 2009 finalizou seu doutorado no Departamento de Engenharia da Computação da Universidade Eberhard-Karls em Tübingen, Alemanha, na área de verificação de sistemas embarcados. Desde agosto de 2011 é Professor do Departamento de Engenharia Elétrica e Eletrônica (EEL) da Universidade Federal de Santa Catariana (UFSC). Atualmente atua como coordenador do Curso de Graduação em Engenharia Eletrônica (UFSC), do Grupo de Sistemas Embarcados (GSE), da Cadence Academic Network na América Latina e membro dos programas de Pós-graduação PPGEEL e PPGCC. Ele trabalha em projetos de cooperação com as empresas Cadence Design Systems, Bosch, e Intel e coordena projetos de pesquisa financiados pela AEB (Agência Espacial Brasileira), CAPES e CNPq. Tem experiência nas áreas de Engenharia Elétrica e Eletrônica, e Ciência/Engenharia da Computação, com ênfase em projeto e verificação de hardware e de software embarcado atuando principalmente nos seguintes temas: EDA, ESL, projeto de sistemas embarcados para satélites e automotivos, verificação baseada em assertions, verificação semiformal e formal utilizando model checking.

Informações coletadas do Lattes em 06/04/2019

Acadêmico

Seção coletada automaticamente pelo Escavador

Formação acadêmica

Doutorado em Engenharia da Computação

2005 - 2009

University of Tübingen
Título: Verification of Temporal Properties in Embedded Software
Orientador: Wolfgang Rosenstiel
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Verificação de Sistemas; Software Embarcado; Sistemas de Tempo Real; Verificação Funcional; Verificação Formal; Verificação Semiformal. Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Hardware. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Linguagem Formais e Autômatos. Setores de atividade: Aeronáutica e Espaço; Educação Superior; Atividades No Campo das Nanotecnologias e Desenvolvimento de Nanoprodutos.

Mestrado em Engenharia Elétrica

2002 - 2004

Pontifícia Universidade Católica do Rio Grande do Sul
Título: Proposta de um Núcleo de IP para a Classificação de Sinais Cardíacos Baseado em Técnicas de Redes Neurais e de Tolerância a Falhas,Ano de Obtenção: 2004
Orientador: em University of Tübingen ( Wolfgang Rosenstiel)
com Fabian Luis Vargas.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Propriedade Intelectual (IP); System-on-a-Chip (SoC); Eletrocardiograma; Redes Neurais Artificiais; Tolerância a Falhas; Linguagem SystemC. Grande área: Ciências Exatas e da TerraGrande Área: Engenharias / Área: Engenharia Elétrica. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Hardware. Setores de atividade: Educação Superior; Aeronáutica e Espaço; Fabricação de Máquinas, Aparelhos e Equipamentos de Sistemas Eletrônicos Dedicados À Automação Industrial e Controle do Processo Produtivo.

Graduação em Bacharelado em Ciência da Computação

1998 - 2001

Universidade Federal de Pelotas
Título: Especificação de um Sistema de Classificação de Batimentos Cardíacos Utilizando Redes Neurais Artificiais
Orientador: Fabian Luis Vargas e Marcelo Macarthy
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul, FAPERGS, Brasil.

Curso técnico/profissionalizante em Técnico em Eletrônica

1994 - 1997

Centro Federal de Ensino Tecnológico

Seção coletada automaticamente pelo Escavador

Pós-doutorado

2011 - 2011

Pós-Doutorado. , Universidade Federal de Santa Catarina, UFSC, Brasil. , Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. , Grande área: Ciências Exatas e da Terra, Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas Embarcados / Especialidade: Verificação de Sistemas Embarcados.

2009 - 2010

Pós-Doutorado. , University of Tübingen, TUEBINGEN, Alemanha. , Grande área: Ciências Exatas e da Terra, 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.

Seção coletada automaticamente pelo Escavador

Formação complementar

2014 - 2014

Yocto Project e i.MX Roadshow. (Carga horária: 8h). , e-labworks, E-LABWORKS, Brasil.

2013 - 2013

Introduction to Zynq. (Carga horária: 14h). , Anacom Academy, ANACOM, Brasil.

2012 - 2012

Microcontroladores da ST - Família STM8. (Carga horária: 6h). , ST Microelectronics - São Paulo, ST, Brasil.

2012 - 2012

Microcontroladores da ST - Família STM32 M0. (Carga horária: 8h). , ST Microelectronics - São Paulo, ST, Brasil.

2011 - 2011

Integração Institucional dos Novos Docentes UFSC. (Carga horária: 54h). , Universidade Federal de Santa Catarina, UFSC, Brasil.

2011 - 2011

Leitura e Produção de Texto: Cátedra Unesco Meceal. (Carga horária: 54h). , Universidade Federal de Santa Catarina, UFSC, Brasil.

2008 - 2008

SpecMan Elite for Environment Developers. (Carga horária: 24h). , Cadence Design Systems, Inc., CDN, Estados Unidos.

2008 - 2008

SpecMan Elite for Environment Users. (Carga horária: 16h). , Cadence Design Systems, Inc., CDN, Estados Unidos.

1996 - 1996

Junior Achievement - Programa Mini-Empresa. (Carga horária: 100h). , Instituto Federal Sul-Rio-Grandense, IFSUL, Brasil.

Seção coletada automaticamente pelo Escavador

Idiomas

Inglês

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

Espanhol

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

Alemão

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

Seção coletada automaticamente pelo Escavador

Áreas de atuação

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

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

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

    Grande área: Outros / Área: Microeletrônica.

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

Seção coletada automaticamente pelo Escavador

Organização de eventos

LETTNIN, D . VII IEEE LATIN AMERICAN SYMPOSIUM ON CIRCUITS AND SYSTEMS. 2016. (Congresso).

LETTNIN, D . XXII IBERCHIP WORKSHOP. 2016. (Congresso).

LETTNIN, D. . Semana Acadêmica do Programa de Pos-Graduação em Ciência da Computação. 2015. (Outro).

Winterholer, M. ; LETTNIN, D. V. ; ROSENSTIEL, Wolfgang . Cadence/EUROPRACTICE TLM Flow Information Day. 2011. (Outro).

BENFICA, J. ; BEZERRA, E. A. ; LETTNIN, D. V. . Desenvolvimento de Firmware em Linguagem C para Sistemas Embarcados utilizando ARM7. 2011. (Outro).

ROSENSTIEL, Wolfgang ; BRAUN, Axel ; LETTNIN, D. V. . European SystemC User Group (ESCUG) Meeting. 2009. (Outro).

Seção coletada automaticamente pelo Escavador

Participação em eventos

II Latin American IAA CubeSat Workshop. 2016. (Congresso).

VII IEEE LATIN AMERICAN SYMPOSIUM ON CIRCUITS AND SYSTEMS. 2016. (Simpósio).

XXII IBERCHIP WORKSHOP. 2016. (Congresso).

CDNLive 2015. CCSDS Protocol Verification based on UVM. 2015. (Congresso).

15th IEEE Latin-American Test Workshop. Optimized Hybrid Verification of Embedded Software. 2014. (Congresso).

1st Latin American IAA CubeSat WorkShop.Property Generation for Formal and Simulation-based Verifica-tion of an On-Board Computer for Space Applications. 2014. (Encontro).

2nd Biannual European - Latin American Summer School on Design, Test and Reliability (BELAS2014).Software Development, Debugging and Verification on a Virtual Prototype. 2014. (Encontro).

3rd Biannual European - Latin American Summer School on Design, Test and Reliability (BELAS2014).Software Development, Debugging and Verification on a Virtual Prototype. 2014. (Encontro).

Simpósio Aeroespacial Brasileiro 2014.Verificação Formal de Computadores de Bordo para Aplicacações Espaciais. 2014. (Simpósio).

CDN Live EMEA 2013. Automatic property generation for formal verification applied to HDL-based design of an on-board computer for space applications. 2013. (Congresso).

CDN Live EMEA 2013.Lead Institution for Embedded Systems Design and Verification. 2013. (Simpósio).

Symposium on Integrated Circuits and Systems Design.High-Level Synthesis: C to Silicon. 2013. (Simpósio).

Encontro de Gerentes de Projeto - Programa Uniespaço - AEB. 2012. (Encontro).

Simpósio Aeroespacial Brasileiro. 2012. (Simpósio).

12th IEEE Latin-American Test Workshop.Hybrid Verification of Temporal Properties in Hardware Dependent Software. 2011. (Simpósio).

Aula Inaugural PPGCC/UFSC.Verification of Embedded Software. 2011. (Outra).

Design, Automation, and Test in Europe. Scalable Hybrid Verification for Embedded Software. 2011. (Congresso).

ESA Investment Forum. 2010. (Encontro).

Microsoft Visual Studio Information. 2010. (Encontro).

CDNLive! EMEA 2009.Coverage-Driven Verification applied to Embedded Software. 2009. (Simpósio).

Design, Automation and Test in Europe (DATE09). Semiformal Verification of Temporal Properties in Automotive Hardware Dependent Software. 2009. (Congresso).

IV Simpósio Brasil-Alemanha.Verification of Temporal Properties in Embedded Software. 2009. (Simpósio).

Palestra para Curso de Engenharia de Produção da UNISC.Sistemas Embarcados. 2009. (Encontro).

CDNLive! EMEA 2008.Coverage-Driven Verification applied to Embedded Software. 2008. (Simpósio).

Design, Automation and Test in Europe (DATE08). Verification of Temporal Properties in Automotive Embedded Software. 2008. (Congresso).

EDAA/DATE PhD Forum at Design, Automotive and Test in Europe (DATE08). SofTPaDS: Semiformal verification of temporal properties in hardware dependent software. 2008. (Congresso).

IP 08 (IP-Based System Design). Verification of Temporal Properties in Embedded Software. 2008. (Congresso).

10. Methoden und Beschreibungsprachen zur Modellierung und Verifikation von Schaltungen und Systemen - MBMV 07.Semiformal Verification of Temporal Properties in Embedded Software. 2007. (Oficina).

21st International Workshop VLSI Trends and Topics 2006.SofTPaDS: Semiformal Verification of Temporal Properties in Hardware-Dependent Software. 2007. (Seminário).

IEEE Computer Society Annual Symposium on VLSI (VLSI07).Coverage Driven Verification applied to Embedded Software. 2007. (Simpósio).

Orientierungsseminar für DAAD-Stipendiatinnen und Stipendiaten aus Argentinien, Brasilien, Chile, Paraguay und Uruguay.Verification of Embedded Software. 2007. (Encontro).

Seminário de Pesquisa do PPGSPI-Mestrado UNISC.Coverage Driven Verification applied to Embedded Software. 2007. (Seminário).

17th Conference on Concurrency Theory. 2006. (Congresso).

20th International Workshop VLSI Trends and Topics 2006.Development of a Methodology for the Verification of Embedded Software Applied to Real Time Systems. 2006. (Seminário).

GreenSocs Open Source SystemC User Forum at Design, Automation and Test in Europe (DATE 06). SystemC Temporal Checker (SCTC). 2006. (Congresso).

Workshop on Object Oriented Software Design for Real Time and Embedded Computer Systems.Temporal Properties Verification of System Level Design. 2005. (Oficina).

3rd IEEE Latin-American Test Workshop. 2002. (Encontro).

CHIP IN THE PAMPA (SBCCI 2002 - 15th Symposium on Integrated Circuits and System Design, SMMicro 2002 - 17th Symposium on Microelectronics Technology and Devices and 2nd SForum-Student Forum on Microelectronics).CHIP IN THE PAMPA (SBCCI 2002 - 15th Symposium on Integrated Circuits and System Design, SMMicro 2002 - 17th Symposium on Microelectronics Technology and Devices and 2nd SForum-Student Forum on Microelectronics). 2002. (Simpósio).

I Semana de Estudos Avançados em Cardiologia e VI Salão de Iniciação Científica do IC/FUC.Especificação de um Sistema de Classificação de Eletrocardiograma Utilizando Redes Neurais Artificiais - Resultados Parciais. 2002. (Encontro).

IV Escola de Microeletrônica da SBC-Sul (EMICRO2002). 2002. (Encontro).

XI SEMANA DA ENGENHARIA E A VIII FEIRA DE ENGENHARIA. 2002. (Oficina).

II Salão de Iniciação Científica.Desenvolvimento de um Sistema de Monitoramento Remoto não Invasivo de Sinais Vitais. 2001. (Encontro).

1° Fórum Internacional Software Livre 2000. 2000. (Encontro).

9 Congresso de Iniciação Científica. Desenvolvimento de uma Interface de Programação e de Comunicação Serial, entre o PC e um Monitor de Sinais Vitais. 2000. (Congresso).

1° Escola de Microeletrônica da Sociedade Brasileira de Computação. 1999. (Encontro).

11° Encontro Nacional de Informática. 1999. (Encontro).

IV Semana Acadêmica de Informática. 1999. (Encontro).

XIV Microelectronics Seminar. 1999. (Seminário).

VI Escola de Informática da SBC-Regional Sul. 1998. (Encontro).

Seção coletada automaticamente pelo Escavador

Participação em bancas

Aluno: Rogerio Paludo

LETTNIN, D; CORDEIRO, L. C.; SILVA, K. R. G.; MORAES, R.. METODOLOGIA PARA VERIFICAÇÃO FUNCIONAL ANTECIPADA DE SOFTWARE EMBARCADO COMBINANDO PLATAFORMAS VIRTUAIS E VERIFICAÇÃO FORMAL. 2016. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

Aluno: Dominic Zijlstra

PARZYJEGLA, H.;LETTNIN, D.; GUNTZEL, J.; SANTOS, L. C.; PILLA, L. L.. Virtual Satellite Platform of On-board Computers for Space Applications. 2015. Dissertação (Mestrado em Mechanical Engineering and Transport Systems) - Beuth Hochschule für Technik Berlin.

Aluno: Edson Sorato

GUNTZEL, J. L. A.; CASTRO, A. R.; SANTOS, L. C. V.;LETTNIN, D. V.. Classificação Automática de Modulações Digitais Usando Histogramas e Máquinas de Vetores de Suporte. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

Aluno: Ismael Seidel

AGOSTINI, L. V.;LETTNIN, D. V.; SANTOS, L. C. V.. Análise do Impacto de Pel Decimation na Codificação de Vídeos de Alta Resolução. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

Aluno: Olav Henschel

SANTOS, L. C. V.; AZEVEDO, R. J.; GUNTZEL, J. L. A.;LETTNIN, D. V.. Verificação de Consistência e Coerência de Memória Compartilhada para Multiprocessamento em Chip. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

Aluno: Cládio José Martins Júnior

BEZERRA, E. A.LETTNIN, D. V.; DIAS, R. A.; CANCIAN, R. L.. RIVERSENSE: UM SISTEMA PARA MONITORAMENTO DE RIOS ATRAVÉS DE REDES DE SENSORES SEM FIO. 2013. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

Aluno: Paulo Ricardo Cechelero Villa

BEZERRA, E. A.LETTNIN, D. V.; TODT, E.; ORTMANN, M. S.. PLATAFORMA DE DESENVOLVIMENTO BASEADA EM TECNOLOGIA RECONFIGURÁVEL PARA CONVERSORES DE ENERGIA INTELIGENTES. 2013. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

Aluno: Rafael Westphal

SANTOS, L. C. V.;LETTNIN, D. V.; AZEVEDO, R. J.; OLIVEIRA, R. S.. COMPUTAÇÃO ENERGETICAMENTE EFICIENTE SOB RESTRIÇÕES DE TEMPO REAL EM DISPOSITIVOS MÓVEIS: O IMPACTO DE SE OTIMIZAR O USO DE MEMÓRIA. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

Aluno: Tiago Rogério Mück

BEZERRA, E. A.LETTNIN, D. V.; ZEFERINO, C. A.; FROHLICH, A. A. M.. PROJETO UNIFICADO DE COMPONENTES EM HARDWARE E SOFTWARE PARA SISTEMAS EMBARCADOS. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

Aluno: Vinícius dos Santos Livramento

GUNTZEL, J.;LETTNIN, D. V.; SANTOS, L. C. V.; LUBASZEWSKI, M. S.; JOHANN, M. O.. SIZING DISCRETO BASEADO EM RELAXAÇÃO LAGRANGEANA PARA MINIMIZAÇÃO DE LEAKAGE EM CIRCUITOS DIGITAIS. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

Aluno: Leonardo Kessler Slongo

BEZERRA, E. A.VARGAS, F.LETTNIN, D. V.; ROCHA, C. A. F.; MORAES, R.. Circuitos coletores de energia solar para sistemas embarcados de baixo consumo. 2013. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

Aluno: Felipe Augusto da Silva

BEZERRA, E. A.VARGAS, F.LETTNIN, D. V.; MORAES, R.; ROCHA, C. A. F.. Concepção e validação de arquitetura robusta baseada em soft processors para o uso em computadores de bordo de satélites artificiais. 2013. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

Aluno: Daniel dos Santos

LETTNIN, D. V.; BECKER, L. B.; GUNTZEL, J.;BEZERRA, E. A.. DESENVOLVIMENTO DE UM SISTEMA PARA A DETECÇÃO E O RECONHECIMENTO DE SINAIS DE TRÂNSITO BRASILEIROS. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

Aluno: Wesley Gonçalves Silva

LETTNIN, D. V.; FARINES, J. M. A.; GUNTZEL, J.;BEZERRA, E. A.. UMA NOVA ABORDAGEM PARA GERAÇÃO AUTOMÁTICA DE PROPRIEDADES PARA VERIFICAÇÃO FORMAL DE SISTEMAS DIGITAIS EM HDL. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

Aluno: Wesley Gonçalves Silva

LETTNIN, D.; FARINES, J. M. A.; GUNTZEL, J.;BEZERRA. E.. Geração Automática de Propriedades para Verificação Formal de uma Aplicação Espacial baseada em FPGA. 2013. Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Frederico Ferlini

BEZERRA. E.; MORAES, F. G.; GUNTZEL, J.;LETTNIN, D. V.. PLAESER - PLATAFORMA DE EMULAÇÃO DE SOFT ERRORS VISANDO A ANÁLISE EXPERIMENTAL DE TÉCNICAS DE TOLERÂNCIA A FALHAS: UMA PROTOTIPAÇÃO RÁPIDA UTILIZANDO FPGAS. 2012. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

Aluno: Leandro da Silva Freitas

SANTOS, L. C. V.; RIGO, S.; FURTADO, O. J. V.;LETTNIN, D. V.. Aceleradores e Multiprocessadores em Chip: o impacto da execução fora de ordem na verificação de funcionalidade e de consistência. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

Aluno: Eberle Andrey Rambo

SANTOS, L. C. V.;LETTNIN, D. V.; GUNTZEL, J.; WAGNER, F.. Verificação de Consistência de Memória para Sistemas Integrados Multiprocessados. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

Aluno: Herbert Oliveira Rocha

CORDEIRO, L. C.; BECKER, L. B.;LETTNIN, D.; BARRETO, R. S.. Verificação de Sistemas de Software baseada em Transformações de Código usando Bounded Model Checking. 2015. Tese (Doutorado em Programa de Pós-Graduação em Informática) - Universidade Federal do Amazonas.

Aluno: Carlos Ivan Castro Marquéz

CHAU, W. J.;LETTNIN, D. V.. Checagem de equivalência de sequências de estados de projetos digitais em RTL com modelos de referência em alto nível e de protocolo de comunicação. 2014. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Eduardo Sant'Ana da Silva

TODT, E.; SILVA, M. V. G.;LETTNIN, D. V.; GUEDES, A. L. P.; SANTOS, A. L.. Aplicação de técnicas de caminhos disjuntos para roteamento em systems-on-chip. 2013. Tese (Doutorado em Informática) - Universidade Federal do Paraná.

Aluno: Rafael Melo Macieira

Barros, E.; LIMA, M. E.; MOTA, A. C.;LETTNIN, D. COMUNICAÇÃO CONFIÁVEL ENTRA DEVICE DRIVERS E DISPOSITIVOS DE PLATAFORMAS EMBARCADAS ATRAVÉS DA VALIDAÇÃO DE PROPRIEDADES DESCRITAS EM CONTRATOS. 2016. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Frederico Ferlini

BEZERRA, E. A.; VILLANI, E.; POEHLS, L. M. B.; ROLDAN, H. P.;LETTNIN, D. V.. Otimização de recursos para injeção de falhas em circuitos digitais através da combinação de verificação funcional e geração automática de testes. 2014. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

Aluno: Victor Manuel Gonçalves Martins

BEZERRA, E. A.; FRAGA, J. S.; POEHLS, L. M. B.;LETTNIN, D. V.VARGAS, F.. Plataforma para Detecção e Recuperação Autónoma de Faltas Permanentes em FPGAs. 2014. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

Aluno: Herbert Oliveira Rocha

BARRETO, R. S.; CORDEIRO, L. C.;LETTNIN, D. V.. Corretude e Segurança de Sistemas Embarcados Críticos usando Bounded Model Checkers com Métodos de Verificações Simplificadas. 2013. Exame de qualificação (Doutorando em Informática) - Universidade Federal do Amazonas.

Aluno: Herbert Oliveira Rocha

CORDEIRO, L. C.;LETTNIN, D.; BARRETO, R. S.. Aperfeiçoamento da Verificação de Sistemas de Software usando Bounded Model Checker. 2013. Exame de qualificação (Doutorando em Programa de Pós-Graduação em Informática) - Universidade Federal do Amazonas.

Aluno: Pedro Veit Michel

GUNTZEL, J.; MONTORO, C. G.;LETTNIN, D.; FERAO, D. L.. Análise da tecnologia FINFET no contexto do fluxo de projeto STANDARD-CELL. 2015. Trabalho de Conclusão de Curso (Graduação em Engenharia Eletrônica) - Universidade Federal de Santa Catarina.

Aluno: Gabriel Arthur Gerber Andrade

SANTOS, L. C. V.; GUNTZEL, J.;LETTNIN, D. V.. Análise Comparativa entre dois verificadores de consistência e coerência de memória. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Eric Lucas Gavazzi Vazzoler

MORAES, R.; ROCHA, C. A. F.;LETTNIN, D.. Estudo e Desenvolvimento de Dispositivos Eletrônicos com Tecnologia HDMI. 2014. Trabalho de Conclusão de Curso (Graduação em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

Aluno: Diego Te li

LETTNIN, D. V.BEZERRA, E. A.; MORAES, R.; BARRAULT, G.. DESENVOLVIMENTO DE UM SIMULADOR DE IMPLANTE COCLEAR. 2013. Trabalho de Conclusão de Curso (Graduação em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

Aluno: Filipe Giacomelli

SILVA, A. S. E.;BEZERRA, E. A.LETTNIN, D. V.. Automatização de Testes em Modelos de Simulação Utilizados em Aplicações Aeronáuticas. 2012. Trabalho de Conclusão de Curso (Graduação em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

Aluno: Ismael Seidel

GUNTZEL, J.;LETTNIN, D. V.; LIVRAMENTO, V.. Investigação de Padrões de Subamostragem em Métrica de Similaridade de Imagem. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Jucemar Luis Monteiro

GUNTZEL, J.; BATISTA, E.;LETTNIN, D. V.. Hierarchical Add One Carry Select Adder: Um Somador Select-Adder com Cadeia de Carry Logarítimca. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Carlos Eduardo de Campos

GUNTZEL, J.;LETTNIN, D. V.; LIVRAMENTO, V.. Projeto de um Controlador de Acesso Direto à Memória de Multi Canais. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

BEZERRA, E. A.LETTNIN, D. V.. Hardware. 2013. Universidade Federal de Santa Catarina.

SIMAO, E.;LETTNIN, D. V.; FABRI, J. A.; GENVIGIR, E. C.. Sistemas Digitais. 2012. Universidade Federal de Santa Catarina.

GARCIA, T.;LETTNIN, D. V.; BATISTA, E.. Hardware. 2011. Universidade Federal de Santa Catarina.

LETTNIN, D.; SUZUKI, D.; BATISTA, E.; SOUSA, F. R.. Processo Seletivo Simplificado. 2015. Universidade Federal de Santa Catarina.

NASPOLINI, H.; LIVRAMENTO, C.; RAMBO, C.;LETTNIN, D.. Processo Seletivo Simplificado. 2013. Universidade Federal de Santa Catarina.

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

Elton Regis Cordero Spode

SPODE, E. R. C.; VARGAS, F.; MACARTHY, M.. ESPECIFICAÇÃO DE UM SISTEMA DE CLASSIFICAÇÃO DE ELETROCARDIOGRAMA UTILIZANDO REDES NEURAIS ARTIFICIAIS. 2002. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Pelotas.

Marcello da Rocha Macarthy

MACARTHY, M. R.VARGAS, F.; SPODE, E. R. C.. Especificação de Um Sistema de Classificação de Eletrocardiograma Utilizando Redes Neurais Artificiais. 2002. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Pelotas.

Rubem Dutra Ribeiro Fagundes

FAGUNDES, Rubem D. R.VARGAS, Fabian LuisBEZERRA, Eduardo. Proposta de um núcleo de IP para classificação de sinais cardíacos baseado em técnicas de redes neurais e de tolerância a falhas. 2003. Dissertação (Mestrado em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio Grande do Sul.

Flávio Rech Wagner

WAGNER, F.R.. Proposta de um Núcleo de IP para Classificação de Sinais Cardíacos Baseado em Técnicas de Redes Neurais e de Tolerância a Falhas. 2004. Dissertação (Mestrado em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio Grande do Sul.

Eduardo Augusto Bezerra

Bezerra, E. A.DUTRA, Rubens Fagundes; WAGNER, Flavio Rech;VARGAS, Fabian Luis. Proposta de um nucleo de IP para classificacao de sinais cardiacos baseado em tecnicas de redes neurais e de tolerancia a falhas.. 2004. Dissertação (Mestrado em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio Grande do Sul.

Seção coletada automaticamente pelo Escavador

Orientou

Carla Mendes da Silva

Métricas de cobertura para verificação semiformal; Início: 2014; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico; (Orientador);

Fabrizio Maziero

Verificação Semiformal de Hardware; Início: 2014; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico; (Orientador);

Douglas Schroeder

Verificação de Software Embarcado; Início: 2013; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);

Tomás Grimm

AUTOMOTIVE LOW DISTANCE WIRELESS COMMUNICATIONS CHANNEL MODELING AND VERIFICATION FOR LOW POWER SYSTEMS; Início: 2014; Tese (Doutorado em Department of Electrical Engineering and Informati) - Ruhr-Universität Bochum, Conselho Nacional de Desenvolvimento Científico e Tecnológico; (Coorientador);

Frederico Ferlini

Otimização de recursos para injeção de falhas em circuitos digitais através da combinação de verificação funcional e geração automática de testes; Início: 2013; Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico; (Coorientador);

Vinícius Domingos Alves

Verificação Formal de Computadores de Bordo para Aplicações Espaciais (VEROBC); Início: 2015; Iniciação científica (Graduando em Engenharia Elétrica) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico; (Orientador);

Arthur Bianchini

Sistemas Embarcados com Plataformas Intel; Início: 2015; Iniciação científica (Graduando em Engenharia Elétrica) - Universidade Federal de Santa Catarina; (Orientador);

Victor Eberhardt Menegon

Verificação Formal de Processador MSP430; Início: 2015; Orientação de outra natureza; Ruhr-Universität Bochum; Conselho Nacional de Desenvolvimento Científico e Tecnológico; (Orientador);

Rogerio Paludo

METODOLOGIA PARA VERIFICAÇÃO FUNCIONAL ANTECIPADA DE SOFTWARE EMBARCADO COMBINANDO PLATAFORMAS VIRTUAIS E VERIFICAÇÃO FORMAL; 2016; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Djones Vinicius Lettnin;

Dominic Zijlstra

Virtual Satellite Platform of On-board Computers for Space Applications; 2015; Dissertação (Mestrado em Mechanical Engineering and Transport Systems) - Beuth Hochschule für Technik Berlin,; Coorientador: Djones Vinicius Lettnin;

Wesley Gonçalves Silva

UMA NOVA ABORDAGEM PARA GERAÇÃO AUTOMÁTICA DE PROPRIEDADES PARA VERIFICAÇÃO FORMAL DE SISTEMAS DIGITAIS EM HDL; 2013; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Djones Vinicius Lettnin;

Daniel dos Santos

DESENVOLVIMENTO DE UM SISTEMA PARA A DETECÇÃO E O RECONHECIMENTO DE SINAIS DE TRÂNSITO BRASILEIROS; 2013; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina,; Orientador: Djones Vinicius Lettnin;

Stefanie Ipfiling

Efficiency comparison of verification methods applied to PSS embedded software; 2010; Dissertação (Mestrado em Engenharia da Computação) - Eberhard Karls Universität Tübingen,; Orientador: Djones Vinicius Lettnin;

Markus Thüringer

Extension of a SystemC Microprocessor Model with Interrupt Capabilities; 2008; Dissertação (Mestrado em Engenharia da Computação) - Eberhard Karls Universität Tübingen,; Orientador: Djones Vinicius Lettnin;

Tobias Kirsten

Specification of Properties and Verification of an EEPROM Emulation Software; 2007; Dissertação (Mestrado em Ciência da Computação) - Eberhard Karls Universität Tübingen,; Orientador: Djones Vinicius Lettnin;

Yuhui Wang

Investigation of Actual Methods for the Verification of Embedded Software based on an Industrial Example; 2006; 98 f; Dissertação (Mestrado em Informatik) - University of Tübingen,; Orientador: Djones Vinicius Lettnin;

Diego Te li

DESENVOLVIMENTO DE UM SIMULADOR DE IMPLANTE COCLEAR; 2013; Trabalho de Conclusão de Curso; (Graduação em Engenharia Elétrica) - Universidade Federal de Santa Catarina; Orientador: Djones Vinicius Lettnin;

Alexander Gruenhage

Conversion of Embedded Software in SystemC Model for the Assertion-based Verification; 2008; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - University of Tübingen; Orientador: Djones Vinicius Lettnin;

Eduardo Nieves

Comparison of Temporal Properties Verification between SCTC ans Specman Elite Tools; 2007; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Eberhard Karls Universität Tübingen; Orientador: Djones Vinicius Lettnin;

Victor Eberhardt Menegon

Projeto e Teste de Sistemas Embarcados Espaciais (ProTeSE); 2013; Iniciação Científica; (Graduando em Engenharia Elétrica) - Universidade Federal de Santa Catarina; Orientador: Djones Vinicius Lettnin;

Mateus Antonio Thiesen Lehmkuhl

Projeto e Teste de Sistemas Embarcados Espaciais (ProTeSE); 2013; Iniciação Científica; (Graduando em Engenharia Eletrônica) - Instituto Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Djones Vinicius Lettnin;

Pedro Martins Vieira

Projeto e Teste de Sistemas Embarcados Espaciais (ProTeSE); 2013; Iniciação Científica; (Graduando em Engenharia Eletrônica) - Instituto Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Djones Vinicius Lettnin;

Rodrigo Travessini

Tecnologias habilitadoras para o projeto de sistemas embarcados: ferramentas de desenvolvimento, técnicas de programação e plataformas de prototipação; 2011; Iniciação Científica; (Graduando em Engenharia Elétrica) - Universidade Federal de Santa Catarina, Universidade Federal de Santa Catarina; Orientador: Djones Vinicius Lettnin;

Kassia Toccolini

Tecnologias habilitadoras para o projeto de sistemas embarcados: ferramentas de desenvolvimento, técnicas de programação e plataformas de prototipação; 2011; Iniciação Científica; (Graduando em Engenharia Elétrica) - Universidade Federal de Santa Catarina, Universidade Federal de Santa Catarina; Orientador: Djones Vinicius Lettnin;

Lucas Lazare

Avaliação do Projeto e Implementação de Sistemas Embarcados usando Intel SoC Quark; 2014; Orientação de outra natureza; (Engenharia Elétrica) - Universidade Federal de Santa Catarina, Intel Semicondutores do Brasil; Orientador: Djones Vinicius Lettnin;

Rafael Osmari

Avaliação do Projeto e Implementação de Sistemas Embarcados usando Intel SoC Quark; 2014; Orientação de outra natureza; (Engenharia Elétrica) - Universidade Federal de Santa Catarina, Intel Semicondutores do Brasil; Orientador: Djones Vinicius Lettnin;

Vinicius de Morais Justo

Estágio Obrigatório - TCE449851 - Empresa Wavetech; 2013; Orientação de outra natureza; (Engenharia de Controle e Automação) - Universidade Federal de Santa Catarina; Orientador: Djones Vinicius Lettnin;

Francisco Edson Nogueira de Melo

Projeto e Teste de Sistemas Embarcados Espaciais (ProTeSE); 2013; Orientação de outra natureza; (Engenharia Eletrônica) - Instituto Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Djones Vinicius Lettnin;

Marco Antonio de Oliveira

Estágio Não-Obrigatório - TCE433970 - Empresa DHW; 2012; Orientação de outra natureza; (Engenharia Elétrica) - Universidade Federal de Santa Catarina; Orientador: Djones Vinicius Lettnin;

Seção coletada automaticamente pelo Escavador

Foi orientado por

Marcello da Rocha Macarthy

Sistema Remoto de Sinais Não Invasivos; 2000; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Pelotas, Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul; Orientador: Marcello da Rocha Macarthy;

Guillaume François Gilbert Barrault

Desenvolvimento de um simulador de implante coclear; 2013; Trabalho de Conclusão de Curso; (Graduação em Engenharia Elétrica) - Universidade Federal de Santa Catarina; Orientador: Guillaume François Gilbert Barrault;

Fabian Luis Vargas

Proposta de um Núcleo de IP para Classificação de Sinais Cardíacos Baseado em Técnicas de Redes Neurais e de Tolerância a Falhas; 2004; 147 f; Dissertação (Mestrado em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio Grande do Sul,; Orientador: Fabian Luis Vargas;

Fabian Luis Vargas

Desenvolvimento de Software de Comunicação para o Microcontrolador PIC18 Baseado na Interface RS232; 2001; 0 f; Trabalho de Conclusão de Curso; (Graduação em Informática) - Universidade Federal de Pelotas; Orientador: Fabian Luis Vargas;

Fabian Luis Vargas

Desenvolvimento de Software de Comunicação para o Microcontrolador PIC18 Baseado na Interface RS232; 2000; 0 f; Iniciação Científica; (Graduando em Informática) - Universidade Federal de Pelotas, Parks S A Comunicações Digitais; Orientador: Fabian Luis Vargas;

Seção coletada automaticamente pelo Escavador

Produções bibliográficas

  • BEHREND, JÖRG ; LETTNIN, DJONES ; GRÜNHAGE, ALEXANDER ; RUF, Jürgen ; KROPF, Thomas ; ROSENSTIEL, Wolfgang . Scalable and Optimized Hybrid Verification of Embedded Software. Journal of Electronic Testing , v. 1, p. 1, 2015.

  • TEFILI, D. ; BARRAULT, G. ; FERREIRA, A. A. ; CORDIOLI, J. A. ; LETTNIN, D. V. . Implantes cocleares: aspectos tecnológicos e papel socioeconômico. Revista Brasileira de Engenharia Biomédica (Impresso) , v. 29, p. 414-433, 2013.

  • LETTNIN, D ; Winterholer, M. . Embedded Software Verification and Debugging. 1. ed. New York: Springer New York, 2017. v. 1. 208p .

  • Bezerra, Eduardo Augusto ; Lettnin, Djones Vinicius . Synthesizable VHDL Design for FPGAs. 1. ed. Springer International Publishing, 2014. 157p .

  • LETTNIN, D. V. . Verification of Temporal Properties in Embedded Software: based on Assertion and Semiformal Verification Approaches. 1. ed. Suedwestdeutscher Verlag fuer Hochschulschriften, 2009. v. 1. 160p .

  • LETTNIN, DJONES ; WINTERHOLER, MARKUS . An Overview About Debugging and Verification Techniques for Embedded Software. Embedded Systems. 1ed.: Springer New York, 2017, v. , p. 1-18.

  • BEHREND, JÖRG ; LETTNIN, DJONES ; GRÜNHAGE, ALEXANDER ; RUF, Jürgen ; KROPF, Thomas ; ROSENSTIEL, Wolfgang . Scalable and Optimized Hybrid Verification of Embedded Software. Embedded Systems. 1ed.: Springer New York, 2017, v. , p. 183-205.

  • Braun, Axel G. ; Lettnin, Djones V. ; GERLACH, Joachim ; ROSENSTIEL, Wolfgang . Automated Conversion of SystemC Fixed-Point Data Types. In: Manfred Glesner; Ricardo Reis; Leandro Indrusiak; Vincent Mooney; Hans Eveking. (Org.). VLSI-SOC: From Systems to Chips. 200ed.: Kluwer Academic Publishers, 2006, v. , p. 55-72.

  • LETTNIN, D. ; BEZERRA. E. . DESAFIO EM SISTEMAS EMBARCADOS: Projeto desenvolve novas abordagens de teste e de verificação para sistemas embarcados. Revista FAPEU - UFSC, Florianópolis.

  • GRIMM, TOMAS ; LETTNIN, DJONES ; HUBNER, MICHAEL . Semiformal Verification of Software-Controlled Connections. In: 2017 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 2017, Bochum. 2017 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 2017. p. 556.

  • ZIJLSTRA, D. ; PALUDO, R. ; SILVA, C. M. ; LETTNIN, D . Virtual Satellite Platform of an On-board Computer for Space Applications. In: II Latin American IAA CubeSat Workshop, 2016, Florianópolis. II Latin American IAA CubeSat Workshop, 2016.

  • PALUDO, R. ; LETTNIN, D . A Methodology for Early Functional Verification of Embedded Software Combining Virtual Platforms and Bounded Model Checking. In: IEEE Latin-American Test Symposium, 2016, Foz do Iguaçu. IEEE Latin-American Test Symposium, 2016.

  • VILLA, PAULO R. C. ; BEZERRA, EDUARDO A. ; Lettnin, Djones V. ; MUSSA, SAMIR A. . A reconfigurable hardware platform for power converter control systems. In: 2015 IEEE International Conference on Industrial Technology (ICIT), 2015, Seville. 2015 IEEE International Conference on Industrial Technology (ICIT). p. 1560.

  • MAZIERO, F. ; LETTNIN, D. . CCSDS Protocol Verification based on UVM. In: Cadence CDNLive EMEA 2015, 2015, Munique. Cadence CDNLive EMEA 2015, 2015.

  • MARTINS, VICTOR M. GONCALVES ; FERLINI, FREDERICO ; Lettnin, Djones Vinicius ; Bezerra, Eduardo Augusto . Low cost fault detector guided by permanent faults at the end of FPGAs life cycle. In: 2014 15th Latin American Test Workshop LATW, 2014, Fortaleza. 2014 15th Latin American Test Workshop - LATW, 2014. p. 1.

  • BEHREND, JORG ; GRUENHAGE, ALEXANDER ; SCHROEDER, DOUGLAS ; LETTNIN, DJONES ; RUF, JURGEN ; KROPF, Thomas ; ROSENSTIEL, Wolfgang . Optimized hybrid verification of embedded software. In: 2014 15th Latin American Test Workshop LATW, 2014, Fortaleza. 2014 15th Latin American Test Workshop - LATW, 2014. p. 1.

  • SILVA, W. ; MAZIERO, F. ; BEZERRA. E. ; LETTNIN, D. . Property Generation for Formal and Simulation-based Verification of an On-Board Computer for Space Applications. In: 1st Latin American IAA CubeSat WorkShop, 2014, Brasilia. 1st Latin American IAA CubeSat WorkShop, 2014.

  • VILLA, P. R. C. ; SLONGO, L. K. ; SALAMANCA, J. J. L. ; MARTINS, VICTOR M. GONCALVES ; MARTINEZ, S. V. ; MARIGA, L. ; EITERER, B. V. B. ; VIDAL, I. A. ; MENEGON, V. E. ; COELHO, L. N. ; PAIVA, K. ; SPENGLER, A. W. ; BECKER, L. B. ; LETTNIN, D. ; BEZERRA. E. . A complete CubeSat mission: the Floripa-Sat experience. In: 1st Latin American IAA CubeSat WorkShop, 2014, Brasilia. 1st Latin American IAA CubeSat WorkShop, 2014.

  • SILVA, WESLEY ; BEZERRA, EDUARDO ; WINTERHOLER, MARKUS ; LETTNIN, DJONES . Automatic property generation for formal verification applied to HDL-based design of an on-board computer for space applications. In: 2013 14th Latin American Test Workshop LATW, 2013, Cordoba. 2013 14th Latin American Test Workshop - LATW. p. 1.

  • SILVA, W. ; MATOS, R. ; LETTNIN, D. V. ; BEZERRA. E. . Semi-automatic Property Generation for the Formal Verification of a Satellite On-board System. In: II Brazilian Conference on Critical Embedded Systems, 2012, Campinas. II Brazilian Conference on Critical Embedded Systems, 2012.

  • FERLINI, FREDERICO ; DA SILVA, FELIPE A. ; BEZERRA, EDUARDO A. ; LETTNIN, DJONES V. . Non-intrusive fault tolerance in soft processors through circuit duplication. In: 2012 13th Latin American Test Workshop LATW, 2012, Quito. 2012 13th Latin American Test Workshop (LATW). p. 1.

  • BEHREND, JO'RG ; LETTNIN, D ; HECKELER, P ; RUF, J ; KROPF, T ; ROSENSTIEL, W . Scalable hybrid verification for embedded software. In: 2011 Design, Automation & Test in Europe, 2011, Grenoble. 2011 Design, Automation & Test in Europe. p. 1.

  • LETTNIN, DJONES ; ROSENSTIEL, Wolfgang . Hybrid verificatio of temporal properties in hardware dependent software. In: 2011 12th Latin American Test Workshop LATW, 2011, Beach of Porto de Galinhas. 2011 12th Latin American Test Workshop (LATW). p. 1.

  • Behrend, J. ; Heckeler, P. ; Huster, Stefan ; LETTNIN, D. V. ; RUF, Jürgen ; KROPF, Thomas ; ROSENSTIEL, Wolfgang . Scalable and Extendable Hybrid Verification Platform. In: 14. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2011, Oldenburg. 14. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2011.

  • Winterholer, M. ; LETTNIN, D. V. . Power Management Test and Verification for Hardware/Software Systems. In: Embedded World Conference, 2011, Dresden. Embedded World Conference, 2011.

  • BRAUN, ANDREAS ; BRINGMANN, OLIVER ; LETTNIN, DJONES ; ROSENSTIEL, Wolfgang . Simulation-based verification of the MOST NetInterface specification revision 3.0. In: 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), 2010, Dresden. 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010). p. 538.

  • LETTNIN, D. ; NALLA, P.K. ; Behrend, J. ; RUF, J. ; GERLACH, J. ; KROPF, T. ; ROSENSTIEL, W. ; SCHONKNECHT, V. ; Reitemeyer, S. . Semiformal verification of temporal properties in automotive hardware dependent software. In: 2009 Design, Automation & Test in Europe Conference & Exhibition (DATE'09), 2009, Nice. 2009 Design, Automation & Test in Europe Conference & Exhibition. v. 1. p. 1214-1217.

  • LETTNIN, DJONES ; NALLA, PRADEEP K. ; RUF, JURGEN ; KROPF, Thomas ; ROSENSTIEL, Wolfgang ; KIRSTEN, TOBIAS ; SCHONKNECHT, VOLKER ; REITEMEYER, STEPHAN . Verification of Temporal Properties in Automotive Embedded Software. In: 2008 Design, Automation and Test in Europe, 2008, Munich. 2008 Design, Automation and Test in Europe. p. 164-169.

  • LETTNIN, D. V. ; ROSENSTIEL, Wolfgang . Verification of Temporal Properties in Embedded Software. In: IP 08 (IP-Based System Design), 2008, Grenoble. IP 08 (IP-Based System Design), 2008.

  • LETTNIN, D. V. ; NALLA, Pradeep ; RUF, Jürgen ; WEISS, Roland ; BRAUN, Axel ; GERLACH, Joachim ; KROPF, Thomas ; ROSENSTIEL, Wolfgang . Semiformal Verification of Temporal Properties in Embedded Software. In: 10. Methoden und Beschreibungsprachen zur Modellierung und Verifikation von Schaltungen und Systemen - MBMV 07, 2007, Erlangen. 10. Methoden und Beschreibungsprachen zur Modellierung und Verifikation von Schaltungen und Systemen - MBMV 07, 2007.

  • LETTNIN, DJONES ; WINTERHOLER, MARKUS ; BRAUN, Axel ; GERLACH, Joachim ; RUF, JURGEN ; KROPF, Thomas ; ROSENSTIEL, Wolfgang . Coverage Driven Verification applied to Embedded Software. In: , 2007, Porto Alegre. . p. 159.

  • LETTNIN, D. V. ; WEISS, Roland J. ; BRAUN, Axel ; RUF, Jürgen ; ROSENSTIEL, Wolfgang . Temporal Properties Verification of System Level Design. In: Workshop on Object Oriented Software Design for Real Time and Embedded Computer Systems, 2005, Erfurt. Proceedings Net.ObjectDays 2005, 2005. v. 1. p. 271-282.

  • LETTNIN, D. V. ; BRAUN, Axel ; BODGAN, M. ; GERLACH, Joachim ; ROSENSTIEL, Wolfgang . Synthesis of Embedded SystemC Design: A Case Study of Digital Neural Networks. In: Design, Automation and Test in Europe, 2004, Paris. Design, Automation and Test in Europe, 2004.

  • VARGAS, F. ; BRUM, D. B. de ; PRESTES, D. ; BOLZANI, L. ; LETTNIN, D. V. ; RODRIGUES, G. M. . On the Study of the Effectiveness of SW-Based Fault Handling Mechanisms to Cope with IC Conducted Electromagnetic Interference. In: IX Workshop IBERCHIP, 2003, La Havana. Proceedings of the IX Workshop IBERCHIP, 2003. v. único.

  • LETTNIN, D. V. ; VARGAS, F. ; MACARTHY, M. . Estudo de um Sistema de Classificação de Batimentos Cardíacos Utilizando Redes Neurais. In: VIII Workshop Iberchip, 2002, Guadalajara. Proceedings of the VIII Workshop IBERCHIP, 2002.

  • VARGAS, F. ; LETTNIN, D. V. ; CASTRO, M. C. F. ; MACARTHY, M. . Electrocardiogram Pattern Recognition by Means of MLP Network and PCA: a Case Study on Equal amount of Input Signal Types. In: VII-Brazilian Symposium on Neural Networks - IEEE Computer Society, 2002, Porto de Galinhas. Proceedings of the VII Brazilian Symposium on Neural Networks. Los Alamitos - CA: Proceedings of the VII Brazilian Symposium on Neural Networks, 2002. v. único.

  • LETTNIN, D. V. ; VARGAS, F. ; BRUM, Diogo ; PRESTES, D. . A New Learning Approach to Design Fault Tolerant ANNs: Finally a Zero HW-SW Overhead. In: II Forum de Estudantes de Microeletrônica-SBCCI2002, 2002, Porto Alegre. II Fórum de Estudantes em Microeletrônica, 2002.

  • VARGAS, F. ; LETTNIN, D. V. ; BRUM, D. B. de ; PRESTES, D. . A New Learning Approach to Design Fault Tolerant ANNs: Finally a zero HW-SW Overhead. In: 11th IEEE Asian Test Symposium, 2002, Guam - USA. Proceedings of the 11th IEEE Asian Test Symposium - ATS'02. Los Alamitos: Proceedings of the 11th IEEE Asian Test Symposium - ATS'02, 2002. v. único.

  • MAZIERO, F. ; LETTNIN, D . Functional Verification of a Hardware Satellite Communication Module. In: II Latin American IAA CubeSat Workshop, 2016. II Latin American IAA CubeSat Workshop, 2016.

  • LETTNIN, D. V. ; ROSENSTIEL, Wolfgang . Verification of Temporal Properties in Embedded Software. In: IV Simpósio Brasil-Alemanha, 2009, Curitiba. IV Simpósio Brasil-Alemanha.

  • LETTNIN, D. V. ; ROSENSTIEL, Wolfgang . SofTPaDS: Semiformal Verification of Temporal Properties in Hardware Dependent Software. In: EDAA/DATE PhD Forum at Design, Automotive and Test in Europe (DATE08), 2008, Munique. DATE PhD Forum at Design, Automotive and Test in Europe (DATE08), 2008.

  • LETTNIN, D. V. ; MACARTHY, M. ; VARGAS, F. . Especificação de um Sistema de Classificação de Batimentos Cardíacos Utilizando Redes Neurais. In: 10 Congresso de Iniciação Ciêntífica, Prêmio Jovem Pesquisador- 3º Encontro da pós-graduação, 2002, Pelotas. 10 Congresso de Iniciação Ciêntífica, Prêmio Jovem Pesquisador- 3º Encontro da pós-graduação. Rio Grande: FURG, 2002. v. 1.

  • LETTNIN, D. V. ; VARGAS, F. ; MACARTHY, M. . Sistema para Classificação de Batimentos Cardíacos Utilizando Redes Neurais Aritificiais. In: Congresso de Iniciação Cientiífica, 2001, Rio Grande. CD- Congresso Iniciação Ciêntífica, 2001.

  • Winterholer, M. ; LETTNIN, D. V. . Software Development, Debugging and Verification on a Virtual Prototype. 2012. (Apresentação de Trabalho/Congresso).

  • LETTNIN, D. V. ; ROSENSTIEL, Wolfgang . Hybrid Verification of Temporal Properties in Hardware Dependent Software. 2011. (Apresentação de Trabalho/Conferência ou palestra).

  • Behrend, J. ; LETTNIN, D. V. ; Heckeler, P. ; RUF, Jürgen ; KROPF, Thomas ; ROSENSTIEL, Wolfgang . Scalable Hybrid Verification for Embedded Software. 2011. (Apresentação de Trabalho/Conferência ou palestra).

  • LETTNIN, D. V. . Verification of Embedded Software. 2011. (Apresentação de Trabalho/Seminário).

  • LETTNIN, D. V. . Sistemas Embarcados. 2009. (Apresentação de Trabalho/Conferência ou palestra).

  • LETTNIN, D. V. ; Winterholer, M. ; ROSENSTIEL, Wolfgang . Coverage-Driven Verification applied to Embedded Software. 2009. (Apresentação de Trabalho/Simpósio).

  • LETTNIN, D. V. ; ROSENSTIEL, Wolfgang . Verification of Temporal Properties in Embedded Software. 2009. (Apresentação de Trabalho/Simpósio).

  • LETTNIN, D. V. ; NALLA, Pradeep ; Joerg Behrend ; RUF, Jürgen ; GERLACH, Joachim ; KROPF, Thomas ; ROSENSTIEL, Wolfgang ; Schönknecht, V. ; Reitemeyer, S. . Semiformal Verification of Temporal Properties in Automotive Hardware-Dependent Software. 2009. (Apresentação de Trabalho/Congresso).

  • LETTNIN, D. V. ; Winterholer, M. ; ROSENSTIEL, Wolfgang . Coverage-Driven Verification applied to Embedded Software. 2008. (Apresentação de Trabalho/Conferência ou palestra).

  • LETTNIN, D. V. ; NALLA, Pradeep ; RUF, Jürgen ; KROPF, Thomas ; ROSENSTIEL, Wolfgang ; Kirsten, T. ; Schönknecht, V. ; Reitemeyer, S. . Verification of Temporal Properties in Automotive Embedded Software. 2008. (Apresentação de Trabalho/Congresso).

  • LETTNIN, D. V. ; ROSENSTIEL, Wolfgang . Verification of Temporal Properties in Embedded Software. 2008. (Apresentação de Trabalho/Simpósio).

  • LETTNIN, D. V. ; ROSENSTIEL, Wolfgang . SofTPaDS: Semiformal Verification of Temporal Properties in Hardware Dependent Software. 2008. (Apresentação de Trabalho/Outra).

  • LETTNIN, D. V. . Coverage-Driven Verification applied to Embedded Software. 2007. (Apresentação de Trabalho/Seminário).

  • LETTNIN, D. V. ; NALLA, Pradeep ; WEISS, Roland ; BRAUN, Axel ; GERLACH, Joachim ; KROPF, Thomas ; ROSENSTIEL, Wolfgang . Semiformal Verification of Temporal Properties in Embedded Software. 2007. (Apresentação de Trabalho/Simpósio).

  • LETTNIN, D. V. ; Winterholer, M. ; BRAUN, Axel ; GERLACH, Joachim ; RUF, Jürgen ; KROPF, Thomas ; ROSENSTIEL, Wolfgang . Coverage Driven Verification applied to Embedded Software. 2007. (Apresentação de Trabalho/Simpósio).

  • LETTNIN, D. V. . Verification of Embedded Software. 2007. (Apresentação de Trabalho/Seminário).

  • LETTNIN, D. V. ; ROSENSTIEL, Wolfgang . SystemC Temporal Checker. 2007. (Apresentação de Trabalho/Congresso).

  • LETTNIN, D. V. . SofTPaDS: Semiformal Verification of Temporal Properties in Hardware Dependent Software. 2007. (Apresentação de Trabalho/Conferência ou palestra).

  • LETTNIN, D. V. . Coverage Driven Verification applied to Embedded Software. 2006. (Apresentação de Trabalho/Conferência ou palestra).

  • LETTNIN, D. V. ; WEISS, Roland ; BRAUN, Axel ; RUF, Jürgen ; ROSENSTIEL, Wolfgang . Temporal Properties Verification of System Level Design. 2005. (Apresentação de Trabalho/Simpósio).

  • LETTNIN, D. V. ; VARGAS, F. ; BRUM, Diogo ; PRESTES, D. . A New Learning. Approach to Design Fault Tolerant ANNs: Finally a Zero HW-SW Overhead. 2002. (Apresentação de Trabalho/Conferência ou palestra).

  • LETTNIN, D. V. ; McMillan, K. . Evaluation of IMPACT model checker 2008 (Technical Report).

  • RUF, Jürgen ; WEISS, Roland ; LETTNIN, D. V. ; LÄMMERMANN, Stefan ; KROPF, Thomas ; ROSENSTIEL, Wolfgang . SystemC Temporal Checker. Tübingen: Department of Computer Engineering, 2006 (Technical Report).

Seção coletada automaticamente pelo Escavador

Outras produções

LETTNIN, D. V. ; Hopf, Geraldine ; Schmidt, Hans-Peter . RC-Win - Windows based navigation software. 2010.

LETTNIN, D. V. ; Hopf, Geraldine ; Schmidt, Hans-Peter . Electronic log book for Deutsch Bahn Car Sharing (German Rail). 2010.

LETTNIN, D. . Projeto e Verificação de Hardware/Software utilizando SystemC. 2011. (Curso de curta duração ministrado/Extensão).

Seção coletada automaticamente pelo Escavador

Projetos de pesquisa

  • 2014 - Atual

    Co-Verificação Semiformal de Sistemas Embarcados Espaciais (CoVerSEE), Descrição: Há alguns anos atrás, a principal declaração entre os engenheiros de verificação era ?erros em hardware custam dinheiro?. Hoje em dia, a quantidade de software utilizado em produtos eletrônicos embarcados tem aumentado e essa tendência deve continuar no futuro. A principal razão é o advento dos microprocessadores e da flexibilidade de futuras inovações funcionais com software embarcado. Software embarcado é muito flexível, a fim de implementar funcionalidades importantes e inovações funcionais. No entanto, os custos de desenvolvimento de software embarcado estão se tornando enormes e seu valor em sistemas críticos está aumentando. Assim, a declaração inicial pode ser atualizada para ?erros em hardware e em software custam muito dinheiro?. Portanto, a verificação e depuração de sistemas complexos deve considerar ambos os módulos de hardware e de software embarcado. Considerando como exemplo de aplicação a área de projeto de satélites artificiais, a inserção do Brasil no grupo de países auto-suficientes em relação à tecnologia aeroespacial, ou seja, com capacidade de desenvolvimento e de lançamento de satélites passa impreterivelmente pela formação de recursos humanos na área de projeto e teste (i.e., verificação) de sistemas embarcados espaciais. Essa formação é fundamental para possibilitar a fabricação nacional de circuitos robustos ao ambiente espacial e que atendam as normas já existentes como as da Agência Espacial Européia (ESA) para qualificação desses sistemas compostos por módulos de hardware e software. Neste contexto, a área de Pesquisa & Desenvolvimento (P&D) envolvendo o projeto e verificação de sistemas embarcados críticos é um dos temas que mais tem recebido atenção nos últimos anos, tanto por parte da academia quanto por parte da indústria eletrônica mundial. No Brasil, porém, este tema ainda tem sido investigado apenas em algumas poucas universidades, uma vez que o número de empresas atuando no desenvolvimento de SoCs (System-on-a-chip) e sistemas embarcados ainda é muito pequeno. Entretanto, pela importância que este tema deverá assumir nos próximos anos, é de suma importância para o desenvolvimento tecnológico da nação que este seja devidamente investigado e explorado já durante a graduação nos cursos de engenharia (e.g., Engenharias Elétrica, Eletrônica e Computação). Desta forma, objetiva-se ao final deste projeto dispor de um novo sistema eficiente para co-verificação de módulos críticos de hardware e software e, como aplicação-alvo, aplicada a um sistema de computador de bordo de um satélite artificial, mas cujos resultados serão extrapolados para outras possibilidades de aplicação, já que o foco principal deste projeto é o desenvolvimento do sistema e da metodologia de co-verificação de hardware e software.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Djones Vinicius Lettnin - Coordenador / Fabrizio Maziero - Integrante / Rogerio Paludo - Integrante.

  • 2013 - Atual

    Floripa-Sat ? Ensino, pesquisa e desenvolvimento em Engenharia Aeroespacial por intermédio de um payload voltado para Energy Harvesting, Descrição: O Floripa-Sat consiste em uma iniciativa de pesquisadores e alunos da UFSC visando o desenvolvimento de um payload para propiciar a geração de energia (Energy Harvesting) a partir da diferença de temperatura alcançada pelo satélite ao longo de um dia ? próximo a superfície das placas solares esta temperatura tem uma excursão grande, principalmente enquanto o satélite está no sol e quando está na parte não iluminada.. O satélite considerado no presente projeto é do tipo Cubesat, sendo este um padrão já estabelecido e com uma boa infraestrutura para lançamentos. O satélite proposto é composto pelos seguintes módulos e subsistemas: Computador de bordo (On-Board Computer, OBC); Software de gerência de tempo; Subsistema de TC/TM; Subsistema de energia; Painéis solares; Bateria recarregável; Gabinete; e finalmente o payload proposto de Energy Harvesting. O payload proposto consiste de um módulo termoelétrico para fazer o Energy Harvesting a partir das diferenças de temperatura próximas ás placas solares. Seria interessante poder contar também com magnetômetros e rodas de reação, possibilitando assim um controle de atitude. Neste sentido, pretende-se realizar um estudo para identificar a capacidade de um Cubesat fornecer a energia necessária. As atividades a serem realizadas pela plataforma de serviço devem ser simples e objetivas, visando máxima eficiência energética. Basicamente, a telemetria coletada dos subsistemas de bordo, incluindo do payload de Energy Harvesting, é enviada pelo OBC para o subsistema de TC/TM, que realiza a comunicação entre o satélite e estações terrestres. No nano-satélite em questão os TCs previstos servirão apenas para o controle da missão realizar interações mínimas com o satélite. Informações de TM podem ser a resposta do sistema a um determinado TC, informações de tempo (relógio interno), situações de exceção, entre outros. O fluxo de funcionamento do sistema de comunicação completo incluindo o OBC e o subsistema de TC/TM consiste no seguinte: ? O módulo de radiofrequência (transponder) recebe dados da Terra; ? Um algoritmo de correção de erros é utilizado durante a recepção e decodificação dos TCs; ? Após decodificados, os dados são aceitos ou rejeitados, e uma retransmissão poderá ser solicitada a estação terrestre. ? O OBC distribui os comandos aos demais subsistemas do satélite; ? Os dados processados pelo OBC são codificados e enviados como telemetria para a estação Terrestre, utilizando o módulo de comunicação RF.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (4) / Doutorado: (4) . , Integrantes: Djones Vinicius Lettnin - Integrante / Eduardo A. Bezerra - Integrante / Francisco Edson Nogueira de Melo - Integrante / Jean Marie Alexandre Farines - Integrante / Juan Pablo Salazar - Integrante / Rafael de Camargo Catapan - Integrante / Leandro Buss Becker - Coordenador., Financiador(es): Agência Espacial Brasileira - Auxílio financeiro.

  • 2013 - Atual

    Apoio ao projeto, integração e testes de computador de bordo em desenvolvimento no INPE, Projeto certificado pelo(a) coordenador(a) Eduardo Augusto Bezerra em 10/11/2013., Descrição: O sistema proposto visa apoiar as atividades de pesquisa e desenvolvimento em andamento no INPE no âmbito do projeto SISCAO (Sistema de Controle de Atitude e Órbita de um Satélite Estabilizado em Três Eixos). Mais exatamente, nas atividades relacionadas ao computador de bordo (on-board computer, OBC). O OBC do SISCAO é responsável pelo gerenciamento dos dados de bordo (on-board data handling ? OBDH), e gerencia também o subsistema de controle de atitude e órbita (AOCS). Esse tipo de OBC é denominado ACDH (Attitude Control and Data Handling). No momento, a equipe do INPE está realizando os testes em um protótipo do OBC, e também realizou a encomenda de um modelo de engenharia do OBC para a empresa AEL Sistemas. O modelo de engenharia é composto por 10 placas, sendo algumas delas módulos redundantes. Essas placas representam as seguintes unidades do OBC: Unidade de Processamento e Comunicação (UPC), Unidade de Distribuição de Potência (UDP), Unidade de Aquisição e Atuação (UAT), Unidade de Telecomando e Telemetria (UTMC), e Unidade de Reconfiguração (UR). No modelo de engenharia, alguns módulos do protótipo precisaram ser revisados, e foram gerados novos projetos utilizando tecnologias diferentes daquelas utilizadas originalmente. Por exemplo, alguns sistemas baseados em microprocessadores, foram adaptados para implementação por intermédio de FPGAs. Foram necessárias também alterações e atualizações em protocolos de comunicação. Essa proposta consiste, basicamente, na integração e testes dos diversos módulos do modelo de engenharia do OBC desenvolvidos pela AEL Sistemas, e também na implementação de módulos em VHDL para os FPGAs do OBC, e sistemas de software para os microprocessadores embarcados (ou não) em FPGAs. Espera-se ao final do projeto obter não apenas implementações em software/hardware para microprocessadores e FPGAs, mas também a validação da integração dos módulos do OBC, procedimentos de teste, e a documentação desenvolvida.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (1) . , Integrantes: Djones Vinicius Lettnin - Integrante / Eduardo A. Bezerra - Coordenador / Leandro Buss Becker - Integrante.

  • 2013 - Atual

    Verificação Formal de Computadores de Bordo para Aplicações Espaciais (VEROBC), Descrição: A flexibilidade dos FPGAs (Field Programmable Gate Array) utilizando componentes comerciais (Commercial-Off-The-Shelf - COTS) é uma opção atraente para o projeto de satélites artificiais, como por exemplo, no desenvolvimento de computadores de bordo (OBC) ou de módulos de hardware para aplicações espaciais. Neste sentido, apesar da alta complexidade de projeto deste tipo de sistema, deve-se ainda garantir a sua correta funcionalidade. Este fato pode implicar em elevados custos de verificação. É também importante salientar que, estatisticamente, mais de 40% dos erros no processo global de desenvolvimento de sistemas embarcados são devidos aos erros no nível de especificação. Portanto, a verificação nas etapas iniciais de projeto e a sua reutilização nas demais fases é de fundamental importância para reduzir os custos e para possibilitar uma missão espacial bem sucedida. As abordagens mais comumente utilizadas para verificar projetos de hardware (HW) e de software (SW) baseiam-se em métodos de teste e de simulação. Estas técnicas exigem um elevado esforço para definir vetores e o ambiente de teste. Além disso, cenários críticos podem passar despercebidos resultando no problema de baixa cobertura. Por outro lado, a verificação formal é o ato de provar a exatidão, ou não, de software ou de descrições de hardware em relação a uma determinada especificação formal (i.e., propriedade), utilizando métodos formais e matemáticos. A verificação formal pode ser útil para provar as funcionalidades de um OBC, tais como: protocolos de comunicação, circuitos combinacionais e sequenciais, e o próprio software de controle. Por exemplo, o método de verificação de modelos (Model Checking - MC) representa um sistema como um modelo formal que pode ser gerado automaticamente por ferramentas de síntese. As propriedades formais são derivadas da especificação e representadas por expressões/lógicas temporais. O processo de verificação analisa simbolicamente todos os estados do sistema, assim é possível provar que uma propriedade é correta, ou não. Caso contrário, um contra-exemplo é gerado indicando a condição em que a propriedade não é verdadeira, auxiliando assim, no processo de depuração e correção do erro. Assim, este projeto pretende adotar métodos formais e semiformais no fluxo de projeto e de verificação de um computador de bordo para aplicações espaciais no projeto Floripa-SAT, e no OBC do projeto SISCAO do INPE.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (4) . , Integrantes: Djones Vinicius Lettnin - Coordenador / José Guntzel - Integrante / Eduardo A. Bezerra - Integrante / Leando Buss Becker - Integrante / Juan Pablo Salazar - Integrante / Kleber Vieira Paiva - Integrante., Financiador(es): Agência Espacial Brasileira - Auxílio financeiro.

  • 2012 - 2014

    Projeto e Teste de Sistemas Embarcados Espaciais (ProTeSE), Descrição: Sistemas embarcados críticos têm se tornado frequentes nos últimos anos na indústria de sistemas eletrônicos devido a flexibilidade de operação e possibilidade de futuras expansões. Estes sistemas são compostos de módulos de hardware, software e outros (e.g., mecânicos), projetados para realizar uma tarefa específica como parte de um sistema maior como, por exemplo, satélites artificiais, controle interno de veículos, piloto automático de aviões, produtos de telecomunicações e dispositivos médicos. Considerando a área de projeto de satélites artificiais, a inserção do Brasil no grupo de países auto-suficientes em relação à tecnologia aeroespacial, ou seja, com capacidade de desenvolvimento e de lançamento de satélites passa impreterivelmente pela formação de recursos humanos na área de projeto e teste (i.e., verificação) de sistemas embarcados espaciais. Essa formação é fundamental para possibilitar a fabricação nacional de circuitos robustos ao ambiente espacial e que atendam as normas já existentes como as da Agência Espacial Européia (ESA) para qualificação desses sistemas compostos por módulos de hardware e software. Contudo, a grande parte dos alunos começam o Curso de Engenharia Elétrica (EEL) da Universidade Federal de Santa Catarina (UFSC) sem o conhecimento prévio ou experiência em projeto de sistemas eletrônicos digitais. Os cursos tradicionais enfatizam em aspectos teóricos da eletrônica digital e normalmente não captam elementos-chave de sistemas digitais eletrônicos, pois esses cursos, muitas vezes, não oferecem aos alunos a base adequada para elaborar projetos complexos de eletrônica digital juntamente com temas relevantes. O desenvolvimento de cursos de sistemas digitais com foco em lógica programável têm atraído uma grande atenção por conta dos muitos desafios em um ambiente universitário. Desta forma, considerando a necessidade de realizar estudos e pesquisas sobre projeto e verificação de sistemas embarcados destinados para aplicações espacia. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Djones Vinicius Lettnin - Coordenador / Eduardo A. Bezerra - Integrante / Francisco Edson Nogueira de Melo - Integrante / Fernando Rangel de Sousa - Integrante.

  • 2012 - 2014

    Co-Verificação Semiformal de Sistemas Embarcados (CoVeriSE), Descrição: Sistemas embarcados de tempo real têm se tornado frequentes nos últimos anos na indústria de sistemas eletrônicos devido a flexibilidade de operação e possibilidade de futuras expansões. Estes sistemas são compostos de módulos de hardware, software e outros (e.g., mecânicos), projetados para realizar uma tarefa específica como parte de um sistema maior como, por exemplo, controle interno de veículos, piloto automático de aviões, produtos de telecomunicações, aparelhos eletrodomésticos e dispositivos médicos. Contudo, em projetos de SoCs, bem como de IPs, a verificação é muitas vezes restrita a componentes isolados de hardware ou de software. No contexto deste projeto, software embarcado representa um programa fortemente dependente de hardware (e.g., firmware) que está armazenado em uma memória não volátil, sendo responsável pela inicialização do sistema, bem como, pelas rotinas de teste de memória e de hardware periféricos. No entanto, existem cenários onde os componentes de hardware e software dependem entre si e, dessa forma, estes não podem ser verificados isoladamente. Por exemplo, um cenário bastante comum em sistemas embarcados, no qual o software se encontra na fase de inicialização do sistema, enquanto o hardware apresenta um erro e não pode ser ativado. Este cenário pode ser verificado atualmente em etapas finais de projeto de sistemas embarcados. Se um erro de projeto for descoberto nesta etapa final, os custos de correção poderão ser elevados, uma vez que se faz necessário a inserção de novas fases de projetos o que, consequentemente, provoca atraso no lançamento do produto no mercado. Desta forma, técnicas que possam co-verificar cenários de dependência entre hardware e software embarcado em fases iniciais do projeto de sistemas embarcados são de fundamental importância.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Djones Vinicius Lettnin - Coordenador., Financiador(es): Universidade Federal de Santa Catarina - Auxílio financeiro.

  • 2012 - Atual

    Cadence Academic Network, Descrição: The Federal University of Santa Catarina (UFSC-GSE) is the leading Brazilian university in the Cadence Academic Network under the guidance of Dr. Djones Lettnin, Head of the Embedded Systems Group (GSE). Cadence partners with academic institutions and research facilities around the world to implement special programs that expand and enrich their educational offerings. We provide future engineers with access to our cutting-edge software, and we collaborate with professors to develop a curriculum that applies design theories to real-world engineering challenges. Working together, we are ensuring the future success of a truly global electronics industry.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Djones Vinicius Lettnin - Coordenador.

  • 2011 - Atual

    Semiformal Verification of embedded Software, Descrição: The verification of complex systems, like embedded systems as well as SoCs, can not be considered only on hardware module level anymore. The amount of software has increased significantly over the last years and therefore, the verification of embedded software has become a fundamental importance. The most commonly used approaches to verify embedded software are based on co-debugging or co-simulation, which have the coverage problem. Formal verification assures complete coverage but is limited to the size of module that can be verified. In this paper, we present a new semiformal verification approach in order to verify temporal properties of embedded software, based on the combination of simulation and formal verification approaches. The semiformal verification approach can be used to overcome the drawbacks of both dynamic and static verification. This approach combines the benefits of going deeper and covers exhaustively the state space of the system. However, to the best of our knowledge, semiformal verification approaches have been applied only to hardware verification but not to the embedded software area. They used one step interaction between dynamic and static verification i.e. first start with the simulation and then later the formal verification.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Djones Vinicius Lettnin - Coordenador / Wolfgang Rosenstiel - Integrante / Jörg Behrend - Integrante.

  • 2009 - 2010

    Desenvolvimento de Metodologias para o Projeto de Sistemas Digitais (ESL Design) baseados em Plataformas e SystemC, Descrição: Projeto de cooperação entre as Universidade de Tuebingen e Universidade Federal de Pernanbuco. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Djones Vinicius Lettnin - Integrante / Wolfgang Rosenstiel - Integrante / Edna Barros - Coordenador / Julio Oliveira - Integrante., Financiador(es): Deutsche Forschungsgemeinschaft - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2009 - 2010

    Verificação de Sistemas Embarcados, Descrição: Projeto de cooperação entre a Universidade de Tuebingen e a empresa Robert Bosch GmbH. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Djones Vinicius Lettnin - Integrante / Wolfgang Rosenstiel - Integrante / Thomas Kropf - Coordenador / Thomas Gorges - Integrante / Stefanie Ipfling - Integrante., Número de orientações: 1

  • 2008 - 2008

    Verification of Complex Integrated Systems, Descrição: Projeto de cooperação entre a Universidade de Tuebingen, e as empresas Cadence Design Systems e Robert Bosch GmbH. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Djones Vinicius Lettnin - Integrante / Wolfgang Rosenstiel - Integrante / Ken McMillan - Integrante / Andreas Kuehlmann - Coordenador., Financiador(es): Cadence Design Systems, Inc. - Auxílio financeiro., Número de produções C, T & A: 1

  • 2007 - 2007

    Verificação de Sistemas Embarcados, Descrição: Projeto de cooperação entre Universidade de Tuebingen e a empresa NEC Electronics. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Djones Vinicius Lettnin - Integrante / Wolfgang Rosenstiel - Coordenador / Pradeep Nalla - Integrante / Tobias Kirsten - Integrante / Volker Schönknecht - Integrante / Stephan Reitemeyer - Integrante., Número de produções C, T & A: 5 / Número de orientações: 1

  • 2006 - 2010

    Evaluation of Design and Verification Tools, Incisive Software Extension (ISX) and Specman Elite: Projeto de cooperação entre a Universidade de Tuebingen e a empresa Cadence Design Systems Inc., Descrição: Projeto de cooperação entre a Universidade de Tuebingen e a empresa Cadence Design Systems Inc.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Djones Vinicius Lettnin - Integrante / Wolfgang Rosenstiel - Coordenador / Markus Winterholer - Integrante., Número de produções C, T & A: 4

  • 2006 - 2006

    Verificação de Sistemas Embarcados, Descrição: Projeto de cooperação entre a Universidade de Tuebingen e a empresa Robert Bosch GmbH. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Djones Vinicius Lettnin - Integrante / Wolfgang Rosenstiel - Coordenador / Roland Weiss - Integrante / Yuhui Wang - Integrante / Thomas Gorges - Integrante., Número de orientações: 1

  • 2005 - 2009

    Verification of Temporal Properties in Embedded Software, Descrição: Projeto de doutorado com bolsa de doutorado pleno pelo CNPq. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Djones Vinicius Lettnin - Coordenador / Wolfgang Rosenstiel - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 41 / Número de orientações: 6

  • 2002 - 2003

    High Level Synthesis of Neural Network SystemC Designs applied to ECG Signal Monitor, Descrição: Projeto de cooperação internacional entre instituições FAPERGS (Brasil) e Baden-Württemberg Brasilien-Zentrum an der Universität Tübingen (Alemanha). , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Djones Vinicius Lettnin - Coordenador / Axel Braun - Integrante / Wolfgang Rosenstiel - Integrante / Wolf Engels - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Cooperação / University of Tübingen - Cooperação., Número de produções C, T & A: 2

  • 2000 - 2002

    Desenvolvimento de um sistema de monitoramento remoto de batimentos cardíacos, Descrição: Desenvolvimento de um sistema de monitoramento não Invasivo de Sinais Vitais entre as Universidades UFPel, PUCRS e a empresa PARKS S/A e a FAPERGS (Edital 02/99). , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Djones Vinicius Lettnin - Integrante / Elton Spode - Integrante / Fabian Vargas - Coordenador / Marcello Macarthy - Integrante / Leonardo Ribeiro - Integrante / Sérgio Müller - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Bolsa., Número de produções C, T & A: 6

Seção coletada automaticamente pelo Escavador

Prêmios

2011

Aprovação em 1o lugar no EDITAL Nº 08/DDPP/2011, na área de Hardware, Departamento de Engenharia Elétrica, Universidade Federal de Santa Catarina.

2001

Menção Honrosa correspondente ao Primeiro Lugar em Média Geral 9.1 no Curso de Ciência da Computação, Universidade Federal de Pelotas.

Histórico profissional

Seção coletada automaticamente pelo Escavador

Endereço profissional

  • Universidade Federal de Santa Catarina, Departamento de Engenharia Elétrica. , CTC - Campus Universitário s/n, Trindade, 88040900 - Florianópolis, SC - Brasil, Telefone: (48) 37212358, URL da Homepage:

Seção coletada automaticamente pelo Escavador

Experiência profissional

  • 2011 - Atual

    Universidade Federal de Santa Catarina

    Vínculo: , Enquadramento Funcional: Professor Adjunto 2, Regime: Dedicação exclusiva.

    Atividades

    • 08/2015

      Direção e administração, Departamento de Engenharia Elétrica, .,Cargo ou função, Coordenador do Curso de Graduação em Engenharia Eletrônica.

    • 08/2015

      Ensino, Engenharia Eletrônica, Nível: Graduação,Disciplinas ministradas, EEL7123 - Tópicos Avançados em Sistemas Digitais

    • 08/2015

      Ensino, Engenharia Elétrica, Nível: Pós-Graduação,Disciplinas ministradas, EEL510268 - Projeto e Verificação de Sistemas Embarcados

    • 03/2013

      Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, INE410107 - Sistemas Embarcados, INE410115 - Circuitos Integrados Digitais

    • 03/2012

      Direção e administração, Departamento de Engenharia Elétrica, .,Cargo ou função, Coordenador de Extensão do Departamento de Engenharia Elétrica.

    • 03/2012

      Ensino, Engenharia Elétrica, Nível: Pós-Graduação,Disciplinas ministradas, EEL210228/EEL410039 - Introdução à Microeletrônica

    • 08/2011

      Direção e administração, Departamento de Engenharia Elétrica, Grupo de Sistemas Embarcados (GSE).,Cargo ou função, Coordenador do Grupo de Sistemas Embarcados (GSE).

    • 08/2011

      Ensino, Engenharia Elétrica, Nível: Graduação,Disciplinas ministradas, EEL5105 - Circuitos e Técnicas Digitais, EEL7020 - Sistemas Digitais

    • 08/2011

      Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, EEL5105 - Circuitos e Téscnicas Digitais, INE5439 - Sistemas Embarcados, INE5442 - Circuitos e Sistemas Integrados

    • 08/2011

      Ensino, Engenharia Eletrônica, Nível: Graduação,Disciplinas ministradas, EEL5105 - Circuitos e Téscnicas Digitais, INE5439 - Sistemas Embarcados, INE5442 - Circuitos e Sistemas Integrados

    • 04/2014 - 07/2015

      Direção e administração, Departamento de Engenharia Elétrica, Curso de Engenharia Eletrônica.,Cargo ou função, Sub-coordenador do Curso de Graduação em Engenharia Eletrônica.

    • 06/2013 - 06/2015

      Conselhos, Comissões e Consultoria, Departamento de Engenharia Elétrica, .,Cargo ou função, Núcleo Docente Estruturante - Curso de Graduação em Engenharia Elétrica.

    • 03/2014 - 12/2014

      Conselhos, Comissões e Consultoria, Departamento de Engenharia Elétrica, Programa de Pós-Graduação em Engenharia Elétrica.,Cargo ou função, Classificação dos alunos de Doutorado.

    • 03/2014 - 07/2014

      Ensino, Engenharia Elétrica, Nível: Pós-Graduação,Disciplinas ministradas, EEL410143 - Programação de Sistemas Embarcados

    • 03/2012 - 07/2014

      Ensino, Engenharia Elétrica, Nível: Pós-Graduação,Disciplinas ministradas, EEL410038 - Sistemas Digitais e Dispositivos Lógicos Reconfiguráveis

    • 04/2014 - 05/2014

      Conselhos, Comissões e Consultoria, Departamento de Engenharia Elétrica, Programa de Pós-Graduação em Engenharia Elétrica.,Cargo ou função, Reconhecimento de Diploma de Doutorado.

    • 10/2013 - 12/2013

      Conselhos, Comissões e Consultoria, Departamento de Engenharia Elétrica, .,Cargo ou função, Resolução de Extensão do Departamento de Engenharia Elétrica e Eletrônica.

    • 10/2013 - 10/2013

      Conselhos, Comissões e Consultoria, Departamento de Engenharia Elétrica, .,Cargo ou função, Definição Subárea CNPq/CAPES para Concurso Público.

    • 08/2011 - 09/2011

      Treinamentos ministrados , Departamento de Engenharia Elétrica, .,Treinamentos ministrados, Projeto e Verificação de Hardware/Software utilizando SystemC

  • 2009 - 2010

    Krämer Automotive Software GmbH

    Vínculo: Colaborador, Enquadramento Funcional: Architect engineer, Carga horária: 30

    Atividades

    • 11/2009 - 12/2010

      Estágios , Krämer Automotive Software GmbH - Alemanha, .,Estágio realizado, System Architect Engineer.

  • 2009 - 2010

    University of Tübingen

    Vínculo: Bolsista recém-doutor, Enquadramento Funcional: Pesquisador assistente - pós doutorado, Carga horária: 20

    Outras informações:
    Pós-doutorado na área de projeto e verificação de sistemas embaracados

  • 2006 - 2010

    University of Tübingen

    Vínculo: Colaborador, Enquadramento Funcional: Ensino, Carga horária: 2

  • 2005 - 2009

    University of Tübingen

    Vínculo: Bolsista, Enquadramento Funcional: Pesquisador, Regime: Dedicação exclusiva.

    Outras informações:
    Doutorado integral. Orientador: Prof. Dr. Wolfgang Rosenstiel

  • 2004 - 2004

    University of Tübingen

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

  • 2002 - 2003

    University of Tübingen

    Vínculo: Bolsista, Enquadramento Funcional: Pesquisador vistante (mestrado), Carga horária: 40

    Outras informações:
    Mestrado sanduíche. Orientador: Wolfgang Rosenstiel

    Atividades

    • 08/2009 - 02/2011

      Pesquisa e desenvolvimento , Eberhard Karls Universität Tübingen, .,Linhas de pesquisa

    • 04/2007 - 07/2009

      Ensino, Engenharia da Computação, Nível: Graduação,Disciplinas ministradas, Disciplina e Seminário de Verificação de Sistemas Embarcados (em Alemão)

    • 04/2005 - 07/2009

      Pesquisa e desenvolvimento , Eberhard Karls Universität Tübingen, .,Linhas de pesquisa

    • 05/2004 - 12/2004

      Pesquisa e desenvolvimento , Eberhard Karls Universität Tübingen, .,Linhas de pesquisa

    • 12/2002 - 09/2003

      Pesquisa e desenvolvimento , Departamento de Engenharia da Computação, .,Linhas de pesquisa

  • 2011 - 2011

    Cadence Design Systems, Inc.

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

  • 2008 - 2008

    Cadence Design Systems, Inc.

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

    Atividades

    • 01/2011 - 03/2011

      Estágios , Cadence Design Systems, .,Estágio realizado, Pesquisador e desenvolvedor nas áreas de síntese de alto nível, prototipação em FPGA, projeto e verificação em nível de sistema..

    • 09/2008 - 10/2008

      Estágios , Cadence Research Labs, .,Estágio realizado, Avaliação do verificador de modelo "Impact" no Cadence Research Labs / Berkeley / USA.

  • 2000 - 2002

    Pontifícia Universidade Católica do Rio Grande do Sul

    Vínculo: Iniciação Científica, Enquadramento Funcional: Bolsista, Carga horária: 20

    Atividades

    • 03/2000 - 02/2002

      Pesquisa e desenvolvimento , Escola Politécnica, Departamento de Engenharia Elétrica.,Linhas de pesquisa

  • 1998 - 1999

    Universidade Federal de Pelotas

    Vínculo: Bolsista, Enquadramento Funcional: Bolsista em Prestação de Serviço, Carga horária: 20

    Outras informações:
    Instalação e configuração de redes de computadores, periféricos e softwares

  • 1997 - 1998

    Universidade Federal de Pelotas

    Vínculo: Estagiário, Enquadramento Funcional: Assístência Técnica, Carga horária: 20

    Outras informações:
    Instalação e configuração de redes de computadores, periféricos e softwares.

    Atividades

    • 03/1998 - 09/1999

      Serviços técnicos especializados , Centro de Informática, .,Serviço realizado, Instalação e configuração de redes de computadores, periféricos e softwares..

    • 03/1997 - 02/1998

      Estágios , Centro de Informática, .,Estágio realizado, Instalação e Configuração de Redes de Computadores, periféricos e softwares..