The Open UniversitySkip to content
 

Assurance-driven design in Problem Oriented Engineering

Hall, Jon and Rapanotti, Lucia (2009). Assurance-driven design in Problem Oriented Engineering. International Journal on Advances in Systems and Measurements, 2(1) pp. 119–130.

URL: http://www.iariajournals.org/systems_and_measureme...
Google Scholar: Look up in Google Scholar

Abstract

The design of assurance cases is hampered by the posit-and-prove approach to software and systems engineering; it has been observed that, traditionally, a product is produced aand then evidence from the development is looked for to build an assurance case. Although post-hoc assured development is possible, it often results in errors being uncovered late—leading to costly redevelopment—or to systems being over-engineered—which also escalates cost. As a consequence, there has been a recent move towards the proactive design of the assurance case. Assurance-driven design sees assurance as a driving force in design. Assurance-driven design is suggestive of how the design process should be shaped for assurance. It is not, however, a prescriptive method; rather it allows an organisation to assess their assurance needs according to their developmental needs, including their attitude to risk, and to adapt their processes accordingly.

We have situated the work within Problem Oriented Engineering, a design framework inspired by Gentzen-style systems, with its root in requirement and software engineering. In the paper we present the main elements of the approach and report on its application in real-world projects.

Item Type: Journal Article
Copyright Holders: 2009 The Authors
ISSN: 1942-261X
Keywords: dependability; software engineering; assurance case; problem oriented engineering; engineering design
Academic Unit/Department: Mathematics, Computing and Technology > Computing & Communications
Interdisciplinary Research Centre: Centre for Research in Computing (CRC)
Item ID: 19123
Depositing User: Lucia Rapanotti
Date Deposited: 04 Dec 2009 11:29
Last Modified: 23 Oct 2012 14:34
URI: http://oro.open.ac.uk/id/eprint/19123
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