{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T11:33:03Z","timestamp":1762342383692,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031687372"},{"type":"electronic","value":"9783031687389"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-68738-9_33","type":"book-chapter","created":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T23:02:40Z","timestamp":1725836560000},"page":"412-424","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Bridging the\u00a0Reality Gap: Assurable Simulations for\u00a0an\u00a0ML-Based Inspection Drone Flight Controller"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1307-5207","authenticated-orcid":false,"given":"Philippa","family":"Ryan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathias","family":"von Essen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liam","family":"Shackley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4745-4272","authenticated-orcid":false,"given":"John","family":"McDermid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,9,9]]},"reference":[{"key":"33_CR1","unstructured":"ACWG: Assurance Case Guidance Challenges, Common Issues and Good Practice. Tech. Rep. SCSC-159 v1.0, Safety Critical Systems Club (2021). https:\/\/scsc.uk\/scsc-141C"},{"key":"33_CR2","doi-asserted-by":"publisher","unstructured":"Ashmore, R., Calinescu, R., Paterson, C.: Assuring the machine learning lifecycle: desiderata, methods, and challenges. ACM Comput. Surv. 54(5) (2021). https:\/\/doi.org\/10.1145\/3453444","DOI":"10.1145\/3453444"},{"key":"33_CR3","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/978-3-031-15842-1_18","volume-title":"Model-Based Safety and Assessment: 8th International Symposium, IMBSA 2022, Munich, Germany, September 5\u20137, 2022, Proceedings","author":"K Aslansefat","year":"2022","unstructured":"Aslansefat, K., et al.: SafeDrones: real-time reliability evaluation of\u00a0UAVs using executable digital dependable identities. In: Seguin, C., Zeller, M., Prosvirnova, T. (eds.) Model-Based Safety and Assessment: 8th International Symposium, IMBSA 2022, Munich, Germany, September 5\u20137, 2022, Proceedings, pp. 252\u2013266. Springer International Publishing, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-15842-1_18"},{"key":"33_CR4","unstructured":"Assurance Case Working\u00a0Group, S.C.S.C.: GSN Community Standard Version 3 (2021)"},{"key":"33_CR5","doi-asserted-by":"crossref","unstructured":"Clothier, R., Denney, E., Pai, G.J.: Making a risk informed safety case for small unmanned aircraft system operations. In: 17th AIAA Aviation Technology, Integration, and Operations Conference, p.\u00a03275 (2017)","DOI":"10.2514\/6.2017-3275"},{"key":"33_CR6","unstructured":"Dimmig, C.A., et al.: Survey of Simulators for Aerial Robots (2024)"},{"key":"33_CR7","unstructured":"Hawkins, R., Paterson, C., Picardi, C., Jia, Y., Calinescu, R., Habli, I.: Guidance on the Assurance of Machine Learning in Autonomous Systems (AMLAS) (2021). https:\/\/arxiv.org\/abs\/2102.01564"},{"key":"33_CR8","unstructured":"Hawkins, R., Osborne, M., Parsons, M., Nicholson, M., McDermid, J., Habli, I.: Guidance on the Safety Assurance of Autonomous Systems in Complex Environments (SACE) (2022). https:\/\/arxiv.org\/abs\/2208.00853"},{"key":"33_CR9","doi-asserted-by":"publisher","unstructured":"Huck, T.P., Ledermann, C., Kr\u00f6ger, T.: Simulation-based testing for early safety-validation of robot systems. In: 2020 IEEE Symposium on Product Compliance Engineering - (SPCE Portland), pp.\u00a01\u20136 (2020). https:\/\/doi.org\/10.1109\/SPCE50045.2020.9296157","DOI":"10.1109\/SPCE50045.2020.9296157"},{"key":"33_CR10","doi-asserted-by":"crossref","unstructured":"Imrie, C., et\u00a0al.: Aloft: self-adaptive drone controller testbed. In: 19th International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS\u201924) (2024)","DOI":"10.1145\/3643915.3644107"},{"key":"33_CR11","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-3-031-40923-3_17","volume-title":"Computer Safety, Reliability, and Security: 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20\u201322, 2023, Proceedings","author":"F Kaakai","year":"2023","unstructured":"Kaakai, F., Adibhatla, S., Pai, G., Escorihuela, E.: Data-centric operational design domain characterization for\u00a0machine learning-based aeronautical products. In: Guiochet, J., Tonetta, S., Bitsch, F. (eds.) Computer Safety, Reliability, and Security: 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20\u201322, 2023, Proceedings, pp. 227\u2013242. Springer Nature Switzerland, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-40923-3_17"},{"key":"33_CR12","doi-asserted-by":"publisher","unstructured":"McAree, O., Aitken, J.M., Veres, S.M.: A model based design framework for safety verification of a semi-autonomous inspection drone. In: 2016 UKACC 11th International Conference on Control (CONTROL), pp.\u00a01\u20136 (2016). https:\/\/doi.org\/10.1109\/CONTROL.2016.7737551","DOI":"10.1109\/CONTROL.2016.7737551"},{"key":"33_CR13","unstructured":"Office for Nuclear Regulation, U.K.: Safety Assessment Principles for Nuclear Facilities. Tech. rep., Office for Nuclear Regulation, U.K. (Revised January 2020). https:\/\/www.onr.org.uk\/publications\/regulatory-guidance\/regulatory-assessment-and-permissioning\/safety-assessment-principles-saps\/2014\/11\/saps-2014\/"},{"key":"33_CR14","doi-asserted-by":"publisher","unstructured":"Osborne, M., Lantair, J., Shafiq, Z., Zhao, X., Robu, V., Flynn, D., Perry, J.: UAS operators safety and reliability survey: emerging technologies towards the certification of autonomous UAS. In: 2019 4th International Conference on System Reliability and Safety (ICSRS), pp. 203\u2013212 (2019). https:\/\/doi.org\/10.1109\/ICSRS48664.2019.8987692","DOI":"10.1109\/ICSRS48664.2019.8987692"},{"key":"33_CR15","doi-asserted-by":"publisher","unstructured":"Perez-Segui, R., et al.: Bridging the gap between simulation and real autonomous UAV flights in industrial applications. Aerospace 10(9) (2023). https:\/\/doi.org\/10.3390\/aerospace10090814, https:\/\/www.mdpi.com\/2226-4310\/10\/9\/814","DOI":"10.3390\/aerospace10090814"},{"key":"33_CR16","doi-asserted-by":"publisher","unstructured":"Proma, N.M., Alexander, R.: Systematic situation coverage versus random situation coverage for safety testing in an autonomous car simulation. In: Proceedings of the 12th Latin-American Symposium on Dependable and Secure Computing, pp. 208-213. LADC \u201923, Association for Computing Machinery, New York, NY, USA (2023). https:\/\/doi.org\/10.1145\/3615366.3625077, https:\/\/doi.org\/10.1145\/3615366.3625077","DOI":"10.1145\/3615366.3625077"},{"key":"33_CR17","unstructured":"RTCA\/EUROCAE: DO-330 Software Tool Qualification Considerations (2011)"},{"issue":"1","key":"33_CR18","doi-asserted-by":"publisher","first-page":"26","DOI":"10.3390\/robotics10010026","volume":"10","author":"M Shafiee","year":"2021","unstructured":"Shafiee, M., Zhou, Z., Mei, L., Dinmohammadi, F., Karama, J., Flynn, D.: Unmanned aerial drones for inspection of offshore wind turbines: a mission-critical failure analysis. Robotics 10(1), 26 (2021)","journal-title":"Robotics"},{"key":"33_CR19","doi-asserted-by":"publisher","first-page":"48572","DOI":"10.1109\/ACCESS.2019.2909530","volume":"7","author":"H Shakhatreh","year":"2019","unstructured":"Shakhatreh, H., et al.: Unmanned aerial vehicles (UAVs): a survey on civil applications and key research challenges. IEEE Access 7, 48572\u201348634 (2019). https:\/\/doi.org\/10.1109\/ACCESS.2019.2909530","journal-title":"IEEE Access"},{"key":"33_CR20","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/978-3-030-98260-7_12","volume-title":"Modelling and Simulation for Autonomous Systems: 8th International Conference, MESAS 2021, Virtual Event, October 13\u201314, 2021, Revised Selected Papers","author":"Z Tahir","year":"2022","unstructured":"Tahir, Z., Alexander, R.: Intersection focused situation coverage-based verification and validation framework for autonomous vehicles implemented in CARLA. In: Mazal, J., et al. (eds.) Modelling and Simulation for Autonomous Systems: 8th International Conference, MESAS 2021, Virtual Event, October 13\u201314, 2021, Revised Selected Papers, pp. 191\u2013212. Springer International Publishing, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-98260-7_12"},{"key":"33_CR21","doi-asserted-by":"crossref","unstructured":"Valapil, V.T., et\u00a0al.: Towards formalization of a data model for operational risk assessment. In: 2021 IEEE\/AIAA 40th Digital Avionics Systems Conference (DASC), pp. 1\u201310 (2021)","DOI":"10.1109\/DASC52595.2021.9594289"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-68738-9_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T23:09:40Z","timestamp":1725836980000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-68738-9_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031687372","9783031687389"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-68738-9_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"9 September 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SAFECOMP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computer Safety, Reliability, and Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Florence","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"43","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"safecomp2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.safecomp2024.unifi.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}