Notre savoir-faire en ingénierie sécuritaire

Fersil présente le savoir faire de la société ClearSy, société œuvrant dans le développement de systèmes sécuritaires appliqués au domaine du ferroviaire.

Basée sur Aix en Provence et Paris, ClearSy fait appel à de nombreux pôles de compétences et utilise les méthodes formelles, la sûreté de fonctionnement, et l’électronique dans le but de vous fournir un système sans faille et vous garantir ainsi le zéro défaut.

Forte de son expérience dans le domaine ferroviaire, ClearSy se distingue par sa capacité à s’adapter à tout type de contraintes, et offre des solutions en adéquation à votre besoin.

Vous pourrez ainsi découvrir au travers de ces pages, nos solutions, nos moyens et nos réponses aux exigences du marché ferroviaire.

Dans le cadre de notre démarche sécuritaire, ClearSy développe des systèmes et logiciels sûrs assurant la totale sécurité de leurs utilisateurs.

Pour cela, nous agissons sur des domaines pluridisciplinaires en mobilisant nos compétences sur différents pôles à savoir :

  • le développement de systèmes sécuritaires en utilisant les méthodes formelles
  • la sûreté de fonctionnement,
  • le développement de systèmes conformes aux normes ferroviaire,
  • les logiciels sécuritaires
  • l’électronique,

Ces domaines sont à eux seuls le vecteur d’un sytème sécuritaire sûr et innovant.


Utilisation des méthodes formelles

La méthode B est une des méthodes formelles de développement système et logiciel que nous utilisons. Elle permet de rationaliser et modéliser à partir du langage B le comportement d’un programme, puis par raffinements successifs, d’aboutir à un modèle concret.

Elle est utilisée dans le cadre de :

  • la réalisation de logiciels corrects par construction
  • la modélisation de systèmes dans leur environnement

Cette méthode est utilisée industriellement dans le domaine ferroviaire. Elle est largement diffusée et reconnue dans le monde universitaire.

ClearSy en assure le développement en collaboration avec des industriels et des centres de recherche (exemple de développement : logiciels sécuritaires SIL4 des automatismes du Val de Roissy).


La Sûreté de Fonctionnement

La Sûreté de Fonctionnement (dite SDF) représente une étape obligatoire en terme d’étude de viabilité et de cohabitation du système avec son environnement. Elle permet d’assurer le parfait fonctionnement du système dans des situations diverses, tout en préservant l’intégrité de son environnement.

Afin de réaliser cette étude d’analyse de sûreté, ClearSy fait appel à différentes étapes dont :

  • l’Analyse Préliminaire de Risques (APR)
  • l’Analyse des Modes de Défaillance des Effets et Criticité (AMDEC ou FMAEC)
  • l’Analyse des Effets des Erreurs du Logiciel (AEEL)
  • les Arbres de Causes (AC ou FTA)
  • la méthode des Combinaisons de Pannes Résumées
  • Autres…

A ces méthodes bien connues des industriels, les consultants de ClearSy ont su apporter des améliorations désignées sous les termes de :

  • l’Analyse Formelle des Modes de Défaillance des Effets et Criticité (AFMDEC)
  • les Arbres Formels de Causes (AFC)

Systèmes conformes aux normes ferroviaires

ClearSy travaille sur des projets de type SIL2, SIL3 et SIL4 (normes IEC 61508, EN 50126, EN 50128, EN 50129) et travaille en collaboration étroite avec des exploitants, des donneurs d’ordres et des partenaires industriels reconnus dans le monde ferroviaire. (ALSTOM, RATP…etc.)


L’électronique

ClearSy travaille sur de nombreux projets faisant appel à l’intégration de composants électroniques.