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.
OTAWA will be present in the demonstration area of ERTS2 2016! Come on and visit us!
After several months of malfunction of OTAWA website, we are proud to present this new one. We will quickly re-enable documentation and other resources provided on the old site with news features and content.