Ferramentas de análise estática de código binário

Esta ferramenta permite obter um WCET aproximado durante as fases iniciais do desenvolvimento de software exclusivamente através da análise estática do código binário.

Baseia-se na exploração de todos os caminhos de execução possíveis de uma tarefa ou programa e num cálculo aproximado dos tempos de execução das instruções para essa arquitetura de processador.

A margem de erro do cálculo do WCET é demasiado grande para ser considerada como prova de certificação deste objetivo, mas permite determinar, desde o início, os pontos críticos de execução e os estrangulamentos de desempenho ao nível da tarefa.

Isto permite monitorizar os tempos de execução à medida que o código-fonte é desenvolvido, evitando problemas de última hora ao efetuar o cálculo formal do WCET.

Também permite visualizar gráficos de chamadas de função e fluxo de controlo. Com o plug-in ValueAnalyzer, também é possível monitorizar a utilização de variáveis (leituras e escritas).

Toda esta funcionalidade é fornecida sem a necessidade da placa de desenvolvimento ou de qualquer instrumentação de código.

Também não é necessário efetuar uma configuração complexa. É muito fácil de utilizar desde o início do desenvolvimento e pode ser integrado em ambientes de integração contínua, podendo obter medições de desempenho em cada construção de qualquer parte do código fonte.