CLEARSY participe au troisième congrès mondial sur les méthodes formelles: FM’19 du 7 au 10 octobre 2019

CLEARSY participe au troisième congrès mondial sur les méthodes formelles: FM’19 du 7 au 10 octobre 2019 (http://formalmethods2019.inesctec.pt/?page_id=2745) CLEARSY y fais deux présentations : AFFORD19 : The Bourgeois Gentleman, Engineering and Formal Methods, Thierry Lecomte ID@FM’19 : Property-Driven Software Analysis Mathieu Comptier, David Deharbe, Paulin Fournier and Julien Molinero   En plus du programme académique, les […]

RS4 SCK-CEN

Le relais sécuritaire RS4 de CLEARSY adopté par le nucléaire

Le relais de sécurité RS4 de CLEARSY perce le nucléaire et passe avec succès les tests auprès de l’Autorité de Sûreté Nucléaire Belge. Les caractéristiques techniques du RS4, certifié SIL4, permettent en effet une intégration simple et évolutive sur tous châssis et toutes contraintes environnementales industrielles, tout en étant conforme avec les exigences fonctionnelles de sûreté nucléaire. Le système d’arrêt d’urgence d’un réacteur est rattaché à la catégorie A.

Surveillance incendie dans les stations du métro parisien

CLEARSY en charge du Report de Signalisation et de Commandes pour la RATP Le projet SYMPHONIE SSI vise à doter la RATP de moyens de surveillance centralisée de la sécurité incendie de son réseau métropolitain. Dans le cadre de ce projet, CLEARSY s’est vu confier la responsabilité du développement, de la certification et du déploiement du système […]

AFADL – GDR GPL : Clearsy fera une présentation sur l’Intégration d’outils tiers de preuve automatique dans l’Atelier B

Les dix-huitièmes journées AFADL (Approches Formelles dans l’Assistance au Développement Logiciel) se tiendront du 11 au 14 juin 2019 à l’ENSEEIHT, en même temps que le rassemblement annuel du GDR GPL (Groupement de Recherche Génie de la Programmation et du Logiciel). Clearsy vous accueillera sur notre stand lors de ces Journées Nationales 2019 qui  auront […]