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

CLEARSY organise prochainement des 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 1 – […]

CLEARSY fournit un laboratoire ETCS au centre de recherche DZSF en Allemagne. ERTMS, Outils

CLEARSY va fournir à l’Office Fédéral des Chemins de Fer EBA (EisenBahn-Bundesamt) et au centre allemand de recherche sur le […]

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

[reblex id=’15147′]