CLEARSY

💡 CLEARSY a participé au développement d’un nouveau pousse-seringue made in France. 🩺 Flowmex™ est un nouveau dispositif médical conçu par COMEX.SAS pour une utilisation en caisson hyperbare, installation médicotechnique étanche au sein de laquelle des patients peuvent être exposés à une pression supérieure à la pression atmosphérique. 💉 Le pousse-seringue électrique sert à pousser une seringue de façon continue, lente et sans intervention humaine. Son logiciel est sécuritaire, de catégorie C selon la norme IEC 62304, en regard des risques associés à l’administration de la perfusion, avec une attention particulière sur le respect précis du débit injecté. 🗝️ CLEARSY a réalisé l’étude de sécurité, le développement et l’intégration du logiciel embarqué, ainsi que le banc de test de l’ensemble des cartes électroniques en sortie de fabrication. #CLEARSY #sécurité #pousseseringue

🚄 Avancée majeure pour la modernisation de la ligne Paris-Lyon avec le projet LGV+ ! 🚄 💡 La ligne à grande vitesse Paris Lyon est désormais gérée par le nouveau centre ultra moderne de supervision de Lyon. Une étape essentielle qui permettra le déploiement de l'#ERTMS niveau 2 (European Rail Traffic Management System), renforçant ainsi la sécurité, la régularité et la capacité de cette ligne stratégique. ➡️ CLEARSY accompagne SNCF Réseau en assistance à maîtrise d'ouvrage pour les études de sûreté de fonctionnement, contribuant à garantir que chaque avancée technologique soit réalisée dans le respect des plus hauts standards de sécurité. 🙌 Félicitations à toutes les équipes pour cette avancée vers un réseau ferroviaire toujours plus performant ! #CLEARSY #SNCF #LGVPlus #MISTRAL #ERTMS #Sûreté #Innovation #TransportFerroviaire

🌍CLEARSY is proud to participate in the 9th School of Theoretical Computer Science and Formal Methods (ETMF 2024) taking place on December 3rd, 2024 in Serra, Brazil (https://lnkd.in/dAz5RmXV). 👍ETMF 2024 is organized by the Graduate Program in Applied Computing (PPComp) at the Federal Institute of Espírito Santo (Ifes - Instituto Federal do Espírito Santo). The event aims to foster collaborations between researchers and practitioners, strengthen the formal methods community, and inspire future research that meets contemporary technological challenges. 😊CLEARSY will deliver a 90-minute lecture titled "Math Saves Lives: How Formal Methods Keep Trains on Track and Software from Going Off the Rails". The talk provides a comprehensive overview of the role of formal methods in ensuring the safety and security of software-based systems in critical industries. ⚡A few concrete examples from the world of railways will help you to understand the added value of formal methods, but also to identify anything that needs to be dealt with in a more traditional way. Notation is introduced during the talk. ✅No prior knowledge beyond mathematical logic and common sense is required to attend this lecture. #formalmethods #safety #railways

📣 #AtelierB has just passed the 10,000 annual download mark for the first time. The start of the 2024 academic year saw a doubling of downloads compared to 2023. ➡️ CLEARSY, leader in the application of the formal B method, develops and distributes Atelier B, the tool associated with this method. This tool is used to produce mathematically-proven safe software, and to prove safety reasoning at system level. 🖋️ Atelier B Windows accounts for half of all downloads. 🖋️ Atelier B Linux is downloaded twice as much as Atelier B for MacOS. #ATELIERB #CLEARSY #formal #programming #formalmethods #safetycritical #development #mathematicalproof #softwaredevelopment #formallanguages #proof

💡 DOF system Achieves SIL3 certification for the Cross River Rail project. 📌 A major milestone for CLEARSY in its contribution to the Cross River Rail project in Brisbane, Australia. The platform screen door opening and closing (DOF) system designed by CLEARSY has achieved SIL3 certification in compliance with the CENELEC EN 50126:2017 / EN 50128:2011 / EN 50129:2018 international safety standards. ➡️ Landing doors are being installed in four underground stations on the Brisbane Metro line, and will be controlled by DOF. ➡️Based on secure wireless communication, the DOF system comprises an on-track part (locating and communication antennae), and an on-board part (transmission of door opening and closing commands, and safety computer). 📣 With this new milestone, CLEARSY consolidates its position as a major safety system designer, and continues its international expansion by supporting innovative projects in major metropolises. #CLEARSY #DOF #railway #SIL4 #PSD Sebastien Agostini

🚄Joining and splitting of ERTMS trains on the CLEARSY ERTMS Train Simulator🚄 💡Hitachi Rail and CLEARSY are proud to showcase the joining and splitting feature of the TVS (Test and Verification System) in practical use for #ETCS Level 2 at Hitachi Rail GTS Switzerland. 🖥 The Test & Verification System (#TVS) is a system that allows replicating in a laboratory the configuration of real #ERTMS/#ETCS projects, by combining real and simulated components. 🗝 This ensures a highly accurate testing environment for optimizing rail traffic management and safety. ▶ Check out this video: https://lnkd.in/dt5AEh_Q - demonstrating how this advanced feature is being utilized in real-world scenarios to improve train operations and streamline railway network management.   #HitachiRail #ETCS #RailwayTechnology #SmartMobility #TVS #RailSafety #RailwayInnovation #Transportation #CLEARSY

🚆 CLEARSY at AUSRAIL 2024! 🌏 ✨ We’re excited to announce that CLEARSY will attend AusRAIL 2024 from 25-27 Nov 2024 as visitors next week in Gold Coast, Australia! It is one of the biggest railway exhibitions in Australia, and we will be glad to meet you and exchange about our current projects for Cross River Rail in Brisbane and maybe discover potential new collaborations for new safety solutions… 💼 CLEARSY representatives on-site: 👉 Sebastien Agostini - C.E.O. 👉 Bruno LAVAUD – Business unit manager We look forward to discovering the latest railway innovations, connecting with passionate professionals. Feel free to reach out if you’d like to meet us during this key event for the railway industry! Our current projects in Brisbane: https://lnkd.in/gF5v9psa #AUSRAIL2024 #Railway #Innovation #Safety #CLEARSY

💡 CLEARSY renforce la sécurité ferroviaire en Corse avec un simulateur de signalisation avancé.   💻 CLEARSY vient de livrer un simulateur de signalisation ferroviaire pour le projet Commande Centralisée de la Voie Unique (CCVU) Corse, couvrant les lignes de Bastia à Ajaccio et de la Balagne. 🚆 Ce simulateur recrée fidèlement le système de signalisation en place en reproduisant les conditions opérationnelles des automatismes, qu'ils soient sécuritaires ou non, tout en étant interfacé à la supervision réelle. ➡ Les futurs utilisateurs du Poste de Commande Centralisé (PCC) bénéficient ainsi d’un environnement d'entraînement qui reproduit chaque aspect de la gestion du trafic en temps réel. ➡Grâce à cet outil, les opérateurs peuvent s’entraîner à répondre à toutes sortes de situations – pannes de signalisation, interruptions de service, urgences… – dans un contexte sécurisé et contrôlé, sans affecter l’infrastructure réelle. 👌 En adoptant cette solution de simulation, le projet CCVU Corse optimise la sécurité, la réactivité et réduit les coûts de formation en minimisant la dépendance aux équipements physiques. Avec ce projet, CLEARSY confirme son expertise en signalisation ferroviaire et simulation de systèmes critiques. #simulation #ferroviaire #CLEARSY #PCC

🎯 CLEARSY, leader dans le domaine des méthodes de développement de systèmes et logiciels prouvés et sûrs, propose des stages pour innover dans l’outil #ATELIERB. 👩🎓 Ces stages Bac+5 vous donneront un accès direct à des problématiques réelles et à un environnement industriel unique. ➡ Extension du compilateur pour permettre la certification T3 du logiciel de validation de données de CLEARSY ➡Modernisation du générateur d'obligations de preuve de l'Atelier B ➡Inférence de types appliquée au langage B ➡Création d'une interface de gestion de projets de développement avec la méthode B ➡Constitution d'un banc de tests pour l'interface graphique de l'Atelier B ➡Modernisation full-stack de l'Atelier B Les offres sont publiques et accessibles à : https://lnkd.in/efqf_Hdz #AtelierB #stage #MéthodeB #CLEARSY

CLEARSY et Alstom : Partenaires dans l'Innovation Ferroviaire. 💡 CLEARSY développe une solution tout-en-un qui permet d'éditer et de visualiser les plans de voies, de gérer l'architecture système, les allocations d'entrées/sorties et les diagrammes de câblage. Cette solution, utilisée par plusieurs centaines d'utilisateurs, accompagne intégralement le déploiement des projets ferroviaires. 📣 Cette collaboration témoigne de l'expertise technique de CLEARSY et de son engagement envers l'innovation et la fiabilité. CLEARSY est fier de contribuer à des projets qui façonnent l'avenir de la mobilité.   #Innovation #Transport #Metro #GrandeLigne #CLEARSY