Co-Verificação de software baseada no traço de programas de processadores distintos

• Processo: 13/23647-0
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de abril de 2014
• Data de Término da vigência: 31 de março de 2016
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Sistemas de Computação
• Pesquisador responsável: Rodolfo Jardim de Azevedo
• Beneficiário: Luís Fernando Antonioli
• Instituição Sede: Instituto de Computação (IC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Assunto(s): Arquitetura e organização de computadores Segurança de sistemas eletrônicos Plataformas digitais Softwares
• Palavra(s)-Chave do Pesquisador: ArchC | Arquitetura de Computadores | Co-Verificação de Simuladores | Arquitetura de Computadores

Resumo

O aumento constante da complexidade de sistemas eletrônicos e o curto ciclo de desenvolvimento para o mercado têm feito desenvolvedoresde MPSoc (Multiprocessor System-on-chip) adotar níveis de abstração mais altos e a chamada metodologia de projeto ESL (Eletronic System Level). Neste cenário, plataformas virtuais adquirem um papel crucial sendo os processadores seus componentes mais importantes, onde usualmente linguagens para descrição de arquitetura são aplicadas para gerar automaticamente simuladores e outras ferramentas. Um novo desafio surge na verificação dessas plataformas virtuais. O foco deste trabalho é no desenvolvimento de mecanismos de co-verificação baseados na comparação de traços de execução de duas arquiteturas distintas, para um mesmo programa, de forma a co-validar a execução de um programa com base em propriedades do mesmo programa em outra arquitetura.