- THE POWER OF TEN RULES FOR DEVELOPING SAFETY CRITICAL CODE VERIFICATION
- THE POWER OF TEN RULES FOR DEVELOPING SAFETY CRITICAL CODE SOFTWARE
- THE POWER OF TEN RULES FOR DEVELOPING SAFETY CRITICAL CODE ISO
The new document is called DO-178C/ED-12C and was completed in November 2011Īnd approved by the RTCA in December 2011. RTCA, Incorporated, in a joint effort with EUROCAE, and replaces DO-178B.
THE POWER OF TEN RULES FOR DEVELOPING SAFETY CRITICAL CODE SOFTWARE
Hardwired equipment, computer-based equipment or a combination of both types ofĭO-178C, Software Considerations in Airborne Systems andĮquipment Certification is the primary document by which the certificationĪuthorities such as FAA, EASA and Transport Canada approve all commercial Indicates the general requirements for systems that contain conventional IEC 61513 provides requirements and recommendations for the instrumentationĪnd control for systems important to safety of nuclear power plants. It is intended to cover the development of software for railway control and protection including communications, signaling and processing systems. IEC 62279 provides a specific interpretation of IEC 61508 for railway applications. It is expressly a safety standard, but includes details about Hazard Analysis and Risk Assessment and system design to detect faults and their potential failures. The committee members include the major vehicle manufacturers and suppliers.
THE POWER OF TEN RULES FOR DEVELOPING SAFETY CRITICAL CODE ISO
The ISO 26262 Standard is prepared by the ISO Committee and is a derivative of the IEC 61508 standard listed above. Safety-related Systems (E/E/PE, or E/E/PES). It is titledįunctional Safety of Electrical/Electronic/Programmable Electronic IEC 61508 is an international standard published by the InternationalĮlectrotechnical Commission of rules applied in industry. The NASA Langley's Formal Methods Research Program of the NASA Langley Safety-Critical Avionics Systems Branch develops formal methods technology for the development of mission-critical and safety-critical digital systems of interest to NASA. NASA Langley Formal Methods Research Program.It is affiliated with major corporations, educational institutions and other agencies in the United States and abroad. The Society is international in scope and draws members throughout the world. The International System Safety Society is a non-profit organization dedicated to supporting the Safety Professional in the application of Systems Engineering and Systems Management to the process of hazard, safety and risk analysis. The International System Safety Society.This list has a number of links from this resource. The European Cooperation for Space Standardization is an initiative established to develop a coherent, single set of user-friendly standards for use in all European space activities. European Cooperation for Space Standardization.Computer-Based System Safety Essential Reading List.
THE POWER OF TEN RULES FOR DEVELOPING SAFETY CRITICAL CODE VERIFICATION
List of free software testing and verification resourcesĪ curated set of links to formal methods involving provable code.Ī List of companies that use Formal methods in Software engineeringĪ curated list of static analysis tools, linters and code quality checkers What kind of special training do engineers working on mission-critical software receive? and its followup on Reddit.ĭisclaimer: Resources presented here are not necessarily authoritative or The starting point for me to create this resource was my interest in a solid This is a list of resources about programming practices for writing
0 kommentar(er)
