Research on a system evolution hazard model

System evolution, while changing a system's function, has a considerable impact on the overall safety and reliability of the system. However, recent research has not enabled an in-depth understanding of the inherent hazard of system evolution The laws and characteristics of system evolution are not comprehensive. The principle of the hazard of system evolution must be studied to ensure the reliability and safety of the system after system evolution. For this purpose, this paper analyzes an accident case. A finite state machine and NuSMV model are established to identify the hazard transition path of each accident. The relevant initial state and target state along the transition path are identified, and the system components related to the control commands are identified along the transition path from the initial state to the target state. The relationships between the abnormal behavior of each component and the hazard state of the system are analyzed, and the principle of the evolution hazard is obtained. Finally; another accident case is used to test the system evolution hazard model. The results demonstrate that the model can accurately describe the principle of the hazard of system evolution.