{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:52:04Z","timestamp":1750308724763,"version":"3.41.0"},"reference-count":28,"publisher":"Association for Computing Machinery (ACM)","issue":"1s","license":[{"start":{"date-parts":[[2013,11,1]],"date-time":"2013-11-01T00:00:00Z","timestamp":1383264000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2013,11]]},"abstract":"<jats:p>Fault tolerance rapidly evolves into one of the most significant design objectives for embedded systems due to reduced semiconductor structures and supply voltages. However, resource-constrained systems cannot afford traditional error correction for overhead and cost reasons. New methods are required to sustain acceptable service quality in case of errors while avoiding crashes.<\/jats:p>\n          <jats:p>We present a flexible fault-tolerance approach that is able to select correction actions depending on error semantics using application annotations and static analysis approaches. We verify the validity of our approach by analyzing the vulnerability and improving the reliability of an H.264 decoder using flexible error handling.<\/jats:p>","DOI":"10.1145\/2536747.2536753","type":"journal-article","created":{"date-parts":[[2013,12,10]],"date-time":"2013-12-10T13:28:12Z","timestamp":1386682092000},"page":"1-27","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Improving the fault resilience of an H.264 decoder using static analysis methods"],"prefix":"10.1145","volume":"13","author":[{"given":"Florian","family":"Schmoll","sequence":"first","affiliation":[{"name":"TU Dortmund, Dortmund, Germany"}]},{"given":"Andreas","family":"Heinig","sequence":"additional","affiliation":[{"name":"TU Dortmund, Dortmund, Germany"}]},{"given":"Peter","family":"Marwedel","sequence":"additional","affiliation":[{"name":"TU Dortmund, Dortmund, Germany"}]},{"given":"Michael","family":"Engel","sequence":"additional","affiliation":[{"name":"TU Dortmund, Dortmund, Germany"}]}],"member":"320","published-online":{"date-parts":[[2013,12,6]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1404891.1404893"},{"volume-title":"Proceedings of International Test Conference. IEEE, 170--178","author":"Benso A.","key":"e_1_2_1_2_1","unstructured":"Benso , A. , Chiusano , S. , and Prinetto , P . 2000. A software development kit for dependable applications in embedded systems . In Proceedings of International Test Conference. IEEE, 170--178 . Benso, A., Chiusano, S., and Prinetto, P. 2000. A software development kit for dependable applications in embedded systems. In Proceedings of International Test Conference. IEEE, 170--178."},{"volume-title":"Proceedings of DATE'10","author":"Carter N. P.","key":"e_1_2_1_3_1","unstructured":"Carter , N. P. , Naeimi , H. , and Gardner , D. S . 2010. Design techniques for cross-layer resilience . In Proceedings of DATE'10 . IEEE, 1023--1028. Carter, N. P., Naeimi, H., and Gardner, D. S. 2010. Design techniques for cross-layer resilience. In Proceedings of DATE'10. IEEE, 1023--1028."},{"key":"e_1_2_1_4_1","volume-title":"Proceedings of the 8th Workshop on Formal Techniques for Java-like Programs (FTfJP'06)","author":"Chalin P.","year":"2006","unstructured":"Chalin , P. 2006 . Towards Support for Non-null Types and Non-null-by-default in Java . In Proceedings of the 8th Workshop on Formal Techniques for Java-like Programs (FTfJP'06) . Chalin, P. 2006. Towards Support for Non-null Types and Non-null-by-default in Java. In Proceedings of the 8th Workshop on Formal Techniques for Java-like Programs (FTfJP'06)."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065022"},{"volume-title":"Proceedings of WS4C.","author":"Engel M.","key":"e_1_2_1_6_1","unstructured":"Engel , M. , Schmoll , F. , Heinig , A. , and Marwedel , P . 2011. Unreliable yet useful\u2014Reliability annotations for data in cyber-physical systems . In Proceedings of WS4C. Engel, M., Schmoll, F., Heinig, A., and Marwedel, P. 2011. Unreliable yet useful\u2014Reliability annotations for data in cyber-physical systems. In Proceedings of WS4C."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/301618.301665"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/989393.989401"},{"volume-title":"Proceedings of ESTIMedia'10","author":"Heinig A.","key":"e_1_2_1_9_1","unstructured":"Heinig , A. , Engel , M. , Schmoll , F. , and Marwedel , P . 2010. Improving transient memory fault resilience of an H.264 decoder . In Proceedings of ESTIMedia'10 . IEEE, 121--130. Heinig, A., Engel, M., Schmoll, F., and Marwedel, P. 2010. Improving transient memory fault resilience of an H.264 decoder. In Proceedings of ESTIMedia'10. IEEE, 121--130."},{"key":"e_1_2_1_10_1","unstructured":"ICD. 2008. ICD-C Compiler framework. http:\/\/www.icd.de\/es\/icd-c\/icd-c.html.  ICD. 2008. ICD-C Compiler framework. http:\/\/www.icd.de\/es\/icd-c\/icd-c.html."},{"volume-title":"International Technology Roadmap for Semiconductors","year":"2009","key":"e_1_2_1_11_1","unstructured":"ITRS. 2009. International Technology Roadmap for Semiconductors , 2009 Edi., Executive Summary . http:\/\/www.itrs.net\/Links\/2009ITRS\/2009Chapters_2009Tables\/2009_ExecSum.pdf. ITRS. 2009. International Technology Roadmap for Semiconductors, 2009 Edi., Executive Summary. http:\/\/www.itrs.net\/Links\/2009ITRS\/2009Chapters_2009Tables\/2009_ExecSum.pdf."},{"volume-title":"Proceedings of RTCSA'00","author":"Kwak S. W.","key":"e_1_2_1_12_1","unstructured":"Kwak , S. W. , Choi , B. J. , and Kim , B. K . 2000. Checkpointing strategy for multiple real-time tasks . In Proceedings of RTCSA'00 . IEEE, 517--521. Kwak, S. W., Choi, B. J., and Kim, B. K. 2000. Checkpointing strategy for multiple real-time tasks. In Proceedings of RTCSA'00. IEEE, 517--521."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1176760.1176810"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380241002"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2007.346196"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1147\/rd.62.0200"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1455650.1455653"},{"volume-title":"Proceedings of DATE'10","author":"Mitra S.","key":"e_1_2_1_18_1","unstructured":"Mitra , S. , Brelsford , K. , and Sanda , P. N . 2010. Cross-layer resilience challenges: Metrics and optimization . In Proceedings of DATE'10 . IEEE, DC, 1029--1034. Mitra, S., Brelsford, K., and Sanda, P. N. 2010. Cross-layer resilience challenges: Metrics and optimization. In Proceedings of DATE'10. IEEE, DC, 1029--1034."},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273442.1250741"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/DFT.2006.40"},{"key":"e_1_2_1_21_1","unstructured":"Polian I. Reddy S. M. Pomeranz I. Tang X. and Becker B. 2008. No free lunch in soft error protection&quest; In Proceedings of the 2nd Workshop on Dependable and Secure Nanocomputing. IEEE.  Polian I. Reddy S. M. Pomeranz I. Tang X. and Becker B. 2008. No free lunch in soft error protection&quest; In Proceedings of the 2nd Workshop on Dependable and Secure Nanocomputing. IEEE."},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.324542"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1026589200419"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/40.958698"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993518"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1366224.1366227"},{"key":"e_1_2_1_27_1","unstructured":"Synopsys. 2012. CoMET Virtual Prototyping Solution. http:\/\/www.synopsys.com.  Synopsys. 2012. CoMET Virtual Prototyping Solution. http:\/\/www.synopsys.com."},{"volume-title":"Proceedings of DFT'03","author":"Zhang Y.","key":"e_1_2_1_28_1","unstructured":"Zhang , Y. and Chakrabarty , K . 2003. Fault recovery based on checkpointing for hard real-time embedded systems . In Proceedings of DFT'03 . IEEE, 320--327. Zhang, Y. and Chakrabarty, K. 2003. Fault recovery based on checkpointing for hard real-time embedded systems. In Proceedings of DFT'03. IEEE, 320--327."}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2536747.2536753","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2536747.2536753","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:14:42Z","timestamp":1750277682000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2536747.2536753"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":28,"journal-issue":{"issue":"1s","published-print":{"date-parts":[[2013,11]]}},"alternative-id":["10.1145\/2536747.2536753"],"URL":"https:\/\/doi.org\/10.1145\/2536747.2536753","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"type":"print","value":"1539-9087"},{"type":"electronic","value":"1558-3465"}],"subject":[],"published":{"date-parts":[[2013,11]]},"assertion":[{"value":"2011-09-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2012-07-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2013-12-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}