Safety-critical systems are computer systems whose failure could result in injury, death, or environmental damage. Examples include aircraft control systems, nuclear power plant controls, medical devices like pacemakers, and railway signaling systems. These systems require high integrity to avoid hazards and ensure safety. Techniques like developing diverse redundant systems can improve safety by detecting and tolerating a wider range of faults.