Modeling and safety test of safety-critical software

Safety is an important character of safety-critical software system. In order to validate the safety of safety-critical software system, people will use the method of testing. The key factor of the method is to model the system safety requirements and interaction constraints among components. This paper addresses a new approach to model the safety requirements by safety behavior model and perform safety test of safety-critical system based on it. By using the method, we have developed an automatic testing platform for train control system safety test.