Specification of system behavior under failure or fault conditions to ensure safe states are achieved and maintained.