Marcio Ferreira da Silva Oliveira

Formação complementar

Idiomas

Áreas de atuação

Participação em eventos

Orientou

Produções bibliográficas

• NASCIMENTO, FRANCISCO ASSIS MOREIRA ; OLIVEIRA, MARCIO F. S. ; WAGNER, Flávio Rech . A model-driven engineering framework for embedded systems design. Innovations in Systems and Software Engineering (Print) , v. 8, p. 19-33, 2012.

• OLIVEIRA, M. F. S. ; BRIAO, E. W. ; NASCIMENTO, Francisco Assis Do ; WAGNER, Flávio Rech . Model Driven Engineering for MPSoC Design Space Exploration. JICS. Journal of Integrated Circuits and Systems , v. 3, p. 13-22, 2008.

• OLIVEIRA, M. F. S. ; MENDES, Daniele Quintella ; FERRARI, Luciana Itida ; VASCONCELOS, Ana Tereza Ribeiro . Ribosome binding site recognition using neural networks. Genetics and Molecular Biology , Brasil, v. 27, n.4, p. 644-650, 2004.

• OLIVEIRA, M. F. S. ; WEHRMEISTER, Marco Aurélio ; NASCIMENTO, Francisco Assis Do ; PEREIRA, C. E. ; WAGNER, Flávio Rech . High-level Design Space Exploration of Embedded Systems using the Model-Driven Engineering and Aspect-Oriented Design Approaches. In: Luis Gomes; Joao M. Fernandes. (Org.). Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation. 1ed.Hershey: IGI Publishing, 2009, v. , p. 114-146.

• OYAMADA, M.S. ; OLIVEIRA, M. F. S. ; WAGNER, Flávio Rech . Performance Estimation in MPSoC Design. In: Ricardo Reis. (Org.). Advanced Topics on VLSI Design. 1ed.Porto Alegre: Instituto de Informatica - UFRGS, 2009, v. , p. 115-132.

• NASCIMENTO, FRANCISCO ASSIS MOREIRA ; Silva Oliveira, Marcio Ferreira ; WAGNER, Flávio Rech . Formal Verification for Embedded Systems Design Based on MDE. IFIP Advances in Information and Communication Technology. 1ed.: Springer Berlin Heidelberg, 2009, v. , p. 159-170.

• KUZNIK, CHRISTOPH ; OLIVEIRA, MARCIO F. S. ; Gilles B. Defo ; MUELLER, WOLFGANG . Systematic application of UCIS to improve the automation on verification closure. In: Design & Verification Conference & Exhibition, 2013, San Jose. Proceedings of the Design & Verification Conference & Exhibition 2013, 2013.

• OLIVEIRA, MARCIO F.S. ; KUZNIK, CHRISTOPH ; LE, HOANG M. ; GRO E, DANIEL ; HAEDICKE, FINN ; MUELLER, WOLFGANG ; DRECHSLER, ROLF ; ECKER, WOLFGANG ; ESEN, VOLKAN . The system verification methodology for advanced TLM verification. In: the eighth IEEE/ACM/IFIP international conference, 2012, Tampere. Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis - CODES+ISSS '12. New York: ACM Press, 2012. p. 313.

• OLIVEIRA, MARCIO F.S. ; KUZNIK, CHRISTOPH ; MUELLER, WOLFGANG ; ECKER, WOLFGANG ; ESEN, VOLKAN . A SystemC library for Advanced TLM Verification.. In: Design & Verification Conference & Exhibition, 2012, San Jose. Proceedings of the Design & Verification Conference & Exhibition 2012, 2012.

• RADKE, S. ; RULKE, S. ; OLIVEIRA, M. F. S. ; KUZNIK, CHRISTOPH ; MUELLER, WOLFGANG ; ECKER, WOLFGANG ; ESEN, VOLKAN ; HUFNAGEL, S. ; BANNOW, N. ; OETJENS, J. ; BRAZDRUM, H. ; JANSSEN, P. ; LE, H. M. ; GROSSE, D. ; HAEDICKE, F. ; DRECHSLER, R. ; KOCH, G. ; BURGER, A. ; BRINGMANN, O. ; ROSENSTIEL, W. ; GORGEN, R. . Compilation of Methodologies to Speed up the Verification Process at System Level. In: edaWorkshop, 2012, Hannover. edaWorkshop 2012 Tagungsband. Berlin: VDE Verlag, 2012. p. 57-62.

• MUELLER, WOLFGANG ; DA S. OLIVEIRA, MARCIO F. ; ZABEL, HENNING ; BECKER, MARKUS . Verification of real-time properties for Hardware-dependent Software. In: 2010 IEEE International High Level Design Validation and Test Workshop (HLDVT), 2010, Anaheim. 2010 IEEE International High Level Design Validation and Test Workshop (HLDVT), 2010. p. 154.

• OLIVEIRA, MARCIO F. S. ; NASCIMENTO, FRANCISCO A. ; MUELLER, WOLFGANG ; WAGNER, FLÁVIO R. . Design space abstraction and metamodeling for embedded systems design space exploration. In: the 7th International Workshop, 2010, Antwerpen. Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software - MOMPES '10. New York: ACM Press, 2010. p. 29.

• DO NASCIMENTO, FRANCISCO ASSIS M. ; OLIVEIRA, MARCIO FERREIRA S. ; WAGNER, FLAVIO RECH . MDE approach to the co-synthesis of embedded systems using a MOF-based internal design representation. In: 2009 ICSE Workshop on ModelBased Methodologies for Pervasive and Embedded Software (MOMPES), 2009, Vancouver. 2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software. v. 0. p. 53-61.

• DO NASCIMENTO, FRANCISCO ASSIS M. ; DA SILVA OLIVEIRA, MARCIO F. ; WAGNER, FLÁVIO R. . Using MDE for the formal verification of embedded systems modeled by UML sequence diagrams. In: the 22nd Annual Symposium, 2009, Natal. Proceedings of the 22nd Annual Symposium on Integrated Circuits and System Design Chip on the Dunes - SBCCI '09. New York: ACM Press, 2009. p. 1.

• OLIVEIRA, MARCIO F. DA S. ; FERREIRA, RONALDO R. ; NASCIMENTO, FRANCISCO A. ; RAMMIG, FRANZ J. ; WAGNER, FLÁVIO R. . Exploiting the model-driven engineering approach to improve design space exploration of embedded systems. In: the 22nd Annual Symposium, 2009, Natal. Proceedings of the 22nd Annual Symposium on Integrated Circuits and System Design Chip on the Dunes - SBCCI '09. New York: ACM Press, 2009. p. 1.

• OLIVEIRA, M. F. S. ; REDIN, R.M. ; CARRO, Luigi ; LAMB, L.C. ; WAGNER, Flávio Rech . Software Quality Metrics and their Impact on Embedded Software. In: MOMPES - 5th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2008, Budapest. 5th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software. Los Alamitos: IEEE Computer Society, 2008. v. 1. p. 68-77.

• BRISOLARA, L.B. ; OLIVEIRA, M. F. S. ; REDIN, R.M. ; LAMB, L.C. ; CARRO, Luigi ; WAGNER, Flávio Rech . Using UML as Front-end for Heterogeneous Software Code Generation Strategies. In: DATE - Design, Automation and Test in Europe, 2008, Munique. Proceedings. New York: ACM, 2008. v. 1. p. 504-509..

• REDIN, R.M. ; OLIVEIRA, M. F. S. ; BRISOLARA, L.B. ; MATTOS, J.C.B. ; LAMB, L.C. ; WAGNER, Flávio Rech ; CARRO, Luigi . On the Use of Software Quality Metrics to Improve Physical Properties of Embedded Systems. In: DIPES 2008 - IFIP TC10 Working Conference on Distributed and Parallel Embedded Systems, 2008, Milão. Proceedings. New York: Springer, 2008. v. 1. p. 101-110.

• NASCIMENTO, Francisco Assis Do ; OLIVEIRA, M. F. S. ; WAGNER, Flávio Rech . ModES: Embedded Systems Design Methodology and Tools based on MDE. In: Workshop Series on Model-based Methodologies for Pervasive and Embedded Software, 2007, Braga. Proceedings. Los Alamitos: IEEE Computer Society, 2007. v. 1. p. 67-76.

• BRISOLARA, L.B. ; OLIVEIRA, M. F. S. ; NASCIMENTO, Francisco Assis Do ; CARRO, Luigi ; WAGNER, Flávio Rech . Using UML as a Front-end for an Efficient Simulink-based Multithread Code Generation Targeting MPSoCs. In: 4th Workshop on UML for SoC, 2007, San Diego. Proceedings, 2007. v. 1. p. 11-16.

• OLIVEIRA, M. F. S. ; BRIAO, E. W. ; NASCIMENTO, Francisco Assis Do ; WAGNER, Flávio Rech . Model Driven Engineering for MPSoC Design Space Exploration. In: 20th annual conference on Integrated circuits and systems design, 2007, Rio de Janeiro. Proceedings. New York: ACM Press, 2007. v. 1. p. 81-86.

• FERREIRA, R. R. ; MALERBA, C. ; SOUZA, A.E. ; WAYHS, D.Z. ; ZIRBES, S.F. ; OLIVEIRA, M. F. S. . Aspect-Oriented Modelling of the Unmanned Aerial Vehicle's Autonomous Collision Avoidance System. In: II Encontro Paranaense de Computação - EPAC, 2007, Cascavel. Anais, 2007. v. 1. p. 1-10.

• NASCIMENTO, Francisco Assis Do ; OLIVEIRA, M. F. S. ; WEHRMEISTER, Marco Aurélio ; PEREIRA, C. E. ; WAGNER, Flávio Rech . MDA-Based Approach for Embedded Software Generation from a UML/MOF Repository. In: SBCCI'2006 - 19th Symposium on Integrated Circuits and Systems Design, 2006, Ouro Preto. Proceedings : chip on the mountains. New York: ACM Press, 2006. v. 1. p. 143-148.

• OLIVEIRA, M. F. S. ; BRIAO, E. W. ; NASCIMENTO, Francisco Assis Do ; BRISOLARA, L.B. ; CARRO, Luigi ; WAGNER, Flávio Rech . Multi-Objective Design Space Exploration based on UML. In: Workshop on UML for SoC, 2006, San Francisco. Proceedings. San Francisco: s.n., 2006. v. 1. p. 11-16.

• OLIVEIRA, M. F. S. ; BRISOLARA, L.B. ; CARRO, Luigi ; WAGNER, Flávio Rech . Early Embedded Software Design Space Exploration Using UML-Based Estimation. In: 17th IEEE International Workshop on Rapid System Prototyping, 2006, Chania. Proceedings: Shortening the path from specification to prototype. Los Alamitos: IEEE Computer Society Press, 2006. v. 1. p. 24-30.

• OLIVEIRA, M. F. S. ; BRISOLARA, L.B. ; CARRO, Luigi ; WAGNER, Flávio Rech . An Embedded SW Design Exploration Approach Based on UML Estimation Tools. In: IESS - IFIP TC10 Working Conference: International Embedded Systems Symposium, 2005, Manuaus. From Specification to Embedded Systems Application. New York: Springer, 2005. v. 1. p. 45-54.

• OLIVEIRA, M. F. S. ; BRISOLARA, L.B. ; CARRO, Luigi ; WAGNER, Flávio Rech . Embedded SW Design Exploration Using UML-based Estimation Tools. In: Workshop on UML for SoC, 2005, Anaheim. Workshop on UML for SoC. Anaheim, 2005. v. 1. p. 62-68.

• FERRARI, Luciana Itida ; VASCONCELOS, Ana Tereza Ribeiro ; OLIVEIRA, M. F. S. ; SILVA, João Carlos Pereira da . Using Machine Learning Algorithms for E. coli SOS Boxes Detection. In: 1st International Conference on Bioinformatics and Computational Biology - IcoBiCoBi, 2003, Ribeirão Preto. Proceedings, 2003. v. 1. p. 110-120.

• OLIVEIRA, MARCIO F S ; ZABEL, HENNING ; MUELLER, WOLFGANG . Assertion-based verification of RTOS properties. In: 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), 2010, Dresden. 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), 2010. p. 630.

• KUZNIK, CHRISTOPH ; OLIVEIRA, MARCIO F.S. ; MUELLER, WOLFGANG . SystemC UVM Verification Components / An enhaced OVM/UVM for SystemC. In: edaWorkshop, 2013, Dresden. Proceedings of the edaWorkshop 2013, 2013.

• FERREIRA, R. R. ; OLIVEIRA, M. F. S. . Representando o Espaço de projeto para sistemas embarcados através do produto categorial de grafos. In: XVIII Salão de Iniciação Científica, 2006, Porto Alegre. Livro de resumos. Porto Alegre: UFRGS, 2006.

• OLIVEIRA, M. F. S. ; MENDES, Daniele Quintella ; VASCONCELOS, Ana Tereza Ribeiro . Ribosome Binding Site Recognition Using Neural Networks. In: 1st International Conference on Bioinformatics and Computational Biology - IcoBiCoBi, 2003, Ribeirão Preto. Proceedings, 2003.

• FERRARI, Luciana Itida ; VASCONCELOS, Ana Tereza Ribeiro ; OLIVEIRA, M. F. S. ; SILVA, João Carlos Pereira da . Using Neural Networks for E. Coli SOS Boxes Detection. In: III Brazilian Symposium on Mathematical and Computational Biology, 2003, Rio de Janeiro. Proceedings, 2003. p. 123-124.

• OLIVEIRA, M. F. S. ; THESS, R. N. ; FERNANDES, M. C. P. . Protótipo de um Agente Inteligente de Software Aplicado ao Controle e Gerenciamento de Geradores de Vapor. In: 5 Encontro de Iniciação Científica da UNIVAP, 2001, São José dos Campos. V INIC - Encontro de Iniciação Científica, 2001. p. 1-4.

• OLIVEIRA, MARCIO F.S. ; KUZNIK, CHRISTOPH ; MUELLER, WOLFGANG . A SystemC library for Advanced TLM Verification.. 2012. (Apresentação de Trabalho/Conferência ou palestra).

• WAGNER, Flávio Rech ; NASCIMENTO, FRANCISCO ASSIS MOREIRA ; OLIVEIRA, MARCIO F.S. . Model-driven Engineering of Complex Embedded Systems: Concepts and Tools. 2012. (Apresentação de Trabalho/Conferência ou palestra).

• OLIVEIRA, MARCIO F.S. ; WEHRMEISTER, Marco Aurélio ; PEREIRA, C. E. ; RAMMIG, FRANZ J. ; WAGNER, Flávio Rech . Model Driven Engineering for Embedded Systems. 2010. (Apresentação de Trabalho/Conferência ou palestra).

• OLIVEIRA, M. F. S. ; WAGNER, Flávio Rech . Model-based Estimation and Design Space Exploration for Embedded Systems. 2007. (Apresentação de Trabalho/Seminário).

• WAGNER, Flávio Rech ; OYAMADA, M.S. ; OLIVEIRA, M. F. S. . Estimativa de tempo, memória e energia na execução de algoritmos em diferentes arquiteturas e em diferentes níveis de abstração. 2006. (Apresentação de Trabalho/Seminário).

• OLIVEIRA, M. F. S. ; SAMPAIO, Patricia Bittencourt ; THESS, R. N. . Núcleo de Software Básico: Uma Iniciativa de Sucesso dos Alunos da Ênfase de Software Básico. 2003. (Apresentação de Trabalho/Seminário).

• OLIVEIRA, M. F. S. ; MENDES, Daniele Quintella ; FERRARI, Luciana Itida ; VASCONCELOS, Ana Tereza Ribeiro . Reconhecimento de Sítios de Ligação de Ribossomo via Redes Neurais Artificiais. 2003. (Apresentação de Trabalho/Seminário).

• OLIVEIRA, M. F. S. . Exploração do Espaço de Projeto em Sistemas Embarcados Baseados em Plataforma Através de Estimativas Extraídas de Modelos UML. Porto Alegre 2006 (Dissertação de mestrado).

• OLIVEIRA, M. F. S. ; SAMPAIO, Patricia Bitencourt ; THESS, R. N. . Implementação de Agentes SNMP para Gerência de Dispositivos. Petrópolis 2004 (Trabalho de conclusão de curso - graduação).

Outras produções

Projetos de pesquisa

• 2006 - Atual

  Estimativa e Exploração do Espaço de Projeto Baseadas em Modelos para Suporte ao Projeto de Sistemas Embarcados, Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Marcio Ferreira da Silva Oliveira - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 3

• 2004 - 2006

  Exploração do Espaço de Projeto em Sistemas Embarcados Baseados em Plataformas Através de Estimativas Extraídas de Modelos UML, Descrição: Objetivando implementar um sistema embarcado baseado principalmente em software, duas abordagens ortogonais estão sendo propostas: Desenvolvimento Baseado em Plataformas, que maximiza o reuso; Desenvolvimento Baseado em Modelos, que aumenta o nível de abstração utilizando conceitos de orientação a objetos e UML para modelar uma aplicação. Porém, com o aumento do nível de abstração, engenheiros de software não possuem a idéia exata do impacto de suas decisões de modelagem em questões importantes, como desempenho, e consumo de energia e de memória para uma plataforma embarcada específica. Neste trabalho, propõe-se estimar a memória de dados e de programa, o desempenho e o consumo de energia, diretamente de especificações em UML, como intuito de realizar a exploração do espaço de projeto já nos estágios iniciais do processo de desenvolvimento. Resultados experimentais apresentam erros reduzidos, quando componentes da plataforma são reutilizados e seus custos já são conhecidos para uma plataforma alvo. Aplicações reais foram modeladas de diferentes formas e demonstram a eficiência da abordagem de estimativa para o estagio inicial de exploração do espaço de projeto, permitindo ao desenvolvedor avaliar e comparar diferentes soluções de modelagem. Os valores estimados utilizados na exploração do espaço de projeto podem alcançar taxas de erros inferiores a 5%.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Marcio Ferreira da Silva Oliveira - Coordenador., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa., Número de produções C, T & A: 6

• 2003 - 2008

  SEEP - Sistemas Eletrônicos Embarcados Baseados em Plataforma, Descrição: Desenvolvimento de metodologia completa de projeto de sistemas eletrônicos embarcados integrados em chip. Projeto baseado em plataformas de hardware e software. Plataformas baseadas em processadores Java customizáveis para a aplicação e em redes-em-chip. Modelagem de alto nível de aplicações embarcadas e geração automática de software. Exploração do espaço de projeto arquitetural em alto nível de abstração. Metodologia de teste funcional dos sistemas. Prototipação de sistemas em FPGA. Projeto financiado pelo CT-Info, edital PDI-TI.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (12) / Mestrado acadêmico: (22) / Doutorado: (14) . , Integrantes: Marcio Ferreira da Silva Oliveira - Integrante / Flávio Rech Wagner - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2001 - 2003

  Projeto Genoma Brasileiro: Genoma da Chromobacterium violaceum, Descrição: A Chromobacterium violaceum é uma bactéria dominante em uma variedade de ecossistemas nas regiões tropicais e subtropicais, incluindo o Rio Negro na Amazônia brasileira. Esta bactéria tem sido intensivamente estudada por suas múltiplas propriedades de sua espécie que contem um pigmento, inibidor de diversas atividades microbióticas que podem causar doenças no homem. O sequenciamentos completo do genoma da C. violaceum foi executado pelo Consorcio Brasileiro de pesquisas genômicas, uma rede estabelecida pelo Ministério da Ciência e Tecnologia (MCT) e o Concelho Nacional de Pesquisa Cientifica (CNPq). Este consorcio conta com 25 laboratório de seqüenciamento distribuídos por todo pais, um laboratório de processamento de DNA, um Centro de Bioinformática e envolve cerca de 100 pesquisadores. Este trabalho foi publicado em Vasconcelos et al., Proc. Natl. Acad. Sci. USA, vol. 100, no. 20: 11660-11665, setembro,2003. . , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Marcio Ferreira da Silva Oliveira - Coordenador / Consorcio Brasileiro de Pesquisas Genética - Integrante., Financiador(es): Ministério da Ciência e Tecnologia - Auxílio financeiro.

• 2000 - 2001

  Protótipo de um Agente Inteligente de Software Aplicado ao Controle e Monitoramento de Geradores de Vapor, Descrição: A presente pesquisa tinha como objetivo, desenvolver um protótipo de um agente inteligente de software, capaz de controlar e monitorar um gerador de vapor. O protótipo deverá automatizar tarefas e auxiliar as ações de seu operador. A aquisição de um gerador de vapor, implica em um alto investimento para uma empresa, sendo um equipamento que trabalha em alta temperatura e sob altas pressões, exigindo um elevado grau de segurança em sua operação. Em função disso, a estratégia adotada pelos administradores das empresas é procurar otimizar a operação e manutenção dos geradores de vapor, obtendo dessa forma maior segurança, eficiência e durabilidade. Foram utilizados os conceitos de modelagem de dados orientados a objetos para projetar um sistema gerador de vapor, que foi dividido em cinco sub-sistemas: Fornecimento de Água, Gerência de Combustão, Controle da Qualidade da Água, Autônomo de Manutenção, Segurança, visando fornecer flexibilidade ao projeto. Também foram utilizadas técnicas de agentes inteligentes de software, para permitir uma maior autonomia e segurança ao sistema.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Marcio Ferreira da Silva Oliveira - Coordenador / Ricardo Nunes Thess - Integrante., Financiador(es): Universidade Católica de Petrópolis - Bolsa.