{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,21]],"date-time":"2025-09-21T08:45:13Z","timestamp":1758444313048,"version":"3.44.0"},"publisher-location":"Cham","reference-count":22,"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_2","type":"book-chapter","created":{"date-parts":[[2025,9,20]],"date-time":"2025-09-20T07:37:37Z","timestamp":1758353857000},"page":"18-32","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Model-Based Safety Assessment for\u00a0Flight Control Systems: Methodology and\u00a0Case Study"],"prefix":"10.1007","author":[{"given":"Isabella","family":"Lanzani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Perfetti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Uliano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,9,21]]},"reference":[{"key":"2_CR1","unstructured":"SAE, ARP 4761A: Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment, Annex N, ARP 4761A (2023)"},{"key":"2_CR2","unstructured":"FALCON 7X Certification Collection 27_1-300, Primary Flight Control System Safety Analysis, Dassault Aviation reference DGT91338"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Bernard, R., Aubert, J.-.J., Bieber, P., Merlini, C., Metge, S.: Experiments in model based safety analysis: flight controls (2007)","DOI":"10.3182\/20070613-3-FR-4909.00010"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Frazza, C., Darfeuil, P., Gauthier, J.: MBSA in aeronautics: a way to support safety activities. IMBSA (2022)","DOI":"10.1007\/978-3-031-15842-1_3"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Kaiser, B., et al.: Advances in Component Fault Trees. CRC Press (2018)","DOI":"10.1201\/9781351174664-103"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Mathou, C., Delmas, K., De Saqui-Sannes, P., Chaudemar, J.-C.: Safety-oriented dynamic procedure modeling. SysCon (2024)","DOI":"10.1109\/SysCon61195.2024.10553507"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Mathou, C., Delmas, K., Chaudemar, J. -C., de Saqui-Sannes, P.: Modeling UAS flight procedures for SORA safety objectives. SysCon (2023)","DOI":"10.1109\/SysCon53073.2023.10130845"},{"key":"2_CR8","unstructured":"SAE, ARP 4754: Guidelines for Development of Civil Aircraft and Systems, ARP 4754 (2010)"},{"key":"2_CR9","unstructured":"K. Wasson, N. Neogi, M. Graydon, J. Maddalon, P. Miner, and G. F. McCormick. Functional Hazard Assessment for the eVTOL Aircraft Supporting Urban Air Mobility Applications: Exploratory Demonstrations. 2022"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Moir, I., Seabridge, A., Jukes, M.: Civil Avionis Systems - Ch 4. System Safety. 2nd edn. Wiley, United Kingdom (2013)","DOI":"10.1002\/9781118536704"},{"key":"2_CR11","unstructured":"Dassault Aviation. Cecilia Worskshop User\u2019s Manual version 6.0. (2019)"},{"key":"2_CR12","unstructured":"Prosvirnova, T.: AltaRica 3.0: a model-based approach for safety analyses (2014)"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Prosvirnova, T., et al.: The AltaRica 3.0 project for model-based safety assessment (2013)","DOI":"10.3182\/20130904-3-UK-4041.00028"},{"key":"2_CR14","unstructured":"Prosvirnova, T., Batteux, M., Rauzy, A.: AltaRica 3.0 language specification (2020)"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Prosvirnova, T., et al.: Strategies for modelling failure propagation in dynamic systems with AltaRica. IMBSA (2022)","DOI":"10.1007\/978-3-031-15842-1_8"},{"key":"2_CR16","unstructured":"https:\/\/github.com\/Sabeast-4\/FCS-SafetyModel"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Prosvirnova, T., Rauzy, A.: Automated generation of minimal cut sets from AltaRica 3.0 models. IJCCBS (2015)","DOI":"10.1504\/IJCCBS.2015.068852"},{"key":"2_CR18","unstructured":"EASA. Certification specification for large rotorcraft (2023)"},{"key":"2_CR19","unstructured":"Lanzani, I., Uliano, L., Scattolini, R.: Integration of commonalities in the paradigm of model-based safety analysis in aerospace (2024)"},{"key":"2_CR20","unstructured":"https:\/\/www.ibm.com\/docs\/en\/engineering-lifecycle-management-suite\/doors\/"},{"key":"2_CR21","unstructured":"https:\/\/mbse-capella.org\/"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Papadopoulos, Y., et al.: Engineering failure analysis and design optimisation with HiP-HOPS (2011)","DOI":"10.1016\/j.engfailanal.2010.09.025"}],"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_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,20]],"date-time":"2025-09-20T07:37:46Z","timestamp":1758353866000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-05073-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,21]]},"ISBN":["9783032050724","9783032050731"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-05073-1_2","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":"Author Isabella Lanzani has received research grants from Leonardo S.P.A. Company.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}},{"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"}}]}}