A structured approach to selecting and justifying software safety evidence

@inproceedings{Hawkins2010ASA,
  title={A structured approach to selecting and justifying software safety evidence},
  author={Richard “Pete” Hawkins and Tim Kelly},
  year={2010}
}
The safety assurance of software is ultimately demonstrated by the evidence that is put forward. There is a range of existing guidance on the types of evidence that may be used to demonstrate the safety of software, however questions remain as to the sufficiency of the evidence suggested by such guidance. We propose that the only way to determine the sufficiency of the evidence is to consider its capability to address specific explicit safety assurance claims in a software safety argument. In… CONTINUE READING

Figures, Tables, and Topics from this paper.

References

Publications referenced by this paper.
SHOWING 1-9 OF 9 REFERENCES

Interim Standard of Best Practice on Software in the Context of DS 00-56 Issue 4”, SSEI-BP-000001 issue 1, Software Systems

C. Menon, R. Hawkins, J. McDermid
  • Engineering Initiative (SSEI),
  • 2009
VIEW 1 EXCERPT

CAP 670 - Air Traffic Services Safety Requirements

CAA Safety Regulation Group
  • Civil Aviation Authority, (2007).
  • 2007
VIEW 1 EXCERPT

Similar Papers

Loading similar papers…