Mateus Krepsky Ludwich

Idiomas

Áreas de atuação

Participação em eventos

Participação em bancas

Produções bibliográficas

• LUDWICH, MATEUS KREPSKY ; FRÖHLICH, ANTÔNIO AUGUSTO . On the formal verification of component-based embedded operating systems. Operating Systems Review , v. 47, p. 28-34, 2013.

• MEURER, RODRIGO SCHMITT ; LUDWICH, MATEUS KREPSKY ; FROHLICH, ANTONIO AUGUSTO . Virtualizing Mixed-Criticality Operating Systems. In: 2016 VI Brazilian Symposium on Computing Systems Engineering (SBESC), 2016, João Pessoa. 2016 VI Brazilian Symposium on Computing Systems Engineering (SBESC), 2016. p. 79.

• LUDWICH, MATEUS KREPSKY ; FROHLICH, ANTONIO AUGUSTO . Proper handling of interrupts in cyber-physical systems. In: 2015 International Symposium on Rapid System Prototyping (RSP), 2015, Amsterdam. 2015 International Symposium on Rapid System Prototyping (RSP). p. 83-89.

• LUDWICH, M. K. ; REIS, J. G. ; SOARES, S. A. F. ; FROHLICH, A. A. . Run-Time Support System for Models of Computation in Cyber-Physical Systems. In: First Workshop on Cyber-Physical System Architectures and Design Methodologies, 2014, New Delhi. Proceedings of First Workshop on Cyber-Physical System Architectures and Design Methodologies, 2014.

• LUDWICH, M. K. ; FROHLICH, A. A. . System-Level Verification of Embedded Operating Systems Components. In: Second Brazilian Symposium on Computing System Engineering, 2012, Natal. Proceedings of the Second Brazilian Symposium on Computing System Engineering, 2012. p. 1-6.

• LUDWICH, M. K. ; FRÖHLICH, A. A. . Optimizing Motion Estimation for H.264 Encoding. In: XVII Brazilian Symposium on Multimedia and the Web, 2011, Florianópolis. Proceedings of the 17th Brazilian Symposium on Multimedia and the Web. Full Papers.. Florianópolis: Sociedade Brasileira de Computação - SBC, 2011. v. 1. p. 198-204.

• LUDWICH, M. K. ; FROHLICH, A. A. . Abstracting hardware devices to embedded Java applications. In: IADIS Applied Computing, 2011, Rio de Janeiro. Proceedings of the IADIS Applied Computing 2011, 2011. p. 371-378.

• LUDWICH, M. K. ; FROHLICH, A. A. . Abstraindo dispositivos de hardware para aplicações Java embarcadas. In: Brazilian Symposium on Computing System Engineering (SBESC), 2011, Florianópolis. Proceedings of the Brazilian Symposium on Computing System Engineering, 2011. p. 176-181.

• LUDWICH, M. K. ; FRÖHLICH, A. A. . Interfacing Operating Systems Components with Embedded Java Applications. In: XIV International Information and Telecommunication Technologies Symposium, 2009, Florianópolis, SC. Proceedings of the XIV International Information and Telecommunication Technologies Symposium, 2009. p. 203-206.

• LUDWICH, M. K. ; SANTOS, Danillo ; FRÖHLICH, A. A. . Adaptação de um Decodificador MPEG-2 a uma API DSP Multiplataforma. In: XIV Brazilian Symposium on Multimedia and the Web, 2008, Vilha Velha, ES. Proceedings of the XIV Brazilian Symposium on Multimedia and the Web - WebMedia 2008. Vitória, ES; Vila Velha, ES: Vitória : UFES, Departamento de Informática : FAESA ; Vila Velha : UVV, 2008, 2008. v. 2. p. 41-44.

Projetos de pesquisa

• 2011 - 2013

  OS support for WSN and Embedded System Debugging, Descrição: The project objective is to investigate the applicability of domain engineering techniques named Application-driven Embedded System Design (ADESD) and Model-based developing to create new methods of OS support and debugging techniques for large scale WSN and embedded systems. The CAPES-DFAIT program is a scholarship program aim at supporting team-oriented research projects between Canadian and Brazilian institutions of higher education in key areas of mutual cooperation, such as democratic governance, prosperity and security, as well as science and technology, thus encouraging research collaboration as well as graduate student mobility.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (12) . , Integrantes: Mateus Krepsky Ludwich - Integrante / Antônio Augusto Fröhlich - Coordenador / Arliones Stevert Hoeller Junior - Integrante / Giovani Gracioli - Integrante / Marcelo Berejuck - Integrante / Sebastian Fischmeister - Integrante.

• 2008 - 2013

  Rede H.264 SBTVD, Descrição: A rede H.264 fase 2 tem como objetivo o desenvolvimento de produtos de interesse nacional na área de codificação de sinais-fonte para o SBTVD (Sistema Brasileiro de TV Digital), sendo composta pelas seguintes entidades: UFRGS, LSITec, COPPE/UFRJ, IME, UFRN, UnB, UFSC, Unicamp e Ceitec. Os produtos que essa rede busca desenvolver são atendidos pelas seguintes metas físicas: 1- Decodificador H.264 em HDL 2- Codificador H.264 HDTV em HDL 3- Codificador e decodificador de áudio AAC e Dolby em software 4- Transcodificação de MPEG-2 para H.264 em software 5- Codificador H.264 em arquitetura computacional paralela 6- Codificador/Decodificador H.264 escalável/alternativo 7- Especificação de um ASIC System-on-chip para o receptor 8- Melhorias ao padrão H.264 9- Terminal de Acesso com os decodificadores de vídeo e áudio desenvolvidos. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Mateus Krepsky Ludwich - Integrante / Alexandre Massayuki Okazaki - Integrante / Altamiro Amadeu Susin - Coordenador / Valter Roesler - Integrante / Antonio Augusto Medeiros Fröhlich - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Bolsa.

• 1997 - Atual

  EPOS -- Embedded Parallel Operating System, Descrição: The EPOS Project (Embedded Parallel Operating System) aims at automating the development of dedicated computing systems, so that developers can concentrate on what really matters: their applications. EPOS relies on the Application-Oriented System Design Method (AOSD) proposed by Fröhlich to design and implement both software and hardware components that can be automatically adapted to fulfill the requirements of particular applications. Additionally, EPOS features a set of tools to select, adapt and plug components into an application-specific framework, thus enabling the automatic generation of an application-oriented system instance. Such an instance consists of a hardware platform implemented in terms of programmable logic, and the corresponding run-time support system implemented in terms of abstractions, hardware mediators, scenario adapters and aspect programs. The deployment of AOSD in EPOS is helping to produce components that are highly reusable, adaptable and maintainable. Low overhead and high performance are achieved by a careful implementation that makes use of generative programming techniques, including static metaprogramming. Furthermore, the fact that EPOS components are exported to users by means of coherent interfaces defined in the context of the application domain largely improves usability. All these technological advantages are directly reflected in the development process, reducing NRE costs and the time-to-market of software/hardware integrated projects.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Mateus Krepsky Ludwich - Integrante / Antônio Augusto Fröhlich - Coordenador / Arliones Stevert Hoeller Junior - Integrante / Alexandre Massayuki Okazaki - Integrante / Giovani Gracioli - Integrante / Tiago Rogério Mück - Integrante / Lucas Francisco Wanner - Integrante / Hugo Marcondes - Integrante / Augusto Born de Oliveira - Integrante / Rafael Pereira Pires - Integrante / Geovani Ricardo Wiedenhoft - Integrante.