Research on method of software development based on SCADE for Urban Transit interlocking
Zhang Zhon · Railway Computer Application · 2014
Computer based Interlocking(CBI) was a complex system, also a safety critical system. It was difficult to reach the safety and reliability of software needs by the traditional software development process. This paper proposed a method of software development based on Safety-Critical Application Development Environment(SCADE) for Urban Transit interlocking which could effectively solve the above problems. This paper mainly introduced the process of CBI software development based on SCADE, the modeling method, the method of formal verification and code automatically generated.