{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,23]],"date-time":"2026-02-23T04:37:30Z","timestamp":1771821450560,"version":"3.50.1"},"reference-count":86,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,11,1]],"date-time":"2019-11-01T00:00:00Z","timestamp":1572566400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,11,1]],"date-time":"2019-11-01T00:00:00Z","timestamp":1572566400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,11,1]],"date-time":"2019-11-01T00:00:00Z","timestamp":1572566400000},"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":[[2019,11]]},"DOI":"10.1109\/icsrs48664.2019.8987692","type":"proceedings-article","created":{"date-parts":[[2020,2,10]],"date-time":"2020-02-10T21:46:05Z","timestamp":1581371165000},"page":"203-212","source":"Crossref","is-referenced-by-count":12,"title":["UAS Operators Safety and Reliability Survey: Emerging Technologies towards the Certification of Autonomous UAS"],"prefix":"10.1109","author":[{"given":"Matthew","family":"Osborne","sequence":"first","affiliation":[]},{"given":"Jennifer","family":"Lantair","sequence":"additional","affiliation":[]},{"given":"Zain","family":"Shafiq","sequence":"additional","affiliation":[]},{"given":"Xingyu","family":"Zhao","sequence":"additional","affiliation":[]},{"given":"Valentin","family":"Robu","sequence":"additional","affiliation":[]},{"given":"David","family":"Flynn","sequence":"additional","affiliation":[]},{"given":"John","family":"Perry","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24270-0_14"},{"key":"ref72","author":"kelly","year":"1999","journal-title":"Arguing Safety A Systematic Approach to Managing Safety Cases"},{"key":"ref71","author":"toulmin","year":"1958","journal-title":"The Uses of Argument"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84996-086-1_4"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.1002"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1109\/ESEM.2011.53"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1109\/ISSREW.2014.72"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46675-9_16"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2007.29"},{"key":"ref38","doi-asserted-by":"crossref","first-page":"11803","DOI":"10.3182\/20110828-6-IT-1002.03248","article-title":"Probabilisti-cally safe vehicle control in a hostile environment","volume":"44","author":"cizelj","year":"2011","journal-title":"IFAC Proc"},{"key":"ref78","first-page":"79","article-title":"A New Approach to Assessment of Confidence in Assurance Cases","volume":"7613","author":"zhao","year":"2012","journal-title":"Computer Safety Reliability and Security LNCS"},{"key":"ref79","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/978-3-319-66266-4_4","article-title":"Confidence assessment framework for safety arguments","author":"wang","year":"2017","journal-title":"Computer Safety Reliability and Security"},{"key":"ref33","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","article-title":"PRISM 4.0: Verification of probabilistic real-time systems","volume":"6806","author":"kwiatkowska","year":"2011","journal-title":"Proc 23rd Int Conf on Computer Aided Verification ser LNCS"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-57685-5_3"},{"key":"ref31","article-title":"Formal specification and verification of autonomous robotic systems: A survey","author":"luckcuck","year":"2018","journal-title":"arXiv preprint arXiv 1807 00048"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-98938-9_10"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-017-9269-4"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-40379-3_13"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2011.10.005"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63390-9_31"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67361-5_40"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1016\/j.jfranklin.2013.01.009"},{"key":"ref61","author":"foundation","year":"0","journal-title":"The Robot Operating System"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.5772\/38918"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2019.00012"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2014.6906588"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.tra.2016.09.010"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1108\/IJIUS-08-2015-0011"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1109\/ICEPDS.2018.8571665"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/MITS.2016.2583491"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.3390\/aerospace4030049"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1080\/09617353.2000.11690698"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2015.68"},{"key":"ref2","article-title":"Central Committee of the Communist Party of China","year":"0","journal-title":"The 13th five-year plan for economic and social development of the people's republic of china"},{"key":"ref1","article-title":"Faa aerospace forecast fiscal years 2019-2039","year":"2019","journal-title":"FAA Technical Report"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1038\/s41560-019-0356-8"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2005.1559640"},{"key":"ref21","article-title":"The use of prognostic health management for autonomous unmanned air systems","author":"glover","year":"2010","journal-title":"Proc Annu Conf Prognostics Health Manage Soc"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2500468.2494558"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/AHS.2015.7231163"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1038\/d41586-018-00646-w"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ISSREW.2018.00028"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2016.09.002"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2018.00021"},{"key":"ref59","year":"2019","journal-title":"Airsim"},{"key":"ref58","year":"0","journal-title":"UAV craft"},{"key":"ref57","first-page":"1","article-title":"CARLA: An open urban driving simulator","author":"dosovitskiy","year":"2017","journal-title":"Proceedings of the 1st Annual Conference on Robot Learning"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.5772\/5618"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1007\/s11721-012-0072-5"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2004.1389727"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2019.01.004"},{"key":"ref52","first-page":"73","author":"kwiatkowska","year":"2018","journal-title":"Probabilistic Model Checking Advances and Applications"},{"key":"ref10","author":"goebel","year":"2017","journal-title":"Prognostics The Science of Making Predictions"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.4271\/2017-01-9078"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2017.19"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.microrel.2012.11.010"},{"key":"ref13","first-page":"1","article-title":"Verification of prognostic algorithms to predict remaining flying time for electric unmanned vehicles","volume":"9","author":"hogge","year":"2018","journal-title":"International Journal of Prognostics and Health Management"},{"key":"ref14","article-title":"Improving computational efficiency of prediction in model-based prognostics using the unscented transform","author":"daigle","year":"2010","journal-title":"Proc Annu Conf Prognostics Health Manage Soc"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2011.2159691"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1109\/ISSREW.2014.30"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.3390\/en11082120"},{"key":"ref81","article-title":"The interpretation and evaluation of assurance cases","author":"rushby","year":"2015","journal-title":"Computer Science Laboratory SRI International Menlo Park CA Tech Rep SRI-CSL-15-01"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.3390\/en11071820"},{"key":"ref84","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.199"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.3390\/app8050821"},{"key":"ref83","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2015.25"},{"key":"ref19","author":"berecibar","year":"2016","journal-title":"Critical review of state of health estimation methods of Li-ion batteries for real applications"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1016\/j.ssci.2016.09.014"},{"key":"ref4","article-title":"Letting go of the loop: Coming to grips with autonomous decision-making in military operations","author":"major heins","year":"2018","journal-title":"Tech Rep"},{"key":"ref3","author":"hall","year":"2017","journal-title":"Growing the Artificial Intelligence Industry in the UK"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.3390\/s18093171"},{"key":"ref5","first-page":"63","year":"2015","journal-title":"CAP 722 Unmanned Aircraft System Operations in UK Airspace-Guidance"},{"key":"ref85","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2738640"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICPHM.2015.7245034"},{"key":"ref86","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-30446-1_6"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.4271\/R-405"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2015.7381807"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-90-481-9707-1_46"},{"key":"ref46","first-page":"115","article-title":"Efficient runtime quantitative verification using caching, lookahead, and nearlyoptimal reconfiguration","author":"gerasimou","year":"2014","journal-title":"Proc of the 9th Int Symp on Software Engineering for Adaptive and Self-Managing Systems ser SEAMS 2014"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/2330667.2330686"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.67"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v33i01.33018066"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-32582-8_7"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-77935-5_16"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070513"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2015.2452931"}],"event":{"name":"2019 4th International Conference on System Reliability and Safety (ICSRS)","location":"Rome, Italy","start":{"date-parts":[[2019,11,20]]},"end":{"date-parts":[[2019,11,22]]}},"container-title":["2019 4th International Conference on System Reliability and Safety (ICSRS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8967508\/8987581\/08987692.pdf?arnumber=8987692","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,18]],"date-time":"2022-07-18T11:29:25Z","timestamp":1658143765000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8987692\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,11]]},"references-count":86,"URL":"https:\/\/doi.org\/10.1109\/icsrs48664.2019.8987692","relation":{},"subject":[],"published":{"date-parts":[[2019,11]]}}}