The open architecture of the framework makes really easy the addition of extensions like instruction sets, analyses, ILP engines, etc. In addition, the support of a new microprocessor model is made of XML scripts very easy to write but providing…
OTAWA provides lots of tools to help the development of new extensions to check, control, explore and display the program in assembly language. In addition, lots of common analyses are already provided reducing the weight of adding new analyses.
OTAWA supports several instructions sets like ARM, PowerPC, Sparc, TriCore thanks to the GLISS simulator generator.
OTAWA is mainly a framework dedicated to static analysis on machine language. Several tools and representations are provided with abstract interpretation engines.
Once the WCET is computed, the time-consuming parts may be examined using different views from sources to Control Flow Graph.
For simple computation of the WCET, yon can use our Eclipse plugin. From the OTAWA perspective, the application may be visited and tasks configured.
OTAWA uses static analysis performed at machine level combined with hardware models to provide sound overestimation of WCET.
OTAWA is an open source framework to compute WCET. It allows computing WCET but provides also a sound framework to support new architectures.