![](https://www.clearsy.com/wp-content/uploads/2024/02/Infralight-FR-web.jpeg)
INFRAlight, projet lauréat France 2030 aidé par l’ADEME, innove en matière d’infrastructure ferroviaire. Il propose des voies en matériaux composites, […]
![](https://www.clearsy.com/wp-content/uploads/2023/09/NS2F-FR-web-1.jpeg)
La nouvelle signalisation ferroviaire frugale (NS2F) est un projet collaboratif soutenu par l’État dans le cadre du programme France Relance […]
![](https://www.clearsy.com/wp-content/uploads/2023/03/CYBER-CASE-FR-web.jpeg)
Le nouveau Campus Cyber soutient CLEARSY sur un projet de calculateur sûr et sécuritaire souverain. Le Campus cyber à la […]
![](https://www.clearsy.com/wp-content/uploads/2022/12/UIC-FR-web.jpeg)
Les nouvelles technologies ont un impact sur les systèmes de mobilité, et le monde du ferroviaire. Cependant, les normes imposent […]
![](https://www.clearsy.com/wp-content/uploads/2022/01/2-decades-ATB-FR-web.jpeg)
La mise à disposition de l’Atelier B 4.7 concrétise deux décennies d’exploitation industrielle de la méthode formelle B, avec le […]
![](https://www.clearsy.com/wp-content/uploads/2022/01/ATB-4.7-FR-web.jpeg)
L’Atelier B 4.7.1 est disponible en version Community Edition (https://www.atelierb.eu/en/atelier-b-support-maintenance/download-atelier-b/) et en version Maintenance Edition pour les possesseurs d’un contrat de […]
![](https://www.clearsy.com/wp-content/uploads/2021/11/Proof-FR-web.jpeg)
L’automatisation de la preuve et le support interactif à la preuve sont des éléments clés de l’application des méthodes formelles […]
![](https://www.clearsy.com/wp-content/uploads/2021/10/Cyber-FR-web.jpeg)
Le laboratoire LabSoC de Télécom Paris et CLEARSY s’associent pendant 2 ans pour intégrer la gestion des menaces en cybersécurité dans […]