Timing analysis enhancement for synchronous program

Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Fabienne Carrier
2013 Proceedings of the 21st International conference on Real-Time Networks and Systems - RTNS '13  
In real-time systems, an upper-bound on the execution time is mandatory to guarantee all timing constraints: a bound on the Worst-Case Execution Time (WCET). High-level synchronous approaches are usually used to design hard realtime systems and specifically critical ones. Timing analysis used for WCET estimates are based on the executable binary program. Thus, a large part of semantic information, known at the design level, is lost due to the compilation scheme (typically organized in two
more » ... , from high-level model to C, and then binary code). In this paper, we aim at improving the estimated WCET by taking benefit from high-level information. We integrate an existing verification tool to check the feasibility of the worst-case path. Based on a realistic example, we show that there is a large possible improvement for a reasonable analysis time overhead.
doi:10.1145/2516821.2516841 dblp:conf/rtns/RaymondMPC13 fatcat:ab4hras6zzfanpbt6pk3jsf2de