This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "High integrity software" – news · newspapers · books · scholar · JSTOR(October 2023) (Learn how and when to remove this message)
This article may require cleanup to meet Wikipedia's quality standards. The specific problem is: Niche term with unclear widespread usage; insufficient connections to other related pages; more references needed. Please help improve this article if you can.(October 2023) (Learn how and when to remove this message)
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:
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)
ISO 26262, Road Vehicles - Functional Safety (especially 'part 6' of the standard, which is titled "Product development at the software level"
^ ab"What Is Software Integrity? Overview + Software Integrity Best Practices". perforce.com. Retrieved Feb 15, 2022.
^Sennett, C.T. (2012). High-Integrity Software. Springer Science & Business Media. p. 1. ISBN 978-1-4684-5777-3. Retrieved Feb 14, 2022.
^"Developing DO-178B/C Compliant Software for Airborne Systems" (PDF). Parasoft. Retrieved Feb 14, 2022.
^European Committee for Electrotechnical Standardization (CENELEC). "CENELEC - EN 50128". Engineering360. Retrieved Feb 14, 2022.
and 17 Related for: High integrity software information
High-integritysoftware is software whose failure may cause serious damage with possible "life-threatening consequences."[citation needed] "Integrity...
for timing analysis and attack, which is often not acceptable in high-integritysoftware. In addition, the code compiles to multiple machine instructions...
High availability software is software used to ensure that systems are running and available most of the time. High availability is a high percentage of...
language), a variant of the Ada programming language that focuses on high-integritysoftware Spark (XMPP client), an instant messaging client Spark (radio show)...
In functional safety, safety integrity level (SIL) is defined as the relative level of risk-reduction provided by a safety instrumented function (SIF)...
Code integrity is a measurement used in the software delivery lifecycle. It measures how high the source code's quality is when it is passed on to QA,...
commercialized version of Integrity 178-B would be offered to the private sector by Integrity Global Security, a subsidiary of Green Hills Software.[better source needed]...
as cādence), is an American multinational technology and computational software company. Headquartered in San Jose, California, Cadence was formed in 1988...
Service-oriented architecture Winter, Victor L.; Bhattacharya, Sourav (2001). HighIntegritySoftware. p. 105. ISBN 978-0-7923-7949-2. "Extension from the concept of...
Modelling and Simulation, Computer Network, HighIntegritySoftware Engineering, High performance DAQ systems, High Voltage Supplies, Digital Signal Processing...
are faced with economic or other pressure to embody SOUP into their highintegrity systems.[citation needed] The problem with SOUP is that it cannot be...
Signal integrity or SI is a set of measures of the quality of an electrical signal. In digital electronics, a stream of binary values is represented by...
was a privately held software company specializing in power failsafe and high performance software for preserving data integrity in embedded systems....
planning and forecasting, decision support, systems integration and high-integritysoftware.[citation needed] OSyS also provides consultancy services in regulatory...
data integrity; if the computed checksum for the current data input matches the stored value of a previously computed checksum, there is a very high probability...
Conceptual integrity: a term introduced by Fred Brooks in his 1975 book The Mythical Man-Month to denote the idea that the architecture of a software system...