Universidade Federal do Amazonas
Faculdade de Tecnologia
Departamento de Eletrônica e Computação
Sugestões de Projeto
Lucas Cordeiro
[email protected]
Estrutura do Projeto

Os projetos devem ser desenvolvidos e entregues
individualmente

O prazo para definição do tópico do projeto é até o dia
04/10 (sexta-feira)

Máximo de 6 páginas de texto fonte 10 coluna dupla e
espaçamento simples

Escrever texto no formato de artigo da IEEE

Apresentação de 30 minutos

Datas para apresentação serão marcadas
posteriormente
Sugestões de Projetos (1)

1) Implementação de um algoritmo de redução do consumo
de energia em sistemas embarcados de tempo-real
– http://dx.doi.org/10.1109/RTCSA.1999.811255

2) Implementação de dois (ou mais) algoritmos clássicos de
escalonamento usando o verificar ESBMC
– http://home.ufam.edu.br/lucascordeiro/ptr/slides/03escalonamento.pdf

3) Verificação de programas Java
– ti.arc.nasa.gov/publications/5269/download/

4) Verificação de filtros e controladores digitais
– http://ufamautomation.net/lucascordeiro/images/papers/sbrt2013_abreu.pdf
Sugestões de Projetos (2)

Localização de falhas em software embarcado
– http://dx.doi.org/10.1016/j.entcs.2006.12.032

Extensão do algoritmo k-induction para programas que
manipulem a memória heap
– http://ufamautomation.net/lucascordeiro/images/papers/sbesc2013.pdf

Paralelização do algoritmo de verificação do ESBMC.
– spinroot.com/gerard/pdf/spin2012_a.pdf

Suporte a biblioteca MPI (message passing interface) no
ESBMC
– http://www.netlib.org/utk/papers/mpi-book/mpi-book.html

Verificação de programas C++11 no ESBMC
– http://ufamautomation.net/lucascordeiro/images/papers/ecbs2013.pdf