Software safety systems   Managed methods and  methodologies

Definition of the architecture principles

Definition of the Development rules

Analysis of the Effects of the Software Errors

Definition of the validation tests

Safety-orientated test and validation plans

A few managed standards

General

• IEC 61 508 - Functional safety of electrical / electronic / programmable electronic systems related to safety 
• ISO 9000-3 - Part 3 : Guidelines for application of ISO 9001: 1994 to development, provision, installation and maintenance of software 
• IEC 15942 - Programming Languages - Guide for the Use of the Ada Programming Language in High Integrity Systems
• EN 954-1 - Safety of machinery - Parts of the control systems related to safety 

Military

• MIL STD 1521 - Technical reviews and audits for systems, equipments, and computer software 

Railway

• EN 50 128 - Railways applications - Signalisation, telecommunication and processing systems – software for railway control and protection systems 

Aeronautical – Space 

• DO 278 - Guidelines for Communications, Navigation, Surveillance, and Air Traffic Management ( CNS /ATM) Systems Software Integrity Assurance
• DO-248 - Final Annual Report For Clarification Of DO-178B "Software Considerations In Airborne Systems And Equipment Certification" 

Nuclear 

• IEC 60 880 - Software for computers important to safety for nuclear power plants 
• IEC 61 504 - Nuclear power plants – Instrumentation and control systems important to safety – Plant-wide radiation monitoring
• IEC 61 513 - Nuclear power plants – Instrumentation and control for systems important to safety – General requirements for systems 
• IEC 61 940 - Nuclear instrumentation – A review of the application of IEC 60880 (1986) 
• RCCE - Design and Electrical Construction Rules
• ...