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

CLEARSY assistera à la conférence UITP 2019 à Stockholm.

CLEARSY, entreprise Français de 140 personnes, conçoit et fabrique des systèmes et des logiciels sûrs certifiés dans les domaines urbain et grande ligne, en particulier concernant des trains sans conducteur (GoA3) et autonomes (GoA4). ERSA, société acquise par CLEARSY en 2018, transforme la complexité des spécifications ERTMS/ETCS/EVC de l’interopérabilité européenne en une série d’outils fournis […]

CLEARSY éditeur de solutions industrielles – La CLEARSY Safety Platform bientôt sur le marché

Spécialiste des systèmes sécuritaires, la société CLEARSY délivre des prestations dans le monde entier. Mais avec la mise sur le marché, à terme, d’un kit de développement de systèmes sécuritaires certifiés SIL4 ; la société aixoise se positionne également en tant qu’éditeur et distributeur. Le kit CLEARSY Safety Platform s’adresse aux entreprises qui fournissent des […]

Troisième conférence RSSR, Reliability, Safety  and Security of Railway systems; modelling, analysis, verification and certification

La troisième conférence RSSR (Reliability, Safety  and Security of Railway systems; modelling, analysis, verification and certification) va avoir lieu à Lille du 4 au 6 Juin 2019. CLEARSY co-organise cette conférence avec l’IFSTTAR et l’université de Newcastle et présentera: – deux articles: “Property-Based Modelling and Validation of a CBTC Zone Controller in Event-B” et “B-specification […]

En tournée dans le monde entier, CLEARSY rencontre les futurs utilisateurs de la CLEARSY Safety Platform

Le projet collaboratif LCHIP piloté par CLEARSY vise à produire une plateforme de calcul, capable d’automatiser le développement à bas coûts de systèmes sécuritaires de niveau SIL4. Le premier starter kit de la future CLEARSY Safety Platform fait l’objet d’une tournée internationale de promotion. Un an après le début de la R&D, le projet LCHIP […]