ANB- and ANBDmem-encoding: Detecting hardware errors in software

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6351 LNCS, Issue , 2010, Pages 169-182

  Schiffel, Ute ^a   Schmitt, André ^a   Süßkraut, Martin ^a   Fetzer, Christof ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE; DATA TRANSFER; ENCODING (SYMBOLS); HARDWARE; SIGNAL ENCODING;

COMMODITY HARDWARE; CRITICAL APPLICATIONS; ERROR INJECTION; FEATURE SIZES; HARDWARE ERROR; HIGH RATE; IN-CONTROL; SILENT DATA CORRUPTION (SDC);

ERROR DETECTION;

EID: 77956596636     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-15651-9_13     Document Type: Conference Paper

References (21)

1. The Paparazzi Project (2009), http://paparazzi.enac.fr/wiki/Main-Page
2. Avizienis, A.: Arithmetic error codes: Cost and effectiveness studies for application in digital system design. Transactions on Computers (1971)
3. Barnaby, H.J.: Will radiation-hardening-by-design (RHBD) work? Nuclear and Plasma Sciences, Society News (2005)
4. Bolchini, C., Miele, A., Rebaudengo, M., Salice, F., Sciuto, D., Sterpone, L., Violante, M.: Software and hardware techniques for SEU detection in IP processors. J. Electron. Test (2008)
5. Borin, E., Wang, C., Wu, Y., Araujo, G.: Software-based transparent and comprehensive control-flow error detection. In: Proceedings of the International Symposium on Code Generation and Optimization (CGO), IEEE Computer Society, Los Alamitos (2006)
6. Borkar, S.: Designing reliable systems from unreliable components: The challenges of transistor variability and degradation. IEEE Micro (2005)
7. Chang, J., Reis, G.A., August, D.I.: Automatic instruction-level software-only recovery. In: Proceedings of the International Conference on Dependable Systems and Networks (DSN), Washington, USA (2006)
8. Forin, P.: Vital coded microprocessor principles and application for various transit systems. In: IFA-GCCT, September 1989, pp. 79-84 (1989)
9. Lattner, C., Adve, V.: LLVM: A compilation framework for lifelong program analysis & transformation. In: Proceedings of the international symposium on Code generation and optimization (CGO), USA, IEEE Computer Society, Los Alamitos (2004)
10. Oh, N., Mitra, S., McCluskey, E.J.: ED4I: Error detection by diverse data and duplicated instructions. IEEE Trans. Comput. 51 (2002)
11. Reis, G.A., Chang, J., August, D.I., Cohn, R., Mukherjee, S.S.: Configurable transient fault detection via dynamic binary translation. In: Proceedings of the 2nd Workshop on Architectural Reliability, WAR (2006)
12. Schiffel, U., Schmitt, A., Sükraut, M., Fetzer, C.: Slice Your Bug: Debugging Error Detection Mechanisms using Error Injection Slicing. In: Eighth European Dependable Computing Conference (EDCC 2010) (2010)
13. Schiffel, U., Schmitt, A., Sükraut, M., Fetzer, C.: Software-Implemented Hardware Error Detection: Costs and Gains. In: The Third International Conference on Dependability, DEPEND 2010 (2010)
14. Schiffel, U., Sükraut, M., Fetzer, C.: AN-encoding compiler: Building safetycritical systems with commodity hardware. In: Buth, B., Rabe, G., Seyfarth, T. (eds.) SAFECOMP 2009. LNCS, vol.5775, pp. 283-296. Springer, Heidelberg (2009)
15. Stefanidis, V.K., Margaritis, K.G.: Algorithm based fault tolerance: Review and experimental study. In: International Conference of Numerical Analysis and Applied Mathematics (2004)
16. Wang, C., Kim, H.S., Wu, Y., Ying, V.: Compiler-managed software-based redundant multi-threading for transient fault detection. In: International Symposium on Code Generation and Optimization, CGO (2007)
17. Wappler, U., Fetzer, C.: Hardware failure virtualization via software encoded processing. In: 5th IEEE International Conference on Industrial Informatics, INDIN 2007 (2007)
18. Wappler, U., Fetzer, C.: Software encoded processing: Building dependable systems with commodity hardware. In: Saglietti, F., Oster, N. (eds.) SAFECOMP 2007. LNCS, vol.4680, pp. 356-369. Springer, Heidelberg (2007)
19. Wappler, U., Müller, M.: Software protection mechanisms for dependable systems. In: Design, Automation and Test in Europe, DATE 2008 (2008)
20. Wasserman, H., Blum, M.: Software reliability via run-time result-checking. J. ACM (1997)
21. Wescott, T.: PID without a PhD. Embedded Systems Programming 13(11) (2000)