CAOTIC: Collaborative Action on Timing Interference

Project CAOTIC is an ambitious initiative aimed at pooling and coordinating the efforts of major French research teams working on the timing analysis of multicore real-time systems, with a focus on interference due to shared resources. The objective is to enable the efficient use of multicore in critical systems. Based on a better understanding of timing anomalies and interference, taking into account the specificities of applications (structural properties and execution model), and revisiting the links between timing analysis and synthesis processes (code generation, mapping, scheduling), significant progress is targeted in timing analysis models and techniques for critical systems, as well as in methodologies for their application in industry.

In this context, the originality and strength of the CAOTIC project resides in the complementarity of the approaches proposed by the project members to address the same set of scientific challenges: (i) build a consistent and comprehensive set of methods to quantify and control the timing interferences and their impact on the execution time of programs; (ii) define interference-aware timing analysis and real-time scheduling techniques suitable for modern multi-core real-time systems; (iii) consolidate these methods and techniques in order to facilitate their transfer to industry.

Coordinators: Claire Maiza, Lionel Rieg

• CEA List: M. ASAVOAE (coord.), M. JAN. Timing anomalies, formal hardware/software models, compilation and/or specialised hardware designs.
• Inria: D. POTOP (coord.). Parallelization of high-performance real-time critical applications onto multicores (Lopht tool), fast and efficient interference analysis.
• IRISA : I. PUAUT (coord.). WCET analysis (Heptane tool), mapping/scheduling with reduced interference, hardware modeling.
• IRIT: H. CASSÉ (coord.), T. CARLE, C. ROCHANGE, P. SOTIN. WCET analysis (Otawa tool), scheduling on multicore, timing analysis for GPU accelerators.
• IRT: E. JENN (coord.). Implementation of industrial applications on multicores, global synthesis and timing analysis workflow, certification.
• LS2N: J.-L. BÉCHENNEC (coord.), S. FAUCOU, P.-E. HLADIK, L. JEZEQUEL, H.-E. ZAHAF. Hardware/software models, formal methods, GPU interference.
• LTCI: F. BRANDNER (coord.), D. BLOUIN. Hardware/software models, code generation, hardware timing analysis, timing anomalies.
• Verimag (Project Coordinator): L. RIEG (coord.), C. MAIZA, E. JAHIER, P. RAYMOND, C. VIGOUROUX, B.FERRES. Implementation of critical dataflow applications on multicores, interference analysis (MIA tool), semantic analysis, timing compositionality.

To appear