{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T15:41:57Z","timestamp":1780674117713,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,6,1]],"date-time":"2014-06-01T00:00:00Z","timestamp":1401580800000},"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":[[2014,6]]},"DOI":"10.1145\/2593069.2602976","type":"proceedings-article","created":{"date-parts":[[2014,5,27]],"date-time":"2014-05-27T12:57:10Z","timestamp":1401195430000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":48,"title":["Safety Evaluation of Automotive Electronics Using Virtual Prototypes"],"prefix":"10.1145","author":[{"given":"J.-H.","family":"Oetjens","sequence":"first","affiliation":[{"name":"Robert Bosch GmbH"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"N.","family":"Bannow","sequence":"additional","affiliation":[{"name":"Robert Bosch GmbH"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"M.","family":"Becker","sequence":"additional","affiliation":[{"name":"Universit\u00e4t Paderborn"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"O.","family":"Bringmann","sequence":"additional","affiliation":[{"name":"Universit\u00e4t T\u00fcbingen and FZI Forschungszentrum Informatik"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"A.","family":"Burger","sequence":"additional","affiliation":[{"name":"FZI Forschungszentrum Informatik"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"M.","family":"Chaari","sequence":"additional","affiliation":[{"name":"Infineon Technologies AG"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"S.","family":"Chakraborty","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t M\u00fcnchen"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"R.","family":"Drechsler","sequence":"additional","affiliation":[{"name":"University of Bremen"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"W.","family":"Ecker","sequence":"additional","affiliation":[{"name":"Infineon Technologies AG"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"K.","family":"Gr\u00fcttner","sequence":"additional","affiliation":[{"name":"OFFIS -- Institute for Information Technology"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Th.","family":"Kruse","sequence":"additional","affiliation":[{"name":"Infineon Technologies AG"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"C.","family":"Kuznik","sequence":"additional","affiliation":[{"name":"Universit\u00e4t Paderborn"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"H. M.","family":"Le","sequence":"additional","affiliation":[{"name":"University of Bremen"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"A.","family":"Mauderer","sequence":"additional","affiliation":[{"name":"Robert Bosch GmbH"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"W.","family":"M\u00fcller","sequence":"additional","affiliation":[{"name":"Universit\u00e4t Paderborn"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"D.","family":"M\u00fcller-Gritschneder","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t M\u00fcnchen"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"F.","family":"Poppen","sequence":"additional","affiliation":[{"name":"OFFIS -- Institute for Information Technology"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"H.","family":"Post","sequence":"additional","affiliation":[{"name":"Robert Bosch GmbH"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"S.","family":"Reiter","sequence":"additional","affiliation":[{"name":"FZI Forschungszentrum Informatik"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"W.","family":"Rosenstiel","sequence":"additional","affiliation":[{"name":"Universit\u00e4t T\u00fcbingen and FZI Forschungszentrum Informatik"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"S.","family":"Roth","sequence":"additional","affiliation":[{"name":"Robert Bosch GmbH"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"U.","family":"Schlichtmann","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t M\u00fcnchen"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"A.","family":"von Schwerin","sequence":"additional","affiliation":[{"name":"Siemens AG"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"B.-A.","family":"Tabacaru","sequence":"additional","affiliation":[{"name":"Infineon Technologies AG"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"A.","family":"Viehl","sequence":"additional","affiliation":[{"name":"FZI Forschungszentrum Informatik"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2014,6]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"AUtomotive Open System ARchitecture (AUTOSAR) Development Partnership Website. http:\/\/www.autosar.org\/.  AUtomotive Open System ARchitecture (AUTOSAR) Development Partnership Website. http:\/\/www.autosar.org\/."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488855"},{"key":"e_1_3_2_1_3_1","first-page":"1164","volume-title":"Automation and Test in Europe Conference (DATE)","volume":"2","author":"Pinello C.","year":"2004","unstructured":"C. Pinello , L.P. Carloni , and A.L. Sangiovanni-Vincentelli . Fault-tolerant deployment of embedded software for cost-sensitive real-time feedback-control applications. In Design , Automation and Test in Europe Conference (DATE) , pages 1164 -- 1169 Vol. 2 , 2004 . C. Pinello, L.P. Carloni, and A.L. Sangiovanni-Vincentelli. Fault-tolerant deployment of embedded software for cost-sensitive real-time feedback-control applications. In Design, Automation and Test in Europe Conference (DATE), pages 1164--1169 Vol.2, 2004."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.02.051"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04468-7_18"},{"key":"e_1_3_2_1_6_1","first-page":"37","volume-title":"8th Australian Workshop on Safety Critical Systems and Software (SCS) -","volume":"33","author":"Kaiser Bernhard","year":"2003","unstructured":"Bernhard Kaiser , Peter Liggesmeyer , and Oliver M\u00e4ckel . A new component concept for fault trees . In 8th Australian Workshop on Safety Critical Systems and Software (SCS) - Volume 33 , pages 37 -- 46 , 2003 . Bernhard Kaiser, Peter Liggesmeyer, and Oliver M\u00e4ckel. A new component concept for fault trees. In 8th Australian Workshop on Safety Critical Systems and Software (SCS) - Volume 33, pages 37--46, 2003."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2012.6356586"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2013.6509632"},{"key":"e_1_3_2_1_9_1","first-page":"V1","volume-title":"International Conference on Electronics and Optoelectronics (ICEOE)","volume":"1","author":"Song Ningfang","year":"2011","unstructured":"Ningfang Song , Jiaomei Qin , Xiong Pan , and Yan Deng . Fault injection methodology and tools . In International Conference on Electronics and Optoelectronics (ICEOE) , volume 1 , pages V1 - 47 --V1-50, 2011 . Ningfang Song, Jiaomei Qin, Xiong Pan, and Yan Deng. Fault injection methodology and tools. In International Conference on Electronics and Optoelectronics (ICEOE), volume 1, pages V1-47--V1-50, 2011."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2005.104"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/789083.1022792"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2009.4798242"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/SAMOS.2012.6404190"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/FCCM.2013.47"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/FPT.2013.6718366"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/944645.944651"},{"key":"e_1_3_2_1_17_1","volume-title":"May","author":"Initiative Accellera Systems","year":"2012","unstructured":"Accellera Systems Initiative . Universal Verification Methodology (UVM) , May 2012 . Accellera Systems Initiative. Universal Verification Methodology (UVM), May 2012."},{"key":"e_1_3_2_1_18_1","volume-title":"IEEE 1666-2011 Standard SystemC Language Reference Manual","author":"IEEE Computer Society","year":"2011","unstructured":"IEEE Computer Society . IEEE 1666-2011 Standard SystemC Language Reference Manual , 2011 . IEEE Computer Society. IEEE 1666-2011 Standard SystemC Language Reference Manual, 2011."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.92910"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2380356.2380368"},{"key":"e_1_3_2_1_23_1","volume-title":"8th International Joint Conference on Software Technologies (ICSOFT-EA)","author":"Rana C. Berger R.","year":"2013","unstructured":"C. Berger R. Rana , M. Staron and F. T\u00f6rner J. Hansson , M. Nilsson . Increasing efficiency of iso 26262 verification and validation by combining fault injection and mutation testing with model based development . 8th International Joint Conference on Software Technologies (ICSOFT-EA) , July 2013 . C. Berger R. Rana, M. Staron and F. T\u00f6rner J. Hansson, M. Nilsson. Increasing efficiency of iso 26262 verification and validation by combining fault injection and mutation testing with model based development. 8th International Joint Conference on Software Technologies (ICSOFT-EA), July 2013."},{"key":"e_1_3_2_1_24_1","unstructured":"Synopsys. CERTITUDE Functional Qualification System.  Synopsys. CERTITUDE Functional Qualification System."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/LATW.2011.5985925"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2011.6114167"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/2354410.2355141"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ETS.2011.58"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/2492708.2492848"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/2354410.2355142"},{"key":"e_1_3_2_1_31_1","volume-title":"Conference on Design, Automation and Test in Europe (DATE)","author":"Nirmaier T.","year":"2014","unstructured":"T. Nirmaier , A. Burger , M. Harrant , A. Viehl , O. Bringmann , W. Rosenstiel , and G. Pelz . Mission profile aware robustness assessment of automotive power devices . In Conference on Design, Automation and Test in Europe (DATE) , 2014 . T. Nirmaier, A. Burger, M. Harrant, A. Viehl, O. Bringmann, W. Rosenstiel, and G. Pelz. Mission profile aware robustness assessment of automotive power devices. In Conference on Design, Automation and Test in Europe (DATE), 2014."},{"key":"e_1_3_2_1_32_1","volume-title":"June","author":"Robustness ZVEI.","year":"2013","unstructured":"ZVEI. Handbook for Robustness Validation of Automotive Electrical\/ Electronic Modules . ZVEI - Zentralverband Elektrotechnik- und Elektronikindustrie e. V ., June 2013 . ZVEI. Handbook for Robustness Validation of Automotive Electrical\/Electronic Modules. ZVEI - Zentralverband Elektrotechnik- und Elektronikindustrie e. V., June 2013."},{"key":"e_1_3_2_1_33_1","volume-title":"SystemC-AMS and SystemC-UVM. Embedded Real Time Software and Systems (ERTS2)","author":"Li Y.","year":"2014","unstructured":"Y. Li , M.-M. Lou\u00ebrat , F. P\u00eacheux , R. Iskander , P. Cuenot , M. Barnasconi , T. V\u00f6rtler , K. Einwich . Virtual Prototyping , Verification and Validation Framework for Automotive Using SystemC , SystemC-AMS and SystemC-UVM. Embedded Real Time Software and Systems (ERTS2) , 2014 . Y. Li, M.-M. Lou\u00ebrat, F. P\u00eacheux, R. Iskander, P. Cuenot, M. Barnasconi, T. V\u00f6rtler, K. Einwich. Virtual Prototyping, Verification and Validation Framework for Automotive Using SystemC, SystemC-AMS and SystemC-UVM. Embedded Real Time Software and Systems (ERTS2), 2014."},{"key":"e_1_3_2_1_34_1","volume-title":"Design and Verification Conference (DVCon)","author":"Barnasconi M.","year":"2014","unstructured":"M. Barnasconi , F. P\u00eacheux , T. V\u00f6rtler , K. Einwich . Advancing system-level verification using UVM in SystemC . Design and Verification Conference (DVCon) , 2014 . M. Barnasconi, F. P\u00eacheux, T. V\u00f6rtler, K. Einwich. Advancing system-level verification using UVM in SystemC. Design and Verification Conference (DVCon), 2014."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2380445.2380497"},{"key":"e_1_3_2_1_36_1","volume-title":"Volkan Esen. A SystemC Library for Advanced TLM Verification. In Design and Verification Conference (DVCON)","author":"Oliveira Marcio F. S.","year":"2012","unstructured":"Marcio F. S. Oliveira , Christoph Kuznik , Wolfgang Mueller , Wolfgang Ecker , and Volkan Esen. A SystemC Library for Advanced TLM Verification. In Design and Verification Conference (DVCON) , 2012 . Marcio F. S. Oliveira, Christoph Kuznik, Wolfgang Mueller, Wolfgang Ecker, and Volkan Esen. A SystemC Library for Advanced TLM Verification. In Design and Verification Conference (DVCON), 2012."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"crossref","unstructured":"Yao\n      Li Ramy\n      Iskander Farakh\n      Javid and \n      Marie-Minerve\n      Lou\u00ebrat\n    .\n  A Design and Verification Methodology for Mixed-Signal Systems Using SystemC-AMS\n  . In Jan Haase editor Models Methods and Tools for Complex Chip Design volume \n  265\n   of \n  Lecture Notes in Electrical Engineering pages \n  89\n  --\n  108\n  . \n  Springer International Publishing 2014\n  .  Yao Li Ramy Iskander Farakh Javid and Marie-Minerve Lou\u00ebrat. A Design and Verification Methodology for Mixed-Signal Systems Using SystemC-AMS. In Jan Haase editor Models Methods and Tools for Complex Chip Design volume 265 of Lecture Notes in Electrical Engineering pages 89--108. Springer International Publishing 2014.","DOI":"10.1007\/978-3-319-01418-0_6"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2013.6657076"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.5555\/2555692.2555719"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488859"},{"key":"e_1_3_2_1_41_1","first-page":"209","volume-title":"8th USENIX Conference on Operating Systems Design and Implementation (OSDI)","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar , Daniel Dunbar , and Dawson Engler . Klee : Unassisted and automatic generation of high-coverage tests for complex systems programs . In 8th USENIX Conference on Operating Systems Design and Implementation (OSDI) , pages 209 -- 224 , 2008 . Cristian Cadar, Daniel Dunbar, and Dawson Engler. Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs. In 8th USENIX Conference on Operating Systems Design and Implementation (OSDI), pages 209--224, 2008."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488877"}],"event":{"name":"DAC '14: The 51st Annual Design Automation Conference 2014","location":"San Francisco CA USA","acronym":"DAC '14","sponsor":["EDAC Electronic Design Automation Consortium","SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE-CEDA"]},"container-title":["Proceedings of the 51st Annual Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2593069.2602976","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2593069.2602976","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:01:12Z","timestamp":1750230072000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2593069.2602976"}},"subtitle":["State of the Art and Research Challenges"],"short-title":[],"issued":{"date-parts":[[2014,6]]},"references-count":42,"alternative-id":["10.1145\/2593069.2602976","10.1145\/2593069"],"URL":"https:\/\/doi.org\/10.1145\/2593069.2602976","relation":{},"subject":[],"published":{"date-parts":[[2014,6]]},"assertion":[{"value":"2014-06-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}