Certifié T2, l’outil CLEARSY DATA SOLVER accélère le processus de validation de données

Développé par CLEARSY, cet outil logiciel permet de construire des outils de validation formelle de données, quelques soient leurs spécificités. Certifié T2, selon la norme Cenelec EN 50128 (projets ferroviaires de niveau SIL4), il accélère significativement le processus de validation des données. Avec le CLEARSY DATA SOLVER il est désormais possible de construire des outils […]

CLEARSY participe au congrès mondial SmartMetro (Novembre 2019) et CBTC en tant que sponsor.

Le congrès constitue le lieu de rencontre mondial pour les experts en technologie du métro, du tram et du train léger. Cette année, l’événement se déroule à Madrid avec le soutien du métro de Madrid. CLEARSY y présente en particulier sa nouvelle version de la « CLEARSY Safety Platform » (application SIL4, matériel et logiciel), sa technologie […]

CLEARSY réalise la validation formelle de données du programme MISTRAL NG de SNCF Réseau.

CLEARSY entre dans le programme MISTRAL NG de SNCF Réseau. En effet, la société ATOS – en charge du développement et du déploiement du programme – a souhaité être accompagnée par CLEARSY pour la partie validation formelle des données qui paramètrent MISTRAL NG. MISTRAL NG est le futur outil de commande centralisée du réseau SNCF. […]

Tramway de Nice : Le dispositif d’arrêt automatique des trains de CLEARSY limite les freinages d’urgence au strict nécessaire

Tramway de Nice : Le dispositif d’arrêt automatique des trains de CLEARSY limite les freinages d’urgence au strict nécessaire.  KFS le dispositif d’arrêt automatique des trains de CLEARSY est entré en service sur la ligne 2 du tramway de Nice dans une version nouvelle présentant des modalités avancées de freinage. Il est certifié SIL 2.  La […]

CLEARSY participe au troisième congrès mondial sur les méthodes formelles: FM’19 du 7 au 10 octobre 2019

CLEARSY participe au troisième congrès mondial sur les méthodes formelles: FM’19 du 7 au 10 octobre 2019 (http://formalmethods2019.inesctec.pt/?page_id=2745) CLEARSY y fais deux présentations : AFFORD19 : The Bourgeois Gentleman, Engineering and Formal Methods, Thierry Lecomte ID@FM’19 : Property-Driven Software Analysis Mathieu Comptier, David Deharbe, Paulin Fournier and Julien Molinero   En plus du programme académique, les […]