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 […]
Développé par CLEARSY, cet outil logiciel permet de construire des outils de validation formelle de données, quelques soient leurs spécificités. […]
Le congrès constitue le lieu de rencontre mondial pour les experts en technologie du métro, du tram et du train […]
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 : le dispositif d’arrêt automatique des trains de CLEARSY limite les freinages d’urgence au strict nécessaire. KFS le […]
CLEARSY participe au troisième congrès mondial sur les méthodes formelles: FM’19 du 7 au 10 octobre 2019. CLEARSY y fais […]
La première version du CLEARSY Safety Platform Handbook est disponible au téléchargement. Il sera enrichi chaque mois avec de nouveaux […]
L’environnement de développement logiciel de la CLEARSY Safety Platform est disponible au téléchargement pour les possesseurs d’une carte SK0. Il […]
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 !