De nouvelles formations à la méthode B 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 […]

Le nouveau poste de commande centralisé Siemens sécurisé par CLEARSY Ferroviaire, Outils, Sécurité Incendie, Sûreté de fonctionnement

SIEMENS a confié à CLEARSY la sécurisation SIL2 de l’affichage de la supervision du nouveau système d’exploitation des trains RER […]

Atelier B Professional Edition 23.02 is now available Offres, Outils

“Atelier B Professional Edition 23.02” is now available on Windows and Linux for all current maintenance contract holders. https://www.atelierb.eu/en/atelier-b-professional-edition-23-02-copy/

comment valider les données de paramétrage des logiciels critiques ? Ferroviaire, Outils, Salons/conférences, Sûreté de fonctionnement

CLEARSY vous invite au WEBINAIRE : comment valider les données de paramétrage des logiciels critiques ? Le 23 mars 2023 […]

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

Venez à la prochaine formation à la méthode B Outils, Société, Sûreté de fonctionnement

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

Les activités formelles dans le cycle en V Génie logiciel, Outils

CLEARSY utilise les méthodes formelles dans de nombreuses phases du cycle de développement : Le raisonnement système : pour définir […]