Relevant standards
- DO-178B Software Considerations in Airborne Systems and Equipment Certification, Software Development Process
- IEC61513 Nuclear power plants — Instrumentation and control for systems important to safety
- IEC61508 Functional safety of electrical/electronic/programmable electronic safety-related systems
- IEC61511 Functional safety — Safety instrumented systems for the process industry sector
- IEC62278 Railway applications — Specification and demonstration of reliability, availability, maintainability and safety
- IEC60445 Basic and safety principles for man-machine interface
Analysis techniques for higher reliability and safety in embedded systems
- FTA Fault Tree Analysis
- CCA Common-Cause Analysis
- FMEA Failure Modes and Effects Analysis
- IEC62502 Analysis techniques for dependability ETA Event tree analysis
Tools providing evidence of software quality
- IEC61508 compliant compilers
- Code complexity measuring, static analysis
- Code coverage measuring, dynamic analysis
- MISRA-C Guidelines for Safety Critical Software