{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T18:04:55Z","timestamp":1746295495239,"version":"3.28.0"},"reference-count":43,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,5,1]],"date-time":"2020-05-01T00:00:00Z","timestamp":1588291200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,5,1]],"date-time":"2020-05-01T00:00:00Z","timestamp":1588291200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,5,1]],"date-time":"2020-05-01T00:00:00Z","timestamp":1588291200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,5]]},"DOI":"10.1109\/dessert50317.2020.9125079","type":"proceedings-article","created":{"date-parts":[[2020,6,25]],"date-time":"2020-06-25T20:46:07Z","timestamp":1593117967000},"page":"475-483","source":"Crossref","is-referenced-by-count":3,"title":["Assurance levels for decision making in autonomous intelligent systems and their safety"],"prefix":"10.1109","author":[{"given":"Yannick","family":"Fourastier","sequence":"first","affiliation":[]},{"given":"Claude","family":"Baron","sequence":"additional","affiliation":[]},{"given":"Carsten","family":"Thomas","sequence":"additional","affiliation":[]},{"given":"Philippe","family":"Esteban","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/SEC.2018.00024"},{"key":"ref38","article-title":"Définition de règles de sécurité-innocuité vérifiables en ligne pour des systèmes autonomes critiques","author":"mekki-mokhtar","year":"2011","journal-title":"Proceedings 3SL Day"},{"key":"ref33","article-title":"Toward Trustworthy AI Development: Mechanisms for Supporting Verifiable Claims","author":"brundage","year":"2020","journal-title":"Report Centre for future of Intelligence Future of Life Institute University of Cambridge UK"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-658-27488-7"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99229-7_37"},{"key":"ref30","article-title":"The increasing risks of risk assessment: On the rise of artificial intelligence and non-determinism in safety-critical systems","author":"johnson","year":"2018","journal-title":"Proceedings of Safety-Critical Systems Symposium Evolution of System Safety"},{"key":"ref37","article-title":"Increasing dependability in cyberphysical systems using reflective statecharts based software components","author":"illarramendi","year":"2017","journal-title":"Proceedings of SAFECOMP 2017 International Conference on Computer Safety Reliability and Security"},{"key":"ref36","article-title":"Runtime Contracts Checker: Increasing Robustness of Component-Based Software Systems","author":"illarramendi","year":"2018","journal-title":"3rd International Conference on Reliability Engineering ICRE 2018"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/s11245-012-9128-9"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.15439\/2014F503"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1115\/IMECE2018-88071"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.2991\/jase.d.190131.001"},{"key":"ref11","article-title":"Fundamental Concepts of Dependability","author":"avi\u017eienis","year":"1992","journal-title":"LAAS Technical Report No 01-145"},{"article-title":"Concrete problems in AI safety","year":"2016","author":"amodei","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.4271\/2018-01-1075"},{"key":"ref14","article-title":"Foundation for neural network verification and validation","author":"peterson","year":"1993","journal-title":"Optical Engineering and Photonics in Aerospace Sensing International Society for Optics and Photonics"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN.1999.836192"},{"key":"ref16","article-title":"Generating visual explanations","author":"hendricks","year":"2016","journal-title":"European Conference on Computer Vision"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_5"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2017\/3"},{"journal-title":"Highway accident report NTSB\/HAR-17\/02 PB2017- 102600 NTSB USA","article-title":"Collision between a car operating with automated vehicle control systems and a tractor-semitrailer truck near Williston, Florida May 7, 2016","year":"2017","key":"ref19"},{"key":"ref28","article-title":"A Survey on Methods for the Safety Assurance of Machine Learning Based Systems","author":"schwalbe","year":"2020","journal-title":"Proceedings of ERTS2020 10th European Congress of Embedded Real Time System"},{"journal-title":"Machine Learning","year":"1997","author":"mitchell","key":"ref4"},{"year":"2019","key":"ref27","article-title":"ISO\/PAS 21448:2019 - Road vehicles — Safety of the intended functionality"},{"key":"ref3","article-title":"Towards a Framework for Safety Assurance of Autonomous Systems","author":"mcdermid","year":"2019","journal-title":"Proceedings of AISafety 2019"},{"key":"ref6","article-title":"Uncertainty quantification in machine learning modeling for multi-step time series forecasting: example of recurrent neural networks in discharge simulations","volume":"12","author":"song","year":"2020","journal-title":"Water Journal 2020"},{"key":"ref29","article-title":"Towards Verified Artificial Intelligence","author":"seshia","year":"2017","journal-title":"SETTA 2017 3rd Symposium on Dependable Software Engineering Theories Tools and Applications"},{"key":"ref5","article-title":"Machine learning safety : an overview","author":"faria","year":"2018","journal-title":"Proceedings of Safety-Critical Systems Symposium"},{"key":"ref8","article-title":"Neural network-based uncertainty quantification: a survey of methodologies and applications","volume":"6","author":"dipu kabir","year":"2018","journal-title":"IEEE Access"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1088\/1361-651X\/aaf8ca"},{"key":"ref2","article-title":"Safety Verification of Deep Neural Networks","author":"huang","year":"2016","journal-title":"EPSRC Programme Grant on Mobile Autonomy"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.scitotenv.2019.06.320"},{"article-title":"Safety of artificial intelligence and its role in autonomy","year":"0","author":"mcdermid","key":"ref1"},{"year":"2016","key":"ref20","article-title":"Federal Automated Vehicles Policy"},{"year":"1996","key":"ref22","article-title":"ARP4761 - Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment"},{"year":"2018","key":"ref21","article-title":"J3016 - Surface vehicle recommended practice - Taxonomy and Definitions for Terms Related to Driving Automation Systems for On-Road Motor Vehicles"},{"journal-title":"Control Engineering of Autonomous Cognitive Vehicles-A Practical Tutorial","year":"2011","author":"veres","key":"ref42"},{"year":"2018","key":"ref24"},{"key":"ref41","article-title":"VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems","volume":"11561","author":"dreossi","year":"2019","journal-title":"Computer Science"},{"year":"2012","key":"ref23","article-title":"ED-12C - Software considerations in airborne systems and equipment certification (Including Amendment N°1 –19 October 1999)"},{"year":"2018","key":"ref26","article-title":"ISO 26262 series - Road vehicles –Functional safety - Part 9: automotive safety integrity level (ASIL) - Oriented and safety oriented analyses"},{"key":"ref43","article-title":"Automated Testing of Autonomous Driving Assistance Systems","author":"briand","year":"2019","journal-title":"LAAS-CNRS TrusMeIA Workshop"},{"year":"2018","key":"ref25","article-title":"ISO 26262-6:2018 - Road vehicles - Functional safety - Part 6: Product development at the software level"}],"event":{"name":"2020 IEEE 11th International Conference on Dependable Systems, Services and Technologies (DESSERT)","start":{"date-parts":[[2020,5,14]]},"location":"Kyiv, Ukraine","end":{"date-parts":[[2020,5,18]]}},"container-title":["2020 IEEE 11th International Conference on Dependable Systems, Services and Technologies (DESSERT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9122248\/9124995\/09125079.pdf?arnumber=9125079","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,27]],"date-time":"2022-06-27T16:10:50Z","timestamp":1656346250000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9125079\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,5]]},"references-count":43,"URL":"https:\/\/doi.org\/10.1109\/dessert50317.2020.9125079","relation":{},"subject":[],"published":{"date-parts":[[2020,5]]}}}