CLEARSY réalise la preuve formelle du système Contrôle – Commande – Signalisation du projet HPMV. ERTMS, Ferroviaire

CLEARSY réalise la preuve formelle du système Contrôle – Commande – Signalisation du projet HPMV : la nouvelle signalisation ERTMS Niveau […]

CLEARSY sécurise la signalisation de deux sites de maintenance et de remise en région parisienne. Ferroviaire, Sûreté de fonctionnement

CLEARSY sécurise la signalisation de deux sites de maintenance et de remise (SMR) en région parisienne pour le compte de […]

Deux décennies d’application industrielle de la méthode formelle B. Génie logiciel, Outils, R&D

La mise à disposition de l’Atelier B 4.7  concrétise deux décennies d’exploitation industrielle de la méthode formelle B, avec le […]

Le nouvel Atelier B 4.7 est disponible. Génie logiciel, Outils, R&D

L’Atelier B 4.7.1 est disponible en version Community Edition (https://www.atelierb.eu/en/atelier-b-support-maintenance/download-atelier-b/) et en version Maintenance Edition pour les possesseurs d’un contrat de […]

Le superviseur de système de sécurité incendie (SSI) CLEARSY conforme à la norme SSI américaine NFPA 130. Outils, Sécurité Incendie, Sûreté de fonctionnement

Une analyse de norme a été réalisée afin de déterminer si le superviseur de système de sécurité incendie (SSI) CLEARSY […]

L’activité de R&D de CLEARSY en vérification formelle depuis plus de 10 ans … Génie logiciel, Outils, R&D

L’automatisation de la preuve et le support interactif à la preuve sont des éléments clés de l’application des méthodes formelles […]

CLEARSY présente à la conférence internationale « ICT for railway », 7 au 8 décembre 2021 à Toulouse. Ferroviaire, Salons/conférences

CLEARSY a le plaisir d’annoncer sa présence à la conférence ICT qui aura lieu du 7 au 8 décembre 2021 […]

Le défi de la cybersécurité des systèmes sûrs. R&D, Sûreté de fonctionnement

Le laboratoire LabSoC de Télécom Paris et CLEARSY s’associent pendant 2 ans pour intégrer la gestion des menaces en cybersécurité dans […]

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

[reblex id=’15147′]