The Research And Application Of Reliable Software Design Method In The Computer Interlocking System

The interlocking software is the key component of the computer interlocking system, its failure may cause the fatal accident, such as trains come into collision or trains are toppled down. So how to ensure the reliability of the interlocking software is becoming an important subject when designing the computer interlocking system.This paper based on the HJ04A railway signal computer system which is developed by the Research Institute of Microcomputer, Hefei University of Technology. According to requirement of the interlocking software' s reliability and safety .considered with the software requirement analysis, combining the UML and Z, we finally design the interlocking software specification which is completeness, consistency, no redundancy, no different meanings and is consistent with the demand of the system.The first chapter of this paper gives a brief introduction of the railway signal, computer interlocking and the fail-safe. The second chapter introduces the background and the development condition of the requirement engineering. In the following chapter梩he third chapter and the fourth chapter , we study the UML and the Z, discuss their virtue and shortcoming when describing the software specification. In the fifth chapter, the function requirement of the HJ04A railway signal computer system is described in detail. The sixth chapter is the most important part of the paper. We design the interlocking software specification in this part. First we use UML to describe it, because of some shortcomings of the UML, we use Z to complement it, then we combining the UML and Z together to describe the interlocking software specification. In the last chapter, we transform the Z schema of the HJ04A interlocking software into the standard form to convenient the further work.