{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T11:01:54Z","timestamp":1757588514047,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031720581"},{"type":"electronic","value":"9783031720598"}],"license":[{"start":{"date-parts":[[2024,12,30]],"date-time":"2024-12-30T00:00:00Z","timestamp":1735516800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,12,30]],"date-time":"2024-12-30T00:00:00Z","timestamp":1735516800000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-72059-8_15","type":"book-chapter","created":{"date-parts":[[2024,12,29]],"date-time":"2024-12-29T14:00:51Z","timestamp":1735480851000},"page":"169-181","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Safety Assurance Challenges for\u00a0Autonomous Drones in\u00a0Underground Mining Environments"],"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"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1868-3343","authenticated-orcid":false,"given":"Arjun","family":"Badyal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samuel","family":"Sze","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-9938-3336","authenticated-orcid":false,"given":"Benjamin","family":"Hardin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-1198-1018","authenticated-orcid":false,"given":"Hasan","family":"Bin Firoz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8141-754X","authenticated-orcid":false,"given":"Paulina","family":"Lewinska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2469-0224","authenticated-orcid":false,"given":"Victoria","family":"Hodge","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,12,30]]},"reference":[{"key":"15_CR1","unstructured":"A. Miyazawa, et\u00a0al., A.: RoboSim Physical Modelling Reference Manual. Technical report, University of York (2020)"},{"key":"15_CR2","unstructured":"ACWG: Assurance Case Guidance \u201cChallenges, Common Issues and Good Practice\u201d. Technical report SCSC-159 v1.0, Safety Critical Systems Club (2021). https:\/\/scsc.uk\/scsc-141C"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Aslansefat, K., Nikolaou, P., et\u00a0al.: Safedrones: real-time reliability evaluation of uavs using executable digital dependable identities. In: Seguin, C., Zeller, M., Prosvirnova, T. (eds.) Model-Based Safety and Assessment, pp. 252\u2013266. Springer (2022)","DOI":"10.1007\/978-3-031-15842-1_18"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Barr, L.C., Newman, R., et\u00a0al.: Preliminary risk assessment for small unmanned aircraft systems. In: 17th AIAA Aviation Technology, Integration, and Operations Conference, p.\u00a03272 (2017)","DOI":"10.2514\/6.2017-3272"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Cavalcanti, A., Barnett, W., et\u00a0al.: RoboStar Technology: A Roboticist\u2019s Toolbox for Combined Proof, Simulation, and Testing, pp. 249\u2013293. Springer, Cham (2021)","DOI":"10.1007\/978-3-030-66494-7_9"},{"key":"15_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.scico.2019.01.004","volume":"174","author":"A Cavalcanti","year":"2019","unstructured":"Cavalcanti, A., Sampaio, A., et al.: Verified simulation for robotics. Sci. Comput. Program. 174, 1\u201337 (2019)","journal-title":"Sci. Comput. Program."},{"key":"15_CR7","unstructured":"Chowdhury, A.: Dynamic Risk Assessment of Unmanned Aerial Vehicles (UAVs). Master\u2019s thesis, Department of Mechanical Engineering, University of Alberta, Canada (2023)"},{"issue":"3","key":"15_CR8","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1109\/MS.2020.3000104","volume":"38","author":"J Cleland-Huang","year":"2020","unstructured":"Cleland-Huang, J., Agrawal, A., et al.: Visualizing change in agile safety-critical systems. IEEE Softw. 38(3), 43\u201351 (2020)","journal-title":"IEEE Softw."},{"key":"15_CR9","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":"15_CR10","unstructured":"Coldsnow, M.W., Glaab, L.J., et\u00a0al.: Safety Case for Small Uncrewed Aircraft Systems (sUAS) Beyond Visual Line of Sight (BVLOS) Operations at NASA Langley Research Center. Technical report, NASA Langley Research Center, Hampton, VA, USA. (No. NASA\/TM\u201320230003007) (2023)"},{"key":"15_CR11","unstructured":"Health and Safety Executive: Health and Safety at Work Regulations (1999). https:\/\/www.legislation.gov.uk\/uksi\/1999\/3242\/regulation\/3"},{"key":"15_CR12","doi-asserted-by":"publisher","first-page":"2015","DOI":"10.1007\/s00521-020-05097-x","volume":"33","author":"VJ Hodge","year":"2021","unstructured":"Hodge, V.J., Hawkins, R., Alexander, R.: Deep reinforcement learning for drone navigation using sensor data. Neural Comput. Appl. 33, 2015\u20132033 (2021)","journal-title":"Neural Comput. Appl."},{"key":"15_CR13","unstructured":"Holybro: PX4 Vision Dev Kit V1.5 (2024). https:\/\/holybro.com\/products\/px4-vision-dev-kit-v1-5"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Imrie, C., Howard, R., et\u00a0al.: Aloft: self-adaptive drone controller testbed. In: 19th International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2024) (2024)","DOI":"10.1145\/3643915.3644107"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Kaakai, F., Adibhatla, S.E.A.: Data-centric operational design domain characterization for machine learning-based aeronautical products. In: Computer Safety, Reliability, and Security: 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 2022, 2023, Proceedings, pp.227\u2013242. Springer, Heidelberg (2023)","DOI":"10.1007\/978-3-031-40923-3_17"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"McDermid, J.A., Nicholson, M., Pumfrey, D.J., Fenelon, P.: Experience with the application of HAZOP to computer-based systems. In: IEEE Proceedings of the 10th Conference on Computer Assurance Systems Integrity, Software Safety and Process Security, pp. 37\u201348 (1997)","DOI":"10.1109\/CMPASS.1995.521885"},{"key":"15_CR17","unstructured":"Open Robotics: ROS2 documentation (2024). https:\/\/docs.ros.org\/en\/foxy\/index.html"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"Park, S., Choi, Y.: Applications of unmanned aerial vehicles in mining from exploration to reclamation: a review. Minerals 10(8) (2020)","DOI":"10.3390\/min10080663"},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"Rahimi, M., Xiong, W., et\u00a0al.: Diagnosing assumption problems in safety-critical products. In: 2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 473\u2013484 (2017)","DOI":"10.1109\/ASE.2017.8115659"},{"issue":"1","key":"15_CR20","doi-asserted-by":"publisher","first-page":"26","DOI":"10.3390\/robotics10010026","volume":"10","author":"M Shafiee","year":"2021","unstructured":"Shafiee, M., Zhou, Z., et al.: Unmanned aerial drones for inspection of offshore wind turbines: a mission-critical failure analysis. Robotics 10(1), 26 (2021)","journal-title":"Robotics"},{"key":"15_CR21","unstructured":"Shahmoradi, J., Roghanchi, P., Hassanalian, M.: Drones in underground mines: challenges and applications. In: 2020 Gulf Southwest Section Conference. ASEE (2020)"},{"key":"15_CR22","doi-asserted-by":"publisher","first-page":"48572","DOI":"10.1109\/ACCESS.2019.2909530","volume":"7","author":"H Shakhatreh","year":"2019","unstructured":"Shakhatreh, H., Sawalmeh, A., et al.: Unmanned aerial vehicles (UAVs): a survey on civil applications and key research challenges. IEEE Access 7, 48572\u201348634 (2019)","journal-title":"IEEE Access"},{"key":"15_CR23","doi-asserted-by":"crossref","unstructured":"Valapil, V.T., Herencia-Zapana, H., 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","Towards Autonomous Robotic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-72059-8_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,29]],"date-time":"2024-12-29T14:03:41Z","timestamp":1735481021000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-72059-8_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12,30]]},"ISBN":["9783031720581","9783031720598"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-72059-8_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,12,30]]},"assertion":[{"value":"30 December 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"TAROS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Annual Conference Towards Autonomous Robotic Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"London","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","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":"21 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"taros2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/taros-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}