OTAWA is an open source framework to compute WCET.
It allows computing WCET but provides also a sound framework to support new architectures.