{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T12:20:53Z","timestamp":1767183653049,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,10,14]],"date-time":"2018-10-14T00:00:00Z","timestamp":1539475200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,10,14]]},"DOI":"10.1145\/3239372.3239373","type":"proceedings-article","created":{"date-parts":[[2018,10,4]],"date-time":"2018-10-04T12:21:55Z","timestamp":1538655715000},"page":"134-143","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Lessons Learned from Model-Based Safety Assessment with SysML and Component Fault Trees"],"prefix":"10.1145","author":[{"given":"Arne","family":"Nordmann","sequence":"first","affiliation":[{"name":"Robert Bosch GmbH, Corporate Sector Research and Advance Engineering"}]},{"given":"Peter","family":"Munk","sequence":"additional","affiliation":[{"name":"Robert Bosch GmbH, Corporate Sector Research and Advance Engineering"}]}],"member":"320","published-online":{"date-parts":[[2018,10,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"Rasmus Adler Dominik Domis Kai H\u00f6fig S\u00f6ren Kemmann Thomas Kuhn Jean-Pascal Schwinn and Mario Trapp. 2011. Integration of component fault trees into the UML. In Models in Software Engineering. Juergen Dingel and Arnor Solberg (Eds.) Springer 312--327.   Rasmus Adler Dominik Domis Kai H\u00f6fig S\u00f6ren Kemmann Thomas Kuhn Jean-Pascal Schwinn and Mario Trapp. 2011. Integration of component fault trees into the UML. In Models in Software Engineering. Juergen Dingel and Arnor Solberg (Eds.) Springer 312--327.","DOI":"10.1007\/978-3-642-21210-9_30"},{"key":"e_1_3_2_1_2_1","article-title":"Model-based design of dependable systems: limitations and evolution of analysis and verification approaches","volume":"6","author":"Aizpurua Jose Ignacio","year":"2013","unstructured":"Jose Ignacio Aizpurua and E\u00f1aut Muxika . 2013 . Model-based design of dependable systems: limitations and evolution of analysis and verification approaches . International Journal on Advances in Security , 6 , 1 & 2, 12--31. Jose Ignacio Aizpurua and E\u00f1aut Muxika. 2013. Model-based design of dependable systems: limitations and evolution of analysis and verification approaches. International Journal on Advances in Security, 6, 1 & 2, 12--31.","journal-title":"International Journal on Advances in Security"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.3390\/safety2020009"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSREW.2016.15"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.pnucene.2015.06.019"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87698-4_8"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87698-4_8"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2432631.2432635"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/RAM.2018.8463058"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2015.26"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2016.35"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-64119-5_11"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.2005.1408407"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2006.10.010"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/1082051.1082054"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1201\/9781351174664-103"},{"volume-title":"Proc. of the 9th International Conference on Reliability, Maintainability and Safety, 625--632","author":"Lisagor O.","key":"e_1_3_2_1_18_1","unstructured":"O. Lisagor , T. Kelly , and R. Niu . 2011. Model-based safety assessment: review of the discipline and its challenges . In Proc. of the 9th International Conference on Reliability, Maintainability and Safety, 625--632 . O. Lisagor, T. Kelly, and R. Niu. 2011. Model-based safety assessment: review of the discipline and its challenges. In Proc. of the 9th International Conference on Reliability, Maintainability and Safety, 625--632."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/SysEng.2015.7302764"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/AIM.2014.6878163"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"Zhibao Mian Leonardo Bottaci Yiannis Papadopoulos Septavera Sharvia and Nidhal Mahmud. 2015. Model transformation for multi-objective architecture optimisation of dependable systems. In Dependability Problems of Complex Information Systems. Wojciech Zamojski and Jaros\u0142aw Sugier (Eds.) Springer 91--110.  Zhibao Mian Leonardo Bottaci Yiannis Papadopoulos Septavera Sharvia and Nidhal Mahmud. 2015. Model transformation for multi-objective architecture optimisation of dependable systems. In Dependability Problems of Complex Information Systems. Wojciech Zamojski and Jaros\u0142aw Sugier (Eds.) Springer 91--110.","DOI":"10.1007\/978-3-319-08964-5_6"},{"key":"e_1_3_2_1_22_1","volume-title":"Proc. of the International Symposium on Model-Based Safety and Assessment, Demo Sessions.","author":"M\u00f6hrle Felix","year":"2017","unstructured":"Felix M\u00f6hrle , Marc Zeller , Kai H\u00f6fig , Martin Rothfelder , and Peter Liggesmeyer . 2017 . Towards automated design space exploration for safety-critical systems using type-annotated component fault trees . In Proc. of the International Symposium on Model-Based Safety and Assessment, Demo Sessions. Felix M\u00f6hrle, Marc Zeller, Kai H\u00f6fig, Martin Rothfelder, and Peter Liggesmeyer. 2017. Towards automated design space exploration for safety-critical systems using type-annotated component fault trees. In Proc. of the International Symposium on Model-Based Safety and Assessment, Demo Sessions."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3195970.3199857"},{"key":"e_1_3_2_1_24_1","unstructured":"Object Management Group (OMG). 2012. Systems modeling language (BDD SysML) version 1.3. http:\/\/sysml.org\/docs\/specs\/OMGSysML-v1.3-12-06-02.pdf. (2012).  Object Management Group (OMG). 2012. Systems modeling language (BDD SysML) version 1.3. http:\/\/sysml.org\/docs\/specs\/OMGSysML-v1.3-12-06-02.pdf. (2012)."},{"key":"e_1_3_2_1_25_1","volume-title":"McDermid","author":"Papadopoulos Yiannis","year":"1999","unstructured":"Yiannis Papadopoulos and John A . McDermid . 1999 . Hierarchically performed hazard origin and propagation studies. In Computer Safety, Reliability and Security. Massimo Felici and Karama Kanoun, (Eds.) Springer , 139--152. Yiannis Papadopoulos and John A. McDermid. 1999. Hierarchically performed hazard origin and propagation studies. In Computer Safety, Reliability and Security. Massimo Felici and Karama Kanoun, (Eds.) Springer, 139--152."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.engfailanal.2010.09.025"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/203241.203251"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2015.03.001"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"Septavera Sharvia Sohag Kabir Martin Walker and Yiannis Papadopoulos. 2016. Model-based dependability analysis: state-of-the-art challenges and future outlook. In Software Quality Assurance. Ivan Mistrik Richard Soley Nour Ali John Grundy and Bedir Tekinerdogan (Eds.) Morgan Kaufmann 251--278.  Septavera Sharvia Sohag Kabir Martin Walker and Yiannis Papadopoulos. 2016. Model-based dependability analysis: state-of-the-art challenges and future outlook. In Software Quality Assurance. Ivan Mistrik Richard Soley Nour Ali John Grundy and Bedir Tekinerdogan (Eds.) Morgan Kaufmann 251--278.","DOI":"10.1016\/B978-0-12-802301-3.00012-0"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2009.8.6.c6"},{"key":"e_1_3_2_1_31_1","volume-title":"Proc. of GEMOC@MoDELS, 7--16","author":"V\u00f6lter Markus","year":"2014","unstructured":"Markus V\u00f6lter and Sascha Lisson . 2014 . Supporting diverse notations in MPS' projectional editor . In Proc. of GEMOC@MoDELS, 7--16 . Markus V\u00f6lter and Sascha Lisson. 2014. Supporting diverse notations in MPS' projectional editor. In Proc. of GEMOC@MoDELS, 7--16."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2013.04.001"},{"key":"e_1_3_2_1_33_1","volume-title":"Proc. of the 1st International Conference on Model-Driven Engineering and Software Development.","author":"Yakymets Nataliya","year":"2013","unstructured":"Nataliya Yakymets , Hadi Jaber , and Agnes Lanusse . 2013 . Model-based system engineering for fault tree generation and analysis . In Proc. of the 1st International Conference on Model-Driven Engineering and Software Development. Nataliya Yakymets, Hadi Jaber, and Agnes Lanusse. 2013. Model-based system engineering for fault tree generation and analysis. In Proc. of the 1st International Conference on Model-Driven Engineering and Software Development."}],"event":{"name":"MODELS '18: ACM\/IEEE 21th International Conference on Model Driven Engineering Languages and Systems","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Copenhagen Denmark","acronym":"MODELS '18"},"container-title":["Proceedings of the 21th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3239372.3239373","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3239372.3239373","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:43:53Z","timestamp":1750207433000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3239372.3239373"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,14]]},"references-count":32,"alternative-id":["10.1145\/3239372.3239373","10.1145\/3239372"],"URL":"https:\/\/doi.org\/10.1145\/3239372.3239373","relation":{},"subject":[],"published":{"date-parts":[[2018,10,14]]},"assertion":[{"value":"2018-10-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}