Software safety

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 developed and assured in various domains. Most of them classify software according to their criticality and propose techniques and measures that should be employed during the development and assurance:

  • Software for generic electronic safety-related systems: IEC 61508 (part 3 of the standard)
  • Automotive software: ISO 26262 (part 6 of the standard)
  • Railway software: EN 50716
  • Airborne software: DO-178C/ED-12C)
  • Air traffic management software: DO-278A/ED-109A
  • Medical devices: IEC 62304
  • Nuclear power plants: IEC 60880