Computer-based safety critical systems in defence: Def (Aust) 5679

  • Authors:
  • Tony Cant

  • Affiliations:
  • Trusted Computer Systems Group, Information Networks Division, Defence Science and Technology Organisation, PO Box 1500, Edinburgh 5111, South Australia

  • Venue:
  • SCS '02 Proceedings of the seventh Australian workshop conference on Safety critical systems and software 2002 - Volume 15
  • Year:
  • 2003

Quantified Score

Hi-index 0.00

Visualization

Abstract

The Australian Defence Standard Def (Aust) 5679, entitled "The Procurement of Safety-Critical Computer-Based Systems", was developed by the Australian Defence Science and Technology Organisation (DSTO), and published by the Land Engineering Agency in August 1998. It describes a systematic approach to the development of the Safety Case for a computer-based system. This paper gives a brief overview of Def (Aust) 5679, and describes plans for further technical revision.