WCET Analysis at TU-Vienna

Projects

The following lists examples for research projects that include research on WCET analysis.

SETTA (systems engineering of time-triggered systems). official SETTA homepage

MoDECS (model-based development of distributed embedded control systems). official MoDECS homepage

CoSTA (Compiler-Support for Timing Analysis). official CoSTA homepage

FORTAS (Formal Timing Analysis Suite of Real-Time Systems). official FORTAS homepage