Socket is a project on the design methodology of system-on-chips. In this context, Airbus, Astrium and the CNES will learn how to use the Otawa tool, a tool developed in the Traces team in order to calculate worst-case execution times.
Otawa is a C++ library dedicated to the estimation of Worst-Case Execution Times using static analysis techniques (it is available under the LGPL license). It includes a number of facilities to handle binary code and has been designed to support different architectures. It constitutes an efficient framework to develop analysis modules that, when applied in sequence on a binary code, help in estimating its WCET tightly. A number of modules are already available in the current version.