{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,8]],"date-time":"2025-12-08T22:21:04Z","timestamp":1765232464765},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319641188"},{"type":"electronic","value":"9783319641195"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-64119-5_2","type":"book-chapter","created":{"date-parts":[[2017,8,1]],"date-time":"2017-08-01T13:05:09Z","timestamp":1501592709000},"page":"19-34","source":"Crossref","is-referenced-by-count":9,"title":["Handling Consistency Between Safety and System Models"],"prefix":"10.1007","author":[{"given":"Tatiana","family":"Prosvirnova","sequence":"first","affiliation":[]},{"given":"Estelle","family":"Saez","sequence":"additional","affiliation":[]},{"given":"Christel","family":"Seguin","sequence":"additional","affiliation":[]},{"given":"Pierre","family":"Virelizier","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,2]]},"reference":[{"key":"2_CR1","unstructured":"SAE, ARP4754A: Guidelines for development of civil aircraft and systems (2010)"},{"key":"2_CR2","unstructured":"SAE, ARP4761: Guidelines and methods for conducting the safety assessment process on civil airborne system and equipment (1996)"},{"issue":"8\u20139","key":"2_CR3","first-page":"1033","volume":"33","author":"G Point","year":"1999","unstructured":"Point, G., Rauzy, A.: AltaRica: constraint automata as a description language. J. Europ\u00e9en des Syst\u00e8mes Automatis\u00e9s 33(8\u20139), 1033\u20131052 (1999)","journal-title":"J. Europ\u00e9en des Syst\u00e8mes Automatis\u00e9s"},{"key":"2_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0951-8320(02)00042-X","volume":"78","author":"A Rauzy","year":"2002","unstructured":"Rauzy, A.: Modes automata and their compilation into fault trees. Reliab. Eng. Syst. Saf. 78, 1\u201312 (2002)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Bouissou, M., Bouhadana, H., Bannelier, M., Villatte, N.: Knowledge modelling and reliability processing: presentation of the FIGARO language and associated tools. In: Proceedings of SAFECOMP 1991, Trondheim, Norway (1991)","DOI":"10.1016\/S1474-6670(17)51368-3"},{"issue":"11","key":"2_CR6","doi-asserted-by":"crossref","first-page":"1303","DOI":"10.1002\/spe.1044","volume":"41","author":"M Adachi","year":"2011","unstructured":"Adachi, M., Papadopoulos, Y., Sharvia, S., Parker, D., Tohdo, T.: An approach to optimization of fault tolerant architectures using HiP-HOPS. Softw. Pract. Exper. 41(11), 1303\u20131327 (2011)","journal-title":"Softw. Pract. Exper."},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"G\u00fcdemann, M., Ortmeier, F.: A framework for qualitative and quantitative model-based safety analysis. In: Proceedings of HASE (2010)","DOI":"10.1109\/HASE.2010.24"},{"key":"2_CR8","doi-asserted-by":"crossref","DOI":"10.21236\/ADA610294","volume-title":"AADL Fault Modeling and Analysis Within an ARP4761 Safety Assessment","author":"J Delange","year":"2014","unstructured":"Delange, J., Feiler, P., Gluch, D., Hudak, J.: AADL Fault Modeling and Analysis Within an ARP4761 Safety Assessment. Carnegie Mellon University, Pittsburgh (2014)"},{"key":"2_CR9","unstructured":"Cancila, D., Terrier, F., Belmonte, F., Dubois, H., Espinoza, H., Gerard, S., Cuccuru, A.: SOPHIA: a modeling language for model-based safety engineering. In: MoDELS 2009 ACES-MB Workshop Proceedings, Denver, CO, USA (2009)"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Prosvirnova, T., Batteux, M., Brameret, P.-A., Cherfi, A., Friedlhuber, T., Roussel, J.-M., Rauzy, A.: The AltaRica 3.0 project for model-based safety assessment. In: Proceedings of IFAC Workshop on Dependable Control of Discrete Systems, York (Great Britain) (2013)","DOI":"10.3182\/20130904-3-UK-4041.00028"},{"key":"2_CR11","unstructured":"EASA, CS-25: Certification Specifications and Acceptable Means of Compliance for Large Aeroplanes, Amendment 12 (2012)"},{"key":"2_CR12","unstructured":"INCOSE website. http:\/\/www.incose.org\/AboutSE\/WhatIsSE"},{"key":"2_CR13","unstructured":"Batteux, M., Prosvirnova, T., Rauzy, A.: System Structure Modeling Language (S2ML) specification (2015)"},{"key":"2_CR14","unstructured":"ISO 15288: Systems Engineering \u2013 System Life-Cycle Processes (2015)"},{"key":"2_CR15","unstructured":"ISO 24748-2: Systems and software engineering - Life cycle management - Part 2: Guide to the application of ISO\/IEC 15288 (System life cycle processes) (2011)"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Zeller, M., H\u00f6fig, K.: INSiDER: incorporation of system and safety analysis models using a dedicated reference mode. In: Proceedings of RAMS, Tucson, AZ, pp. 1\u20136 (2016)","DOI":"10.1109\/RAMS.2016.7448074"},{"key":"2_CR17","unstructured":"Getir, S., Tichy, M., van Horn, A., Grunske, L.: Co-evolution of software architecture and fault tree models: an explorative case study on a pick and place factory automation system. In: Proceedings of the 5th International Workshop on Non-functional Properties in Modeling, Miami, USA, 29 September 2013"}],"container-title":["Lecture Notes in Computer Science","Model-Based Safety and Assessment"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-64119-5_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T22:22:25Z","timestamp":1569968545000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-64119-5_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319641188","9783319641195"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-64119-5_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}