{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:34:06Z","timestamp":1750221246079,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,6,24]],"date-time":"2018-06-24T00:00:00Z","timestamp":1529798400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100002347","name":"Bundesministerium f\u00fcr Bildung und Forschung","doi-asserted-by":"publisher","award":["01IS16025"],"award-info":[{"award-number":["01IS16025"]}],"id":[{"id":"10.13039\/501100002347","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,6,24]]},"DOI":"10.1145\/3195970.3199857","type":"proceedings-article","created":{"date-parts":[[2018,6,19]],"date-time":"2018-06-19T13:54:59Z","timestamp":1529416499000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Semi-automatic safety analysis and optimization"],"prefix":"10.1145","author":[{"given":"Peter","family":"Munk","sequence":"first","affiliation":[{"name":"Robert Bosch GmbH, Renningen, Germany"}]},{"given":"Andreas","family":"Abele","sequence":"additional","affiliation":[{"name":"Robert Bosch Automotive, Schw\u00e4bisch Gm\u00fcnd, Germany"}]},{"given":"Eike","family":"Thaden","sequence":"additional","affiliation":[{"name":"Robert Bosch GmbH, Renningen, Germany"}]},{"given":"Arne","family":"Nordmann","sequence":"additional","affiliation":[{"name":"Robert Bosch GmbH, Renningen, Germany"}]},{"given":"Rakshith","family":"Amarnath","sequence":"additional","affiliation":[{"name":"Robert Bosch GmbH, Renningen, Germany"}]},{"given":"Markus","family":"Schweizer","sequence":"additional","affiliation":[{"name":"Robert Bosch GmbH, Renningen, Germany"}]},{"given":"Simon","family":"Burton","sequence":"additional","affiliation":[{"name":"Robert Bosch GmbH, Renningen, Germany"}]}],"member":"320","published-online":{"date-parts":[[2018,6,24]]},"reference":[{"key":"e_1_3_2_1_1_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 (2013), 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 (2013), 12--31.","journal-title":"International Journal on Advances in Security"},{"key":"e_1_3_2_1_2_1","volume-title":"Application of the D3H2 Methodology for the Cost-Effective Design of Dependable Systems. Safety 2, 2","author":"Aizpurua Jose Ignacio","year":"2016","unstructured":"Jose Ignacio Aizpurua , E\u00f1aut Muxika , Yiannis Papadopoulos , Ferdinando Chiacchio , and Gabriele Manno . 2016. Application of the D3H2 Methodology for the Cost-Effective Design of Dependable Systems. Safety 2, 2 ( 2016 ). Jose Ignacio Aizpurua, E\u00f1aut Muxika, Yiannis Papadopoulos, Ferdinando Chiacchio, and Gabriele Manno. 2016. Application of the D3H2 Methodology for the Cost-Effective Design of Dependable Systems. Safety 2, 2 (2016)."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSREW.2016.15"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Slim Bechikh Rituparna Datta and Abhishek Gupta (Eds.). 2017. Recent Advances in Evolutionary Multi-objective Optimization. Wiley.   Slim Bechikh Rituparna Datta and Abhishek Gupta (Eds.). 2017. Recent Advances in Evolutionary Multi-objective Optimization. Wiley.","DOI":"10.1007\/978-3-319-42978-6"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.pnucene.2015.06.019"},{"volume-title":"Quality management in the automobile industry - Quality assurance in the process landscape - General, risk analyses, methods, process models","author":"Verband","key":"e_1_3_2_1_6_1","unstructured":"Verband der Automobilindustrie e. V. 2012. Quality management in the automobile industry - Quality assurance in the process landscape - General, risk analyses, methods, process models : Volume 4 - Product- and Process-FMEA. Verband der Automobilindustrie e. V. 2012. Quality management in the automobile industry - Quality assurance in the process landscape - General, risk analyses, methods, process models: Volume 4 - Product- and Process-FMEA."},{"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.1109\/RAM.2018.8463058"},{"key":"e_1_3_2_1_10_1","unstructured":"International Electrotechnical Commission (IEC). 2006. IEC 60812: Analysis techniques for system reliability - Procedure for failure mode and effects analysis (FMEA).  International Electrotechnical Commission (IEC). 2006. IEC 60812: Analysis techniques for system reliability - Procedure for failure mode and effects analysis (FMEA)."},{"key":"e_1_3_2_1_11_1","unstructured":"International Standard Organization. 2011. International Standard ISO 26262: Road vehicles - Functional safety.  International Standard Organization. 2011. International Standard ISO 26262: Road vehicles - Functional safety."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.2005.1408407"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/1082051.1082054"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRMS.2011.5979344"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/AIM.2014.6878163"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08964-5_6"},{"key":"e_1_3_2_1_18_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 , Berlin, Heidelberg, 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, Berlin, Heidelberg, 139--152."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.engfailanal.2010.09.025"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"V. Rupanov C. Buckl L. Fiege M. Armbruster A. Knoll and G. Spiegelberg. 2014. Employing early model-based safety evaluation to iteratively derive E\/E architecture design. Science of Computer Programming 90 Part B 161--179.  V. Rupanov C. Buckl L. Fiege M. Armbruster A. Knoll and G. Spiegelberg. 2014. Employing early model-based safety evaluation to iteratively derive E\/E architecture design. Science of Computer Programming 90 Part B 161--179.","DOI":"10.1016\/j.scico.2013.10.005"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.58"},{"volume-title":"Model-based dependability analysis: State-of-the-art, challenges, and future outlook","author":"Sharvia Septavera","key":"e_1_3_2_1_22_1","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 , Boston , 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, Boston, 251--278."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.4271\/2009-01-0738"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2013.04.001"}],"event":{"name":"DAC '18: The 55th Annual Design Automation Conference 2018","sponsor":["EDAC Electronic Design Automation Consortium","SIGDA ACM Special Interest Group on Design Automation","IEEE Council on Electronic Design Automation (CEDA)","SIGBED ACM Special Interest Group on Embedded Systems"],"location":"San Francisco California","acronym":"DAC '18"},"container-title":["Proceedings of the 55th Annual Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3195970.3199857","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3195970.3199857","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:07:40Z","timestamp":1750212460000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3195970.3199857"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,24]]},"references-count":22,"alternative-id":["10.1145\/3195970.3199857","10.1145\/3195970"],"URL":"https:\/\/doi.org\/10.1145\/3195970.3199857","relation":{},"subject":[],"published":{"date-parts":[[2018,6,24]]},"assertion":[{"value":"2018-06-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}