fixed wcet