{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:32:18Z","timestamp":1750221138665,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,1,21]],"date-time":"2019-01-21T00:00:00Z","timestamp":1548028800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"German Federal Ministry of Education and Research (BMBF)","award":["01IS17032"],"award-info":[{"award-number":["01IS17032"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,1,21]]},"DOI":"10.1145\/3287624.3287652","type":"proceedings-article","created":{"date-parts":[[2019,1,18]],"date-time":"2019-01-18T21:45:18Z","timestamp":1547847918000},"page":"33-38","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["SeRoHAL"],"prefix":"10.1145","author":[{"given":"Petra R.","family":"Kleeberger","sequence":"first","affiliation":[{"name":"Technical University of Munich, Munich, Germany"}]},{"given":"Juana","family":"Rivera","sequence":"additional","affiliation":[{"name":"Technical University of Munich, Munich, Germany"}]},{"given":"Daniel","family":"Mueller-Gritschneder","sequence":"additional","affiliation":[{"name":"Technical University of Munich, Munich, Germany"}]},{"given":"Ulf","family":"Schlichtmann","sequence":"additional","affiliation":[{"name":"Technical University of Munich, Munich, Germany"}]}],"member":"320","published-online":{"date-parts":[[2019,1,21]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Infineon Technologies AG. 2016. XMC4500 reference manual (v1.6 ed.).  Infineon Technologies AG. 2016. XMC4500 reference manual (v1.6 ed.)."},{"key":"e_1_3_2_1_2_1","unstructured":"Altium. 2009. TASKING VX-toolset for TriCore user guide. https:\/\/www.tasking.com\/support\/tricore\/tc_user_guide_v3.3.pdf  Altium. 2009. TASKING VX-toolset for TriCore user guide. https:\/\/www.tasking.com\/support\/tricore\/tc_user_guide_v3.3.pdf"},{"volume-title":"International Conference on Dependable Systems and Networks (DSN). IEEE.","author":"Benso A.","key":"e_1_3_2_1_3_1","unstructured":"A. Benso , S. Chiusano , P. Prinetto , and L. Tagliaferri . 2000. A C\/C++ source-to-source compiler for dependable applications . In International Conference on Dependable Systems and Networks (DSN). IEEE. A. Benso, S. Chiusano, P. Prinetto, and L. Tagliaferri. 2000. A C\/C++ source-to-source compiler for dependable applications. In International Conference on Dependable Systems and Networks (DSN). IEEE."},{"key":"e_1_3_2_1_4_1","unstructured":"A. Burns and R. Davis. 2013. Mixed criticality systems - A review. Department of Computer Science University of York Tech. Rep (2013).  A. Burns and R. Davis. 2013. Mixed criticality systems - A review. Department of Computer Science University of York Tech. Rep (2013)."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2897937.2898054"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2380356.2380375"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488855"},{"volume-title":"International Symposium on Fundamentals of Electrical Engineering (ISFEE). IEEE.","author":"Hayek A.","key":"e_1_3_2_1_8_1","unstructured":"A. Hayek and J. B\u00f6rcs\u00f6k . 2014. Safety chips in light of the standard IEC 61508: Survey and analysis . In International Symposium on Fundamentals of Electrical Engineering (ISFEE). IEEE. A. Hayek and J. B\u00f6rcs\u00f6k. 2014. Safety chips in light of the standard IEC 61508: Survey and analysis. In International Symposium on Fundamentals of Electrical Engineering (ISFEE). IEEE."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN-W.2015.16"},{"key":"e_1_3_2_1_10_1","unstructured":"IEC 61508. 2000. Functional safety of electrical\/electronic\/programmable electronic safety related systems. International Electrotechnical Commission (IEC).  IEC 61508. 2000. Functional safety of electrical\/electronic\/programmable electronic safety related systems. International Electrotechnical Commission (IEC)."},{"volume-title":"IEEE standard for IP-XACT, standard structure for packaging, integrating, and reusing IP within tool flows","author":"IEEE","key":"e_1_3_2_1_11_1","unstructured":"IEEE 1685. 2014. IEEE standard for IP-XACT, standard structure for packaging, integrating, and reusing IP within tool flows . IEEE. IEEE 1685. 2014. IEEE standard for IP-XACT, standard structure for packaging, integrating, and reusing IP within tool flows. IEEE."},{"volume-title":"Road vehicles - Functional safety","author":"ISO","key":"e_1_3_2_1_12_1","unstructured":"ISO 26262. 2011. Road vehicles - Functional safety . International Organization for Standardization (ISO) . ISO 26262. 2011. Road vehicles - Functional safety. International Organization for Standardization (ISO)."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629582"},{"volume-title":"International Conference on Microelectronics (MIEL). IEEE.","author":"Khoshavi N.","key":"e_1_3_2_1_14_1","unstructured":"N. Khoshavi , H. R. Zarandi , and M. Maghsoudloo . 2012. Two control-flow error recovery methods for multithreaded programs running on multi-core processors . In International Conference on Microelectronics (MIEL). IEEE. N. Khoshavi, H. R. Zarandi, and M. Maghsoudloo. 2012. Two control-flow error recovery methods for multithreaded programs running on multi-core processors. In International Conference on Microelectronics (MIEL). IEEE."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2747918"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092943"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNS.2004.839110"},{"key":"e_1_3_2_1_18_1","unstructured":"Oracle. 2013. Oracle Solaris 10 software developer documentation - Writing device drivers. https:\/\/docs.oracle.com\/cd\/E18752_01\/pdf\/816-4854.pdf  Oracle. 2013. Oracle Solaris 10 software developer documentation - Writing device drivers. https:\/\/docs.oracle.com\/cd\/E18752_01\/pdf\/816-4854.pdf"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"R. Oshana. 2013. Software engineering for embedded systems: Methods practical techniques and applications. Newnes.   R. Oshana. 2013. Software engineering for embedded systems: Methods practical techniques and applications. Newnes.","DOI":"10.1016\/B978-0-12-415917-4.00010-4"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2015.2417554"},{"volume-title":"International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFTS). IEEE.","author":"Rodrigues D.","key":"e_1_3_2_1_21_1","unstructured":"D. Rodrigues , G. Nazarian , \u00c1. Moreira, L. Carro , and G. Gaydadjiev . 2015. A non-conservative software-based approach for detecting illegal CFEs caused by transient faults . In International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFTS). IEEE. D. Rodrigues, G. Nazarian, \u00c1. Moreira, L. Carro, and G. Gaydadjiev. 2015. A non-conservative software-based approach for detecting illegal CFEs caused by transient faults. In International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFTS). IEEE."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2008.2002919"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC.2015.28"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2536747.2536753"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"G. Stringham. 2009. Hardware\/firmware interface design: Best practices for improving embedded systems development. Newnes.   G. Stringham. 2009. Hardware\/firmware interface design: Best practices for improving embedded systems development. Newnes.","DOI":"10.1016\/B978-1-85617-605-7.00009-5"},{"key":"e_1_3_2_1_26_1","unstructured":"Unity 2015. UNITY: Unit testing for C (especially embedded software). http:\/\/www.throwtheswitch.org\/unity\/  Unity 2015. UNITY: Unit testing for C (especially embedded software). http:\/\/www.throwtheswitch.org\/unity\/"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","unstructured":"J. Yiu. 2009. The definitive guide to the ARM Cortex-M3. Newnes.   J. Yiu. 2009. The definitive guide to the ARM Cortex-M3. Newnes.","DOI":"10.1016\/B978-1-85617-963-8.00017-X"}],"event":{"name":"ASPDAC '19: 24th Asia and South Pacific Design Automation Conference","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEICE ESS Institute of Electronics, Information and Communication Engineers, Engineering Sciences Society","IEEE CAS","IEEE CEDA","IPSJ SIG-SLDM Information Processing Society of Japan, SIG System LSI Design Methodology"],"location":"Tokyo Japan","acronym":"ASPDAC '19"},"container-title":["Proceedings of the 24th Asia and South Pacific Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3287624.3287652","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3287624.3287652","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:08:04Z","timestamp":1750208884000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3287624.3287652"}},"subtitle":["generation of selectively robust hardware abstraction layers for efficient protection of mixed-criticality systems"],"short-title":[],"issued":{"date-parts":[[2019,1,21]]},"references-count":27,"alternative-id":["10.1145\/3287624.3287652","10.1145\/3287624"],"URL":"https:\/\/doi.org\/10.1145\/3287624.3287652","relation":{},"subject":[],"published":{"date-parts":[[2019,1,21]]},"assertion":[{"value":"2019-01-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}