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

Le défi de la cybersécurité des systèmes sûrs. R&D, Sûreté de fonctionnement

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

Assigning safe processing to meanings Outils, R&D, Sûreté de fonctionnement

CLEARSY a développé et certifié la CLEARSY SAFETY PLATFORM (CSP), une solution pour développer des systèmes embarqués temps réel sécuritaires […]

CLEARSY participe à la conférence ISOLA 2021 Ferroviaire, R&D, Salons/conférences, Sûreté de fonctionnement

Pour le 10e symposium international sur l’exploitation des applications des méthodes formelles, de la vérification et de la validation (ISOLA […]

CLEARSY rejoint le groupe RoboStar
CLEARSY rejoint le groupe RoboStar R&D

Orchestré par l’université de York (UK), RoboStar regroupe des chercheurs travaillant à l’ingénirie logicielle pour la robotique. Des travaux permettant […]

Tutoriel sur la validation formelle des données à ABZ 2014, Toulouse Ferroviaire, Génie logiciel, Outils, R&D, Salons/conférences, Sûreté de fonctionnement