In the field of railway signalling, large quantities of data are produced to represent tracks and associated objects, and to parameterize railway signalling systems. This data needs to be carefully designed, generated and validated, as it guarantees (in part) the safe operation of signalling systems. As a pioneer in this field, CLEARSY has developed tools based on formal methods to ensure the safe and reliable validation of this data.
To comply with the CENELEC EN50128 standard and achieve the highest level of safety integrity for railway projects (SIL4), the automation of development and validation processes for existing (brownfield) and new (greenfield) lines is now crucial.
CLEARSY is proud to offer a complete solution that meets all these needs through its tools and services, including the certified CLEARSY Data Solver T2. This solution is modular, and each product can be complemented by services designed to assist and support customers in their development or validation efforts.
Four key functionalities are highlighted, each enriched by CLEARSY’s experience and past projects:
- The CLEARSY Data Viewer, a track plan editor for creating new lines or modifying existing ones.
- An automatic data generation tool: the CLEARSY Data Generator.
- Formal data validation: the CLEARSY Data Solver.
- Visualization of all non-conformities (NOK) directly on the track plan by interfacing the CLEARSY Data Solver with the CLEARSY Data Viewer.
Download CLEARSY Data Manager leaflet
This comprehensive approach to data management speeds up the deployment of rail lines and increases confidence in their safety.
Linked to this offer
