{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,21]],"date-time":"2025-09-21T17:44:39Z","timestamp":1758476679757},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030328719"},{"type":"electronic","value":"9783030328726"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-32872-6_10","type":"book-chapter","created":{"date-parts":[[2019,10,10]],"date-time":"2019-10-10T19:04:24Z","timestamp":1570734264000},"page":"141-156","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Tiered Model-Based Safety Assessment"],"prefix":"10.1007","author":[{"given":"Kevin","family":"Delmas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christel","family":"Seguin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Bieber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,10,11]]},"reference":[{"key":"10_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B: System and Software Engineering","author":"J-R Abrial","year":"2010","unstructured":"Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)"},{"issue":"2\u20133","key":"10_CR2","doi-asserted-by":"crossref","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":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1007\/978-3-662-49674-9_31","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"B Bittner","year":"2016","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"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Bittner, B., Bozzano, M., Cimatti, A., Zampedri, G.: Automated verification and tightening of failure propagation models. In: AAAI, pp. 907\u2013913 (2016)","DOI":"10.1609\/aaai.v30i1.10094"},{"key":"10_CR5","unstructured":"Dassault. Cecilia OCAS framework (2014)"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Domis, D., H\u00f6fig, K., Trapp, M.: A consistency check algorithm for component-based refinements of fault trees. In: IEEE 21st International Symposium on Software Reliability Engineering, ISSRE 2010, San Jose, CA, USA, 1\u20134 November 2010, pp. 171\u2013180 (2010)","DOI":"10.1109\/ISSRE.2010.23"},{"key":"10_CR7","unstructured":"Farges, J.-L., et al.: Addressing safety assessment of autonomous robot operation and design with model based safety assessment. In: Lambda Mu 21 $$\\ll $$ \u226a Ma\u00eetrise des risques et transformation num\u00e9rique: opportunit\u00e9s et menaces $$\\gg $$ \u226b (2018)"},{"key":"10_CR8","unstructured":"Kaiser, B., Liggesmeyer, P., M\u00e4ckel, O.: A new component concept for fault trees. In: Proceedings of the 8th Australian Workshop on Safety Critical Systems and Software, vol. 33, pp. 37\u201346. Australian Computer Society Inc. (2003)"},{"key":"10_CR9","unstructured":"Laibinis, L., Troubitsyna, E.: Fault tolerance in a layered architecture: a general specification pattern in B. In: Proceedings of the Second International Conference on Software Engineering and Formal Methods, SEFM 2004, pp. 346\u2013355. IEEE (2004)"},{"key":"10_CR10","unstructured":"Lisagor, O., Bozzano, M., Bretschneider, M., Kelly, T.: Incremental safety assessment: enabling the comparison of safety analysis results. In: 28th International System Safety Conference (ISSC) (2010, submitted)"},{"issue":"3","key":"10_CR11","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1016\/j.ifacol.2016.07.076","volume":"49","author":"F Mhenni","year":"2016","unstructured":"Mhenni, F., Choley, J.-Y., Nguyen, N., Frazza, C.: Flight control system modeling with sysml to support validation, qualification and certification. IFAC-PapersOnLine 49(3), 453\u2013458 (2016)","journal-title":"IFAC-PapersOnLine"},{"key":"10_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-319-12214-4_5","volume-title":"Model-Based Safety and Assessment","author":"M Morel","year":"2014","unstructured":"Morel, M.: Model-based safety approach for early validation of integrated and modular avionics architectures. In: Ortmeier, F., Rauzy, A. (eds.) IMBSA 2014. LNCS, vol. 8822, pp. 57\u201369. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-12214-4_5"},{"key":"10_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/3-540-48249-0_13","volume-title":"Computer Safety, Reliability and Security","author":"Y Papadopoulos","year":"1999","unstructured":"Papadopoulos, Y., McDermid, J.A.: Hierarchically performed hazard origin and propagation studies. In: Felici, M., Kanoun, K. (eds.) SAFECOMP 1999. LNCS, vol. 1698, pp. 139\u2013152. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/3-540-48249-0_13"},{"key":"10_CR14","unstructured":"Prosvirnova, T.: AltaRica 3.0: a model-based approach for safety analyses. Ph.D. thesis. Ecole Polytechnique (2014)"},{"issue":"4","key":"10_CR15","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":"10_CR16","unstructured":"SAE: Aerospace Recommended Practices 4761 - guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment (1996)"},{"key":"10_CR17","unstructured":"SAE: Aerospace Recommended Practices 4754a - Development of Civil Aircraft and Systems (2010)"},{"key":"10_CR18","volume-title":"Reliability, Availability, Maintainability and Safety Assessment","author":"A Villemeur","year":"1992","unstructured":"Villemeur, A.: Reliability, Availability, Maintainability and Safety Assessment. Wiley, Hoboken (1992)"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Vistbakka, I., Troubitsyna, E., Majd, A.: Multi-layered safety architecture of autonomous systems: formalising coordination perspective. In: 2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE), pp. 58\u201365. IEEE (2019)","DOI":"10.1109\/HASE.2019.00019"},{"key":"10_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1007\/978-3-319-45480-1_26","volume-title":"Computer Safety, Reliability, and Security","author":"M Zeller","year":"2016","unstructured":"Zeller, M., Ratiu, D., H\u00f6fig, K.: Towards the adoption of model-based engineering for the development of safety-critical systems in industrial practice. In: Skavhaug, A., Guiochet, J., Schoitsch, E., Bitsch, F. (eds.) SAFECOMP 2016. LNCS, vol. 9923, pp. 322\u2013333. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-45480-1_26"}],"container-title":["Lecture Notes in Computer Science","Model-Based Safety and Assessment"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-32872-6_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,1]],"date-time":"2022-10-01T07:09:19Z","timestamp":1664608159000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-32872-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030328719","9783030328726"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-32872-6_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"11 October 2019","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":"Thessaloniki","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":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"imbsa2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/easyconferences.eu\/imbsa2019\/","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":"46","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":"24","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":"0","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":"52% - 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":"3","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":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}