En la actualidad, el número de Sistemas de Información que se utilizan para controlar procesos en el mundo real crece aceleradamente.
Hay una gran cantidad de Sistemas de Software que controlan tráfico aéreo, señalización y seguimiento de ferrocarriles, redes telefónicas, etc., cuya característica principal es su respuesta inmediata ante un requisito, falla o problema. Por ende, estos Sistemas de Software deben ser diseñados para ser altamente confiables porque una falla o error, podría significar pérdidas de vidas humanas, equipos o de información imposible de volver a tener en las mismas condiciones o tiempo en que fue coleccionada.