The Library
A safety framework for critical systems utilising deep neural networks
Tools
Zhao, Xingyu, Banks, Alec, Sharp, James, Robu, Valentin, Flynn, David, Fisher, Michael and Huang, Xiaowei (2020) A safety framework for critical systems utilising deep neural networks. In: 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, 16–18 Sep 2020. Published in: Computer Safety, Reliability, and Security. SAFECOMP 2020, 12234 pp. 244-259. ISBN 9783030545482. doi:10.1007/978-3-030-54549-9_16 ISSN 0302-9743.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Official URL: http://dx.doi.org/10.1007/978-3-030-54549-9_16
Abstract
Increasingly sophisticated mathematical modelling processes from Machine Learning are being used to analyse complex data. However, the performance and explainability of these models within practical critical systems requires a rigorous and continuous verification of their safe utilisation. Working towards addressing this challenge, this paper presents a principled novel safety argument framework for critical systems that utilise deep neural networks. The approach allows various forms of predictions, e.g., future reliability of passing some demands, or confidence on a required reliability level. It is supported by a Bayesian analysis using operational data and the recent verification and validation techniques for deep learning. The prediction is conservative – it starts with partial prior knowledge obtained from lifecycle activities and then determines the worst-case prediction. Open challenges are also identified.
Item Type: | Conference Item (Paper) | ||||||
---|---|---|---|---|---|---|---|
Divisions: | Faculty of Science, Engineering and Medicine > Engineering > WMG (Formerly the Warwick Manufacturing Group) | ||||||
Series Name: | Lecture Notes in Computer Science | ||||||
Journal or Publication Title: | Computer Safety, Reliability, and Security. SAFECOMP 2020 | ||||||
Publisher: | Springer | ||||||
ISBN: | 9783030545482 | ||||||
ISSN: | 0302-9743 | ||||||
Book Title: | Computer Safety, Reliability, and Security | ||||||
Official Date: | 31 July 2020 | ||||||
Dates: |
|
||||||
Volume: | 12234 | ||||||
Page Range: | pp. 244-259 | ||||||
DOI: | 10.1007/978-3-030-54549-9_16 | ||||||
Status: | Peer Reviewed | ||||||
Publication Status: | Published | ||||||
Access rights to Published version: | Restricted or Subscription Access | ||||||
Conference Paper Type: | Paper | ||||||
Title of Event: | 39th International Conference, SAFECOMP 2020 | ||||||
Type of Event: | Conference | ||||||
Location of Event: | Lisbon, Portugal | ||||||
Date(s) of Event: | 16–18 Sep 2020 |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |