Pages
- Accueil
- Actualités
- Besoin d’un système sûr sur-mesure ?
- CLEARSY
- Composants
- Contact
- Mentions légales
- Offres
- On recrute
- Outils
- Politique de confidentialité
- Savoir-faire
- Sitemap
- Témoignages
- Thématiques
Articles par catégorie
- Catégorie : Aéronautique
- Catégorie : Automobile
- Catégorie : Composant
- L’outil de développement formel ATELIER B franchit la barre des 10000 téléchargements !
- CLEARSY, concepteur de solutions d’enclenchements au plus haut niveau des normes de sécurité
- L’expertise de CLEARSY sur la ligne 14 RATP pour les Jeux Olympiques 2024
- Une gamme de produits CLEARSY à coût réduit pour les tramways et trains
- Catégorie : Défense
- Nouvelle certification SIL2 pour un écran d’affichage (DMI) ETCS Baseline 3
- Nouvelle certification SIL2 pour un écran d’affichage (DMI)
- Séminaire ISCLP – Ingénierie des Systèmes Complexes à Logiciels Prépondérants
- Engineering Complex Preponderant Software Systems Seminar in Toulouse
- Séminaire DGA « Ingénierie des Systèmes Complexes »
- Catégorie : Énergie/nucléaire
- Catégorie : ERTMS
- Jonction et séparation des trains ERTMS sur le simulateur de train CLEARSY ERTMS
- CLEARSY renforce la sécurité ferroviaire en Corse avec un simulateur de signalisation avancé
- CLEARSY fournit à DB Cargo Francfort un simulateur opérationnel ERTMS/ETCS
- Conférence ERTMS 2024 à Valenciennes du 23 au 25 avril
- Un simulateur CLEARSY embarqué pour transformer un train en véritable laboratoire mobile
- CLEARSY fournit un simulateur bord à la SNCF pour le projet LGV+ Paris-Lyon
- WEBINAR: How to guarantee the safety of a multi-supplier signaling system?
- La version 4 des spécifications ETCS vient de paraître
- CLEARSY participe au Sommet mondial des transports publics 2023 de l’UITP à Barcelone
- Pourquoi la norme Baseline 3.6.0 ETCS exige un DMI (le moniteur équipant les trains) de niveau SIL2 ? pour au moins ces raisons …
- Conférence RSSRail 2023, réservez la date ! Berlin, 10-12 octobre 2023
- CLEARSY est partenaire de l’UIC pour définir les méthodes de démonstration de sécurité des systèmes innovants
- Opsimu, le nouveau simulateur de conduite de trains de CLEARSY plus ergonomique avec sa visualisation 3D
- CLEARSY présente à INNOTRANS 2022 à BERLIN du 20 au 23 Septembre 2022, HALL 27, STAND 301
- CLEARSY participe à la Conférence ERTMS 2022
- CLEARSY fournit un laboratoire ETCS au centre de recherche DZSF en Allemagne.
- CLEARSY réalise la preuve formelle du système Contrôle – Commande – Signalisation du projet HPMV.
- CLEARSY au SIFER (stand 1-218) du 26 au 28 octobre 2021 à Lille.
- Une étape majeure : ERSA rejoint CLEARSY
- Global Conference on Signalling: the Evolution of ERTMS
- CLEARSY sera présent à la conférence « 1st UIC GLOBAL CONFERENCE ON SIGNALLING – The evolution of ERTMS »
- CLEARSY et CENTRALP partenaires pour développer une IHM-ETCS
- Catégorie : Ferroviaire
- Avancée majeure pour la modernisation de la ligne Paris-Lyon avec le projet LGV+ !
- Le système DOF certifié SIL3 pour le projet Cross River Rail
- CLEARSY et Alstom Transport : partenaires dans l’innovation ferroviaire
- Le système d’arrêt automatique des trains de CLEARSY est certifié SIL2
- CLEARSY présente à INNOTRANS 2024 à BERLIN du 24 au 27 Septembre 2024, HALL 27, STAND 301
- Rejoignez-nous à la conférence RSSI à Louisville, USA
- CLEARSY poursuit le déploiement de ses systèmes de contrôle de portes palières au métro de São Paulo
- Les relais sécuritaires RS4 de CLEARSY homologués par la RATP.
- Les portes palières de la ligne 13 de PARIS commandées par le système sécuritaire de CLEARSY
- CLEARSY sécurise le logiciel de supervision de SIEMENS
- Renouvellement du partenariat RATP CLEARSY
- Infrastructure légère communicante et sécuritaire pour renouveler les voies des petites lignes
- Détection d’obstacles et localisation sécuritaires des trains pour sauver les petites lignes
- Système de gestion de l’alimentation sécuritaire du tramway Parisien T12
- CLEARSY acteur innovant pour sauver des lignes ferroviaires
- CLEARSY répond au besoin des exploitants voulant installer des portes palières
- Le système CLEARSY de surveillance des portes palières du métro d’Honolulu est en service
- CLEARSY participera au salon Railway Interchange à Indianapolis en Octobre 2023
- Systèmes de CLEARSY pour le contrôle des portes palières des quais et la détection des passagers.
- CLEARSY intervient dans la rénovation de la signalisation des chemins de fer de la Corse
- Le nouveau poste de commande centralisé Siemens sécurisé par CLEARSY
- CLEARSY va fournir le système de contrôle des portes palières pour le projet Cross River en Australie
- Solution industrielle innovante pour la mise en œuvre de postes de signalisation
- comment valider les données de paramétrage des logiciels critiques ?
- Venez nous rencontrer au salon SIFER 2023 à Lille
- Conférence RSSRail 2022, réservez la date ! Paris, 1-2 juin 2022
- CLEARSY participe au salon RSSI à Kansas City en Mai 2022
- CLEARSY sécurise la signalisation de deux sites de maintenance et de remise en région parisienne.
- CLEARSY présente à la conférence internationale « ICT for railway », 7 au 8 décembre 2021 à Toulouse.
- Le système de sécurisation des portes palières de la ligne 4 de la RATP est en service.
- CLEARSY accompagne l’automatisation de la ligne 4 du métro parisien avec son système d’ouverture et de fermeture des portes palières.
- CLEARSY participe à la conférence ISOLA 2021
- CLEARSY participera au salon RSSI à Indianapolis en Septembre prochain.
- L’outil de validation de données critiques de sécurité est certifié T2 SIL4.
- Essais sur voie réussis pour le système de localisation SIL4 développé par CLEARSY.
- CLEARSY VOUS INVITE AU WEBINAIRE
- LE CALCULATEUR SÉCURITAIRE DE CLEARSY EST CERTIFIÉ AU NIVEAU SIL4
- CLEARSY ANALYSE LA SÉCURITÉ DU CBTC OCTYS AVEC LES MÉTHODES FORMELLES
- LE MÉTRO LÉGER DE MACAO ADOPTE LE SYSTÈME DE LOCALISATION SÉCURITAIRE DE CLEARSY.
- TALGO INTÈGRE LES NOUVELLES CONSOLES SIL2 DÉVELOPPÉES PAR CENTRALP ET CLEARSY
- CLEARSY DÉVELOPPE UN SAVOIR-FAIRE EN SÉCURISATION D’INTERFACES
- La sécurité incendie du métro parisien supervisée par CLEARSY
- Métro de Marseille : CLEARSY développe un système anticollision
- Système d’aide à l’arrêt des trains : Deux panneaux pour aller chercher l’arrêt parfait
- CLEARSY développe le logiciel d’un système de pilotage embarqué test pour les chemins de fer suisses
- Métro de Marseille – CLEARSY livre un système innovant pour sécuriser le terminus de la ligne 2
- CLEARSY synchronise les portes palières du métro de Kuala Lumpur
- La méthode formelle pour valider des données de paramétrage : CLEARSY est choisie
- Certifié T2, l’outil CLEARSY DATA SOLVER accélère le processus de validation de données
- CLEARSY participe au congrès mondial SmartMetro (Novembre 2019) et CBTC en tant que sponsor.
- CLEARSY réalise la validation formelle de données du programme MISTRAL NG de SNCF Réseau.
- Tramway de Nice : Le dispositif d’arrêt automatique des trains de CLEARSY limite les freinages d’urgence au strict nécessaire
- Surveillance incendie dans les stations du métro parisien
- CLEARSY assistera à la conférence UITP 2019 à Stockholm.
- CLEARSY Safety Platform présentée à la conférence RSSR 2019
- Troisième conférence RSSR, Reliability, Safety and Security of Railway systems; modelling, analysis, verification and certification
- En tournée dans le monde entier, CLEARSY rencontre les futurs utilisateurs de la CLEARSY Safety Platform
- Signalisation du tramway de Caen : un 3ème projet pour CLEARSY et Mobility (VINCI Energies)
- VENEZ SUR NOTRE STAND AU SALON SIFER DU 26 AU 28 MARS 2019 À LILLE
- Signalisation ferroviaire : de nouveaux produits chez CLEARSY
- CLEARSY à Innotrans 2018
- CLEARSY en charge des logiciels de sécurité de la signalisation des lignes 2 et 3 du tramway de Nice
- CLEARSY sera présent au salon de la mobilité urbaine Smart Metro, du 29 au 31 octobre 2018 à Paris.
- À l’international, CLEARSY de plus en plus sollicité par le secteur ferroviaire
- CLEARSY équipe le RER suédois d’une version innovante de son système de contrôle de portes palières
- Rail+Metro China 2017 : Venez nous rencontrer !
- Tutoriel conférence RSSR
- Les méthodes formelles appliquées au ferroviaire
- Salon des transports publics UITP
- SIFER 2017 – Venez nous renconter !
- Avec son relais de sécurité certifié SIL 4, CLEARSY a fait le buzz à InnoTrans
- LCHIP project (Low Cost High Integrity Platform) will ease development of safety critical systems and software up to SIL4, the highest Safety Integrated Level.
- Venez nous rencontrer lors d’InnoTrans, le rendez-vous mondial des acteurs du Transports
- CLEARSY is participating to InnoTrans, the leading international trade fair for transport technology
- Fiabilité, Sécurité et Sûreté des Systèmes Ferroviaires
- Architecture bi-processeur SIL4 présentée au Forum IFSTTAR « Sûreté et sécurité dans les transports »
- CLEARSY a participé à la 5ème édition de la conférence internationale sur les gares ferroviaires, NEXTSTATION 2015
- Retrouvez nous Hall 4 Stand 122 sur l’UITP à Milan
- Le nouveau logiciel LAM IP KPVA, logiciel d’aide à la maintenance des KPVA
- Sifer 2015 : Venez nous retrouver !
- Congrès de Sûreté de Fonctionnement et de Maîtrise des Risques
- Merci de votre venue et à bientôt
- Métro de New York City : CLEARSY intervient sur la sécurité des nouvelles automatisations (projet Culver)
- Innotrans 2014, rencontrez nous !
- Siemens renouvelle le référencement de CLEARSY
- Tutoriel sur la validation formelle des données à ABZ 2014, Toulouse
- Le métro de Budapest inaugure sa nouvelle ligne de métro
- Un banc de tests pour contrôler le système de freinage sur chaque roue fer du métro de Marseille
- Le DRF MP de marque CLEARSY homologué par Mitsubishi Industries Ltd
- CLEARSY citée dans L’Usine Nouvelle pour ses partenariats avec la RATP
- Séminaire technique à l’Université de Newcastle
- Conférence CAI 2013
- Validation des données et rétro-ingénierie
- ProB: un model-checker pour la validation de données
- Le renouveau du tramway
- Validation de données dans le ferroviaire
- Introduction à la validation de données
- Mise à niveau de la signalisation du tramway de Nice (prolongation T1)
- Ligne 1 : La mue souterraine
- Automatisation des portes palières de la ligne 1 du métro parisien
- Le principe GAME régissant le secteur ferroviaire.
- Certification ou homologation qui fait quoi ?
- Réalisation d’une AMDEC dans le cadre de la norme CEI 61508
- Rhônexpress : test du Dispositif d’Arrêt Automatique de Train KFS (DAAT SIL2)
- Salon SIFER 2011
- Métro de New York City : Automatisation des lignes Flushing et Culver
- L’Analyse Préliminaire des Dangers
- Coppilot en service dans le métro de Paris
- Certification du compteur d’essieux ferroviaire (CES) au niveau SIL4
- Salon INNOTRANS 2010
- Maîtrise des risques et sûreté de fonctionnement.
- La fiabilité des systèmes électriques/électroniques
- Des collaborateurs de CLEARSY sont reconnus en qualité d’évaluateur Certifer
- Les systèmes SIL existent-ils ?
- Les méthodes formelles dans le processus de SdF
- Salon Elmia Nordic Rail 2009 en Suède
- La norme CEI 61508 et ses dérivés
- Salon UITP à Viennes sur le Ferroviaire
- Salon SIFER 2009 à Lille
- Negocios Nos Trilhos
- Salon INNOTRANS 2008
- CLEARSY au Salon SIFER 2007
- Catégorie : Génie logiciel
- CLEARSY et l’UFRN concluent un accord de coopération pour promouvoir des stages internationaux
- Participation de CLEARSY à FM2024
- Prolongement de la Ligne 14 du Métro Parisien : plus de 25 Ans de fiabilité grâce à la méthode formelle B
- L’Atelier B Community Edition 24.04 disponible !
- Nouvelles formations à la méthode B
- La maison Blanche met en avant l’usage des méthodes formelles dans un nouveau rapport publié
- Premières dates de formation à la méthodes B 2024
- HACKATHON CLEARSY Safety Platform à l’université IMD/UFRN à NATAL au BRESIL
- Le protocole sécuritaire CLEARSY sur automate Schneider
- Une version certifiée de l’ATELIER B prévue pour 2024
- Les activités formelles dans le cycle en V
- CLEARSY organise prochainement des formations à la méthode B
- Deux décennies d’application industrielle de la méthode formelle B.
- Le nouvel Atelier B 4.7 est disponible.
- L’activité de R&D de CLEARSY en vérification formelle depuis plus de 10 ans …
- Nouvelle version de l’Atelier B pour Mac-OS
- CLEARSY Safety Platform Handbook disponible
- Atelier CLEARSY Safety Platform 4.5.4 disponible
- CLEARSY Safety platform SK0 est en vente
- Projet LCHIP et architecture double processeur: premier starter kit
- L’Atelier B 4.0 est disponible !
- La nouvelle version de l’Atelier B est en beta test
- Gratuité de l’Atelier B
- Atelier B 3.7.1
- Atelier B 3.7
- Nouvelle version de B4Free
- Brama disponible en version beta 1
- Composys, version 1.6
- Version gratuite de l’outil B4Free
- RODIN : un projet de 3 ans
- B4Free
- Catégorie : Métro (CBTC)
- Catégorie : Micro-électronique
- Catégorie : Non classifié(e)
- Catégorie : Offres
- CLEARSY a participé au développement d’un nouveau pousse-seringue made in France
- CLEARSY s’associe à NEAT pour intégrer l’outil de validation : CLEARSY Data Solver dans l’éditeur de plan de voies D4R::Horizon TrackPlanner editor !
- La passerelle de supervision de CLEARSY est certifiée SIL2 pour le Grand Paris Express
- Atelier B Professional Edition 23.02 is now available
- Catégorie : Outils
- Catégorie : R&D
- Catégorie : Salons/conférences
- CLEARSY à AUSRAIL 2024 !
- 9ᵉ Conférence Internationale méthodes formelles ABZ à Nancy du 31 mai au 2 juin 2023
- CLEARSY PARTICIPE À LA CONFÉRENCE INTERNATIONALE ABZ 2021
- CLEARSY participe au troisième congrès mondial sur les méthodes formelles: FM’19 du 7 au 10 octobre 2019
- AFADL – GDR GPL : CLEARSY fera une présentation sur l’Intégration d’outils tiers de preuve automatique dans l’Atelier B
- Travaux pratiques à IFRN Parnamirim
- CSSP présentée au Workshop on Software Development Technology
- CLEARSY Safety Platform présentée pendant l’Industry Day 2018
- ABZ 2018 – Du 5 au 8 juin 2018 à Southampton, Royaume-Uni
- Conférence Formal Methods – Oxford
- Travaux pratiques à IFRN Parnamirim
- CLEARSY Safety Platform présentée à IFRN Parnamirim
- Cours de master 2 pour l’UFRN/IMD
- Travaux pratiques à UFF Niteroi
- Séminaire d’informatique à Montréal/Canada
- CLEARSY et MP2018 : « Y participer est une évidence »
- Séminaire technique à l’université de Newcastle
- Tutoriels organisés pour des chercheurs et des ingénieurs de l’industrie
- Méthodes formelles et systèmes cyber-physiques – Séminaire à Shonan
- Conférence SBMF
- École Doctorale ETMF
- Conférence internationale SBMF 2017
- CLEARSY organise un séminaire technique à l’Université de Sherbrooke (Québec) le jeudi 20 octobre 2016 de 10h30 à 12h.
- CLEARSY présente le projet LCHIP au congrès Lambda Mu de la Maîtrise des Risques – 13 oct à St Malo
- Conférence ISSRE 2016
- 19ème conférence brésilienne sur les méthodes formelles
- Architecture bi-processeur SIL4 présentée au Printemps de l’Innovation Open Source
- Atelier de modélisation temporelle Waruna présenté au salon « Machine to Machine & Objets connectés »
- Safety-critical Systems Symposium
- CLEARSY recevra les 18 et 19 novembre 2015 la première rencontre annuelle du projet européen H2020 INTO-CPS.
- CLEARSY a participé à FM 2015, conférence internationale relative aux méthodes formelles
- CLEARSY a participé à la conférence Formal Methods 2015
- CLEARSY participe au Forum Méthodes Formelles « Le model-checking en action »
- AFADL 2014 : Les 11 et 12 juin 2014
- ABZ 2014 – Du 2 au 6 juin à Toulouse
- Séminaire INRIA « Ingénierie des Modèles »
- Séminaire Dagstuhl 2013
- AI4FM 2011
- APM-ATS 2011
- Conférence de Nantes 2010 : “La Méthode B, de la Recherche à l’Enseignement”
- Enseignement des Méthodes Formelles à l’ENSI de Bourges
- Enseignement des Méthodes Formelles à l’École des Mines de Gardanne en 2010
- Lambda Mu16 – Les Nouveaux Défis de la Maîtrise des Risques
- Colloque « B Dissemination Day 2008 », au Brésil
- Vector Forum 2008 : « L’Embarqué, maintenant et dans 20 ans »
- CLEARSY à la Conférence SBMF 2007 au Brésil
- CLEARSY à la Conférence SAFECOMP 2007
- Rodin Industry Day
- Prochaines conférences RODIN
- Journées Neptune’2007
- Conférence B2007
- Projet RIMEL
- Collaboration avec Labsoc
- Conférence Lambda Mu 15
- Conférence AFIS 2006
- AFADL’06
- Vérification de la cohérence de modèles UML – ENST
- Catégorie : Sécurité Incendie
- Grand Paris Express : CLEARSY livrera un système de supervision des équipements de sécurité incendie certifié SIL2
- Dispositifs de fermeture, d’auto-évacuation et de désenfumage SIL2 pour la rocade L2 de Marseille (liaison A7-A50)
- Dispositifs d’auto-évacuation et de désenfumage SIL2 pour la rocade L2 de Marseille (liaison A7-A50)
- Catégorie : Société
- Catégorie : Sûreté de fonctionnement
Offres de stages
- DEVELOPPEMENT UNITE SECURISEE AVEC IA
- DEVELOPPEMENT WORKBOOK ATELIER B
- MODERNISATION FULLSTACK DE L’ATELIER B
- CONSTITUTION D'UN BANC DE TEST POUR L'INTERFACE GRAPHIQUE DE L'ATELIER B
- CREATION D'UNE API DE GESTION DE PROJETS DE DEVELOPPEMENT AVEC LA METHODE B
- INFERENCE DE TYPES APPLIQUEE AU LANGAGE B
- MODERNISATION DU GENERATEUR D'OBLIGATIONS DE PREUVE DE L'ATELIER B
- EXTENSION DU COMPILATEUR B POUR PERMETTRE LA CERTIFICATION T3 DU LOGICIEL DE VALIDATION DE DONNÉES DE CLEARSY
- INTELLIGENCE ARTIFICIELLE POUR SYSTEME DE PROTECTION
- DÉVELOPPEMENT FULL STACK ÉDITEUR DE PLAN DE VOIE
- MIDDLEWARE POUR SIMULATEUR FERROVIAIRE
- CREATION DE TESTS AUTOMATISES POUR SIMULATEUR FERROVIAIRE
- OUTIL LANGUAGE ERTMS
- ÉTUDE AVANT-PROJET POUR LA MISE À NIVEAU D'UN ÉQUIPEMENT IHM AUX NORMES DE SÉCURITE NUCLÉAIRE
- DÉVELOPPEMENT CARTE MÈRE POUR CALCULATEUR SÉCURITAIRE
- SYSTÈME DE LOCALISATION DE TRAIN
- CONCEPTION SYSTÈME DE DÉTECTION CAMERA 3D
- ÉTUDE DE SÉCURITÉ ET D'ARCHITECTURE D'UNE PASSERELLLE DE COMMUNICATION
- ÉTUDE SÉCURITE SYSTÈME NAVETTE AUTONOME
- ÉTUDE SÉCURITÉ DE SYSTÈME D’ENCLENCHEMENT FERROVIAIRE
- VALIDATION DES ÉTUDES DE SÛRETÉ DE FONCTIONNEMENT
- ÉTUDE DE SÛRETÉ DE FONCTIONNEMENT SYSTÈME DOF SIL4
- SYSTÈME DE COMMUNICATION PAR CÂBLE RAYONNANT
- CONCEPTION ÉLECTRONIQUE D’UN CONTROLEUR
- AUTOMATISATION D’UN BANC DE TESTS DE VALIDATION FORMELLE
- SUITE D’OUTILS D’AUTOMATISATIONS ET DE TRAITEMENT DES DONNÉES ET OUTIL DE VISUALISATION DE DONNÉES
- DÉVELOPPEMENT D’UN ENVIRONNEMENT PERMETTANT DE PROGRAMMER EN RUST SUR UN CALCULATEUR SÉCURITAIRE
- DÉVELOPPEMENT BANC DE TESTS AUTOMATISÉ
Références
- Processus de preuve formelle de la sécurité d’un système de signalisation
- Relais sécuritaires RS4 : Contrôle commande de la traction
- Relais sécuritaires RS4 : Systèmes automatiques de commandes de portes palières
- Relais sécuritaires RS4 : Passage à niveau
- Relais sécuritaires RS4 : Applications de signalisation
- Système de gestion de l’alimentation sécuritaire du tramway Parisien T12
- CLEARSY fournit le système de surveillance des portes palières du métro d'Honolulu
- Luxembourg, 2021 : le site de la gare est prêt pour la venue du tram
- INFRABEL s’équipe du nouveau simulateur de conduite automatisé de CLEARSY
- Opsimu le nouveau simulateur de conduite de trains de CLEARSY a un temps d’avance
- Superviseur central de système de sécurité incendie CLEARSY déployé à la RATP et au Grand Paris
- Raffinement Incrémental de Modèle EvénementieL (RIMEL)
- Projet de recherche DEPLOY
- CERtification Compositionnelle des Logiciels Embarqués critiques et Sûrs (CERCLES)
- Vérification formelle de l'interopérabilité de systèmes autonomes (OISAU)
- Logiciel d’aide à la maintenance des KPVA (LIAM IP KPVA)
- Contrôle d'ouverture et de fermeture des façades de quai de la ligne 1 du métro Parisien
- Système de contrôle des portes palières de la ligne 13 de PARIS
- Système test d'ouvertures et de fermetures des portes palières de PARIS
- Système d'annonces sonores embarqué (SAS)
- Vérification automatisée de câblage d’armoires
- Duplication de projets réels
- Simulateurs avec fournisseurs externes de solutions 3D
- Simulateur Opérationnel Personnalisé (SRO)
- Training Simulator
- Simulateur opérationnel intégré à un simulateur dynamique sur verin
- Pont d’assaut modulaire (SPRAT)
- B-événementiel pour du VHDL synthétisable
- B METHOD for the construction of a MICROKERNEL
- Carte d'interface train SIL4 pour ANSALDO
- Étude de sécurité de logiciels embarqués : frein de parking automobile
- Diagnostic de véhicules
- Diagnostic automobile
- Chaine de traction sur véhicule électrique
- Vital Embedded Settings Generator (VESG)
- Val de Roissy
- Développement des logiciels critiques de sécurité du CBTC URBALIS Évolution
- Développement/ré-ingénierie de la partie sécuritaire des logiciels embarqués au bord et au sol d'un CBTC
- Système de Recharge Rapide de Tramway (SRRT)
- Analyse des logiciels critiques du CBTC ligne1
- Vérification formelle des enclenchements informatiques de lignes RATP
- Assistance à l'analyse et à la validation des logiciels critiques Octys
- Carte DSP autonome avec convertisseur CAN CNA RS485
- Assistance à la qualification de MF2000
- DIGISAFE
- Vérification de cohérence entre code et spécifications
- Banc de test implémenté sur automate iemens
- Système de gestion de zones de réduction temporaire de vitesse de train
- Vérification système avec preuve pour le CBTC de la ligne 7 (Flushing), New York
- Système d’arrêt automatique du tramway de Rouen
- Rames REGIOLIS : deux systèmes embarqués développés par CLEARSY
- Système de détection de survitesse pour le métro de Santiago
- KVB, système de contrôle de vitesse à balise
- Contrôle de portes palières : Coppilot Paris
- Contrôle de portes palières : Coppilot São Paulo
- Banc de tests de freinage pour la RTM
Témoignages
- Portrait de Sébastien, Ingénieur Avant-vente à CLEARSY
- Portrait d'Arnaud, Ingénieur à CLEARSY
- Portrait de Jean-Pierre, Ingénieur Expert à CLEARSY
- Portrait de Théo, Ingénieur à CLEARSY
- Portrait de Julie, assistante administrative à CLEARSY
- Portrait de Vincent, Ingénieur à CLEARSY
- Portrait de Marie, Ingénieure à CLEARSY
- Portrait de Brieuc, ingénieur expert à CLEARSY
- J’ai installé un système dans le métro de New York
- Permet de monter rapidement en compétences et en responsabilité
- Management horizontal ou tout le monde à sa chance
- Ses dirigeants aiment les nouveaux challenges
- Espace multidisciplinaire qui est source d’apprentissages techniques poussés
- Les gens sont disponibles pour nous aider à n’importe quel moment
- J’ai vu des gens fiers de ce qu’ils font et non de ce qu’ils sont
- Prise de responsabilité avec l’ancienneté.
- On m’a fait confiance et on m’a formé
- Le maitre mot est le travail mais dans une bonne ambiance
- Une PME jeune dans laquelle il fait très bon vivre
- Des opportunités de grandir avec CLEARSY
- Société exemplaire en termes d’état d’esprit
- CLEARSY a compris que sa bonne santé dépend du bien-être de ses employés
Thématiques
- Défense
- Gamme de Relais de sécurité SIL4
- PRODUITS ET SERVICES ERTMS/ETCS
- CBTC
- Electronique
- Énergie/nucléaire
- Salons/conférences
- Sûreté de fonctionnement
- Recherche et développement
- Consoles sécuritaires
- Automobile
- Accessibilité et protection des passagers
- Approche formelle pour systèmes critiques
- Systèmes automatiques de commandes de portes palières
- Méthode B
- Freinage et arrêt automatique de train
Composants
- Réseau de modules de communication de données sécuritaires (entrées SIL4)
- Kit de démarrage du calculateur industriel CLEARSY Safety Platform
- Basculeur SIL4 - RELAIS SECURITAIRE BISTABLE SIL4
- Ecran SIL2 programmable et DMI ETCS Baseline 3
- Dispositif passif anti-chute (comble lacune)
- Relais de sécurité RS4.DIN.304.24V SIL4
- Relais de sécurité RS4.DIN.202.24V SIL4
- Relais de sécurité RS4.DIN.402.24V SIL4
- Relais de sécurité RS4.DIN.202.110V SIL4
- Relais de sécurité RS4.DIN.406.24V SIL4
- Relais de sécurité RS4.3U.2x202.24V SIL4
- Lasers
- Version du calculateur CLEARSY Safety Plateform à des fins académiques
- Éditeur de plan de voie
- Surligneur
- Système de contrôle ponctuel de survitesse (KPVA)
Offres
- Cybersécurité
- Conformité de systèmes industriels
- Expertises électroniques
- Expertise de logiciels
- Banc de test ERTMS/ETCS OBU
- Suite d'outils de visualisation de voie en 3D
- Outil d'évaluation et d'analyse
- Éditeur de voie ETCS
- Simulateur de trafic ERTMS/ETCS
- Banc de test ERTMS RBC/IXL
- Simulateur opérationnel ERTMS/ETCS
- Dispositif d'arrêt automatique des trains (DAAT) : KFS SIL2
- Services de sûreté de fonctionnement
- Validation formelle de données
- Aide à la maintenance, supervision
- Logiciel Interface homme-machine DMI ERTMS SIL2
- Entrées/sorties sécuritaires déportées (SATURN) SIL2-SIL4
- Développement de système critique sur-mesure
- Analyse et validation formelle de logiciels
- Validation formelle système
- Développement de logiciels critiques
- Services ERTMS/ETCS
- Système de contrôle de marche mobile (CACOLAC)
- Détection d'individus dans les lacunes SIL3 (DIL)
- Dispositif d'autorisation de déploiement de marche mobile (GAPS) SIL2
- Détection de passage sécuritaire SIL4 (DNH)
- Station de mesures & banc de freinage
- Système de contrôle automatique de portes palières (DOF) SIL3-SIL4
- Système de contrôle automatique de portes palières (COPPILOT) SIL3-SIL4
Outils
- Atelier B
- Plateforme de réalisation de tests automatisés : TestRunner
- Outil de validation formelle de données (CLEARSY Data Solver)
- Calculateur sécuritaire SIL4 : CLEARSY Safety Platform
- Dispositif d’Aide à la Maintenance et à l’Exploitation (DAME)