WCET (tiempo de ejecución en el peor caso)
Lo máximo que un fragmento de código puede tardar en un procesador dado: la cifra sobre la que se construye todo análisis de tiempo real estricto.
Los promedios no interesan cuando un airbag tiene que dispararse. Un análisis de planificabilidad como el rate-monotonic necesita una cota superior por tarea, y esa cota debe ser segura, no típica. Medir solo da el tiempo más largo que uno llegó a ver; el camino realmente peor puede no haberse ejecutado nunca durante las pruebas.
De ahí las herramientas estáticas como aiT, de AbsInt, que analizan el código máquina y modelan el procesador: límites de bucles, fallos de caché, paradas del pipeline. Ahí empieza lo difícil. Las cachés, la ejecución especulativa y varios núcleos compartiendo bus hacen que una CPU moderna sea rápida de media y casi imposible de acotar con precisión. Es uno de los motivos por los que la aviónica y los frenos prefieren núcleos sencillos sin caché: lentos, pero predecibles.