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 ...
DO-178C, Software Considerations in Airborne Systems and Equipment Certification is the primary document by which the certification authorities such as FAA, EASA and Transport Canada approve all commercial software-based aerospace systems.
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.
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 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.
[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 ...
Get AOL Mail for FREE! Manage your email like never before with travel, photo & document views. Personalize your inbox with themes & tabs. You've Got Mail!
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: