Modelling High Integrity Transport Systems by Formal Methods

This paper discusses and promotes the application of formal method approach in the development of high integrity transport systems. It briefly addresses the problems of the design and implementation of safety-critical, real-time control systems in transport systems. With the introduction of the concepts of the formal methods, the software development process is explained and the advantages of simple translation and eliminations of hidden defects are highlighted. A simple example on railway signalling is then given to demonstrate the application of formal methods in high integrity transport system.