OTAWA

WCET by static analyses

OTAWA uses static analysis performed at machine level combined with hardware models to provide sound overestimation of WCET.

Leave a Reply

Your email address will not be published. Required fields are marked *

Leave the field below empty!