Loading...

Feature specific control flow checking in COTS-based embedded systems

Rajabzadeh, A ; Sharif University of Technology | 2010

613 Viewed
  1. Type of Document: Article
  2. DOI: 10.1109/DEPEND.2010.17
  3. Publisher: 2010
  4. Abstract:
  5. While the Control Flow Checking (CFC) methods are using the ordinary instruction set and general Arithmetic and Logic Unit (ALU) features to protect the programs against the transient faults, this paper presents a new kind of CFC method, called feature specific CFC. The idea behind this method is using a specific internal hardware in modern processors which provides the ability to monitor internal various parameters of the program. This method is a pure software method and the external hardware overhead is zero. Other overheads have been measured experimentally by executing the workloads on a Pentium system. The execution time overhead is between 42% and 67% and the program size overhead is between 5% and 10% for different workload programs. This method is analytically evaluated based on seven different fault models. The results show that the error detection coverage varies between 98.05% and 98.65% depending on the different workload programs
  6. Keywords:
  7. Arithmetic and logic units ; Control flow checking ; Control flow errors ; Error detection coverage ; Execution time ; External hardware ; Fault injection ; Fault model ; Instruction set ; Modern processors ; Pentium systems ; Program size ; Software methods ; Transient faults ; Embedded systems ; Fault detection ; Fault tree analysis ; Program processors ; Quality assurance ; Reliability ; Error detection
  8. Source: Proceedings - 3rd International Conference on Dependability, DEPEND 2010, 18 July 2010 through 25 July 2010 ; July , 2010 , Pages 58-63 ; 9780769540900 (ISBN)
  9. URL: http://ieeexplore.ieee.org/document/5562846