Dissertação
Coverage-based validation of embedded systems EVALUATED
Os sistemas embebidos tornaram-se ao longo do tempo cada vez mais enraizados em vários campos de aplicação e consecutivamente mais complexos e especializados. Um exemplo disto são os equipamentos médicos, dos quais dependem vidas humanas. Assim, é crucial ter uma garantia de funcionamento adequado destes sistemas antes da sua instalação. O objetivo deste trabalho é a implementação de uma metodologia de validação para sistemas embebidos baseados numa cobertura particular. Dados uma descrição de alto nível do sistema embebido em SystemC e um nível quantitativo de cobertura com base em observabilidade, indicado pelo utilizador, o objetivo é desenvolver uma ferramenta que determina os vetores de entrada que exercem caminhos de execução, a fim de obter o nível especificado de cobertura. A solução proposta consiste inicialmente na computação de um conjunto mínimo de caminhos que alcançam o nível especificado de cobertura e, em seguida, determinar quais vetores de entrada que exercitam cada um desses caminhos. O trabalho consistirá no seguinte método recursivo: (a) Obter o grafo dirigido, sem ciclos, a partir da descrição SystemC; (b) Usando esse grafo, obter o caminho potencialmente mais abrange; (c) Obter os vetores de entrada que exerce o caminho; (d) Calcular a cobertura obtida com estes vetores. (e) Se o caminho não alcançar a cobertura desejada, repetir o procedimento para outro caminho. Da abordagem mencionada acima, conseguimos implementar com sucesso a interpretação, emulação da descrição SystemC, conseguindo assim gerar os grafos do sistema. No entanto, nesta fase a conversão de instruções para SMT ainda é feita manualmente.
maio 29, 2015, 9:0
Publicação
Obra sujeita a Direitos de Autor
Orientação
CO-ORIENTADOR
José Carlos Alves Pereira Monteiro
Departamento de Engenharia Informática (DEI)
Professor Associado