Fabiano Costa Carvalho

Graduado em Engenharia Elétrica pela Universidade Federal do Rio Grande do Sul e Mestre em Ciência da Computação pelo Instituto de Informática da mesma Universidade. Atualmente, trabalha na Mectron Engenharia e Comércio SA e está em fase de conclusão do Mestrado Profissionalizante em Engenharia Aeronáutica no Instituto Tecnológico da Aeronáutica, em São José dos Campos, São Paulo. Tem interesse nas seguintes áreas de conhecimento: Engenharia de Sistemas, Métodos Formais, Barramentos Embarcados, Tolerância à Falhas; Projeto e Verificação de Circuits Digitais e Software, Prototipação Rápida.

Informações coletadas do Lattes em 23/10/2022

Acadêmico

Formação acadêmica

Mestrado em Engenharia da Computação

2004 - 2006

Universidade Federal do Rio Grande do Sul
Carlos Eduardo Pereira.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico. Palavras-chave: Tolerância à Falhas; Sistemas Embarcados; Protocolos de Comunicação Tempo-Real; Prototipação Rápida; Arquitetura de Processadores; Linguagens de Descrição de Hardware. Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Sistemas de Tempo-Real. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Sistemas Distribuídos. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Sistemas Embarcados. Setores de atividade: Outros; Industria Eletro-Eletrônica; Informática.

Mestrado profissional em Programa de Especialização Embraer

2006 - 2007

Instituto Tecnológico de Aeronáutica
Orientador: José M. Parente de Oliveira
Bolsista do(a): Fundação Casimiro Montenegro Filho. Palavras-chave: Métodos Formais; Integrated Modular Avionics (IMA); Engenharia de Sistemas.Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Métodos Formais.

Graduação em Engenharia Elétrica

1998 - 2004

Universidade Federal do Rio Grande do Sul
Orientador: Eric Ericson Fabris

Formação complementar

2007 - 2007

Requirements Analysis. (Carga horária: 24h). , Project Performance International.

2004 - 2004

Redes de Comunicação em Tempo Real. (Carga horária: 8h). , XV Congresso Brasileiro de Automática.

2001 - 2002

Extensão universitária em Graduação Sanduíche CAPES. , Institut National des Sciences Appliquées de Toulouse.

Idiomas

Inglês

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

Francês

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

Áreas de atuação

Grande área: Engenharias / Área: Engenharia de Produção / Subárea: Engenharia de Sistemas/Especialidade: Engenharia de Sistemas.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Métodos Formais.

Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Sistemas de Tempo-Real/Especialidade: Sistemas de Tempo-Real.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Tolerância à Falhas.

Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Sistemas de Tempo-Real/Especialidade: Barramentos Embarcados.

Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Circuitos Integrados/Especialidade: Projeto e Verificação de Sistemas VLSI.

Participação em eventos

Brazilian Symposium on Formal Methods.On the Development of Integrated Modular Avionics Systems Assisted by Model Checking. 2008. (Simpósio).

14th ISPE International Conference on Concurrent Engineering. 2007. (Congresso).

7th IFAC International Conference on Fieldbuses & Networks in Industrial & Embedded Systems. A Runtime Stability Analysis of Clock Synchronization Precision on a Time-Triggered Bus Prototype. 2007. (Congresso).

First European-South American School for Embedded Systems.On the application of formal methods in the development cycle of highly integrated avionics systems. 2007. (Simpósio).

Design, Automation and Test in Europe - DATE 2006. A Pratical Implementation of the Fault-Tolerant Daisy-Chain Clock Synchronization Algorithm on CAN. 2006. (Congresso).

3a Escola Regional de Redes de Computadores.Modelagem de Requisitos de QoS Utilizando UML-RT. 2005. (Seminário).

Fluxo de Projeto de ASICs em Menthor Graphics. 2005. (Oficina).

A Importância da Microeletrônica para a Indústria Nacional e a Cooperação Brasil-França. 2005. (Encontro).

Congresso Brasileiro de Automática. Descrição VHDL de um controlador de rede CAN com interface CoreConnect. 2004. (Congresso).

XVI Salão de Iniciação Científica da Universidade Federal do Rio Grande do Sul.Modelamento e Projeto de Conversores Sigma-Delta. 2004. (Outra).

18th Symposium on Microelectronics Technology and Devices - CHIP IN SAMBA. 2003. (Simpósio).

16th Symposium on Integrated Circuits and System Design - CHIP IN SAMBA. 2003. (Simpósio).

Produções bibliográficas

CARVALHO, F. C. ; PEREIRA, C. E. ; FREITAS, E. P. . A Runtime Stability Analysis of Clock Synchronization Precision on a Time-Triggered Bus Prototype. In: 7th IFAC International Conference on Fieldbuses & Networks in Industrial & Embedded Systems, 2007, Toulouse. Proceedings of the 7th IFAC International Conference on Fieldbuses & Networks in Industrial & Embedded Systems, 2007.
FREITAS, E. P. ; WEHRMEISTER, M. A. ; PEREIRA, C. E. ; WAGNER, F. R. ; SILVA JR, E. T. ; CARVALHO, F. C. . Using Aspect-Oriented Concepts in the Requirements Analysis of Distributed Embedded Real-Time Systems. In: International Embedded Systems Symposium, 2007, New York. Embedded Systems Design: Topics, Techniques and Trends. New York: Springer, 2007. v. 1. p. 221-230.
ATAIDE, F. H. ; Fabiano C. Carvalho ; PEREIRA, C. E. ; WEHRMEISTER, M. A. . A Comparative Study Of Embedded Protocols For Safety-Critical Control Applications. In: 12th IFAC Symposium on Information Control Problems in Manufacturing, INCOM 2006, 2006, Saint-Etienne. Proceedings of the 12th IFAC Symposium on Information Control Problems in Manufacturing, 2006.
Fabiano C. Carvalho ; PEREIRA, C. E. ; FREITAS, E. P. ; SILVA JR, E. T. . A Time-Triggered Controller Area Network Platform with Essentially Distributed Clock Synchronization. In: 12th IFAC Symposium on Information Control Problems in Manufacturing, INCOM 2006, 2006, Saint-Etienne. Proceedings of the 12th IFAC Symposium on Information Control Problems in Manufacturing.
SILVA JR, E. T. ; Fabiano C. Carvalho ; WAGNER, F. R. ; PEREIRA, C. E. ; FREITAS, E. P. . Java Framework for Distributed Real-Time Embedded Systems. In: 9th IEEE International Symposium on Object and component-oriented Real-time distributed Computing, ISORC 2006, 2006, Gyeongju. Proceedings of the 9th IEEE International Symposium on Object and component-oriented Real-time distributed Computing, 2006.
Fabiano C. Carvalho ; SILVA JR, E. T. ; FREITAS, E. P. ; PEREIRA, C. E. . A Practical Implementation of the Fault-Tolerant Daisy-Chain Clock Synchronization Algorithm on CAN. In: Design, Automation and Test in Europe, DATE 2006, 2006, Munique. Proceedings of the 6th Design, Autonation and Test in Europe Conference, 2006.
ATAIDE, F. H. ; Fabiano C. Carvalho ; PEREIRA, C. E. ; CARVALHO, A. . An Embedded Communication Platform Based on Linux for Automotive Systems. In: 7º Fórum Internacional Software Livre, 2006, Porto Alegre. Anais do 7º Fórum Internacional Software Livre, 2006.
FREITAS, E. P. ; Fabiano C. Carvalho ; PEREIRA, C. E. ; SILVA JR, E. T. ; WEHRMEISTER, M. A. . Using Aspects to Model Distributed Real-Time Embedded Systems. In: III Workshop Brasileiro de Desenvolvimento de Software Orientado a Aspectos, 2006, Florianópolis. Anais do III Workshop Brasileiro de Desenvolvimento de Software Orientado a Aspectos, 2006.
SILVA JR, E. T. ; WAGNER, F. R. ; Fabiano C. Carvalho ; WEHRMEISTER, M. A. ; PEREIRA, C. E. . Exploração do Espaço de Projeto em Hw/Sw Co-design de Sistemas Tempo-Real Embarcados Orientados a Objetos: o Objeto Escalonador. In: Workshop Tempo Real 2005 (WTR 2005), 2005, Fortaleza. Exploração do Espaço de Projeto em Hw/Sw Co-design de Sistemas Tempo-Real Embarcados Orientados a Objetos: o Objeto Escalonador, 2005.
Fabiano C. Carvalho ; PEREIRA, C. E. ; ATAIDE, F. H. ; WEHRMEISTER, M. A. . Assessing the Use of RT-Java in Automotive Time-Triggered Applications. In: International Embedded Systems Symposium 2005, 2005, Manaus. Assessing the Use of RT-Java in Automotive Time-Triggered Applications, 2005.
FREITAS, E. P. ; SILVA JR, E. T. ; Fabiano C. Carvalho ; PEREIRA, C. E. . Modelagem de Requisitos de QoS Utilizando UML-RT. In: Escola Regional de Redes de Computadores, ERRC 2005, 2005, Santa Cruz do Sul. Anais da 3ª Escola Regional de Redes de Computadores, 2005.
Fabiano C. Carvalho ; PEREIRA, C. E. ; JANSCH-PORTO, I. ; FREITAS, E. P. . The TinyCAN: An Optimized CAN Controller IP for FPGA-Based Platforms. In: 10th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2005, 2005, Catania. Proceedings of the 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005.
FREITAS, E. P. ; ATAIDE, F. H. ; CARVALHO, F. C. ; KUNZ, G. O. ; SILVA JR, E. T. ; PEREIRA, C. E. . Performance Evaluation of Java Architectures in Embedded Real-Time Systems. In: 10th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2005, 2005, Catania. Proceedings of the 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005.
Fabiano C. Carvalho ; FABRIS, E. E. ; BAMPI, S. . Modelamento e Projeto de Conversores Sigma-Delta. In: XVI Salão de Iniciação Científica da Universidade Federal do Rio Grande do Sul, 2004, Porto Alegre. Anais do XVI Salão de Iniciação Científica, 2004.
Fabiano C. Carvalho ; Gustavo T. Zaniboni ; José M. Parente de Oliveira . On the Development of Integrated Modular Avionics Systems Assisted by Model Checking. In: Brazilian Symposium on Formal Methods, 2008, Salvador. Special Tracks Proceedings of the Brazilian Symposium on Formal Methods, 2008.

Histórico profissional

Endereço profissional

Mectron Engenharia Industrial e Comércio S.A., Avionics Business Unit. , Av. Brigadeiro Faria Lima, 1399, Parque Flamboyant, 12227-000 - Sao Jose dos Campos, SP - Brasil

Experiência profissional

2002 - 2002

Motorola Semiconductors

Vínculo: Estágio Profissional, Enquadramento Funcional: Trainee, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Prototipação e teste de barramentos de tempo real tipo CAN bus

2007 - Atual

Mectron

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

Outras informações:
Projeto e desenvolvimento de sistemas aviônicos e espaciais

2005 - 2006

Centro de Excelência em Tecnologia Eletrônica Avançada

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

Outras informações:
Desenvolvimento de ASIC (Application Specific Integrated Circuit) Descrição e verificação de circuitos digitais em VHDL

2002 - 2003

Johson Controls

Vínculo: Estágio Profissional, Enquadramento Funcional: Trainee, Carga horária: 25

Outras informações:
Desenvolvimento de módulos eletrônicos para automóveis Desenvolvimento de software microcontroladores Projeto de hardware