Le laboratoire LabSoC de Télécom Paris et CLEARSY s’associent pendant 2 ans pour intégrer la gestion des menaces en cybersécurité dans les équipements ferroviaires, dans le cadre du plan de l’ANR (Agence Nationale de la recherche).
L’objectif des travaux communs est de proposer une nouvelle méthodologie pour développer des systèmes ferroviaires sûrs prenant en compte aussi la cybersécurité, et l’appliquer à un démonstrateur.
La cible technologique est la CLEARSY Safety Platform (https://www.clearsy.com/outils/clearsy-safety-platform/), un calculateur safety certifié au niveau SIL4, qui permet de programmer avec les langages B (langage formel) et C des applications critiques de sécurité mono-tâches sans système d’exploitation.
L’expertise du LabSoC et les résultats déjà existants notamment autour de l’outil TTool garantissent l’atteinte des résultats et leur intégration aux nouveaux produits de CLEARSY, en termes de méthodologies et de mécanismes.