Abstract:

The safety problem of a kind of embedded software is discussed in this paper. The safety model of this kind of software is established based on the FSM and Markov chain theories. The safety degree of the system is defined according to gray entropy. It offers a way to quantify the safety of the system. It also gives a way to get the values of the equations. Finally, numerical simulation is applied to study the influence of the parameter of the equations on system safety, and shows the way to enhance the safety of the system.

Key words: FSM;Markov chain;embedded software;safety