OTAWA

Manuals

User Manual

Very generic manual about the different use cases of OTAWA.

Development Manual

Describes the internals of OTAWA in order to extend it: instruction set, WCET calculation script, hardware description, analysis plug-in, etc.