Since its creation in 2001, CLEARSY has taken the challenge of using formal methods for the design and buidling of safety critical systems. The success met by:
- the Meteor L14 automatic metro in Paris,
- the beacon-based speed control of trains KVB,
- control of the opening of landing doors,
- individual detection in gaps DIL ,
- formal validation of on-board data in trains and signalling systems,
- the formal safety verification of complete railway systems
has helped to consolidate this approach.
Formal methods are applied with accuracy and efficiency, mainly in the railway domain where their use is highly recommended for the most critical systems.
Download our leaflet “Formal Methods in the Railways”
CLEARSY has unique know-how, proven tools and first class skills to meet the challenge of building, verifying, validating and certifying critical systems.
Tools
Linked to this thematic
Linked to this thematic
Components
Linked to this thematic
Linked to this thematic
Posts
Linked to this thematic
Linked to this thematic
- • 9ᵉ ABZ International Formal Methods Conference in Nancy from May 31 to June 2, 2023
- • Why does the Baseline 3.6.0 ETCS standard require a SIL2 DMI (train display)?
- • Formal activities through the V cycle
- • CLEARSY realizes the formal proof of the Control – Command – Signalling system of the HPMV project.
- • Formal methods for validating parameterization data: CLEARSY is chosen
- • Certified T2, the CLEARSY DATA SOLVER tool speeds up the data validation process
- • Formal methods in action in the railways
- • New York City Metro: CLEARSY proves the safety of new automation (Culver line project)
- • The formal methods in the Operational Safety process
- • The formal methods in the Operational Safety process
