Offres
Le DMI ETCS est l’interface entre le conducteur et le système ERTMS/ETCS. Elle permet : l’entrée d’information (identité du conducteur, […]
SATURN est une nouvelle plateforme fournissant une solution de sécurité, robuste et offrant une grande disponibilité. Ce produit assurant la […]
Des systèmes sécuritaires adaptés à votre projet CLEARSY est un acteur reconnu dans le domaine du formel et pour la […]
CLEARSY propose une méthode d’analyse inédite permettant de faire la preuve mathématique de la conformité de tout ou partie d’un […]
La vérification formelle de système, obtenue avec la méthode B, est un élément de la démonstration de sûreté de fonctionnement d'un système critique.
Des logiciels fiables développés à l’aide des méthodes formelles CLEARSY innove en matière de réalisation au forfait de logiciels, par […]
20 années de travail continu dans ce domaine nous ont permis d’acquérir une expertise unique qui est largement reconnue dans […]
Le Système de contrôle de marche mobile (ou comble lacune) se nomme CACOLAC.C’est un dispositif ayant pour vocation de pouvoir […]
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 !