CLEARSY

Dear Atelier B Users and Formal Methods Practitioners, 💡 We are pleased to present the 2025 roadmap for Atelier B, the premier IDE for the B-method and Event-B! This year, our primary focus is on usability enhancements and overall stability, ensuring a smoother and more efficient experience for all users. 🍾 We are also excited to announce that Atelier B T2 Certified Edition is now available for purchase. Additionally, a new release of Atelier B Community Edition and Atelier B Educational Edition is planned ahead of the 2025/2026 academic year (Northern Hemisphere), bringing further improvements in usability and reliability. #CLEARSY #Bmethod #formalmethod #Blangage #SIL4 #proof

💡 CLEARSY supplies test benches to the Italian company @ECM - Progress Rail.   🚅 These benches are used to test industrial equipment such as #RBC (Radio Block Centre), interlocking systems and #ETCS on-board computers (On Board Unit) via the #ERTMS Subset-111-2 standard; we also supply the on-board simulator, connected to the test bench. 🔎 The test benches can simulate up to 30 trains with autonomous driving, and provide real-time verification tools for detecting any non-conformities. 🖋️ Our customer uses them to validate its RBC (Radio Block Centre) SIL4 Baseline 3. #ETCS #ERTMS #SIL4 #Baseline3 #CLEARSY

💡 A CLEARSY fornece seu mais recente DMI certificado SIL2 para a ASELSAN em conformidade com o ETCS Baseline 4. A CLEARSY foi escolhida para fornecer seu mais recente DMI certificado SIL2 para a ASELSAN como parte da modernização dos sistemas de sinalização embarcados da TCDD (Ferrovias Estatais da Turquia). 🚆 Mais de 100 novos trens serão equipados em conformidade com o ETCS Baseline 4, atendendo aos requisitos dos padrões europeus de sinalização. ✔️ Essa colaboração reforça a expertise da CLEARSY em ERTMS e sua capacidade de desenvolver e fornecer equipamentos em conformidade com os padrões mais recentes. #ERTMS #SIL2 #RailwaySignaling #ETCS #Baseline4 #RailTransport #Innovation

💡 A CLEARSY está fortemente envolvida no projeto do tram T1, que conectará Lausanne a Renens em 2026, trazendo sua expertise na implementação da lógica de segurança de intertravamento. 🔎 No total, 4 zonas, compreendendo mais de 70 rotas, estão cobertas neste projeto, em colaboração com nosso parceiro Mobility - Enjoy the way, para uma linha que acomodará um tram a cada 6 minutos. 🎖️ A lógica de segurança implementada pela CLEARSY será auditada por um Safety Assessor externo (ISA) para garantir sua conformidade com os requisitos CENELEC SIL4. 📚 A CLEARSY gerencia todo o processo, desde a codificação até a validação e verificação, culminando na elaboração do dossiê de segurança, entregando um serviço completo que atende aos mais rigorosos padrões. #CLEARSY #TramwayLausanne #SegurançaFerroviária #SIL4 #LógicaDeSegurança

💡 Desde 2024, dois laboratórios do Sistema Europeu de Controle de Trens (#ETCS) estão em uso na Alemanha, em Munique e Dresden, pelo Escritório Federal de Ferrovias EBA (Eisenbahn-Bundesamt EBA) e pelo Centro Alemão de Pesquisa em Transporte Ferroviário Deutsches Zentrum für Schienenverkehrsforschung (DZSF). 🖋️ O EBA é responsável por garantir a segurança ferroviária na rede. Vinculado ao EBA, o DZSF é um instituto científico encarregado de projetos de pesquisa. 🔑 Os laboratórios ETCS fornecidos pela CLEARSY são usados para realizar simulações e testes de equipamentos embarcados (OBU), com o objetivo de conduzir estudos e investigações na área do ERTMS. 🔑 A simulação integra componentes de solo (gestão de tráfego, rádio RBC, sistema de enclausuramento, etc.) e componentes embarcados (computador vital principal (EVC), periféricos e Módulo de Transmissão STM) por meio de um console de condução que reproduz uma interface DMI do ETCS e uma animação 3D básica. Esses sistemas são usados para treinar as equipes do EBA/DZSF no ETCS. ➡️ No DZSF, eles servem como base para diversos projetos de pesquisa e estudos de caso, como a simplificação da transferência RBC para transição de fronteiras e a transferência de testes de comissionamento para o ambiente de simulação. ➡️ O desenvolvimento do ETCS na Alemanha acelerou recentemente com o aumento dos incentivos para sua implementação (linha de Stuttgart). Combinado aos dispositivos ATO (Go A2), o ETCS otimiza a velocidade dos trens, reduz atrasos nas estações e traz benefícios ambientais. ➡️ Uma nova versão da Especificação Técnica TSI foi publicada em 2023. O EBA está analisando essa atualização e pretende modernizar seus laboratórios, em parceria com a CLEARSY, para lidar com os novos desafios introduzidos pela Baseline 4. #transportes #automação #sinalização #ERTMS #ETCS #simulação

📢 CLEARSY no seminário sobre trens autônomos em Metz! 📢 A CLEARSY estará presente na Conferência Franco-Alemã sobre o Sistema Ferroviário (FASF 2025) dedicada aos trens autônomos, que acontecerá nos dias 26 e 27 de março em Metz. 💡 CLEARSY, um ator comprometido com a inovação ferroviária e sistemas de segurança Teremos a oportunidade de discutir os avanços de vários projetos inovadores de trens leves nos quais a CLEARSY está envolvida: TELLI, DRAISY, ECOTRAIN, InfraLight, NS2F… 🤝 Uma oportunidade para troca de ideias! Este seminário é a ocasião perfeita para debater nossas inovações: detecção segura de via livre, localização segura de trens, comunicação trem-solo, simulação de sistemas, validação de dados de sinalização, dispositivo de parada automática de trens e, por fim, computador cibernético e seguro. Você vai estar por lá? Venha conversar com a gente! Entre em contato com Sebastien Agostini. #CLEARSY #TrensAutônomos #MobilidadeDoFuturo #SegurançaFerroviária #Inovação #SIL4

CLEARSY invites you to the WEBINAR: Revamping the characteristics of historic railway lines for ERTMS: a safer, more cost-effective solution. Registration link: https://lnkd.in/dN6ymGEd #SIL4 #formalmethod #criticalsoftware #validation #ERTMS

📢 CLEARSY au séminaire sur les trains autonomes à Metz ! 📢 CLEARSY sera présent à la Conférence Franco-Allemande sur le Système Ferroviaire (FASF 2025) sur les trains autonomes, qui se tiendra les 26 et 27 mars à Metz. 💡 CLEARSY, acteur engagé dans l’innovation ferroviaire et les systèmes sécuritaires Nous aurons l’opportunité de discuter des avancées de plusieurs projets innovants autour du train léger sur lesquels CLEARSY est impliqué : TELLI, DRAISY, ECOTRAIN, InfraLight, NS2F, … 🤝 Une opportunité d’échange ! Ce séminaire est l’occasion idéale pour échanger sur nos innovations : Détection sécuritaire de voie libre, localisation sécuritaire de trains, communication train-sol, simulation système, validation des données de signalisation, dispositif d’arrêt automatique des trains et enfin calculateur cyber et sécuritaire. Vous serez présents ? Venez échanger avec nous ! contactez Sebastien Agostini #CLEARSY #TrainsAutonomes #MobilitéDuFutur #SécuritéFerroviaire #Innovation #SIL4

📅 Cod'INSA continue sur sa lancée et vous présente aujourd'hui un autre de ses partenaires, qui participent à faire de Cod'INSA une réalité. 💻 Aujourd'hui, nous vous présentons CLEARSY, un partenaire qui se spécialise dans la sécurité des systèmes. Depuis 2001, CLEARSY innove pour faire progresser la sécurité des systèmes et des personnes grâce aux outils logiciels et électroniques conçus et développés dans ses bureaux d’études. Nos ingénieurs interviennent sur toutes les phases de nos projets, de la spécification à la réalisation de solutions que nous livrons assortis de leur dossier de certification. Nous nous impliquons de façon croissante dans la technologie des systèmes intelligents et connectés (robots, drones, voitures et trains autonomes, ...) avec des outils et logiciels capables de répondre aux enjeux de l’automatisation. Le savoir-faire de CLEARSY est reconnu en France et dans le monde entier avec une vingtaine de projets à l’international depuis 2006 et CLEARSY connaît une croissance régulière depuis sa création. Nos 150 collaborateurs sont répartis entre nos quatre sites : Aix-en-Provence, Strasbourg, Lyon, Paris. Les valeurs de CLEARSY – audace, passion pour la technique, plaisir - s’épanouissent au sein d’une entreprise à taille humaine.

💡 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 19 au 22 mai 2025 📅 Formation de niveau 2 - Pratiquer B : du 16 au 19 juin 2025 📄 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