Software Safety: Where's the Evidence?

@inproceedings{McDermid2001SoftwareSW,
  title={Software Safety: Where's the Evidence?},
  author={John A. McDermid},
  booktitle={SCS},
  year={2001}
}
Standards for safety critical software usually either mandate or recommend development and assessment techniques which are deemed appropriate to reduce the risk of flaws in the software contributing to accidents. These recommendations are usually broken down into a number of "levels" of rigour, with the highest levels being applied where the consequences of failure, or risk, are most severe. The paper discusses the extent to which it is possible to find evidence that there is a genuine… CONTINUE READING

Similar Papers

Topics from this paper.

Citations

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

A system theoretic assurance case review

  • 2016 11th International Conference on Computer Science & Education (ICCSE)
  • 2016
VIEW 5 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Model-driven automated software FMEA

  • 2011 Proceedings - Annual Reliability and Maintainability Symposium
  • 2011
VIEW 3 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

A formal model for safety evaluation of platooning system

  • 2016 17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD)
  • 2016
VIEW 1 EXCERPT
CITES BACKGROUND

Assuring Security through Attribute GSN

  • 2015 5th International Conference on IT Convergence and Security (ICITCS)
  • 2015
VIEW 1 EXCERPT
CITES BACKGROUND

FILTER CITATIONS BY YEAR

2002
2016

CITATION STATISTICS

  • 2 Highly Influenced Citations

References

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

Combining Various Approaches for the Development of Critical Software in Space Systems, European Space Agency

S.C.B. MCDERMID J.A WILLS, G. K. HENRY
  • 2000
VIEW 1 EXCERPT

Software Safety and Reliability, IEEE Computer

D. S. HERMANN
  • 1999
VIEW 1 EXCERPT

A development of hazard analysis to aid software design

  • Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance
  • 1994