Normen für betriebssichere Software

• DO 178B (in Europa ED-12B) Software Considerations in Airborne Systems and Equipment Certification
  

  Wikipedia über DO178B sowie en.Wikipedia

  Die DO-248B macht weitere Klärungen

  Birds Projekt über DO178B

  DO-254 Qualifikation für Hardware

• IEC 61508 (auch DIN EN 61508 / VDE 0803): generelle Vorschriften für Systeme einschließlich Software

  ab 2008 IEC 26262: abgeleitete Norm für den Automobilebereich

• ISO13849 oder IEC62061 präzisieren IEC61508 für Maschinenbau [Infoteam]
• IEC61511 präzisieren IEC61508 für Prozeßindustrie [Infoteam]
• Common Criteria ISO/IEC 15408-1...3
  CC EVS Common Criteria Evaluation Scheme