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

Le nouvel Atelier B 4.7 est disponible. Génie logiciel, Outils, R&D

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

L’activité de R&D de CLEARSY en vérification formelle depuis plus de 10 ans … Génie logiciel, Outils, R&D

L’automatisation de la preuve et le support interactif à la preuve sont des éléments clés de l’application des méthodes formelles […]