A Systematic Classification and Detection of Infeasible Paths for Accurate WCET Analysis of Esterel Programs

  • Lei Ju Bach Khoa Huynh Abhik Roychoudhury Samarjit Chakraborty
  • Published 2008
Synchronous programming languages like Esterel are widely used in safetycritical domains like avionics. However, it is only with the recent development of mature worst-case execution time (WCET) analysis tools that progress is being made on systematically studying the WCET analysis problem for languages like Esterel. In this context, we present techniques… CONTINUE READING