Nirmal Kumar Gupta, Mohammad Qasim Rafiq
With the recent development of embedded system technology, automation of train control system software is being promoted. Software for safety-critical systems like the train control system software has to deal with the hazards identified by safety analysis in order to make the system safe, risk-free and fail-safe. However, systematic efforts to verify the safety of software have been rarely performed. In this paper, we propose a framework that can automatically evaluate the safety of train control system software. To do this, we analyze the related international standards and investigate existing software testing techniques. From this, we have proposed a framework based on the McCall’s software quality model. The proposed framework specifically identifies the criteria corresponding to software safety in train control system software to test the key requirements required by international standards.
Software safety, Software Quality, TCS (Train Control System), Software testing, Safety evaluation.