AGREMENT FRAMATOME pour CLEARSY

« CLEARSY sort des rails et obtient l’agrément FRAMATOME en conception et réalisation de contrôle-commande et logiciels sécuritaires dans le nucléaire » Pour être sûre, une installation nucléaire doit être construite conformément à des exigences. Il est donc nécessaire de maîtriser la qualité opérationnelle et démontrer une expertise en sûreté nucléaire et capacité technique sur toutes […]

Nouvelle version de l’Atelier B pour Mac-OS

Cette version est une version Free Edition, dont l’accès est libre, elle est donc directement téléchargeable. Après Linux et Windows, l’installeur permet maintenant une exécution de l’Atelier B 4.5.1 sur macOS 10.15, dite « Catalina ». De plus amples informations sont disponibles dans la note de version 4.5. L’atelier B est l’outil de référence pour : réaliser […]

Nouveau Logo, nouvelle signature.

Avec ce nouveau Logo CLEARSY affirme son positionnement dans la création de solutions sécuritaires. Rassemblant des ingénieurs et docteurs de haut niveau, la conception et la technicité sont au cœur de son ADN. L’application de la méthode formelle B, basée sur les mathématiques et la preuve sont des éléments clés : le raisonnement de sécurité du […]

CLEARSY synchronise les portes palières du métro de Kuala Lumpur

CLEARSY développe une interface dédiée à la synchronisation (ouverture/fermeture) des portes de train et des portes de quai pour le métro de Kuala Lumpur. Ce projet s’inscrit dans un contexte de renouvellement par Bombardier Transport du matériel roulant. La difficulté : la solution CLEARSY doit être capable de s’interfacer avec l’environnement existant. Cet environnement est constitué […]

La méthode formelle pour valider des données de paramétrage : CLEARSY est choisie

Pour valider les données qui paramètrent son système d’enclenchement ferroviaire, CLEARSY est choisie pour l’infaillibilité de son approche basée sur les méthodes formelles. Une grande société a confié à CLEARSY la validation des données du système de pilotage des aiguilles, le système d’enclenchement. L’objectif est la certification SIL4 (niveau maximum de sécurité de la norme […]

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 […]