Software reliability, computer security, fault-tolerant computing, software security, computer system reliability, computer failures, safety-critical computer systems, software failures, software faults, hardware faults, hardware failures