DocumentCode
2681250
Title
The application of formal methods to the development of an ATP (automatic train protection) system
Author
Simpson, A.C.
Author_Institution
Comput. Lab., Oxford Univ., UK
fYear
1995
fDate
34723
Firstpage
42491
Lastpage
42494
Abstract
We describe how the formal method communicating sequential processes (CSP) has been applied in the specification of the communication aspects of a safety-critical automatic train protection (ATP) system. We outline the requirements of such a system, and then illustrate how a theory of safety, based on the CSP notion of determinism, has been used to reason about the safety properties of such a system
Keywords
communicating sequential processes; formal specification; rail traffic; railways; safety systems; safety-critical software; automatic train protection system; communicating sequential processes; determinism; formal methods; safety properties; safety theory; safety-critical system;
fLanguage
English
Publisher
iet
Conference_Titel
Communication Networks in Transportation, IEE Colloquium on
Conference_Location
London
Type
conf
DOI
10.1049/ic:19950034
Filename
477918
Link To Document