- eseguire operazioni in tempo reale; in genere si tende a distinguere fra
- l'\textit{hard real-time} in cui è necessario che i tempi di esecuzione di
- un programma siano determinabili con certezza assoluta, come nel caso di
- meccanismi di controllo di macchine, dove uno sforamento dei tempi avrebbe
- conseguenze disastrose, e \textit{soft-real-time} in cui un occasionale
- sforamento è ritenuto accettabile.} in cui è vitale che i processi che
-devono essere eseguiti in un determinato momento non debbano aspettare la
-conclusione di altri che non hanno questa necessità.
+ eseguire operazioni in un tempo ben determinato; in genere si tende a
+ distinguere fra l'\textit{hard real-time} in cui è necessario che i tempi di
+ esecuzione di un programma siano determinabili con certezza assoluta (come
+ nel caso di meccanismi di controllo di macchine, dove uno sforamento dei
+ tempi avrebbe conseguenze disastrose), e \textit{soft-real-time} in cui un
+ occasionale sforamento è ritenuto accettabile.} in cui è vitale che i
+processi che devono essere eseguiti in un determinato momento non debbano
+aspettare la conclusione di altri che non hanno questa necessità.