What is a “fail‐safe” state? Since safety‐critical systems do not have fail‐safe state, how is safety guaranteed?
A fail‐safe state of a system is one which if entered when the system fails, no damage would result.
All traditional non‐real‐time systems do have one or more fail‐safe states.
However, safety‐critical systems do not have a fail‐safe state.
A safety‐critical system is one whose failure can cause severe damages.
This implies that the reliability requirement of a safety‐critical system is very high.