7.6 Ejecución determinista
7.6.1 Determinismo
En los sistemas en tiempo real, la ejecución determinista generalmente significa que, para un conjunto dado de datos de entrada, siempre se produce una salida consistente en un tiempo finito, es decir, el comportamiento es reproducible. En el contexto de la gestión de ejecución, el término "cómputo" puede aplicarse a la ejecución de un subproceso, un proceso o un grupo de procesos. Los cálculos pueden ser controlados por eventos o periódicos, es decir, controlados por el tiempo.
Vale la pena señalar que el determinismo debe distinguirse de otras propiedades no funcionales, como la confiabilidad o la disponibilidad, que tratan el riesgo estadístico de falla de manera diferente. El determinismo no proporciona tales números, solo define el comportamiento en ausencia de errores. La certeza tiene múltiples elementos, aquí los distinguimos de la siguiente manera:
• Determinismo temporal: el resultado de un cálculo siempre se produce antes de un plazo determinado (un punto en el tiempo).
• Determinismo de datos: dadas las mismas entradas y el estado interno, un cálculo siempre produce la misma salida.
• Completamente determinista: una combinación de temporal y determinista de datos como se definió anteriormente. En particular, para los sistemas críticos para la seguridad, el comportamiento determinista es importante