The Open UniversitySkip to content

Assurance-driven design

Hall, Jon and Rapanotti, Lucia (2008). Assurance-driven design. In: Proceedings 3rd International Conference on Software Engineering Advances, 26-31 Oct 2008, Sliema, Malta, IEEE Computer Society Press.

DOI (Digital Object Identifier) Link:
Google Scholar: Look up in Google Scholar


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 case - to be as important as the product. In this paper, we introduce assurance-driven design, as part of our problem oriented engineering framework, and show how software and assurance argument can be built together.

Item Type: Conference or Workshop Item
Copyright Holders: 2008 IEEE
Extra Information: 978-0-7695-3372-8/08
Academic Unit/School: Faculty of Science, Technology, Engineering and Mathematics (STEM) > Computing and Communications
Faculty of Science, Technology, Engineering and Mathematics (STEM)
Research Group: Centre for Research in Computing (CRC)
Item ID: 19128
Depositing User: Lucia Rapanotti
Date Deposited: 08 Dec 2009 11:48
Last Modified: 07 Dec 2018 09:29
Share this page:


Altmetrics from Altmetric

Citations from Dimensions

Actions (login may be required)

Policies | Disclaimer

© The Open University   contact the OU