Quantitative safety analysis of a kind of embedded software

The safety analysis process of a kind of signal indicating embedded software is shown in this paper. A quantitative method is presented to model and evaluate software safety. The basic theory frame of Finite State Machine (FSM), Markovian theory and definition of gray entropy are presented. FSM safety model of the embedded software is built. 1-step transition probability matrixes are constructed referencing transition probability matrix concept of Markovian theory. After that, the safety of the software and the whole embedded system are discussed in detail. The analysis indicates that improving safety of the software and system is a complicated work. Hardware, algorithms and training of the operators etc. are the aspects that need to be carefully regarded. It also shows the way to accurately measure the safety of the software. The analyzing results of the software are extended to a general situation. The safety of software is predicted by using 1-step transition probability matrixes. Finally, numerical calculation is applied to validate the above analysis.