Osborne, Matthew ORCID: 0000-0002-9941-4531
(2025)
Identifying Effective Improvements to Software Safety Practice.
PhD thesis, University of York.
Abstract
Good safety management means that continuous attempts are made to improve
all aspects of safety engineering practice. This includes the work required to as-
sure the safe contribution of software to acceptable system safety (software safety
practice). These improvements are often through creating interventions to per-
ceived problems with software safety practice.
Historically, improvements to software safety practice have resulted in in-
terventions which seem to have been largely ineffective. This suggests that they
may not be addressing the real impediments to good software safety practice. It
is not argued that existing tools for improving software safety practice are nec-
essarily deficient, rather that the notion of whether they are being employed to
correct the actual causes of impediments to better practice is challenged.
Software safety practice ‘As Observed’ (the actual software safety engineer-
ing activities performed) is informed by defined processes (software safety prac-
tice ‘As Required’). These processes aim to ensure practice achieves the best
safety outcomes (software safety practice ‘As Desired’). For many different and
complex reasons ‘As Observed’ software safety practice may not be equivalent
to software safety practice ‘As Required’. Similarly, software safety practice ‘As
Required’ may not be equivalent to software safety practice ‘As Desired’. Any,
or all of these discrepancies could play a significant role in poor software safety
practice. By exploring these discrepancies it becomes possible to understand the
causes of deficiencies in practice, and to start to propose effective interventions.
This thesis defines a framework and process for understanding and assess-
ing software safety practice based around modelling software safety practice ‘As
Desired’, ‘As Required’, and ‘As Observed’, and the interactions between these
elements.
The process is defined, described, instantiated and evaluated. Use of this
framework and process for understanding software safety practice is an effective
means by which an organization can identify currently existing impediments to
the achievement of software safety best practice.
Metadata
Supervisors: | Hawkins, Richard and Nicholson, Mark |
---|---|
Keywords: | Software, software safety, software safety practice, safety, safety engineering |
Awarding institution: | University of York |
Academic Units: | The University of York > Computer Science (York) |
Depositing User: | Matthew Osborne |
Date Deposited: | 31 Mar 2025 10:38 |
Last Modified: | 31 Mar 2025 10:38 |
Open Archives Initiative ID (OAI ID): | oai:etheses.whiterose.ac.uk:36535 |
Download
Examined Thesis (PDF)
Filename: Osborne_203056000_WREO.pdf
Licence:
This work is licensed under a Creative Commons Attribution NonCommercial NoDerivatives 4.0 International License
Export
Statistics
You do not need to contact us to get a copy of this thesis. Please use the 'Download' link(s) above to get a copy.
You can contact us about this thesis. If you need to make a general enquiry, please see the Contact us page.