DocumentCode :
2815370
Title :
A formal approach to railway signalling
Author :
Cullyer, W.J. ; Wong, W.
Author_Institution :
Warwick Univ., Coventry, UK
fYear :
1990
fDate :
25-28 June 1990
Firstpage :
102
Lastpage :
108
Abstract :
A mathematical model of the railway signaling rules used in the United Kingdom is presented as an example of the application of formal methods to the design of high-integrity computer equipment. A theory which can be used to specify a general railway network and the proving of the safety of routes within that network has been constructed by use of higher order logic (HOL). The HOL system and the railway signaling model are reviewed. Representation of rail networks and route finding and proving are discussed.<>
Keywords :
railways; safety; signalling; theorem proving; HOL system; United Kingdom; formal approach; formal methods; general railway network; high-integrity computer equipment; higher order logic; mathematical model; railway signaling model; railway signaling rules; safety; Application software; Certification; Design engineering; Design methodology; Hardware; Logic; Rail transportation; Railway engineering; Railway safety; Signal design;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Assurance, 1990. COMPASS '90, Systems Integrity, Software Safety and Process Security., Proceedings of the Fifth Annual Conference on
Conference_Location :
Gaithersburg, MD, USA
Type :
conf
DOI :
10.1109/CMPASS.1990.175406
Filename :
175406
Link To Document :
بازگشت