CLEARSY

Tu es chef de projet mais tu as l’impression de faire toujours les mêmes sujets, les mêmes réunions, les mêmes slides ? Tu aimerais piloter des projets plus techniques, plus stimulants, ou simplement avoir l’impression que ce que tu fais a du sens ? Et si le problème… c’était juste la boîte ? 😉 Tu penses qu’il existe des entreprises où l’on fait davantage confiance à l’intelligence et à l’autonomie qu’aux process interminables ? Tu cherches une entreprise innovante dans un secteur porteur d’avenir ?   Alors peut-être qu’il est temps de sortir de ta boîte 📦 #CLEARSY #ChefDeProjet #GestionDeProjet 

🚆Le réseau ferroviaire repose sur une multitude d’équipements de signalisation qui sont soumis à des exigences strictes de certification sécuritaire SIL. Dans ce contexte, SNCF Réseau confie à CLEARSY plusieurs études d’homologation destinées à s’assurer que ces équipements électroniques continuent de répondre au plus haut niveau de sécurité suite à des évolutions. Cette mission s’inscrit dans une collaboration de longue date entre les équipes de SNCF Réseau et de CLEARSY. #CLEARSY #ferroviaire #securitéferroviaire

Next May, CLEARSY will take part in two events in Japan focusing on a key issue: how to combine AI with formal methods without compromising the security of critical systems. - NII Shonan Meeting No. 225 (12–15 May): CLEARSY will present its work on the development of a formal safety controller to oversee machine learning systems in the rail sector. (https://lnkd.in/dkj8RBGT) - FM 2026 Industry Day (18–22 May, Tokyo): CLEARSY teams will share practical insights on the use of AI in railway projects based on formal methods, emphasising the need for rigorous human oversight. (https://lnkd.in/djxR7N7r) These presentations illustrate a firm conviction: far from replacing formal methods, AI reinforces their role. CLEARSY would like to thank the organisers of these events — Fuyuki Ishikawa, Olga Kouchnarenko and Elvinia Riccobene at NII Shonan, as well as Jeroen Keiren and Naoto Sato — and looks forward to discussing these topics with participants at the events. #FormalMethods #ArtificialIntelligence #SafetyCritical #Railway #FunctionalSafety #MachineLearning #TrustworthyAI #BMethodVerification #SystemsEngineering #FM2026 #ShonanMeeting

https://lnkd.in/d4-SgqpP

📢 CLEARSY at the ERTMS 2026 conference in Valenciennes! 📢 CLEARSY is one of the leading providers of simulation and testing tools compliant with ERTMS standards, for both the Basic 3 version and the new Basic 4 version. CLEARSY is taking part in the ERTMS 2026 conference, organised by the European Union Agency for Railways, which will be held from 21 to 23 April 2026 in Valenciennes, France. (https://lnkd.in/d628DN5V) This international event brings together decision-makers, manufacturers, railway operators and experts to share the latest developments in the ERTMS - European Rail Traffic Management System and to address key issues relating to its large-scale deployment across Europe. Come and talk to us about our test bench solutions, OBU and RCB simulators, and EU-LYNX interface validation. 👉 Contacts: thierry lecomte and Antoine Levy. #ERTMS #CLEARSY #Railway #ETCS #BL4 #EU-LYNX

💡 CLEARSY est leader depuis plus de 20 ans dans l’application de la méthode formelle B, utilisée pour valider mathématiquement les logiciels et les systèmes critiques de sécurité. 🔜 CLEARSY organise prochainement des formations à la méthode B, (https://lnkd.in/e95DCEx2) en présentiel, dans ses 📍 locaux parisiens. 📅 Formation de niveau 1 - Comprendre B : du 18 au 21 mai 2026 (dernier rappel) 📅 Formation de niveau 1 - Comprendre B : du 15 au 18 septembre 2026 📅 Formation de niveau 2 - Pratiquer B : du 13 au 16 octobre 2026 📅 Formation de niveau 3 - Prouver avec B : du 17 au 19 novembre 2026 📄 Si vous souhaitez y participer, veuillez envoyer un courriel à formationb@clearsy.com pour vous inscrire en précisant le niveau de la formation. 🖋 📅 Nous pouvons aussi organiser d’autres sessions de formations sur demande, à 📍 AIX, 📍 LYON ou 📍 PARIS. 📜 A noter que nos formations sont finançables par OPCO puisqu'elles sont certifiées QUALIOPI. #formal #formalmethods #safetycritical #mathematicalproof #formallanguages #proof #CLEARSY

📢 CLEARSY at the ERTMS 2026 conference in Valenciennes! 📢 🚆 CLEARSY is a leading provider of simulation and testing tools compliant with ERTMS standards, not only for Baseline 3 but also for the new Baseline 4. 📍 CLEARSY will be attending the ERTMS 2026 conference, organised by the European Union Agency for Railways, taking place from 21 to 23 April 2026 in Valenciennes, France. (https://lnkd.in/d628DN5V) 🌍 This international event will bring together decision-makers, manufacturers, railway operators and experts to share the latest developments in the ERTMS - European Rail Traffic Management System and the key topics of its large-scale deployment across Europe. 🤝 Come and meet us to discuss with us the challenges and innovations related to ERTMS and safe railway systems. 👉 Contacts: Patrick Deutsch and Antoine Levy. #ERTMS #CLEARSY #Railway #ETCS

🚀 CLEARSY has contributed to the article “Formal Methods in Industry”, alongside eminent authors who are leading authorities in the field of formal methods. It details CLEARSY’s industrial experience with B Method (https://lnkd.in/dwhMNN26 ) as applied to railway systems which is a field where formal rigor is strongly recommended. Formal methods are mathematical techniques used to rigorously specify and verify systems. They offer guarantees of reliability far superior to conventional testing; however, their adoption in industry remains limited to systems that cannot tolerate any faults. They enable one to mathematically prove that a system satisfies properties and can be used at all stages of development, from requirements and safety principles through to final validation. Tools such as CLEARSY’s Atelier B and the CLEARSY Data Solver demonstrate their practical implementation. They are now used in many fields, particularly in critical systems such as aerospace and rail, but also in broader sectors. Feedback shows that they improve quality and reduce errors, although they require specialist skills. ✨ Finally, learning to use them develops essential skills such as rigorous reasoning, and their use is expected to continue to grow thanks to improvements in the tools and their gradual integration into industrial practices. The full article can be found at this link: https://lnkd.in/dhtFfxsd #CLEARSY #Bmethod #AtelierB #railway #CLEARSYDataSolver

💡 CLEARSY est leader depuis plus de 20 ans dans l’application de la méthode formelle B, utilisée pour valider mathématiquement les logiciels et les systèmes critiques de sécurité. 🔜 CLEARSY organise prochainement des formations à la méthode B, (https://lnkd.in/e95DCEx2) en présentiel, dans ses 📍 locaux parisiens. 📅 Formation de niveau 1 - Comprendre B : du 18 au 21 mai 2026 📅 Formation de niveau 2 - Pratiquer B : du 8 au 11 juin 2026 📄 Si vous souhaitez y participer, veuillez envoyer un courriel à formationb@clearsy.com pour vous inscrire en précisant le niveau de la formation. 🖋 📅 Nous pouvons aussi organiser d’autres sessions de formations sur demande, à 📍 AIX, 📍 LYON ou 📍 PARIS. 📜 A noter que nos formations sont finançables par OPCO puisqu'elles sont certifiées QUALIOPI. hashtag #formal #formalmethods #safetycritical #mathematicalproof #formallanguages #proof #CLEARSY

CLEARSY organise l’événement “WEBINAR: How can train drivers be trained in ERTMS Baseline 3?”. N’hésitez pas à y assister aujourd’hui.