CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Light-Weight Techniques for Improving the Controllability and Efficiency of ISA-Level Fault Injection Tools

Behrooz Sangchoolie (Institutionen för data- och informationsteknik, Datorteknik (Chalmers)) ; Roger Johansson (Institutionen för data- och informationsteknik, Datorteknik (Chalmers)) ; Johan Karlsson (Institutionen för data- och informationsteknik, Datorteknik (Chalmers))
The 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2017) (2016)
[Konferensbidrag, refereegranskat]

ISA-level fault injection, i.e. the injection of bit-flip faults in Instruction Set Architecture (ISA) registers and main memory words, is widely used for studying the impact of transient and intermittent hardware faults. ISA-level fault injection tools can be characterized by different properties such as repeatability, observability, reachability, intrusiveness, efficiency and controllability. This paper presents two pre-injection analysis techniques that improve controllability and efficiency using object code analysis. To improve controllability, we propose a technique for identifying the type of data that is stored in a potential target location. This allows the user to selectively direct fault injections to addresses, data and/or control information. Experimental results show that the data type of 84-100% of the targets locations in 8 programs were successfully identified by this technique. The second technique improves efficiency by fault pruning, i.e., by avoiding injection of faults that is known a priori to be detected by the tested system. This technique leverage the fact that faults in certain bits in the program counter and the stack pointer are always detected by machine exceptions. We show that exclusion of these bits from the fault space could significantly prune the fault space and reduce the time it takes to conduct a fault injection campaign.

Nyckelord: ISA-level fault injection, data type identification, fault space optimization, controllability, efficiency



Denna post skapades 2016-11-25.
CPL Pubid: 245622

 

Institutioner (Chalmers)

Institutionen för data- och informationsteknik, Datorteknik (Chalmers)

Ämnesområden

Datorteknik

Chalmers infrastruktur