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: |
Download (5MB) | Preview
Export
Downloads
Downloads per month over past year
Metadata
Metadata