Calculateur sécuritaire SIL4 : CLEARSY Safety Platform

Le développement d’un système utilisant la CLEARSY Safety Platform nécessite la réalisation des étapes suivantes :

• Conception et réalisation d’une carte mère embarquant toutes les interfaces requises par l’application (par exemple, sortie sécuritaire, interfaces réseaux, entrée sécuritaire, électronique non sécuritaire, processeur de maintenance, …). Fort de ses nombreuses années d’expertise, CLEARSY peut offrir, si nécessaire, des prestations de service pour tout ou partie de la conception et la validation de cette carte. De part ce choix d’architecture la solution conçue avec la CLEARSY Safety Platform sera parfaitement adapté au besoin dans une compacité adaptée, ce qui ne peut pas être atteint avec des modules prêts à intégrer.
• Conception du logiciel spécifique au système. Les seules contraintes de développement se limitent à l’appel périodique de quelques primitives de test d’intégrité de la librairie sécuritaire et du langage d’entrée de la plateforme à savoir le B0. L’utilisateur est libre d’écrire et de valider l’implémentation en B0 par ses propres moyens, ou il peut utiliser le logiciel atelier B afin de générer et prouver le code B0 par rapport à un modèle formel. Cette seconde approche permet de s’affranchir des tests unitaires et de limiter les tests d’intégration.
• Réalisation du dossier de sécurité et certification du système.

 Si vous possédez d’ores et déjà un processus industriel pour développer des logiciels sûrs, il est possible de développer à façon des traducteurs qui convertiront vos formats de sortie actuels (SCADE, ADA, C, …) vers le B0 requis en entrée de la CLEARSY Safety Platform.

CLEARSY Safety Platform peut ainsi être adaptée à n’importe quel processus de développement spécifique.

La librairie logicielle de sécurisation est complètement immune aux manipulations et au développements de l’utilisateur. Ainsi, l’intégrité de la plateforme ne peut pas être dégradé suite à une erreur d’implémentation.

Bien que récemment certifiée la CLEARSY Safety Platform est une solution éprouvée dont les principes fondamentaux ont d’ores et déjà été déployé par CLEARSY sur des installations en service voyageur :

• Système d’ouverture de porte palière COPPILOT.M (monorail Sao Paulo certificat CERTIFER #8891/200-1 27 février 2017 – SIL4)
• Système d’ouverture de porte palière (Stockholm City Line – certificat BUREAU VERITAS #63937410 3 mars 2017 – SIL3)
• Système d’entrée sortie déportée sécuritaire (Certificat BUREAU VERITAS #7092509 23 Juillet 2019 – SIL4)

L’atelier B utiliser pour implémenter le code source à partir d’une modélisation formelle est d’ores et déjà utilisé pour développer les logiciels de pilotage de plus de 30% des métros mondiaux.

CLEARSY Safety Platform est utilisée pour l’enseignement en Europe, en Amérique du Sud et du Nord, par des universités et des écoles d’ingénieurs.

• Un kit de démarrage, SK0, développé avec le support du projet Français de R&D FUI LCHIP, est commercialisé depuis le dernier trimestre 2017.
• Un kit pédagogique (documentation de support, exercices, modèles) permet aux enseignants et chercheurs d’initier à moindre effort des cours et travaux dirigés jusqu’au niveau Master 2.