Tools and Benchmarks for Real-Time Systems

OTAWA is a framework of C/C++ classes dedicated to static analyses of programs in machine code and to the computation of WCET. It is freely available (under the LGPL licence) and is developed by the TRACES team at IRIT labs, University of Toulouse, France. OTAWA provides state-of-art WCET analyses l...

Hi, I see there are two forums for analysis tools: - Response-time analysis - Schedulability analysis To me, these are just very similar, and in fact you can use pyCPA and RTC for schedulability analysis, and MAST for response time. I would suggest to join the two to avoid possible duplications. Wha...