Assurance-Driven Design

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 possib...

Full description

Saved in:
Bibliographic Details
Main Authors: Hall, J.G., Rapanotti, L.
Format: Conference Proceeding
Language:English
Subjects:
Aerospace electronics
assurance cases
Control systems
Design engineering
Documentation
problem orientation
Programming
Software engineering
Software quality
Software safety
Software systems
Systems engineering and theory
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
DOI:10.1109/ICSEA.2008.69