Global Information Lookup Global Information

High integrity software information


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"
  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.

and 17 Related for: High integrity software information

Request time (Page generated in 0.8243 seconds.)

High integrity software

Last Update:

High-integrity software is software whose failure may cause serious damage with possible "life-threatening consequences."[citation needed] "Integrity...

Word Count : 325

Bitwise operation

Last Update:

for timing analysis and attack, which is often not acceptable in high-integrity software. In addition, the code compiles to multiple machine instructions...

Word Count : 3812

Ravenscar profile

Last Update:

No_Dependence => Ada.Task_Attributes); Ada (programming language) High integrity software SPARK (programming language) From "Ada Reference Manual (Ada 202x...

Word Count : 310

High availability software

Last Update:

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...

Word Count : 1475

Spark

Last Update:

language), a variant of the Ada programming language that focuses on high-integrity software Spark (XMPP client), an instant messaging client Spark (radio show)...

Word Count : 676

Safety integrity level

Last Update:

In functional safety, safety integrity level (SIL) is defined as the relative level of risk-reduction provided by a safety instrumented function (SIF)...

Word Count : 1372

Code integrity

Last Update:

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

Word Count : 917

Green Hills Software

Last Update:

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]...

Word Count : 716

Cadence Design Systems

Last Update:

as cādence), is an American multinational technology and computational software company. Headquartered in San Jose, California, Cadence was formed in 1988...

Word Count : 4462

Autonomous decentralized system

Last Update:

Service-oriented architecture Winter, Victor L.; Bhattacharya, Sourav (2001). High Integrity Software. p. 105. ISBN 978-0-7923-7949-2. "Extension from the concept of...

Word Count : 933

Bhabha Atomic Research Centre

Last Update:

Modelling and Simulation, Computer Network, High Integrity Software Engineering, High performance DAQ systems, High Voltage Supplies, Digital Signal Processing...

Word Count : 7440

Software of unknown pedigree

Last Update:

are faced with economic or other pressure to embody SOUP into their high integrity systems.[citation needed] The problem with SOUP is that it cannot be...

Word Count : 350

Signal integrity

Last Update:

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...

Word Count : 3817

Datalight

Last Update:

was a privately held software company specializing in power failsafe and high performance software for preserving data integrity in embedded systems....

Word Count : 1742

Optimized Systems and Solutions

Last Update:

planning and forecasting, decision support, systems integration and high-integrity software.[citation needed] OSyS also provides consultancy services in regulatory...

Word Count : 302

Checksum

Last Update:

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...

Word Count : 1197

Software architecture

Last Update:

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...

Word Count : 5661

PDF Search Engine © AllGlobal.net