Research on the transition between the software reliability and safety
In this paper, the transition between the software reliability and safety of a software system is studied. A transition occurs when the program states are changed and different environmental factors are chosen. By using the formal method, the transition rules are established and proved in this paper.