Loading...

Dependability Improvement of Embedded Systems through Compiler Level Approaches

Mokhtarpour, Azadeh | 2015

553 Viewed
  1. Type of Document: M.Sc. Thesis
  2. Language: Farsi
  3. Document No: 47892 (19)
  4. University: Sharif University of Technology
  5. Department: Computer Engineering
  6. Advisor(s): Miremadi, Ghassem
  7. Abstract:
  8. Reliability is an important concern in safety-critical applications. Hardware and software redundancies are used to include reliability in such systems. Software approaches benefit from high flexibility and low cost. Moreover, they do not impose any hardware modifications to the design. The most important challenges of software approaches are performance and code size overheads. Some of software reliability approaches duplicate all of the program’s instructions which impose high performance overhead to the designs. Some other approaches only apply the redaduncies to critical instructions in the programs. While these approaches impose the the performance overhead but they suffer from fault coverage. To tackle these challenges, this paper proposes a method to establish a balance between reliability and performance. The method called PB-IFMC (Protection Based on Instruction Fault Masking Capability), which protects the applications based on the Instructions Fault Masking Capability (IFMC). The proposed method uses different levels of protection for the instructions based on the inherent fault masking capability of them. In this way, the overhead of the PB-IFMC can be effectively controlled, while the reliability of the system remains intact. PB-IFMC is evaluated by random fault injection on VHDL model of LEON2 processor using Modelsim. The experimental results show that the performance and code size overheads are decreased by 14.62% and 9%, respectively, whereas fault coverage is improved about 2x in comparison with the approaches which have the least performance overhead
  9. Keywords:
  10. Selective Protection ; Embedded System ; Dependability ; Falt Tolerant Compiler ; Software-based Techniques For Reliability Improvement

 Digital Object List

 Bookmark

No TOC