Development Procedure & Design Templates using Formal Method for Safety Improvement of Railway Signaling System

초록

The adoption of formal methods in the railway industry field is hard due to some reasons. There are no proper standards of guidelines to follow in the combined domain of railway control system based on computer system of embedded control system. And there is no explicit process or guideline addressing how to use formal method through the system development lifecycle. Also, there is no guideline or procedure in the railway domain to make requirements specification such as computer and software society. Beside, many previous formal methods based approaches to the development of railway systems have focused rather on the verification of the functional correctness of the system than on the development of document for high level certification. In this paper, we develop the process based formal methods using Statechart and Z, and demonstrate the results of formal method application in the requirements analysis phase. Finally we propose design templates able to be utilized in practical industrial sites.