Les contraintes temporelles que doit respecter un système réactif proviennent du fait qu'il doit réagir au rythme de son environnement. Ceci demande la prise en compte de deux visions différentes du temps. Le temps comme durée, qui concerne à la fois le rythme auquel les entrées doivent être prises en compte et la vitesse de la production de sorties comme réaction aux entrées; le temps comme une suite d'instants, auxquels le système doit déclencher ou arrêter l'exécution d'une activité; cet instant peut être lié à une spécification non nécessairement temporelle (i.e arrêter avant 30 mètres). Ces contraintes doivent être exprimées à la spécification du système, prises en compte pendant sa conception et testées sur son implémentation. Elles doivent être impérativement satisfaites, ce qui demande une implémentation efficace et une évaluation précise du temps de réaction des programmes.