Exact high level WCET analysis of synchronous programs by symbolic state space exploration

G. Logothetis, K. Schneider
2003 Design, Automation and Test in Europe Conference and Exhibition  
In this paper, a novel approach to high-level (i.e. architecture independent) worst case execution time (WCET) analysis is presented that automatically computes exact bounds for all inputs. To this end, we make use of the distinction between micro and macro steps as usually done by synchronous languages. As macro steps must not contain loops, a later low-level WCET analysis (architecture dependent) is simplified to a large extent. Checking exact execution times for all inputs is a complex task
more » ... hat can nevertheless be efficiently done when implicit state space representations are used. With our tools, it is not only possible to compute path information by exploring all computations, but also to verify given path information.
doi:10.1109/date.2003.1186386 dblp:conf/date/LogothetisS03 fatcat:ei4nyiixmvf6fcg4k2j4xry5uy