Members

Mathieu Avila (Engineer), Alexis Arnaud (PhD student), Laurent David (INRIA post-doc), Isabelle Puaut (Assistant professor).

Research

• Validation of real-time constraints

  • Schedulability analysis (deterministic, probabilistic), fault-tolerant scheduling
• Simulation
• Execution time prediction
  • Static Worst-Case Execution Time (WCET) analysis
    • low-level analysis (cache and branch prediction modeling, static and dynamic cache locking)
  • Probabilistic execution time prediction
  • Gain time identification

• Real-time operating systems

  • Run-time support for distributed hard real-time dependable applications

Software

• Heptane : a static worst-case execution time analyzer for C programs
• Artisst : a simulation tool for hard and soft real-time systems

Publications

• See the Aces main publication page

Former members

• Antoine Colin (Engineer, IRISA, Caps project)
• Pascal Chevochot (R&D engineer, Sogitec)
• David Decotigny (Engineer with CNRS, IN2P3)