This report presents a survey of international standards for
computer-based safety-critical systems. Eleven standards are surveyed:
the Australian Def(Aust) 5679; MIL-STD-882C; NATO STANAG 4404 and
STANAG 4452; UK Def Stan 00-56, Def Stan 00-55 and Def Stan 00-54;
avionics standards ARP4754, ARP4761 and RTCA/DO-178B; and the civilian
standard IEC 61508. The standards are surveyed according to a wide range
of attributes, including levels of prescription and tailoring;
safety management issues such as agents, their responsibilities, and
deliverables required; and technical issues such as development
constraints, hazard analysis, risk assessment, implementation assurance,
human factors and non-development items.