{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,21]],"date-time":"2025-09-21T17:47:38Z","timestamp":1758476858362,"version":"3.40.3"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031158414"},{"type":"electronic","value":"9783031158421"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-15842-1_18","type":"book-chapter","created":{"date-parts":[[2022,9,8]],"date-time":"2022-09-08T04:02:50Z","timestamp":1662609770000},"page":"252-266","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":16,"title":["SafeDrones: Real-Time Reliability Evaluation of\u00a0UAVs Using Executable Digital Dependable Identities"],"prefix":"10.1007","author":[{"given":"Koorosh","family":"Aslansefat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Panagiota","family":"Nikolaou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Walker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohammed Naveed","family":"Akram","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ioannis","family":"Sorokos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Reich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Panayiotis","family":"Kolios","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria K.","family":"Michael","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Theocharis","family":"Theocharides","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georgios","family":"Ellinas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Schneider","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yiannis","family":"Papadopoulos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,9,9]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Adler, R., Forster, M., Trapp, M.: Determining configuration probabilities of safety-critical adaptive systems. In: 21st International Conference on Advanced Information Networking and Applications Workshops (AINAW 2007), vol. 2, pp. 548\u2013555. IEEE (2007)","DOI":"10.1109\/AINAW.2007.153"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Armengaud, E., et al.: DDI: a novel technology and innovation model for dependable, collaborative and autonomous systems. In: 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), pp. 1626\u20131631. IEEE (2021)","DOI":"10.23919\/DATE51398.2021.9474049"},{"key":"18_CR3","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1016\/j.isatra.2019.08.015","volume":"97","author":"K Aslansefat","year":"2020","unstructured":"Aslansefat, K., Gogani, M.B., Kabir, S., Shoorehdeli, M.A., Yari, M.: Performance evaluation and design for variable threshold alarm systems through semi-Markov process. ISA Trans. 97, 282\u2013295 (2020)","journal-title":"ISA Trans."},{"issue":"8","key":"18_CR4","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1109\/MC.2021.3075054","volume":"54","author":"K Aslansefat","year":"2021","unstructured":"Aslansefat, K., Kabir, S., Abdullatif, A., Vasudevan, V., Papadopoulos, Y.: Toward improving confidence in autonomous vehicle software: a study on traffic sign recognition systems. Computer 54(8), 66\u201376 (2021)","journal-title":"Computer"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Aslansefat, K., Kabir, S., Gheraibia, Y., Papadopoulos, Y.: Dynamic fault tree analysis: state-of-the-art in modeling, analysis, and tools. In: Reliability Management and Engineering: Challenges and Future Trends, chap. 4, pp. 73\u2013111. CRC Press- Taylor & Francis (2020)","DOI":"10.1201\/9780429268922-4"},{"issue":"3","key":"18_CR6","doi-asserted-by":"publisher","first-page":"986","DOI":"10.1109\/TR.2019.2923893","volume":"69","author":"K Aslansefat","year":"2019","unstructured":"Aslansefat, K., Latif-Shabgahi, G.R.: A hierarchical approach for dynamic fault trees solution through semi-Markov process. IEEE Trans. Reliab. 69(3), 986\u20131003 (2019)","journal-title":"IEEE Trans. Reliab."},{"key":"18_CR7","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-030-17771-3_8","volume-title":"Technological Innovation for Industry and Service Systems","author":"K Aslansefat","year":"2019","unstructured":"Aslansefat, K., Marques, F., Mendon\u00e7a, R., Barata, J.: A Markov process-based approach for reliability evaluation of the propulsion system in multi-rotor drones. In: Camarinha-Matos, L.M., Almeida, R., Oliveira, J. (eds.) DoCEIS 2019. IAICT, vol. 553, pp. 91\u201398. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-17771-3_8"},{"key":"18_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-030-58920-2_13","volume-title":"Model-Based Safety and Assessment","author":"K Aslansefat","year":"2020","unstructured":"Aslansefat, K., Sorokos, I., Whiting, D., Tavakoli Kolagari, R., Papadopoulos, Y.: SafeML: safety monitoring of machine learning classifiers through statistical difference measures. In: Zeller, M., H\u00f6fig, K. (eds.) IMBSA 2020. LNCS, vol. 12297, pp. 197\u2013211. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-58920-2_13"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Belcastro, C.M., Newman, R.L., Evans, J., Klyde, D.H., Barr, L.C., Ancel, E.: Hazards identification and analysis for unmanned aircraft system operations. In: 17th AIAA Aviation Technology, Integration, and Operations Conference, p. 3269 (2017)","DOI":"10.2514\/6.2017-3269"},{"issue":"2","key":"18_CR10","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/S0951-8320(03)00143-1","volume":"82","author":"M Bouissou","year":"2003","unstructured":"Bouissou, M., Bon, J.L.: A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes. Reliab. Eng. Syst. Saf. 82(2), 149\u2013163 (2003)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"18_CR11","doi-asserted-by":"publisher","DOI":"10.1002\/9780470400531","volume-title":"Wiley Encyclopedia of Operations Research and Management Science","author":"J Cochran","year":"2010","unstructured":"Cochran, J.: Wiley Encyclopedia of Operations Research and Management Science. Wiley, Hoboken (2010)"},{"key":"18_CR12","unstructured":"DEIS Consortium: Open dependability exchange metamodel. https:\/\/github.com\/Digital-Dependability-Identities\/ODE. Accessed 28 Apr 2022"},{"key":"18_CR13","unstructured":"Franco, B.J.D.O.M., G\u00f3es, L.C.S.: Failure analysis methods in unmanned aerial vehicle (UAV) applications. In: Proceedings of COBEM 2007 19th International Congress of Mechanical Engineering (2007)"},{"key":"18_CR14","doi-asserted-by":"publisher","first-page":"135855","DOI":"10.1109\/ACCESS.2019.2941566","volume":"7","author":"Y Gheraibia","year":"2019","unstructured":"Gheraibia, Y., Kabir, S., Aslansefat, K., Sorokos, I., Papadopoulos, Y.: Safety+ AI: a novel approach to update safety models using artificial intelligence. IEEE Access 7, 135855\u2013135869 (2019)","journal-title":"IEEE Access"},{"key":"18_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.cor.2019.01.013","volume":"106","author":"J Guo","year":"2019","unstructured":"Guo, J., Elsayed, E.A.: Reliability of balanced multi-level unmanned aerial vehicles. Comput. Oper. Res. 106, 1\u201313 (2019)","journal-title":"Comput. Oper. Res."},{"key":"18_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-030-32872-6_8","volume-title":"Model-Based Safety and Assessment","author":"S Kabir","year":"2019","unstructured":"Kabir, S., Aslansefat, K., Sorokos, I., Papadopoulos, Y., Gheraibia, Y.: A conceptual framework to incorporate complex basic events in HiP-HOPS. In: Papadopoulos, Y., Aslansefat, K., Katsaros, P., Bozzano, M. (eds.) IMBSA 2019. LNCS, vol. 11842, pp. 109\u2013124. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-32872-6_8"},{"key":"18_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1007\/978-3-030-32872-6_22","volume-title":"Model-Based Safety and Assessment","author":"S Kabir","year":"2019","unstructured":"Kabir, S., et al.: A runtime safety analysis concept for open adaptive systems. In: Papadopoulos, Y., Aslansefat, K., Katsaros, P., Bozzano, M. (eds.) IMBSA 2019. LNCS, vol. 11842, pp. 332\u2013346. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-32872-6_22"},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"Kim, D.S., Ghosh, R., Trivedi, K.S.: A hierarchical model for reliability analysis of sensor networks. In: 2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing, pp. 247\u2013248 (2010)","DOI":"10.1109\/PRDC.2010.25"},{"key":"18_CR19","unstructured":"Murtha, J.F.: Evidence theory and fault tree analysis to cost-effectively improve reliability in small UAV design. Virginia Polytechnic Institute and State University (2009)"},{"key":"18_CR20","doi-asserted-by":"crossref","unstructured":"Olson, I., Atkins, E.M.: Qualitative failure analysis for a small quadrotor unmanned aircraft system. In: AIAA Guidance, Navigation, and Control (GNC) Conference, p. 4761 (2013)","DOI":"10.2514\/6.2013-4761"},{"issue":"2","key":"18_CR21","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1109\/MDAT.2014.2359572","volume":"32","author":"M Ottavi","year":"2014","unstructured":"Ottavi, M., et al.: Dependable multicore architectures at nanoscale: The view from Europe. IEEE Design Test 32(2), 17\u201328 (2014)","journal-title":"IEEE Design Test"},{"key":"18_CR22","doi-asserted-by":"publisher","unstructured":"Reich, J., Trapp, M.: SINADRA: towards a framework for assurable situation-aware dynamic risk assessment of autonomous vehicles. In: 16th European Dependable Computing Conference, EDCC 2020, Munich, Germany, 7\u201310 September 2020, pp. 47\u201350. IEEE (2020). https:\/\/doi.org\/10.1109\/EDCC51268.2020.00017","DOI":"10.1109\/EDCC51268.2020.00017"},{"key":"18_CR23","doi-asserted-by":"crossref","unstructured":"Sadeghzadeh, I., Mehta, A., Zhang, Y.: Fault\/damage tolerant control of a quadrotor helicopter UAV using model reference adaptive control and gain-scheduled PID. In: AIAA Guidance, Navigation, and Control Conference, p. 6716 (2011)","DOI":"10.2514\/6.2011-6716"},{"key":"18_CR24","doi-asserted-by":"crossref","unstructured":"Savva, A., et al.: ICARUS: automatic autonomous power infrastructure inspection with UAVs. In: 2021 International Conference on Unmanned Aircraft Systems (ICUAS), pp. 918\u2013926. IEEE (2021)","DOI":"10.1109\/ICUAS51884.2021.9476742"},{"issue":"2","key":"18_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2491465.2491467","volume":"8","author":"D Schneider","year":"2013","unstructured":"Schneider, D., Trapp, M.: Conditional safety certification of open adaptive systems. ACM Trans. Auton. Adapt. Syst. 8(2), 1\u201320 (2013). https:\/\/doi.org\/10.1145\/2491465.2491467","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"key":"18_CR26","doi-asserted-by":"crossref","unstructured":"Schneider, D., Trapp, M., Papadopoulos, Y., Armengaud, E., Zeller, M., H\u00f6fig, K.: WAP: digital dependability identities. In: 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE), pp. 324\u2013329. IEEE (2015)","DOI":"10.1109\/ISSRE.2015.7381825"},{"key":"18_CR27","doi-asserted-by":"crossref","unstructured":"Sharvia, S., Kabir, S., Walker, M., Papadopoulos, Y.: Model-based dependability analysis: state-of-the-art, challenges, and future outlook. In: Software Quality Assurance, pp. 251\u2013278. Elsevier (2016)","DOI":"10.1016\/B978-0-12-802301-3.00012-0"},{"key":"18_CR28","unstructured":"Soper, S., Day, M.: Amazon drone crashes hit Jeff Bezos\u2019 delivery dreams. https:\/\/www.bloomberg.com\/news\/features\/2022-04-10\/amazon-drone-crashes-delays-put-bezos-s-delivery-dream-at-risk. Accessed 10 Apr 2022"},{"key":"18_CR29","doi-asserted-by":"publisher","DOI":"10.1017\/9781316163047","volume-title":"Reliability and Availability Engineering: Modeling, Analysis, and Applications","author":"KS Trivedi","year":"2017","unstructured":"Trivedi, K.S., Bobbio, A.: Reliability and Availability Engineering: Modeling, Analysis, and Applications. Cambridge University Press, Cambridge (2017)"},{"key":"18_CR30","doi-asserted-by":"crossref","unstructured":"Valianti, P., Papaioannou, S., Kolios, P., Ellinas, G.: Multi-agent coordinated close-in jamming for disabling a rogue drone. IEEE Trans. Mob. Comput. (2021)","DOI":"10.1109\/TMC.2021.3062225"},{"key":"18_CR31","unstructured":"Vesely, W., Dugan, J., Fragola, J., Minarick, Railsback, J.: Fault tree handbook with aerospace applications. Technical report, NASA office of safety and mission assurance, Washington, DC (2002)"}],"container-title":["Lecture Notes in Computer Science","Model-Based Safety and Assessment"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-15842-1_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,8]],"date-time":"2022-09-08T04:05:43Z","timestamp":1662609943000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-15842-1_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031158414","9783031158421"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-15842-1_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"9 September 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IMBSA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Model-Based Safety and Assessment","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Munich","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 September 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 September 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"imbsa2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/easyconferences.eu\/imbsa2022\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"27","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"15","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"56% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}