Autonomous Systems' Safety Cases for use in UK Nuclear Environments

Christopher Anderson; Louise Dennis

doi:10.4204/EPTCS.391.10

Autonomous Systems' Safety Cases for use in UK Nuclear Environments

Christopher Anderson, Louise Dennis

Autonomy and Verification

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Abstract

An overview of the process to develop a safety case for an autonomous robot deployment on a nuclear site in the UK is described and a safety case for a hypothetical robot incorporating AI is presented. This forms a first step towards a deployment, showing what is possible now and what may be possible with development of tools. It forms the basis for further discussion between nuclear site licensees, the Office for Nuclear Regulation (ONR), industry and academia.

Original language	English
Title of host publication	Electronic Proceedings in Theoretical Computer Science
Subtitle of host publication	Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2023)
Pages	83-88
Number of pages	6
Volume	391
DOIs	https://doi.org/10.4204/EPTCS.391.10
Publication status	Published - 3 Oct 2023

Publication series

Name	Electronic Proceedings in Theoretical Computer Science, EPTCS
Publisher	Open Publishing Association
ISSN (Print)	2075-2180

Keywords

ai
nuclear
robotics
safety case

Access to Document

10.4204/EPTCS.391.10Licence: CC BY

https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?AREA2023.10Licence: CC BY

Cite this

Anderson, C., & Dennis, L. (2023). Autonomous Systems' Safety Cases for use in UK Nuclear Environments. In Electronic Proceedings in Theoretical Computer Science : Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2023) (Vol. 391, pp. 83-88). (Electronic Proceedings in Theoretical Computer Science, EPTCS). https://doi.org/10.4204/EPTCS.391.10

@inproceedings{b2d8a48742b64704a97f92c5be812c0c,

title = "Autonomous Systems' Safety Cases for use in UK Nuclear Environments",

abstract = "An overview of the process to develop a safety case for an autonomous robot deployment on a nuclear site in the UK is described and a safety case for a hypothetical robot incorporating AI is presented. This forms a first step towards a deployment, showing what is possible now and what may be possible with development of tools. It forms the basis for further discussion between nuclear site licensees, the Office for Nuclear Regulation (ONR), industry and academia.",

keywords = "ai, nuclear, robotics, safety case",

author = "Christopher Anderson and Louise Dennis",

year = "2023",

month = oct,

day = "3",

doi = "10.4204/EPTCS.391.10",

language = "English",

volume = "391",

series = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

publisher = "Open Publishing Association",

pages = "83--88",

booktitle = "Electronic Proceedings in Theoretical Computer Science",

}

Anderson, C & Dennis, L 2023, Autonomous Systems' Safety Cases for use in UK Nuclear Environments. in Electronic Proceedings in Theoretical Computer Science : Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2023). vol. 391, Electronic Proceedings in Theoretical Computer Science, EPTCS, pp. 83-88. https://doi.org/10.4204/EPTCS.391.10

Autonomous Systems' Safety Cases for use in UK Nuclear Environments. / Anderson, Christopher; Dennis, Louise.
Electronic Proceedings in Theoretical Computer Science : Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2023). Vol. 391 2023. p. 83-88 (Electronic Proceedings in Theoretical Computer Science, EPTCS).

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Autonomous Systems' Safety Cases for use in UK Nuclear Environments

AU - Anderson, Christopher

AU - Dennis, Louise

PY - 2023/10/3

Y1 - 2023/10/3

N2 - An overview of the process to develop a safety case for an autonomous robot deployment on a nuclear site in the UK is described and a safety case for a hypothetical robot incorporating AI is presented. This forms a first step towards a deployment, showing what is possible now and what may be possible with development of tools. It forms the basis for further discussion between nuclear site licensees, the Office for Nuclear Regulation (ONR), industry and academia.

AB - An overview of the process to develop a safety case for an autonomous robot deployment on a nuclear site in the UK is described and a safety case for a hypothetical robot incorporating AI is presented. This forms a first step towards a deployment, showing what is possible now and what may be possible with development of tools. It forms the basis for further discussion between nuclear site licensees, the Office for Nuclear Regulation (ONR), industry and academia.

KW - ai

KW - nuclear

KW - robotics

KW - safety case

UR - http://www.scopus.com/inward/record.url?scp=85174827518&partnerID=8YFLogxK

U2 - 10.4204/EPTCS.391.10

DO - 10.4204/EPTCS.391.10

M3 - Conference contribution

VL - 391

T3 - Electronic Proceedings in Theoretical Computer Science, EPTCS

SP - 83

EP - 88

BT - Electronic Proceedings in Theoretical Computer Science

ER -

Anderson C, Dennis L. Autonomous Systems' Safety Cases for use in UK Nuclear Environments. In Electronic Proceedings in Theoretical Computer Science : Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2023). Vol. 391. 2023. p. 83-88. (Electronic Proceedings in Theoretical Computer Science, EPTCS). Epub 2023 Sept 30. doi: 10.4204/EPTCS.391.10

Autonomous Systems' Safety Cases for use in UK Nuclear Environments

Abstract

Publication series

Keywords

Access to Document

Other files and links

Fingerprint

Cite this