Z specification of the computer interlocking software
Tie Wang · Journal of the China Railway Society · 2003
The computer interlocking software is a kind of typical safetycritical software, which has very complicated interlocking control logic and safety requirements with the core of failsafe. The formalization of its safety requirements is a quite necessary and difficult task. With the use of formal specification languageZ language, its safety requirements are represented as a formal specification. The specification is useful and helpful not only for improving the quality of computer interlocking software, but also for implementing more strict software testing.