High-integrity software is software whose failure may cause serious damage with possible "life-threatening consequences."[citation needed] "Integrity is important as it demonstrates the safety, security, and maintainability of... code."[1] Examples of high-integrity software are nuclear reactor control, avionics software, automotive safety-critical software and process control software.[2]
[H]igh integrity means that the code:
- Does what it should.
- Can be tested.
- Has security features.
- Lacks security vulnerabilities.
- Is easy to understand and follow logically.
- Is easy to edit and upgrade without introducing new errors.[1]
A number of standards are applicable to high-integrity software, including: