City Research Online

Safety Case Templates for Autonomous Systems

Bloomfield, R. ORCID: 0000-0002-2050-6151, Fletcher, G., Hinde, L. , Ryan, P. & Khlaaf, H. (2021). Safety Case Templates for Autonomous Systems. Adelard.

Abstract

This report documents safety assurance argument templates to support the deployment and operation of autonomous systems that include machine learning (ML) components. The document presents example safety argument templates covering: the development of safety requirements, hazard analysis, a safety monitor architecture for an autonomous system including at least one ML element, a component with ML and the adaptation and change of the system over time. The report also presents generic templates for argument defeaters and evidence confidence that can be used to strengthen, review, and adapt the templates as necessary. This report is made available to get feedback on the approach and on the templates. This work was sponsored by the UK Dstl under the R-cloud framework.

Publication Type: Report
Additional Information: Copyright © 2021 ADELARD LLP
Publisher Keywords: Software Engineering; Computers and Society; Machine Learning
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Departments: School of Science & Technology
School of Science & Technology > Department of Computer Science
SWORD Depositor:
[thumbnail of 2102.02625v2.pdf]
Preview
Text - Published Version
Download (5MB) | Preview

Export

Add to AnyAdd to TwitterAdd to FacebookAdd to LinkedinAdd to PinterestAdd to Email

Downloads

Downloads per month over past year

View more statistics

Actions (login required)

Admin Login Admin Login