|
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. A number of standards are applicable to high-integrity software, including: * DO-178C, Software Considerations in Airborne Systems and Equipment Certification * CENELEC EN 50128, Railway applications – Communication, signalling and processing systems – Software for railway control and protection systems * 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" See also * Safety-critical system * H ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Software
Software consists of computer programs that instruct the Execution (computing), execution of a computer. Software also includes design documents and specifications. The history of software is closely tied to the development of digital computers in the mid-20th century. Early programs were written in the machine language specific to the hardware. The introduction of high-level programming languages in 1958 allowed for more human-readable instructions, making software development easier and more portable across different computer architectures. Software in a programming language is run through a compiler or Interpreter (computing), interpreter to execution (computing), execute on the architecture's hardware. Over time, software has become complex, owing to developments in Computer network, networking, operating systems, and databases. Software can generally be categorized into two main types: # operating systems, which manage hardware resources and provide services for applicat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nuclear Reactor
A nuclear reactor is a device used to initiate and control a Nuclear fission, fission nuclear chain reaction. They are used for Nuclear power, commercial electricity, nuclear marine propulsion, marine propulsion, Weapons-grade plutonium, weapons production and Research reactor, research. Fissile material, Fissile nuclei (primarily uranium-235 or plutonium-239) absorb single neutron, neutrons and split, releasing energy and multiple neutrons, which can induce further fission. Reactors stabilize this, regulating Neutron absorber, neutron absorbers and neutron moderator, moderators in the core. Fuel efficiency is exceptionally high; Enriched uranium#Low-enriched uranium (LEU), low-enriched uranium is 120,000 times more energy dense than coal. Heat from nuclear fission is passed to a working fluid Nuclear reactor#By coolant, coolant. In commercial reactors, this drives Turbine, turbines and electrical generator shafts. Some reactors are used for district heating, and isotopes, isoto ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Avionics
Avionics (a portmanteau of ''aviation'' and ''electronics'') are the Electronics, electronic systems used on aircraft. Avionic systems include communications, Air navigation, navigation, the display and management of multiple systems, and the hundreds of systems that are fitted to aircraft to perform individual functions. These can be as simple as a searchlight for a police helicopter or as complicated as the tactical system for an airborne early warning platform. History The term "avionics" was coined in 1949 by Philip J. Klass, senior editor at ''Aviation Week & Space Technology'' magazine as a portmanteau of "aviation electronics". Radio communication was first used in aircraft just prior to World War I. The first Airborne radio relay, airborne radios were in zeppelins, but the military sparked development of light radio sets that could be carried by heavier-than-air craft, so that aerial reconnaissance biplanes could report their observations immediately in case they we ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Process Control
Industrial process control (IPC) or simply process control is a system used in modern manufacturing which uses the principles of control theory and physical industrial control systems to monitor, control and optimize continuous Industrial processes, industrial production processes using control algorithms. This ensures that the industrial machines run smoothly and safely in factories and efficiently use energy to transform raw materials into high-quality finished products with reliable consistency while reducing Efficient energy use#Industry, energy waste and economic costs, something which could not be achieved purely by human manual control. In IPC, control theory provides the theoretical framework to understand system dynamics, predict outcomes and design control strategies to ensure predetermined objectives, utilizing concepts like feedback loops, stability analysis and controller design. On the other hand, the physical apparatus of IPC, based on automation technologies, cons ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
DO-178C
DO-178C, Software Considerations in Airborne Systems and Equipment Certification is the primary document by which the certification authorities such as Federal Aviation Administration, FAA, European Aviation Safety Agency, EASA and Transport Canada approve all commercial software-based aerospace systems. The document is published by RTCA, Incorporated, in a joint effort with EUROCAE, EUROC and replaces DO-178B. The new document is called DO-178C/ED-12C and was completed in November 2011 and approved by the RTCA in December 2011. It became available for sale and use in January 2012. Except for Federal_Aviation_Regulations#Organization, FAR 33/Joint Aviation Requirements, JAR E, the Federal Aviation Regulations do not directly reference software airworthiness. On 19 Jul 2013, the FAA approved AC 20-115, AC 20-115C, designating DO-178C a recognized "acceptable means, but not the only means, for showing compliance with the applicable FAR airworthiness regulations for the software asp ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
IEC 61508
IEC 61508 is an international standard published by the International Electrotechnical Commission (IEC) consisting of methods on how to apply, design, deploy and maintain automatic protection systems called safety-related systems. It is titled ''Functional Safety of Electrical/Electronic/Programmable Electronic Safety-related Systems'' (E/E/PE, or E/E/PES). IEC 61508 is a basic functional safety standard applicable to all industries. It defines functional safety as: “part of the overall safety relating to the EUC (Equipment Under Control) and the EUC control system which depends on the correct functioning of the E/E/PE safety-related systems, other technology safety-related systems and external risk reduction facilities.” The fundamental concept is that any safety-related system must work correctly or fail in a predictable (safe) way. The standard has two fundamental principles: # An engineering process called the safety life cycle is defined based on best practices in order ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
ISO 26262
ISO 26262, titled "Road vehicles – Functional safety", is an international standard for functional safety of electrical and/or electronic systems that are installed in serial production road vehicles (excluding mopeds), defined by the International Organization for Standardization (ISO) in 2011, and revised in 2018. Overview of the Standard Functional safety features form an integral part of each automotive product development phase, ranging from the specification, to design, implementation, integration, verification, validation, and production release. The standard ISO 26262 is an adaptation of the Functional Safety standard IEC 61508 for Automotive Electric/Electronic Systems. ISO 26262 defines functional safety for automotive equipment applicable throughout the lifecycle of all automotive electronic and electrical safety-related systems. The first edition (ISO 26262:2011), published on 11 November 2011, was limited to electrical and/or electronic systems installed in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Safety-critical System
A safety-critical system or life-critical system is a system whose failure or malfunction may result in one (or more) of the following outcomes: * death or serious injury to people * loss or severe damage to equipment/property * environmental harm A safety-related system (or sometimes safety-involved system) comprises everything (hardware, software, and human aspects) needed to perform one or more safety functions, in which failure would cause a significant increase in the safety risk for the people or environment involved. Safety-related systems are those that do not have full responsibility for controlling hazards such as loss of life, severe injury or severe environmental damage. The malfunction of a safety-involved system would only be that hazardous in conjunction with the failure of other systems or human error. Some safety organizations provide guidance on safety-related systems, for example the Health and Safety Executive in the United Kingdom. Risks of this sort are ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
High Availability Software
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 time that the system is functioning. It can be formally defined as (1 – (down time/ total time))*100%. Although the minimum required availability varies by task, systems typically attempt to achieve 99.999% (5-nines) availability. This characteristic is weaker than fault tolerance, which typically seeks to provide 100% availability, albeit with significant price and performance penalties. High availability software is measured by its performance when a subsystem fails, its ability to resume service in a state close to the state of the system at the time of the original failure, and its ability to perform other service-affecting tasks (such as software upgrade or configuration changes) in a manner that eliminates or minimizes down time. All faults that affect availability – hardware, software, and configuration need to be add ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Formal Methods
In computer science, formal methods are mathematics, mathematically rigorous techniques for the formal specification, specification, development, Program analysis, analysis, and formal verification, verification of software and computer hardware, hardware systems. The use of formal methods for software and hardware design is motivated by the expectation that, as in other engineering disciplines, performing appropriate mathematical analysis can contribute to the reliability and robustness of a design. Formal methods employ a variety of theoretical computer science fundamentals, including logic in computer science, logic calculi, formal languages, automata theory, control theory, program semantics, type systems, and type theory. Uses Formal methods can be applied at various points through the software development process, development process. Specification Formal methods may be used to give a formal description of the system to be developed, at whatever level of detail desired. F ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Software Of Unknown Pedigree
Software of unknown pedigree (SOUP) is software that was developed with a unknown process or methodology, or which has unknown or no safety-related properties. In the medical device development standard IEC 62304, SOUP expands to software of unknown provenance, and in some contexts ''uncertain '' is used instead of ''unknown'', but any combination of unknown/uncertain and provenance/pedigree refer to the same concept; all with the same abbreviation. The term ''SOUP'' is often used in the context of safety-critical and high integrity systems such as medical software especially in a medical device A medical device is any device intended to be used for medical purposes. Significant potential for hazards are inherent when using a device for medical purposes and thus medical devices must be proved safe and effective with reasonable assura .... A risk that SOUP poses is that it cannot be relied upon to perform safety-related functions, and it may prevent other software, hardwa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Software By Type
Software consists of computer programs that instruct the Execution (computing), execution of a computer. Software also includes design documents and specifications. The history of software is closely tied to the development of digital computers in the mid-20th century. Early programs were written in the machine language specific to the hardware. The introduction of high-level programming languages in 1958 allowed for more human-readable instructions, making software development easier and more portable across different computer architectures. Software in a programming language is run through a compiler or Interpreter (computing), interpreter to execution (computing), execute on the architecture's hardware. Over time, software has become complex, owing to developments in Computer network, networking, operating systems, and databases. Software can generally be categorized into two main types: # operating systems, which manage hardware resources and provide services for applicat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
