CLEARSY et l’UFRN concluent un accord de coopération pour promouvoir des stages internationaux Génie logiciel, Outils, R&D

Après plus d’une décennie de collaboration en recherche et développement, CLEARSY et l’UFRN signent un accord de coopération pour permettre […]

L’outil de développement formel ATELIER B franchit la barre des 10000 téléchargements ! Composant, Génie logiciel, Outils, R&D

L’Atelier B vient de franchir pour la première fois la barre des 10 000 téléchargements annuels. La rentrée universitaire 2024 a […]

CLEARSY, acteur de l’intelligence artificielle R&D, Salons/conférences

Nous sommes heureux de vous annoncer qu’en septembre, CLEARSY a eu l’opportunité de présenter ses derniers travaux et recherches en […]

Infrastructure légère communicante et sécuritaire pour renouveler les voies des petites lignes Ferroviaire, R&D, Sûreté de fonctionnement

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, […]

CLEARSY acteur innovant pour sauver des lignes ferroviaires Ferroviaire, R&D, Sûreté de fonctionnement

La nouvelle signalisation ferroviaire frugale (NS2F) est un projet collaboratif soutenu par l’État dans le cadre du programme France Relance […]

La stratégie nationale française en matière de cybersécurité soutient CLEARSY sur un calculateur souverain sûr et sécurisé R&D, Sûreté de fonctionnement

Le nouveau Campus Cyber soutient CLEARSY sur un projet de calculateur sûr et sécuritaire souverain. Le Campus cyber à la […]

CLEARSY est partenaire de l’UIC pour définir les méthodes de démonstration de sécurité des systèmes innovants ERTMS, Ferroviaire, R&D, Sûreté de fonctionnement

Les nouvelles technologies ont un impact sur les systèmes de mobilité, et le monde du ferroviaire. Cependant, les normes imposent […]

Deux décennies d’application industrielle de la méthode formelle B. Génie logiciel, Outils, R&D

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 […]