DocumentCode
860583
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
Volume
4
Issue
1
fYear
1993
fDate
2/1/1993 12:00:00 AM
Firstpage
15
Lastpage
22
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;
fLanguage
English
Journal_Title
Computing & Control Engineering Journal
Publisher
iet
ISSN
0956-3385
Type
jour
Filename
197446
Link To Document