Carregar apresentação
A apresentação está carregando. Por favor, espere
1
Lucas Cordeiro lucascordeiro@ufam.edu.br
Universidade Federal do Amazonas Faculdade de Tecnologia Departamento de Eletrônica e Computação Sugestões de Projeto Lucas Cordeiro
2
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
3
Sugestões de Projetos (1)
1) Implementação de um algoritmo de redução do consumo de energia em sistemas embarcados de tempo-real 2) Implementação de dois (ou mais) algoritmos clássicos de escalonamento usando o verificar ESBMC 3) Verificação de programas Java ti.arc.nasa.gov/publications/5269/download/ 4) Verificação de filtros e controladores digitais
4
Sugestões de Projetos (2)
Localização de falhas em software embarcado Extensão do algoritmo k-induction para programas que manipulem a memória heap 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 Verificação de programas C++11 no ESBMC
Apresentações semelhantes
