Fenn, Jane, Hawkins, Richard David orcid.org/0000-0001-7347-3413 and Nicholson, Mark (2025) Practical Examples of a New Approach to Creating Clear Operational Safety Cases. In: Safety Critical Systems Symposium (SSS '25).
Abstract
The concept of an ‘Operational Claim Point’, (OCP), has recently been proposed as a mechanism for improving the structuring and clarity of Operational Safety Cases. OCPs provide a mechanism by which arguments and evidence in the operational domain can be explicitly connected to design-time risk arguments. This gives rise to a number of benefits: ensuring that system operators are able to focus on just the operational aspects of the safety case relevant to them (hiding irrelevant and potentially confusing design details); making sure that, at the same time, the crucial relationship between the operational safety case and the design-time risk argument is explicitly documented and maintained (helping operators to better un-derstand the safety impact of their work); and allowing design-time safety engineers to specify, in the risk argument, safety claims relating to system operation. We provide worked examples of how OCPs can be used in practice. Through these ex-amples we explore some of the challenges in creating operational safety cases, in-cluding the link to the operational Safety Management System. We consider the impact of evidence that becomes apparent during operation, indicating unaccepta-ble risk levels, and argument and evidence that may change depending on the spe-cific choices of different operators of the same system.
Metadata
Item Type: | Proceedings Paper |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | This is an author-produced version of the published paper. Uploaded with permission of the publisher/copyright holder. Further copying may not be permitted; contact the publisher for details |
Dates: |
|
Institution: | The University of York |
Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) |
Depositing User: | Pure (York) |
Date Deposited: | 28 Jan 2025 09:30 |
Last Modified: | 02 Apr 2025 23:34 |
Status: | Published |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:222475 |
Download
Filename: Jane_Fenn_-_JLF-RH-MN-SSS_25_paper-submitted.pdf
Description: Jane Fenn - JLF-RH-MN-SSS '25 paper-submitted
Licence: CC-BY 2.5