Recently, several completely novel optimizations aiming at WCET reduction were developed at Dortmund's DAES group. Most of these optimizations base on the WCC compiler infrastructure described here, but some optimizations make use of different compilers for other target processors.
Please use the side menu on the left to learn more about these optimizations and their impact on WCETs.