Lu, Weiyun and Radetzki, Martin and Metzdorf, Malte and Helms, Domenik and Nebel, Wolfgang
We present a method for robustness evaluation of embedded software systems. To describe artifacts from both the technology as well as the running software, our work consists of two main parts: a processor characterization and an instruction simulator. The instruction level processor characterization yields a technology and environment dependent error probability for each class of instructions. The algorithm characterization using a generic assembly instruction simulator injects faults to each instruction, simulates them and classifies their effects on the algorithm.