Formal validation method for computerized railway interlocking systems

M. Antoni
DOI: https://doi.org/10.1109/ICCIE.2009.5223968
2009-07-06
Abstract:SNCF is responsible for putting into service all interlocking systems on the French railway network. It is therefore essential, especially for computerized SIL4 systems that, SNCF has its own approval process to ensure that new interlocking systems are safe in the context of the French network. Checks and tests before putting safety facilities into service as well as the results of these tests are essential, time consuming and may show great variations between each other. Economic constraints and the increasing complexity associated with the development of computerized tools tend to limit the capacity of the classic approval process (manual or automatic). A reduction of the validation cover rate could result in practice.
What problem does this paper attempt to address?