Framework and realization of embedded software safety-testing based on fault injection
Tao Zhang · Jisuanji yingyong yanjiu · 2012
It's necessary to identify the effectiveness of those safety assurance measurements in a safety-critical software to make sure that software could work stably.The most important and difficult part among this work is simulating abnormal state of environment dynamically when the software was running.This paper proposed and realized a new framework for embedded software safety testing.The most important component within this was a simulator supporting run-time fault injection,which was built with device modeling language(DML) and script language.Experiments prove that the new framework could emulate those abnormal states of the target software dynamically,such as single event effect(SEE).Furthermore,it could also be used to expand embedded software safety testing.