Title :
Application of formal methods to railway signalling-a case study
Author :
Cullyer, John ; Wong, Wai
Author_Institution :
Dept. of Eng., Warwick Univ., Coventry, UK
fDate :
2/1/1993 12:00:00 AM
Abstract :
Describes techniques for applying formal mathematical methods to the specification and design of railway signalling and interlocking equipment which is implemented using microprocessors and real-time software. The results have been obtained by combining the specification language Higher-Order Logic (HOL) with the disciplined use of annotated subsets of the computer programming languages such as Ada. A global framework has been developed both for computer-aided design (CAD) tools for railway interlocking and for the future development of the operational software for practical signalling systems
Keywords :
CAD; computerised control; formal languages; formal logic; formal specification; high level languages; railways; real-time systems; signalling; specification languages; Higher-Order Logic; annotated subsets; computer programming languages; computer-aided design; formal methods; interlocking equipment; microprocessors; railway signalling; real-time software; specification language;
Journal_Title :
Computing & Control Engineering Journal
