Search results
Results from the WOW.Com Content Network
Software safety (sometimes called software system safety) is an engineering discipline that aims to ensure that software, which is used in safety-related systems (i.e. safety-related software), does not contribute to any hazards such a system might pose. There are numerous standards that govern the way how safety-related software should be ...
The Power of 10 Rules were created in 2006 by Gerard J. Holzmann of the NASA/JPL Laboratory for Reliable Software. [1] The rules are intended to eliminate certain C coding practices which make code difficult to review or statically analyze.
Nancy G. Leveson is an American specialist in system and software safety and a professor of Aeronautics and Astronautics at Massachusetts Institute of Technology (MIT), United States. [ 1 ] Leveson gained her degrees (in computer science, mathematics and management) from University of California, Los Angeles , including her PhD in 1980.
"The software level establishes the rigor necessary to demonstrate compliance" with DO-178C. [10] Any software that commands, controls, and monitors safety-critical functions should receive the highest DAL - Level A. The number of objectives to be satisfied (some with independence) is determined by the software level A-E.
DO-178B, Software Considerations in Airborne Systems and Equipment Certification is a guideline dealing with the safety of safety-critical software used in certain airborne systems. It was jointly developed by the safety-critical working group RTCA SC-167 of the Radio Technical Commission for Aeronautics (RTCA) and WG-12 of the European ...
The SOFTWARE SYSTEM is software safety class A if: the SOFTWARE SYSTEM cannot contribute to a HAZARDOUS SITUATION; or; the SOFTWARE SYSTEM can contribute to a HAZARDOUS SITUATION which does not result in unacceptable RISK after consideration of RISK CONTROL measures external to the SOFTWARE SYSTEM. The SOFTWARE SYSTEM is software safety class B if:
The search engine that helps you find exactly what you're looking for. Find the most relevant information, video, images, and answers from all across the Web.
[1] "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] [3] [H]igh integrity means that the code: Does what it should. Can be tested. Has ...