Assurance-Driven Design

@article{Hall2008AssuranceDrivenD,
  title={Assurance-Driven Design},
  author={Jon G. Hall and Lucia Rapanotti},
  journal={2008 The Third International Conference on Software Engineering Advances},
  year={2008},
  pages={379-388}
}
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.

Citations

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

References

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…