Offres

Entrées/sorties sécuritaires déportées (SATURN)
Entrées/sorties sécuritaires déportées (SATURN) SIL2-SIL4 Ferroviaire

SATURN est une nouvelle plateforme fournissant une solution de sécurité, robuste et offrant une grande disponibilité. Ce produit assurant la […]

Développement de système critique sur-mesure
Développement de système critique sur-mesure Ferroviaire

Des systèmes sécuritaires adaptés à votre projet CLEARSY est un acteur reconnu dans le domaine du formel et pour la […]

Analyse et validation formelle de logiciels Ferroviaire

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

Validation formelle système Ferroviaire

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. 

Développement de logiciels critiques
Développement de logiciels critiques

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

Services ERTMS/ETCS
Services ERTMS/ETCS

20 années de travail continu dans ce domaine nous ont permis d’acquérir une expertise unique qui est largement reconnue dans […]

Comble lacune (CACOLAC)
Système de contrôle de marche mobile (CACOLAC)

Le Système de contrôle de marche mobile (ou comble lacune) se nomme CACOLAC.C’est un dispositif ayant pour vocation de pouvoir […]

Détection d’individus dans les lacunes (DIL)
Détection d’individus dans les lacunes SIL3 (DIL)

CLEARSY est maitre d’œuvre dans la conception, la fourniture et le déploiement du système de détection d’individus dans les lacunes […]

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 !