2008-08-18: WCET'2008 presentation available

Niklas Holsti of Tidorum Ltd presented a paper at the WCET Workshop 2008 on "Computing Time as a Program Variable: A Way Around Infeasible Paths", a new method for WCET analysis that excludes more infeasible paths than earlier methods while avoiding an explicit representation of such paths.

This method is an experimental one and not currently implemented in Bound-T. Implementation is being considered but is not decided.

The presentation slides are now available in PDF or in OpenOffice.org source form, in addition to the abstract and the full paper (pdf).


Valid HTML 4.01 Transitional