{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,21]],"date-time":"2025-09-21T08:46:54Z","timestamp":1758444414454,"version":"3.44.0"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783032050724"},{"type":"electronic","value":"9783032050731"}],"license":[{"start":{"date-parts":[[2025,9,21]],"date-time":"2025-09-21T00:00:00Z","timestamp":1758412800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,9,21]],"date-time":"2025-09-21T00:00:00Z","timestamp":1758412800000},"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":[[2026]]},"DOI":"10.1007\/978-3-032-05073-1_25","type":"book-chapter","created":{"date-parts":[[2025,9,20]],"date-time":"2025-09-20T07:37:43Z","timestamp":1758353863000},"page":"383-397","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["An Altarica-Based Modelling and\u00a0Analysis Approach Enabling UAV Regulation Compliance"],"prefix":"10.1007","author":[{"given":"Pierre","family":"Bieber","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7654-0332","authenticated-orcid":false,"given":"Kevin","family":"Delmas","sequence":"additional","affiliation":[]},{"given":"Sergio","family":"Pizziol","sequence":"additional","affiliation":[]},{"given":"Tatiana","family":"Prosvirnova","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2241-2973","authenticated-orcid":false,"given":"Christel","family":"Seguin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,9,21]]},"reference":[{"issue":"2\u20133","key":"25_CR1","doi-asserted-by":"publisher","first-page":"109","DOI":"10.3233\/FI-1999-402302","volume":"40","author":"A Arnold","year":"1999","unstructured":"Arnold, A., Point, G., Griffault, A., Rauzy, A.: The Altarica formalism for describing concurrent systems. Fundamanta Informaticae 40(2\u20133), 109\u2013124 (1999)","journal-title":"Fundamanta Informaticae"},{"key":"25_CR2","doi-asserted-by":"publisher","unstructured":"Aslansefat, K., et al.: SafeDrones: real-time reliability evaluation of UAVs using executable digital dependable identities, pp. 252\u2013266 (2022). https:\/\/doi.org\/10.1007\/978-3-031-15842-1_18","DOI":"10.1007\/978-3-031-15842-1_18"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"Bieber, P., Delmas, K., Blaye, P.L., Pizziol, S., Prosvirnova, T., Seguin, C.: Safety barrier diagrams for specific operations of drones. In: 2024 International Conference on Unmanned Aircraft Systems (ICUAS), pp. 858\u2013864 (2024)","DOI":"10.1109\/ICUAS60882.2024.10556833"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Bieber, P., Delmas, K., Pizziol, S., Prosvirnova, T., Seguin, C.: A generic approach for safety assessment of medium-risk drones. Eng. Proc. 90(1) (2025)","DOI":"10.3390\/engproc2025090041"},{"key":"25_CR5","doi-asserted-by":"publisher","unstructured":"Bittner, B., et al.: The xSAP safety analysis platform. In: Chechik, M., Raskin, J.-F. (eds.) TACAS 2016. LNCS, vol. 9636, pp. 533\u2013539. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-49674-9_31","DOI":"10.1007\/978-3-662-49674-9_31"},{"key":"25_CR6","unstructured":"de\u00a0Bossoreille, X., Delavault, S., Deschamps, F., Frazza, C., Prosvirnova, T., Seguin, C.: MBSA modelling guide and validation report. Technical report. LIV-S085L01-001, IRT Saint Exup\u00e9ry (2023). https:\/\/sahara.irt.saintexupery.com\/S2C\/Public-Documents\/src\/branch\/master\/Guide"},{"key":"25_CR7","doi-asserted-by":"publisher","unstructured":"Delange, J., Feiler, P.: Architecture fault modeling with the AADL error-model annex. In: Proceedings - 40th Euromicro Conference Series on Software Engineering and Advanced Applications, SEAA 2014, pp. 361\u2013368 (2014). https:\/\/doi.org\/10.1109\/SEAA.2014.20","DOI":"10.1109\/SEAA.2014.20"},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Delmas, K., Seguin, C., Bieber, P.: Tiered model-based safety assessment. In: Model-Based Safety and Assessment, pp. 141\u2013156 (2019)","DOI":"10.1007\/978-3-030-32872-6_10"},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"Denney, E., Pai, G., Johnson, M.: Towards a rigorous basis for specific operations risk assessment of UAS. In: 2018 IEEE\/AIAA 37th Digital Avionics Systems Conference (DASC), pp. 1\u201310. IEEE (2018)","DOI":"10.1109\/DASC.2018.8569475"},{"key":"25_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-319-66266-4_11","volume-title":"Computer Safety, Reliability, and Security","author":"E Denney","year":"2017","unstructured":"Denney, E., Pai, G., Whiteside, I.: Modeling the safety architecture of UAS flight operations. In: Tonetta, S., Schoitsch, E., Bitsch, F. (eds.) SAFECOMP 2017. LNCS, vol. 10488, pp. 162\u2013178. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-66266-4_11"},{"key":"25_CR11","unstructured":"EASA:\u00a0Cologne, G.: Means of Compliance with OSO#05\/10\/12 System Safety and Reliability (2023)"},{"key":"25_CR12","unstructured":"EUROCAE: ED279 \u2013 Generic FHA for RPAS\/UAS (2020)"},{"key":"25_CR13","unstructured":"EUROCAE, SAE: Aerospace Recommended Practices 4761 - guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment (2023)"},{"key":"25_CR14","unstructured":"EuropeanUnion: COMMISSION IMPLEMENTING REGULATION (EU) 2019\/947 of 24 May 2019 on the rules and procedures for the operation of unmanned aircraft (2019)"},{"key":"25_CR15","unstructured":"JARUS: JARUS Guidelines on Specific Operations Risk Assessment (SORA), Edition Number 2.5 (2024)"},{"key":"25_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-030-32872-6_1","volume-title":"Model-Based Safety and Assessment","author":"M Machin","year":"2019","unstructured":"Machin, M., Saez, E., Virelizier, P., Bossoreille, X.: Modeling functional allocation in AltaRica to support MBSE\/MBSA consistency. In: Papadopoulos, Y., Aslansefat, K., Katsaros, P., Bozzano, M. (eds.) IMBSA 2019. LNCS, vol. 11842, pp. 3\u201317. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-32872-6_1"},{"key":"25_CR17","doi-asserted-by":"crossref","unstructured":"Mathou, C., Delmas, K., de\u00a0Saqui-Sannes, P., Chaudemar, J.C.: Safety-oriented dynamic procedure modeling. In: 2024 IEEE International Systems Conference (SysCon), pp.\u00a01\u20138. IEEE (2024)","DOI":"10.1109\/SysCon61195.2024.10553507"},{"key":"25_CR18","doi-asserted-by":"publisher","unstructured":"Papadopoulos, Y., et al.: Engineering failure analysis and design optimisation with hip-hops. Eng. Failure Anal. 18, 590\u2013608 (2011). https:\/\/doi.org\/10.1016\/j.engfailanal.2010.09.025","DOI":"10.1016\/j.engfailanal.2010.09.025"},{"key":"25_CR19","unstructured":"Perrin, E., Kirwan, B., Stroup, R.: A systemic model of ATM safety: the integrated risk picture. In: Proceedings of the 7th USA\/Europe ATM R &D Seminar, Barcelona (2007)"},{"issue":"4","key":"25_CR20","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1109\/24.983400","volume":"50","author":"A Rauzy","year":"2001","unstructured":"Rauzy, A.: Mathematical foundations of minimal cutsets. IEEE Trans. Reliab. 50(4), 389\u2013396 (2001)","journal-title":"IEEE Trans. Reliab."},{"key":"25_CR21","unstructured":"SatoDev: Cecilia Workshop Version 6.1 (2022)"}],"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-032-05073-1_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,20]],"date-time":"2025-09-20T07:37:49Z","timestamp":1758353869000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-05073-1_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,21]]},"ISBN":["9783032050724","9783032050731"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-05073-1_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,9,21]]},"assertion":[{"value":"21 September 2025","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":"Athens","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 September 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 September 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"imbsa2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/imbsa-conference.com","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}