{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T21:47:03Z","timestamp":1769723223885,"version":"3.49.0"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783031158414","type":"print"},{"value":"9783031158421","type":"electronic"}],"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_8","type":"book-chapter","created":{"date-parts":[[2022,9,8]],"date-time":"2022-09-08T04:02:50Z","timestamp":1662609770000},"page":"101-115","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Strategies for\u00a0Modelling Failure Propagation in Dynamic Systems with AltaRica"],"prefix":"10.1007","author":[{"given":"Tatiana","family":"Prosvirnova","sequence":"first","affiliation":[]},{"given":"Christel","family":"Seguin","sequence":"additional","affiliation":[]},{"given":"Christophe","family":"Frazza","sequence":"additional","affiliation":[]},{"given":"Michel","family":"Batteux","sequence":"additional","affiliation":[]},{"given":"Xavier","family":"de Bossoreille","sequence":"additional","affiliation":[]},{"given":"Fr\u00e9d\u00e9ric","family":"Deschamps","sequence":"additional","affiliation":[]},{"given":"Jean","family":"Gauthier","sequence":"additional","affiliation":[]},{"given":"Estelle","family":"Saez","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,9,9]]},"reference":[{"key":"8_CR1","unstructured":"EUROCAE ED-135 guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment"},{"key":"8_CR2","first-page":"109","volume":"34","author":"A Arnold","year":"2000","unstructured":"Arnold, A., Griffault, A., Point, G., Rauzy, A.: The AltaRica language and its semantics. Fund. Inform. 34, 109\u2013124 (2000)","journal-title":"Fund. Inform."},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Batteux, M., Prosvirnova, T., Rauzy, A.: AltaRica 3.0 assertions: the why and the wherefore. J. Risk Reliab. (2017, article accepted)","DOI":"10.1177\/1748006X17728209"},{"issue":"1\u20132","key":"8_CR4","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1504\/IJCCBS.2019.098809","volume":"9","author":"M Batteux","year":"2018","unstructured":"Batteux, M., Prosvirnova, T., Rauzy, A.: AltaRica 3.0 in 10 modeling patterns. Int. J. Crit. Comput.-Based Syst. 9(1\u20132), 133\u2013165 (2018). https:\/\/doi.org\/10.1504\/IJCCBS.2019.098809","journal-title":"Int. J. Crit. Comput.-Based Syst."},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Bernard, R., Aubert, J.J., Bieber, P., Merlini, C., Metge, S.: Experiments in model-based safety analysis: flight controls. In: Faure, J.M. (ed.) Proceedings of IFAC Workshop on Dependable Control of Discrete Systems, Cachan, France, pp. 43\u201348. Curran Associates Inc. (2007). ISBN 9781617389948","DOI":"10.3182\/20070613-3-FR-4909.00010"},{"key":"8_CR6","unstructured":"Bieber, P., et al.: Integration of formal fault analysis in assert: case studies and lessons learnt. In: Proceedings of 4th European Congress Embedded Real Time Software, ERTS 2008. SIA (Electronic Proceedings), Toulouse, France (2008). Code R-2008-01-2B04"},{"key":"8_CR7","doi-asserted-by":"publisher","first-page":"747","DOI":"10.1016\/j.ress.2004.12.004","volume":"91","author":"M Boiteau","year":"2006","unstructured":"Boiteau, M., Dutuit, Y., Rauzy, A., Signoret, J.P.: The AltaRica data-flow language in use: assessment of production availability of a multistates system. Reliab. Eng. Syst. Saf. 91, 747\u2013755 (2006)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Bouissou, M., Bouhadana, H., Bannelier, M., Villatte, N.: Knowledge modelling and reliability processing: presentation of the Figaro modelling language and associated tools. In: Proceedings of Safecomp 1991 (1991)","DOI":"10.1016\/S1474-6670(17)51368-3"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"G\u00fcdemann, M., Ortmeier, F.: A framework for qualitative and quantitative model-based safety analysis. In: Proceedings of 12th High Assurance System Engineering Symposium, pp. 132\u2013141 (2010)","DOI":"10.1109\/HASE.2010.24"},{"key":"8_CR10","unstructured":"Khuu, M.: Contribution \u00e0 l\u2019acc\u00e9l\u00e9ration de la simulation stochastique sur des mod\u00e8les AltaRica Data Flow. Th\u00e8se de doctorat, Universit\u00e9 de la M\u00e9diterran\u00e9e (Aix-Marseille II) (2008)"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Mohrle, F., Zeller, M., Hofig, K., Rothfelder, M., Liggesmeyer, P.: Automated compositional safety analysis using component fault trees. In: 2015 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pp. 152\u2013159. IEEE (2015)","DOI":"10.1109\/ISSREW.2015.7392061"},{"key":"8_CR12","doi-asserted-by":"publisher","first-page":"590","DOI":"10.1016\/j.engfailanal.2010.09.025","volume":"18","author":"Y Papadopoulos","year":"2011","unstructured":"Papadopoulos, Y., et al.: Engineering failure analysis and design optimization with hip-hops. Eng. Fail. Anal. 18, 590\u2013608 (2011)","journal-title":"Eng. Fail. Anal."},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Quayzin, X., Arbaretier, E.: Performance modeling of a surveillance mission. In: Proceedings of the Annual Reliability and Maintainability Symposium, RAMS 2009, Fort Worth, Texas, USA, pp. 206\u2013211. IEEE (2009). ISBN 978-1-4244-2508-2","DOI":"10.1109\/RAMS.2009.4914676"},{"key":"8_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0951-8320(02)00042-X","volume":"78","author":"A Rauzy","year":"2002","unstructured":"Rauzy, A.: Mode automata and their compilation into fault trees. Reliab. Eng. Syst. Saf. 78, 1\u201312 (2002)","journal-title":"Reliab. Eng. Syst. Saf."},{"issue":"1","key":"8_CR15","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/j.ress.2004.01.007","volume":"86","author":"A Rauzy","year":"2004","unstructured":"Rauzy, A.: An experimental study on iterative methods to compute transient solutions of large Markov models. Reliab. Eng. Syst. Saf. 86(1), 105\u2013115 (2004)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"8_CR16","unstructured":"Rauzy, A.: Probabilistic Safety Analysis with XFTA. AltaRica Association, Les Essarts le Roi, France (2020)"},{"key":"8_CR17","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/j.ress.2012.12.008","volume":"113","author":"JP Signoret","year":"2013","unstructured":"Signoret, J.P., Dutuit, Y., Cacheux, P.J., Folleau, C., Collas, S., Thomas, P.: Make your petri nets understandable: reliability block diagrams driven Petri nets. Reliab. Eng. Syst. Saf. 113, 61\u201375 (2013). https:\/\/doi.org\/10.1016\/j.ress.2012.12.008","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"8_CR18","series-title":"Springer Series in Reliability Engineering","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-64708-7","volume-title":"Reliability Assessment of Safety and Production Systems","author":"J-P Signoret","year":"2021","unstructured":"Signoret, J.-P., Leroy, A.: Reliability Assessment of Safety and Production Systems. SSRE, Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-64708-7"},{"key":"8_CR19","unstructured":"Teichteil-K\u00f6nigbuch, F., Infantes, G., Seguin, C.: Epoch probabilistic model-checking. In: Model Based Safety Assessment Workshop, Toulouse, France (2011)"}],"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_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,8]],"date-time":"2022-09-08T04:03:50Z","timestamp":1662609830000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-15842-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031158414","9783031158421"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-15842-1_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"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)"}}]}}