Signal-component fault propagation model for embedded software

Withthe development of science, embedded software becomes more and more complex, which makes it difficult forfault propagation analysis while understanding the fault propagation in the embedded software is important in improving the reliability of the whole system. There are a lot of works about fault propagation analysis, but all these researches have their defects in modeling the fault propagation in embedded software. In this paper, we will study the fault propagation from the perspective of data signal and control signal, construct our signal-component fault propagation model based on Signal-component graph. On the basis of our analysis to the fault propagation in signal level, we will derive state transition matrix between signals to characterize the relationship between signals in the process of fault propagation. At last, we simulate a mobile robot software with signal-component fault propagation model and give answers to 3 problems in software engineering with the model.