Surligneur

Le surligneur est un outil informatique de saisie de schématiques. Cet outil est utilisé conjointement avec:

• un générateur de modèle  B, qui produit un modèle formel de la schématique informelle,
• l’ajout de propriétés au modèle B  et leur démonstration par preuve mathématique,
• la CLEARSY Safety Platform, calculateur SIL4 qui va permettre une exécution sécuritaire de cette schématique sur une plateforme digitale.

Cette technologie est mis en œuvre dans le maintien en condition opérationnelle d’installations historiques dont les équipements peuvent être frappés d’obsolescence.

Elle a été appliquée avec succès pour des schémas à relais utilisés pour des équipements de signalisation ferroviaires protégeant des sites de travaux temporaires.

Pour plus de détails, on se reportera à l’article « CLEARSY Safey Platform – 5 years of research, development and deployment«