SCADE를 이용한 defensive 프로그래밍 기반의 열차 위치 계산 기능 구현

In order for a train to be operated safely in driverless mode, Automatic Train Protection (ATP) is an important function to ensure train credibility. Especially, calculation and reporting of train location is one of the most important functions for driverless train operation. So, possible problems should be protected. In this paper, defensive program method will be applied to input variable of train location calculation function and check the output of train location calculation through simulation on the environment of SCADE(Safety-Critical Application Development Environment), which is suite for developing safety-critical and mission-critical system.