Formal Methods and Formal Data Validation for Railways

Formal Methods and Formal Data Validation for Railways
Contact: Contact supplier View: View supplier Download: Download

ClearSy Systems Engineering

Formal method is highly advised by the European CENELEC standards for development of safety critical train control. The major industrials use it for their CBTC and NYCT ( New York metro) is asking their supplier for formal method based demonstration that their CBTC prevents trains from colliding.

Formal data validation is a technique used to automate verification of static data. Very often it is used to check safety parameters of train control and track topology settings. Formal data validation is also widely used by the major railway industrials (Siemens Mobility, RATP, Alstom).

Formal methods are now industry ready, able to scale up to real size railway projects and to provide a real support for successfully completing safety demonstrations.

In this white paper, ClearSy show that several formal methods (B, Event-B, formal data validation) directly contribute to safety critical software development, system-level specification analysis and constant parameters validation, with the help of mathematical proof.

Latest ClearSy Systems Engineering News

ClearSy Installs Innovative Platform Screen Doors Control System in Stockholm

ClearSy Installs Innovative Platform Screen Doors Control System ...

In Stockholm City and Stockholm Odenplan stations, COPPILOT, the platform screen doors control system designed by ClearSy, is now in charge of opening...

Contact ClearSy Systems Engineering

Use the form opposite to get in touch with ClearSy Systems Engineering directly to discuss any requirements you might have.

    We'd love to send you the latest news and information from the world of Railway-News. Please tick the box if you agree to receive them.

    For your peace of mind here is a link to our Privacy Policy.

    By submitting this form, you consent to allow Railway-News to store and process this information.

    Follow Railway-News on LinkedIn
    Follow Railway-News on Twitter