CLEARSY organise prochainement des formations à la méthode B, en présentiel, dans ses locaux parisiens. Formation de niveau 1 – […]
CLEARSY va fournir à l’Office Fédéral des Chemins de Fer EBA (EisenBahn-Bundesamt) et au centre allemand de recherche sur le […]
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 […]
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 […]
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’automatisation de la preuve et le support interactif à la preuve sont des éléments clés de l’application des méthodes formelles […]
CLEARSY a développé et certifié la CLEARSY SAFETY PLATFORM (CSP), une solution pour développer des systèmes embarqués temps réel sécuritaires […]
Le relais de sécurité de niveau SIL 4 est une réalité : CLEARSY en a fait la présentation au salon international […]