Burton, SIMON orcid.org/0000-0001-9040-8752, Shahbeigi Roudposhti, Sepeedeh and Zou, Jie (2026) Effective and reflective assurance for AI-based autonomy. In: 34th Safety-Critical Systems Symposium. . Safety Critical Systems Club.
Abstract
This paper outlines the challenges in assuring the safety of autonomous AI-based systems and the ensuing gaps in assurance that need to be closed to achieve a comparable level of integrity as for conventional safety-critical systems. By analysing the underlying causes of uncertainty in assurance arguments for these systems, as well as current research on this topic, the paper identifies extensions to conventional safety assurance approaches, that, if combined within a holistic framework, may go some way to reducing these gaps. As part of this approach, we recommend the use of causal models of the environment and system that enable more rigorous statements to be made about the completeness and consistency of safety requirements and for supporting verification and validation activities. Nevertheless, some assurance uncertainty will inevitably remain as an inherent consequence of the environmental and system complexity. Therefore, a reflective and iterative approach to assurance is deemed essential to create transparency regarding the strength or otherwise of the safety claims that can be made about the system.
Metadata
| Item Type: | Proceedings Paper |
|---|---|
| Authors/Creators: |
|
| Copyright, Publisher and Additional Information: | This is an author-produced version of the published paper. Uploaded in accordance with the University’s Research Publications and Open Access policy. |
| Dates: |
|
| Institution: | The University of York |
| Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) |
| Date Deposited: | 11 Mar 2026 10:00 |
| Last Modified: | 06 May 2026 05:05 |
| Status: | Published |
| Publisher: | Safety Critical Systems Club |
| Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:238701 |
Download
Filename: Burton_-_SSS_26_Burton_Camera_Ready.pdf
Description: Burton - SSS '26 Burton_Camera_Ready
Licence: CC-BY 2.5

CORE (COnnecting REpositories)
CORE (COnnecting REpositories)