Software Safety Arguments: Towards a Systematic Categorisation of Evidence

@inproceedings{Weaver2002SoftwareSA,
  title={Software Safety Arguments: Towards a Systematic Categorisation of Evidence},
  author={Rob Weaver and John A. McDermid and Tim Kelly},
  year={2002}
}
The development of software for safety critical systems is guided by standards. Most standards identify processes for different safety integrity levels (SILs) or development assurance levels (DALs). Software is shown to be fit for use primarily by appeal to the standards, supported with appropriate evidence, e.g. from testing. The assumption is that software developed against the requirements of higher SILs will be less prone to critical failures. A paper at the last ISSC questioned this… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 28 CITATIONS

Towards Goal-Based Software Safety Certification Based on Prescriptive Standards

  • 2011 First International Workshop on Software Certification
  • 2011
VIEW 4 EXCERPTS
CITES RESULTS & BACKGROUND
HIGHLY INFLUENCED

Argument-based approach to computer system safety engineering

VIEW 4 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Argument Schemes in Computer System Safety Engineering

VIEW 4 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

References

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

for Software Safety Assurance in Air Traffic Service Equipment SW01

CAA. Regulatory Objectiv
  • Civil Aviation Authority,. Biography R. A. Weaver, M.Eng., Research Student, Department of Computer Science, University of York, York, UK, telephone - +44(0)1904 433388, e-mail – rob.weaver@cs.york.ac.uk Rob Weaver has been a Research Student in the BAE SYSTEMS funded Dependable Computing Systems Ce
  • 1999

00-55 Requirements of Safety Related Software in Defence Equipment

UK MoD
  • Ministry of Defence, Defence Standard,
  • 1996

Similar Papers

Loading similar papers…