Temps réel

Un logiciel est dit « temps réel » si son temps d'exécution obéit à des contraintes, donc peut être contrôlé. Ainsi, le logiciel qui contrôle une machine à laver est temps réel, bien que ses constantes de temps soient de l'ordre de la minute, car des contraintes temporelles font partie de ses spécifications. En revanche, le réseau Internet ne l'est pas, malgré des constantes de temps de quelques fractions de secondes, car il répond « au plus vite » mais sans garantie sur un délai. Dans un système temps réel, le temps de réaction à une entrée ou le temps de calcul d'un résultat doit être prédictible.