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...
View ArticleAFADL – GDR GPL : Clearsy fera une présentation sur l’Intégration d’outils...
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...
View ArticleSurveillance 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...
View ArticleLe 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...
View ArticleAtelier CLEARSY Safety Platform 4.5.4 disponible
La version originale de cet article Atelier CLEARSY Safety Platform 4.5.4 disponible se trouve sur Clearsy.
View ArticleCLEARSY Safety Platform Handbook disponible
La première version du CLEARSY Safety Platform Handbook est disponible au téléchargement. Il sera enrichi chaque mois avec de nouveaux projets, modèles, etc. La version originale de cet article CLEARSY...
View ArticleCLEARSY participe au troisième congrès mondial sur les méthodes formelles:...
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 :...
View ArticleTramway de Nice : Le dispositif d’arrêt automatique des trains de CLEARSY...
Tramway de Nice : Le dispositif d’arrêt automatique des trains de CLEARSY limite les freinages d’urgence au strict nécessaire. KFS le dispositif d’arrêt automatique des trains de CLEARSY est entré en...
View ArticleCLEARSY réalise la validation formelle de données du programme MISTRAL NG de...
CLEARSY entre dans le programme MISTRAL NG de SNCF Réseau. En effet, la société ATOS – en charge du développement et du déploiement du programme – a souhaité être accompagnée par CLEARSY pour la partie...
View ArticleCLEARSY participe au congrès mondial SmartMetro (Novembre 2019) et CBTC en...
Le congrès constitue le lieu de rencontre mondial pour les experts en technologie du métro, du tram et du train léger. Cette année, l’événement se déroule à Madrid avec le soutien du métro de Madrid....
View ArticleCertifié T2, l’outil CLEARSY DATA SOLVER accélère le processus de validation...
Développé par CLEARSY, cet outil logiciel permet de construire des outils de validation formelle de données, quelques soient leurs spécificités. Certifié T2, selon la norme Cenelec EN 50128 (projets...
View ArticleLa méthode formelle pour valider des données de paramétrage : CLEARSY est...
Pour valider les données qui paramètrent son système d’enclenchement ferroviaire, CLEARSY est choisie pour l’infaillibilité de son approche basée sur les méthodes formelles. Une grande société a confié...
View ArticleCLEARSY synchronise les portes palières du métro de Kuala Lumpur
CLEARSY développe une interface dédiée à la synchronisation (ouverture/fermeture) des portes de train et des portes de quai pour le métro de Kuala Lumpur. Ce projet s’inscrit dans un contexte de...
View ArticleNouveau Logo, nouvelle signature.
Avec ce nouveau Logo CLEARSY affirme son positionnement dans la création de solutions sécuritaires. Rassemblant des ingénieurs et docteurs de haut niveau, la conception et la technicité sont au cœur de...
View ArticleNouvelle version de l’Atelier B pour Mac-OS
Cette version est une version Free Edition, dont l’accès est libre, elle est donc directement téléchargeable. Après Linux et Windows, l’installeur permet maintenant une exécution de l’Atelier B 4.5.1...
View ArticleAGREMENT FRAMATOME pour CLEARSY
« CLEARSY sort des rails et obtient l’agrément FRAMATOME en conception et réalisation de contrôle-commande et logiciels sécuritaires dans le nucléaire » Pour être sûre, une installation nucléaire doit...
View ArticleMétro de Marseille – Clearsy livre un système innovant pour sécuriser le...
Métro de Marseille Clearsy livre un système innovant pour sécuriser le terminus de la ligne 2 Les dimensions du tunnel de la station Capitaine Gèze, terminus de la ligne 2, interdisent les systèmes...
View ArticleCLEARSY développe le logiciel d’un système de pilotage embarqué test pour les...
Associé à la modernisation du système de pilotage embarqué des trains suisses pour le compte de SBB, CLEARSY a fait appel aux solutions ERTMS de son site strasbourgeois. SBB, la société des chemins de...
View ArticleDispositifs de fermeture, d’auto-évacuation et de désenfumage SIL2 pour la...
CLEARSY réalise le dossier de sécurité pour les dispositifs de fermeture, d’auto-évacuation et de désenfumage des tunnels de la rocade L2 de Marseille, auprès et en tant que sous-traitant de Bouygues...
View ArticleSystème d’aide à l’arrêt des trains : Deux panneaux pour aller chercher...
Système d’aide à l’arrêt des trains : CLEARSY fait profiter la SNCF de son expérience réussie pour le métro de Stockholm avec un projet-pilote en région parisienne. Epinay-Villetaneuse, une station de...
View Article
