L’Atelier B Community Edition 24.04 disponible ! Génie logiciel, Outils

Nous sommes ravis d’annoncer la sortie de notre dernière version de Atelier B. Voici ce qui est nouveau et amélioré […]

Nouvelles formations à la méthode B Génie logiciel, Outils

CLEARSY organise prochainement des formations à la méthode B, en présentiel, dans ses locaux parisiens. Formation de niveau 3 – […]

La maison Blanche met en avant l’usage des méthodes formelles dans un nouveau rapport publié Génie logiciel, Outils, Sûreté de fonctionnement

La maison Blanche met en avant l’usage des méthodes formelles dans un nouveau rapport publié. Trois extraits très intéressants : […]

Premières dates de formation à la méthodes B 2024 Génie logiciel, Outils

CLEARSY est leader depuis plus de 20 ans dans l’application de la méthode formelle B, utilisée pour valider mathématiquement les […]

La version 4 des spécifications ETCS vient de paraître ERTMS, Ferroviaire, Génie logiciel, Outils

Une nouvelle version de la spécification du système de contrôle de la marche des trains européens standardisé (ETCS) vient de […]

HACKATHON CLEARSY Safety Platform à l’université IMD/UFRN à NATAL au BRESIL Génie logiciel, Outils, Sûreté de fonctionnement

Pendant une semaine, les étudiants de l’UFRN vont s’affronter sur plusieurs défis impliquant la modélisation en B et les applications […]

Le protocole sécuritaire CLEARSY sur automate Schneider Génie logiciel, Outils, Sécurité Incendie, Sûreté de fonctionnement

Dans la continuité de nos activités dans le domaine de la sécurité incendie, CLEARSY implémente et réalise le protocole sécuritaire […]

Une version certifiée de l’ATELIER B prévue pour 2024 Génie logiciel, Outils, Sûreté de fonctionnement

Une version certifiée de l’ATELIER B, l’outil pour la réalisation de la spécification et de la preuve de logiciel sécuritaire […]