The future of goal-based assurance cases

@inproceedings{Bishop2004TheFO,
  title={The future of goal-based assurance cases},
  author={Peter Bishop and Robin E. Bloomfield and Sofia Guerra},
  year={2004}
}
Most regulations and guidelines for critical systems require a documented case that the system will meet its critical requirements, which we call an assurance case. Increasingly, the case is made using a goal-based approach, where claims are made (or goals are set) about the system and arguments and evidence are presented to support those claims. In this paper we describe Adelard’s approach to safety cases in particular, and assurance cases more generally, and discuss some possible future… CONTINUE READING

Figures from this paper.

Citations

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

References

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

Toulmin “The Uses of Argument

  • S E.
  • 1958
Highly Influential
9 Excerpts

Reliability and Maintainability Assurance Guides

  • Def Stan
  • Part 2: Software. UK Ministry of Defence, Defence…
  • 1997
Highly Influential
4 Excerpts

The Procurement of Safety Related Software in Defence Equipment” - Parts 1 & 2, UK Ministry of Defence

  • Def Stan
  • Defence Standard 00-55/Issue2,
  • 1997
3 Excerpts