safety-critical system
Redundancy (engineering) – Duplication of critical components to increase reliability of a system
Nuclear reactor – Device used to initiate and control a nuclear chain reaction
SAPHIRE – Systems Analysis Programs for Hands-on Integrated Reliability Evaluations (risk analysis software)
Formal methods – Mathematical program specification intended to allow correctness proofs, including algorithmically
Therac-25 – Radiotherapy machine involved in six accidents