열차제어시스템을 위한 정형기법 적용 절차 및 템플릿 제안

초록

There is an emerging need for applying a formal method to develop the software that requires a high level of safety in safety-critical systems like railways. According, they are expanding the target for applying the formal method in developed countries for railways out of the country. It is surely necessary to plan on specific procedures and applications in order to apply such a formal method in domestic railway industry. Therefore, in this paper we propose the design templates so that the workers in the railway industry may use with ease the formal method having intricate and difficult characteristics on the basis of mathematics and logics.