A apresentação está carregando. Por favor, espere

A apresentação está carregando. Por favor, espere

Sugestões de Projeto Lucas Cordeiro Universidade Federal do Amazonas Faculdade de Tecnologia Departamento de Eletrônica e Computação.

Apresentações semelhantes


Apresentação em tema: "Sugestões de Projeto Lucas Cordeiro Universidade Federal do Amazonas Faculdade de Tecnologia Departamento de Eletrônica e Computação."— Transcrição da apresentação:

1 Sugestões de Projeto Lucas Cordeiro Universidade Federal do Amazonas Faculdade de Tecnologia Departamento de Eletrônica e Computação

2 Estrutura do Projeto n Os projetos devem ser desenvolvidos e entregues individualmente n O prazo para definição do tópico do projeto é até o dia 04/10 (sexta-feira) n Máximo de 6 páginas de texto fonte 10 coluna dupla e espaçamento simples n Escrever texto no formato de artigo da IEEE n Apresentação de 30 minutos n Datas para apresentação serão marcadas posteriormente

3 Sugestões de Projetos (1) n 1) Implementação de um algoritmo de redução do consumo de energia em sistemas embarcados de tempo-real –http://dx.doi.org/ /RTCSA http://dx.doi.org/ /RTCSA n 2) Implementação de dois (ou mais) algoritmos clássicos de escalonamento usando o verificar ESBMC –http://home.ufam.edu.br/lucascordeiro/ptr/slides/03- escalonamento.pdfhttp://home.ufam.edu.br/lucascordeiro/ptr/slides/03- escalonamento.pdf n 3) Verificação de programas Java –ti.arc.nasa.gov/publications/5269/download/ti.arc.nasa.gov/publications/5269/download/ n 4) Verificação de filtros e controladores digitais –http://ufam- automation.net/lucascordeiro/images/papers/sbrt2013_abreu.pdfhttp://ufam- automation.net/lucascordeiro/images/papers/sbrt2013_abreu.pdf

4 Sugestões de Projetos (2) n Localização de falhas em software embarcado –http://dx.doi.org/ /j.entcs http://dx.doi.org/ /j.entcs n Extensão do algoritmo k-induction para programas que manipulem a memória heap –http://ufam- automation.net/lucascordeiro/images/papers/sbesc2013.pdfhttp://ufam- automation.net/lucascordeiro/images/papers/sbesc2013.pdf n Paralelização do algoritmo de verificação do ESBMC. –spinroot.com/gerard/pdf/spin2012_a.pdfspinroot.com/gerard/pdf/spin2012_a.pdf n Suporte a biblioteca MPI (message passing interface) no ESBMC –http://www.netlib.org/utk/papers/mpi-book/mpi-book.htmlhttp://www.netlib.org/utk/papers/mpi-book/mpi-book.html n Verificação de programas C++11 no ESBMC –http://ufam- automation.net/lucascordeiro/images/papers/ecbs2013.pdfhttp://ufam- automation.net/lucascordeiro/images/papers/ecbs2013.pdf


Carregar ppt "Sugestões de Projeto Lucas Cordeiro Universidade Federal do Amazonas Faculdade de Tecnologia Departamento de Eletrônica e Computação."

Apresentações semelhantes


Anúncios Google