{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T15:22:18Z","timestamp":1773760938944,"version":"3.50.1"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319454795","type":"print"},{"value":"9783319454801","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-45480-1_26","type":"book-chapter","created":{"date-parts":[[2016,9,2]],"date-time":"2016-09-02T11:08:20Z","timestamp":1472814500000},"page":"322-333","source":"Crossref","is-referenced-by-count":4,"title":["Towards the Adoption of Model-Based Engineering for the Development of Safety-Critical Systems in Industrial Practice"],"prefix":"10.1007","author":[{"given":"Marc","family":"Zeller","sequence":"first","affiliation":[]},{"given":"Daniel","family":"Ratiu","sequence":"additional","affiliation":[]},{"given":"Kai","family":"H\u00f6fig","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,1]]},"reference":[{"key":"26_CR1","unstructured":"Int. Electrotechnical Commission (IEC): IEC 61508: Functional safety of electrical\/electronic\/programmable electronic safety related systems (1998)"},{"key":"26_CR2","unstructured":"H\u00f6fig, K., Armbruster, M., Schmid, R.: A vehicle control platform as safety element out of context (2014) (presentation held at HiPEAC Computing Systems Week)"},{"key":"26_CR3","unstructured":"Schultz, M., Meyer, L., Langer, B., Fricke, H.: Model-based safety assessment as integrated part of system development. In: International Workshop on Aircraft System Technologies (AST) (2011)"},{"issue":"1","key":"26_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.: Mode automata and their compilation into fault trees. Reliab. Eng. Syst. Saf. 78(1), 1\u201312 (2002)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"Papadopoulos, Y., Parker, D., Grante, C.: Automating the failure modes and effects analysis of safety critical systems. In: International Symposium on High-Assurance Systems Engineering (HASE), pp. 310\u2013311 (2004)","DOI":"10.1109\/HASE.2004.1281774"},{"issue":"6","key":"26_CR6","doi-asserted-by":"crossref","first-page":"1076","DOI":"10.1016\/j.ress.2008.12.003","volume":"94","author":"A Majdara","year":"2009","unstructured":"Majdara, A., Wakabayashi, T.: Component-based modeling of systems for automated fault tree generation. Reliab. Eng. Syst. Saf. 94(6), 1076\u20131086 (2009)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"26_CR7","doi-asserted-by":"crossref","unstructured":"Papadopoulos, Y., McDermid, J.A.: Hierarchically performed hazard origin and propagation studies. In: Computer Safety, Reliability, and Security (1999)","DOI":"10.1007\/3-540-48249-0_13"},{"key":"26_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, pp. 37\u201346 (2003)"},{"issue":"3","key":"26_CR9","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1109\/24.159800","volume":"41","author":"J Bechta Dugan","year":"1992","unstructured":"Bechta Dugan, J., Bavuso, S.J., Boyd, M.: Dynamic fault-tree models for fault-tolerant computer systems. IEEE Trans. Reliab. 41(3), 363\u2013377 (1992)","journal-title":"IEEE Trans. Reliab."},{"issue":"2","key":"26_CR10","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/190.191","volume":"2","author":"M Ajmone Marsan","year":"1984","unstructured":"Ajmone Marsan, M., Conte, G., Balbo, G.: A class of generalized stochastic petri nets for the performance evaluation of multiprocessor systems. ACM Trans. Comput. Syst. 2(2), 93\u2013122 (1984)","journal-title":"ACM Trans. Comput. Syst."},{"key":"26_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/978-3-540-30138-7_17","volume-title":"Computer Safety, Reliability, and Security","author":"B Kaiser","year":"2004","unstructured":"Kaiser, B., Gramlich, C.: State-event-fault-trees \u2013 a safety analysis model for software controlled systems. In: Heisel, M., Liggesmeyer, P., Wittmann, S. (eds.) SAFECOMP 2004. LNCS, vol. 3219, pp. 195\u2013209. Springer, Heidelberg (2004)"},{"key":"26_CR12","unstructured":"IEC: IEC 61165: Application of Markov techniques (1995\u20132003)"},{"key":"26_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/978-3-540-39878-3_5","volume-title":"Computer Safety, Reliability, and Security","author":"M Bozzano","year":"2003","unstructured":"Bozzano, M., Villafiorita, A.: Improving system reliability via model checking: the FSAP\/NuSMV-SA safety analysis platform. In: Anderson, S., Felici, M., Littlewood, B. (eds.) SAFECOMP 2003. LNCS, vol. 2788, pp. 49\u201362. Springer, Heidelberg (2003)"},{"issue":"4","key":"26_CR14","doi-asserted-by":"crossref","first-page":"526","DOI":"10.1109\/JPROC.2009.2037771","volume":"98","author":"M Broy","year":"2010","unstructured":"Broy, M., Feilkas, M., Herrmannsdoerfer, M., Merenda, S., Ratiu, D.: Seamless model-based development: from isolated tools to integrated model engineering environments. Proc. IEEE 98(4), 526\u2013545 (2010)","journal-title":"Proc. IEEE"},{"key":"26_CR15","unstructured":"Florian Fieber, B.R., Regnat, N.: Assessing usability of model driven development in industrial projects. In: 4th Workshop From Code Centric to Model Centric Software Engineering: Practices, Implications and ROI (2009)"},{"key":"26_CR16","doi-asserted-by":"crossref","unstructured":"Zeller, M., H\u00f6fig, K.: INSiDER: Incorporation of system and safety analysis models using a dedicated reference model. In: Annual Reliability and Maintainability Symposium (RAMS), pp. 1\u20136 (2016)","DOI":"10.1109\/RAMS.2016.7448074"},{"key":"26_CR17","doi-asserted-by":"crossref","unstructured":"H\u00f6fig, K., Zeller, M., Heilmann, R.: ALFRED: a methodology to enable component fault trees for layered architectures. In: 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA), pp. 167\u2013176 (2015)","DOI":"10.1109\/SEAA.2015.26"},{"key":"26_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1007\/978-3-319-12214-4_9","volume-title":"Model-Based Safety and Assessment","author":"K H\u00f6fig","year":"2014","unstructured":"H\u00f6fig, K., Zeller, M., Grunske, L.: metaFMEA-a framework for reusable FMEAs. In: Ortmeier, F., Rauzy, A. (eds.) IMBSA 2014. LNCS, vol. 8822, pp. 110\u2013122. Springer, Heidelberg (2014)"},{"key":"26_CR19","doi-asserted-by":"crossref","unstructured":"M\u00f6hrle, F., Zeller, M., H\u00f6fig, K., Rothfelder, M., Liggesmeyer, P.: Automated compositional safety analysis using component fault trees. In: IEEE International Symposium on Software Reliability Engineering Workshops, pp. 152\u2013159 (2015)","DOI":"10.1109\/ISSREW.2015.7392061"},{"key":"26_CR20","unstructured":"Kelly, T., Weaver, R.: The goal structuring notation - a safety argument notation. In: Proceedings of the Workshop on Assurance Cases (2004)"},{"key":"26_CR21","doi-asserted-by":"crossref","unstructured":"H\u00f6fig, K., Zeller, M., Schorp, K.: Automated failure propagation using inner port dependency traces. In: Proceedings of the 11th International ACM Sigsoft Conference on the Quality of Software Architectures (QoSA), pp. 123\u2013128 (2015)","DOI":"10.1145\/2737182.2737191"},{"key":"26_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"476","DOI":"10.1007\/11557432_36","volume-title":"Model Driven Engineering Languages and Systems","author":"P Baker","year":"2005","unstructured":"Baker, P., Loh, S.C., Weil, F.: Model-driven engineering in a large industrial context \u2014 motorola case study. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713, pp. 476\u2013491. Springer, Heidelberg (2005)"},{"key":"26_CR23","doi-asserted-by":"crossref","unstructured":"Liebel, G., Marko, N., Tichy, M., Leitner, A., Hansson, J.: Model-based engineering in the embedded systems domain: an industrial survey on the state-of-practice. In: Software & Systems Modeling, pp. 1\u201323 (2016)","DOI":"10.1007\/s10270-016-0523-3"},{"key":"26_CR24","doi-asserted-by":"crossref","unstructured":"McDermid, J., Kelly, T.: Software in Safety Critical Systems: Achievement and Prediction. University of York, UK (2006)","DOI":"10.1680\/nuen.2006.2.3.140"},{"key":"26_CR25","unstructured":"Lisagor, O., Sun, L., Kelly, T., The illusion of method: Challenges of model-based safety assessment. In: Proceedings of 28th International System Safety Conference (2010)"},{"key":"26_CR26","doi-asserted-by":"crossref","unstructured":"Lisagor, O., Kelly, T., Niu, R.: Model-based safety assessment: Review of the discipline and its challenges. In: 9th International Conference on Reliability, Maintainability and Safety (ICRMS), pp. 625\u2013632 (2011)","DOI":"10.1109\/ICRMS.2011.5979344"},{"key":"26_CR27","doi-asserted-by":"crossref","unstructured":"Sharvia, S., Kabir, S., Walker, M., Papadopoulos, Y.: Model-based dependability analysis: State-of-the-art, challenges, and future outlook. In: Software Quality Assurance, pp. 251\u2013278 (2016)","DOI":"10.1016\/B978-0-12-802301-3.00012-0"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-45480-1_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,13]],"date-time":"2019-09-13T00:47:09Z","timestamp":1568335629000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-45480-1_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319454795","9783319454801"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-45480-1_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}