Title :
The application of formal methods to the development of an ATP (automatic train protection) system
Author_Institution :
Comput. Lab., Oxford Univ., UK
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;
Conference_Titel :
Communication Networks in Transportation, IEE Colloquium on
Conference_Location :
London
DOI :
10.1049/ic:19950034
