IRIT - UMR 5505

Industry comes in our lab to learn our tools

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.

Web site : http://www.otawa.fr

Read more

SMAC Team in European Project I2C

After a selective course, the I2C (Integrated System for Interoperable sensors & Information sources for Common abnormal vessel behaviour detection & Collaborative identification of threat) project was retained within the framework of the call FP7-SEC-1 enclosed on December 4th, 2008.

The I2C project gathers 19 partners (6 industrial, 4 research, 9 SME) dispatched on 8 EU countries ( France, Finland, Norway, Belgium, Spain, Italy, Luxembourg, Germany) supervised by a French team (DCNS the European expert in naval system). It will last 4 years starting from the beginning of 2010. The SMAC team will test the AMAS (Adaptive Multi-Agent System) theory to help detecting and analysing abnormal behaviours in vessel tracks.

Read more