High integrity software

From Wikipedia, the free encyclopedia

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, 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:

  • DO-178C, Software Considerations in Airborne Systems and Equipment Certification[3]
  • CENELEC EN 50128, Railway applications - Communication, signalling and processing systems - Software for railway control and protection systems[4]
  • IEC 61508, Functional Safety of Electrical/Electronic/Programmable Electronic Safety-related Systems (E/E/PE, or E/E/PES)

See also[edit]


  1. ^ a b "What Is Software Integrity? Overview + Software Integrity Best Practices". perforce.com. Retrieved Feb 15, 2022.
  2. ^ Sennett, C.T. (2012). High-Integrity Software. Springer Science & Business Media. p. 1. ISBN 978-1-4684-5777-3. Retrieved Feb 14, 2022.
  3. ^ "Developing DO-178B/C Compliant Software for Airborne Systems" (PDF). Parasoft. Retrieved Feb 14, 2022.
  4. ^ European Committee for Electrotechnical Standardization (CENELEC). "CENELEC - EN 50128". Engineering360. Retrieved Feb 14, 2022.

External links[edit]