High-integrity software
High-integrity software is software whose failure may cause serious damage with possible "life-threatening consequences". "Integrity is important as it demonstrates the safety, security, and maintainability of code." Examples of high-integrity software are nuclear reactor control, avionics software, automotive safety-critical software and process control software.