Assurance-Driven Design

  title={Assurance-Driven Design},
  author={Jon G. Hall and Lucia Rapanotti},
  journal={2008 The Third International Conference on Software Engineering Advances},
The design of assurance cases has been hampered by the posit-and-prove approach to software and systems engineering; it has been observed that, traditionally, a product is produced and then evidence from the development is looked for to build an assurance case. Although assured development is possible, there has been a recent drive towards the proactive design of the assurance case. Assurance-driven design is a development method that considers the assurance argument - similar to an assurance… CONTINUE READING
Highly Cited
This paper has 21 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-10 of 11 extracted citations


Publications referenced by this paper.
Showing 1-10 of 14 references

, Lucia Rapanotti , and Michael Jackson . Problem - oriented software engineering : solving the package router control problem

  • Jon G. Hall
  • IEEE Trans . Software Eng .
  • 2008

POELog: a prologbased engine for problem oriented engineering

  • Jon G. Hall, Lucia Rapanotti
  • Technical Report TR2008/07,
  • 2008

A systematic approach to safety case management

  • Tim Kelly
  • In Proceedings SAE 2004 World Congress,
  • 2004

Similar Papers

Loading similar papers…