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 October 2008, Sliema, Malta, IEEE Computer Society Press.

DOI (Digital Object Identifier) Link: http://dx.doi.org/10.1109/ICSEA.2008.69
Google Scholar: Look up in Google Scholar

Abstract

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 Item
Copyright Holders: 2008 IEEE
Extra Information: 978-0-7695-3372-8/08
Academic Unit/Department: Mathematics, Computing and Technology > Computing & Communications
Interdisciplinary Research Centre: Centre for Research in Computing (CRC)
Item ID: 19128
Depositing User: Lucia Rapanotti
Date Deposited: 08 Dec 2009 11:48
Last Modified: 05 Dec 2012 15:05
URI: http://oro.open.ac.uk/id/eprint/19128
Share this page:

Actions (login may be required)

View Item
Report issue / request change

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340   general-enquiries@open.ac.uk