Output details
11 - Computer Science and Informatics
University of York
Assurance cases and prescriptive software safety certification : a comparative study
<07>There are competing “worldviews” on how to provide software safety assurance: use of prescriptive standards, and use of safety cases. Whilst the paper is not the first to address this issue, it is the first to explain the important role of both approaches in assurance, based on a rigorous, representative aerospace example. The work is both original, in comparing and contrasting the two approaches directly, and significant in that it shows why both approaches need to be adopted and integrated; these ideas are already influencing standards (e.g. new issues of DS 00-56 and DS 00-55) and should inform industrial practice.