skip to main content
research-article

Improving the fault resilience of an H.264 decoder using static analysis methods

Published:06 December 2013Publication History
Skip Abstract Section

Abstract

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.

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.

References

  1. Afonso, F., Silva, C. A., Tavares, A., and Montenegro, S. 2008. Application-level fault tolerance in real-time embedded systems. In Proceedings of SIES'08. IEEE, 126--133. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. 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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Carter, N. P., Naeimi, H., and Gardner, D. S. 2010. Design techniques for cross-layer resilience. In Proceedings of DATE'10. IEEE, 1023--1028. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. 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).Google ScholarGoogle Scholar
  5. Chin, B., Markstrum, S., and Millstein, T. 2005. Semantic type qualifiers. In Proceedings of PLDI'05. ACM, New York, 85--95. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. Engel, M., Schmoll, F., Heinig, A., and Marwedel, P. 2011. Unreliable yet useful—Reliability annotations for data in cyber-physical systems. In Proceedings of WS4C.Google ScholarGoogle Scholar
  7. Foster, J. S., Fähndrich, M., and Aiken, A. 1999. A theory of type qualifiers. In Proceedings of PLDI'99. ACM, New York, NY, 192--203. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. Graham, S. L., Kessler, P. B., and McKusick, M. K. 2004. GPROF: A call graph execution profiler. SIGPLAN Notices 39, 4, 49--57. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. 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.Google ScholarGoogle Scholar
  10. ICD. 2008. ICD-C Compiler framework. http://www.icd.de/es/icd-c/icd-c.html.Google ScholarGoogle Scholar
  11. ITRS. 2009. International Technology Roadmap for Semiconductors, 2009 Edi., Executive Summary. http://www.itrs.net/Links/2009ITRS/2009Chapters_2009Tables/2009_ExecSum.pdf.Google ScholarGoogle Scholar
  12. 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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. Lee, K., Shrivastava, A., Issenin, I., Dutt, N., and Venkatasubramanian, N. 2006. Mitigating soft error failures for multimedia applications by selective data protection. In Proceedings of CASES'06. ACM, New York, 411--420. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. Li, C.-C. J., Stewart, E. M., and Fuchs, W. K. 1994. Compiler-assisted full checkpointing. Softw. Pract. Exper. 24, 10, 871--886. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. Li, X. and Yeung, D. 2007. Application-level correctness and its impact on fault tolerance. In Proceedings of the 13th International Symposium on High Performance Computer Architecture. IEEE, 181--192. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. Lyons, R. E. and Vanderkulk, W. 1962. The use of triple-modular redundancy to improve computer reliability. IBM J. Res. Devel. 6, 2, 200--209. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. Mehrara, M. and Austin, T. 2008. Exploiting selective placement for low-cost memory protection. ACM Trans. Architect. Code Optimiz. 5, 3, 1--24. Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. 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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. Perry, F., Mackey, L., Reis, G. A., Ligatti, J., August, D. I., and Walker, D. 2007. Fault-tolerant typed assembly language. SIGPLAN Notices 42, 42--53. Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. Polian, I., Becker, B., Nakasato, M., Ohtake, S., and Fujiwara, H. 2006. Low-cost hardening of image processing applications against soft errors. In Proceedings of DFT'06. IEEE, 274--279. Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. Polian, I., Reddy, S. M., Pomeranz, I., Tang, X., and Becker, B. 2008. No free lunch in soft error protection? In Proceedings of the 2nd Workshop on Dependable and Secure Nanocomputing. IEEE.Google ScholarGoogle Scholar
  22. Pradhan, D. K. and Vaidya, N. H. 1994. Roll-forward checkpointing scheme: A novel fault-tolerant architecture. IEEE Trans. Comput. 43, 10, 1163--1174. Google ScholarGoogle ScholarDigital LibraryDigital Library
  23. Punnekkat, S., Burns, A., and Davis, R. 2001. Analysis of checkpointing for real-time systems. Real-Time Syst. 20, 1, 83--102. Google ScholarGoogle ScholarDigital LibraryDigital Library
  24. Richardson, P., Sieh, L., and Elkateeb, A. 2001. Fault-tolerant adaptive scheduling for embedded real-time systems. Micro, IEEE 21, 5, 41--51. Google ScholarGoogle ScholarDigital LibraryDigital Library
  25. Sampson, A., Dietl, W., Fortuna, E., Gnanapragasam, D., and Grossma, L. C. D. 2011. EnerJ: Approximate data types for safe and general low-power computation. In Proceedings of PLDI'11. ACM, New York, 164--174. Google ScholarGoogle ScholarDigital LibraryDigital Library
  26. Sundaram, A., Aakel, A., Lockhart, D., Thaker, D., and Franklin, D. 2008. Efficient fault tolerance in multi-media applications through selective instruction replication. In Proceedings of WREFT'08. ACM, New York, 339--346. Google ScholarGoogle ScholarDigital LibraryDigital Library
  27. Synopsys. 2012. CoMET, Virtual Prototyping Solution. http://www.synopsys.com.Google ScholarGoogle Scholar
  28. 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. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Improving the fault resilience of an H.264 decoder using static analysis methods

        Recommendations

        Comments

        Login options

        Check if you have access through your login credentials or your institution to get full access on this article.

        Sign in

        Full Access

        PDF Format

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader
        About Cookies On This Site

        We use cookies to ensure that we give you the best experience on our website.

        Learn more

        Got it!