New CLEARSY Logo
Nouveau Logo, nouvelle signature Société

Avec ce nouveau Logo CLEARSY affirme son positionnement dans la création de solutions sécuritaires. Rassemblant des ingénieurs et docteurs de […]

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

CLEARSY développe une interface dédiée à la synchronisation (ouverture/fermeture) des portes de train et des portes de quai pour le […]

Formal methods for validating parameterization
La méthode formelle pour valider des données de paramétrage : CLEARSY est choisie Ferroviaire

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

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

Développé par CLEARSY, cet outil logiciel permet de construire des outils de validation formelle de données, quelques soient leurs spécificités. […]

smart metro CBTC
CLEARSY participe au congrès mondial SmartMetro (Novembre 2019) et CBTC en tant que sponsor. Ferroviaire, Salons/conférences

Le congrès constitue le lieu de rencontre mondial pour les experts en technologie du métro, du tram et du train […]

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

CLEARSY entre dans le programme MISTRAL NG de SNCF Réseau. En effet, la société ATOS – en charge du développement […]

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

Tramway de Nice : le dispositif d’arrêt automatique des trains de CLEARSY limite les freinages d’urgence au strict nécessaire. KFS le […]

third world congress on formal methods Porto
CLEARSY participe au troisième congrès mondial sur les méthodes formelles: FM’19 du 7 au 10 octobre 2019 Salons/conférences

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

Besoin d'un système sur-mesure ?

Nous sommes des créateurs de logiciels et de systèmes sécuritaires. Conçus et fabriqués en France. Contactez-nous et discutons ensemble de votre projet !

Filtrer les articles