Software implemented detection and recovery of soft errors in a brake-by-wire system

Proceedings - 7th European Dependable Computing Conference, EDCC-7

Volumn , Issue , 2008, Pages 145-154

  Skarin, Daniel ^a   Karlsson, Johan ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER NETWORKS; ERROR CORRECTION; ERRORS; MECHANISMS; WIRE;

BRAKE BY WIRES; SOFT ERRORS;

ERROR DETECTION;

EID: 51549101023     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EDCC-7.2008.24     Document Type: Conference Paper

References (24)

1. J. Aidemark, J. Vinter, P. Folkesson, and J. Karlsson. GOOFI: Generic Object-Oriented Fault Injection Tool. In Proc. International Conference on Dependable Systems and Networks (DSN 2001), pages 83-88, June 2001.
2. A. Avizienis, J. Laprie, B. Randell, and C. Landwehr. Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing, 1(1):11-33, 2004.
3. R. Barbosa, J. Vinter, P. Folkesson, and J. Karlsson. Assembly-level pre-injection analysis for improving fault injection efficiency. Lecture Notes in Computer Science, 3463:246-262, Mar. 2005.
4. S. Borkar. Designing reliable systems from unreliable components: The challenges of transistor variability and degradation. IEEE Micro, 25(6):10-16, 2005.
5. J. Butts and G. Sohi. Dynamic dead-instruction detection and elimination. ACM SIGPLAN Notices, 37(10): 199-210, 2002.
6. J. Cunha, R. Maia, M. Rela, and J. Silva. A Study of failure models in feedback control systems. In Proc. International Conference on Dependable Systems and Networks (DSN 2001), pages 314-323, July 2001.
7. J. Cunha, M. Rela, and J. Silva. On the use of disaster prediction for failure-tolerance in feedback control systems. In Proc. International Conference on Dependable Systems and Networks (DSN 2002), pages 123-134, 2002.
8. C. Edwards and I. Postlethwaite. Anti-windup and bumpless-transfer schemes. Automatica, 34(2): 199-210, 1998.
9. Freescale Semiconductor, Inc. MPC565 reference manual (Rev 2.2). Nov. 2005.
10. D. Goldberg. What every computer scientist should know about floating-point arithmetic. ACM Computing Surveys, 23(1):5-48, 1991.
11. K. Grimm. Software technology in an automotive company: major challenges. In Proceedings of the 25th International Conference on Software Engineering, pages 498-503, 2003.
12. P. Hazucha, T. Karnik, J. Maiz, S. Walstra, B. Bloechel, J. Tschanz, G. Dermer, S. Hareland, P. Armstrong, and S. Borkar. Neutron Soft Error Rate Measurements in a 90-nm CMOS Process and Scaling Trends in SRAM from 0.25-μm to 90-nm Generation. In Proc. International Electron Devices Meeting (IEDM 2003), pages 21.5.1-21.5.4, 2003.
13. G. J. Holzmann. The model checker spin. IEEE Transactions on Software Engineering, 23(5):279-295, 1997.
14. IBM. Developing PowerPC Embedded Application Binary Interface (EABI) Compliant Programs. Sept. 1998.
15. JEDEC Standard JESD89A. Measurement and Reporting of Alpha Particle and Terrestrial Cosmic Ray-Induced Soft Errors in Semiconductor Devices, Oct. 2006.
16. J. Kellington, R. McBeth, P. Sanda, and R. Kalla. IBM®POWER6™ Processor Soft Error Tolerance Analysis Using Proton Irradiation. IEEE Workshop on Silicon Errors in Logic - System Effects (SELSE 3), Apr. 2007.
17. B. Nicolescu, Y. Savaria, and R. Velazco. Software detection mechanisms providing full coverage against single bit-flip faults. IEEE Transactions on Nuclear Science, 51(6):3510-3518, Dec. 2004.
18. PHYTEC Messtechnik GmbH. phyCORE-MPC565 hardware manual (available from www.phytec.de). Apr. 2004.
19. G. A. Reis, J. Chang, N. Vachharajani, R. Rangan, and D. I. August. SWIFT: Software implemented fault tolerance. In Proceedings of the 3rd International Symposium on Code Generation and Optimization, pages 243-254, Mar. 2005.
20. J. G. Silva, P. Prata, M. Rela, and H. Madeira. Practical issues in the use of ABFT and a new failure model. In Proceedings of the The Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing, pages 26-35, 1998.
21. The Second Workshop on Silicon Errors in Logic - System Effects (SELSE 2). Workshop summary available at http://selse2.selse.org/recap.pdf. Apr. 2006.
22. J. Vinter, J. Aidemark, P. Folkesson, and J. Karlsson. Reducing critical failures for control algorithms using executable assertions and best effort recovery. In Prot: International Conference on Dependable Systems and Networks (DSN 2001 ), pages 347-356, June 2001.
23. J. Vinter, A. Johansson, P. Folkesson, and J. Karlsson. On the design of robust integrators for fail-bounded control systems. Proc. International Conference on Dependable Systems and Networks (DSN 2003), pages 415-424, 2003.
24. N. Wang and S. Patel. Y-branches: when you come to a fork in the road, take it. In Proc. 12th International Conference on Parallel Architectures and Compilation Techniques (PACT2003), pages 56-66, 2003.