Output details
11 - Computer Science and Informatics
University of York
Article title
Assurance cases and prescriptive software safety certification : a comparative study
Type
D - Journal article
Title of journal
Safety science
Article number
-
Volume number
59
Issue number
n/a
First page of article
55
ISSN of journal
0925-7535
Year of publication
2013
Number of additional authors
3
Additional information
<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.
Interdisciplinary
-
Cross-referral requested
-
Research group
A - High Integrity Systems Engineering
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
