Herramientas de Análisis Estático de Código Binario

Cálculo de Worst Case Execution Time (WCET)

aiT

Esta herramienta calcula límites de WCET muy precisos y puede ser utilizada para generar evidencias de certificación de este objetivo.

Existe un paquete de cualificación de la herramienta conforme a lo requerido por los estándares de seguridad funcional.

La herramienta determina el camino de ejecución con el peor tiempo de ejecución y tiene en cuenta los aspectos de bajo nivel como pipeline y cache del procesador concreto usado. Para ello, utiliza el método formal “Abstract Interpretation” junto a modelos formales de pipeline y cache.

Requiere únicamente el código objeto ejecutable para realizar el análisis, aunque si se proporciona el código fuente se incluye en el resultado junto con el código ensamblador generado.

La herramienta calcula el tiempo de ejecución de cada uno de los caminos de un programa o tarea y marca en rojo el camino crítico correspondiente al WCET.

La herramienta utiliza unos ficheros de anotaciones relativos a la arquitectura del procesador, frecuencia de reloj y otros parámetros requeridos para el cálculo del tiempo de ejecución.

aiT permite comparar gráficamente el resultado de diferentes ejecuciones de la herramienta para monitorizar la evolución del WCET.

aiT puede ser utilizada con generadores de código de herramientas de modelado y con herramientas de planificación a nivel de sistemas mediante un API basada en XML.

Sin embargo, los procesadores multi-core actuales tienen un nivel de complejidad que dificulta el análisis de los efectos de pipeline y cache en ámbitos de ejecución complejos donde los distintos cores interactúan entre ellos. La interferencia entre cores no puede ser modelada formalmente dentro de aiT.

Para procesadores multi-core se requiere la herramienta TimeWeaver.