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 para 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 identificar, à partida, os pontos críticos de desempenho e os estrangulamentos de desempenho ao nível da tarefa.

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

Também permite apresentar gráficos de chamadas de função e controlo de fluxo. 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 ferramenta de código.

Também não há necessidade de configurações complexas. É muito fácil de utilizar desde o início do desenvolvimento e pode ser integrado em ambientes de integração contínua, sendo possível obter medições de desempenho em cada compilação de qualquer parte do código-fonte.