Autonomous Systems' Safety Cases for use in UK Nuclear Environments

Christopher R. Anderson
Louise A. Dennis

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.

In Angelo Ferrando and Rafael Cardoso: Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2023), Krakow, Poland, 1st October 2023, Electronic Proceedings in Theoretical Computer Science 391, pp. 83–88.
Published: 30th September 2023.

ArXived at: https://dx.doi.org/10.4204/EPTCS.391.10 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org