Home - News - The Worldwide Railway Sector - Our Systems and Software - Offer - Resources - Know-How - Signals and Indicators - Documents - About Us - Clients & Partners - Fairs - Links - Contacts

Our Know-How

Fersil presents the expertise of Clearsy, a company specialized in the development of safety systems.

Located in Aix en Provence and Paris, ClearSy uses its many skills and formal methods, operational safety and electronics to provide you with a fault-free system and thereby guarantee no errors.  With its broad experience in the railway sector, ClearSy is known for its ability to adapt to any type of constraint and provide clients with solutions suited to their needs.

In these pages, you will be able to discover our solutions, resources and responses for the railway sector market.

As part of our safety approach, we develop systems and software that are secure and guarantee total user safety.

To this end, we are involved in various disciplines and apply our skills to diverse fields:

  • the development of safety systems using formal methods
  • operational safety
  • the development of systems that comply with railway system standards
  • safety software
  • electronics

In and of itself, this approach is the vector of secure and innovative systems.

Use of Formal Methods

The B method is a formal method for the development of systems and software that we use. It allows us to rationalize and model the behavior of a program with B language, then, via successive refinements, to create a concrete model.

It is used in the context of:

  • the realization of accurate software through construction
  • the modelling of systems within their environment.

This method is used industrially in the railway system sector.  It is widely distributed and recognized in the world of academia.

ClearSy pursues its development in collaboration with industry, and research centers.

Operational Safety

Operational Safety (referred to as SDF) is a mandatory step in terms of studying the viability and cohabitation of a system with its environment. It ensures the perfect operations of the system in various situations while preserving the integrity of its environment.

In order to conduct the safety analysis study, ClearSy follows various steps, including:

  • the Preliminary Risk Analysis (PRA)
  • the Failure Mode Effects and Criticality Analysis (FMAEC or AMDEC)
  • the Software Effects Error Analysis (SEEA)
  • the Fault Tree Analysis (FTA)
  • the Failure Combination Method
  • Others...

ClearSy consultants have contributed improvements to these well-known methods, referred to as follows:

  • Formal Failure Mode Analysis of Effects and Criticality (FFMAEC)
  • Formal Fault Tree Analysis (FFTA)

Systems that Comply with Railway System Standards

ClearSy works on projects of the SIL2, SIL3 et SIL4 type (IEC 61508, EN 50126, 3N 50128, EN 50129 standards) and in close collaboration with renowned users, contractors and industrial partners in the railway system world (ALSTOM, RATP, etc.)

Electronics

ClearSy is currently working on numerous projects involving the integration of electronic components.