Members

David Decotigny (PhD student), Isabelle Puaut (Assistant professor).

Former members

Antoine Colin (Post-doc, university of York), Pascal Chevochot (R&D engineer, Sogitec)

Research

• Real-time scheduling

  • Fault-tolerant scheduling
  • Scheduling in dynamic environments

• Worst-case execution time (WCET) analysis

  • Static WCET analysis
  • Static WCET analysis of operating system code
  • Dynamic test generation for WCET analysis

• Fault tolerance

  • Error detection
  • Experimental dependability evaluation (fault injection)
  • Error recovery

• Real-time operating systems

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

Software

For additional information concerning software, contact Isabelle Puaut.

• Hades : an environment for the analysis and execution of dependable hard real-time applications
• Heptane : a static worst-case execution time analyzer for C programs

Publications

See our publications page, and/or get our bibtex database.