Applying formal method to train distance control system by combining zed and statechart

As the current use of computer-based control systems becomes common, the security of safety and reliability needed for systems turns to difficult. In particular, the railway signaling control system requires higher safety and reliability. Railway advanced countries, especially European countries, are performing studies and projects concerning formal methods. In Korea, however, the studies of formal methods are still behind them as the above mentioned, and there is no actual formal method application. In this paper, we first suggest the application plan of formal methods to train control systems in the domestic railway industry, and prepare an eclectic approach to incorporate Z(Zed) and statechart. And we presented application results for train distance control systems by using the proposed method. This innovative compromised scheme has not yet applied in other foreign countries, and the more predominant efficiency and the accuracy have confirmed on the basis of expected results than other existing methods.