• Computer Science
  • Published 2013

Uncertainty and Confidence in Safety Logic

@inproceedings{Graydon2013UncertaintyAC,
  title={Uncertainty and Confidence in Safety Logic},
  author={Patrick J. Graydon},
  year={2013}
}
Reasoning about system safety requires reasoning about confidence in safety claims. For example, DO-178B requires developers to determine the correctness of the worst-case execution time of the sof ... 

Citations

Publications citing this paper.
SHOWING 1-5 OF 5 CITATIONS

References

Publications referenced by this paper.
SHOWING 1-10 OF 23 REFERENCES

Elaborating the Concept of Evidence in Safety Cases

L. Sun, T. Kelly
  • In Proc. 21st Safety-Critical Systems Symposium (SSS)
  • 2013

Measuring assurance case confidence using Baconian probabilities

  • 2013 1st International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE)
  • 2013

Baseline for the Common Certification Language

V Manni
  • Deliverable report D4.1,
  • 2012

Generic Component Meta Model. Deliverable D2.2.4

J. Carlson, C. Ekelin, J.-L. Gilbert, Á. Herranz, S. Puri
  • SafeCer project,
  • 2012

Toward a Theory of Assurance Case Confidence

J. B. Goodenough, C. B. Winstock, A. Z. Klein
  • Technical Report CMU/SEI-2012-TR-002,
  • 2012

GSN Community Standard, Version 1. York, UK: Origin

K Attwood
  • Consulting Limited,
  • 2011

Towards Measurement of Confidence in Safety Cases

  • 2011 International Symposium on Empirical Software Engineering and Measurement
  • 2011