Robustness evaluation of embedded software systems

Conference: edaWorkshop 11 - Proceedings
05/10/2011 - 05/12/2011 at Dresden, Germany

Proceedings: edaWorkshop 11

Pages: 6Language: englishTyp: PDF

Personal VDE Members are entitled to a 10% discount on this title

Lu, Weiyun; Radetzki, Martin (University Stuttgart, 70569 Stuttgart, Germany)
Metzdorf, Malte; Helms, Domenik (OFFIS research institute, 26121 Oldenburg, Germany)
Nebel, Wolfgang (University of Oldenburg, 26121 Oldenburg, Germany)

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.