Sistemas em tempo real requerem:
Corretude lógica
Corretude temporal
Computadores rápidos
Soft real time:
Pode tolerar problemas de desempenho.
Timing correctness is important but not critical
Timing correctness is critically important and may not be sacrificed for other gains
Não tolera falha de desempenho. Qualquer problema pode resultar em uma catástrofe.
Hard real time:
Reliability:
probability that the system will provide the specified service for a given time period
reliability regarding critical failure modes
Safety:
