COSYSESTASProjets de rechercheFocus TransForm Afficher le menu principal

TransForm

Méthodes Formelles pour les systèmes de transport


 

Un groupe de travail impliquant des industriels et des académiques, autour de l’utilisation des méthodes formelles pour les applications transport

Introduction

Les méthodes formelles sont des techniques qui trouvent leur fondement dans le domaine de la logique et les mathématiques. Elles permettent la conception et l’analyse de systèmes dynamiques, et sont particulièrement efficaces dans l’ingénierie des systèmes critiques complexes, comme pour les applications transport. En particulier, de par la rigueur qu’assure ces techniques, leur utilisation pour l’analyse des aspects sécurité est fortement recommandé dans le développement des systèmes de transport, et pour accroître leur compétitivité.

Objectifs

L’objectif de ce groupe de travail est de favoriser les échanges entre les chercheurs et les industriels autour du développement et l’utilisation des techniques formelles, en vue de promouvoir le développement et l’utilisation de ces approches par les industriels du domaine de transport. En particulier, TransForm vise à :

  • Faire un état des lieux de l’utilisation des méthodes formelles dans les domaines du transport ;

  • Exposer les besoins côtés industriel & académique autour de l’utilisation des méthodes formelles ;

  • Retour d’expériences autour de la mise en œuvre des techniques du formel : adhésion du client, REX techniques (outils, coûts, etc.) ;

  • Présenter des travaux et de surveys ;

  • Réaliser des démonstrations d’outils ;

  • Organiser des tutoriaux faits par des spécialistes ;

  • Définir des benchmarks pour la comparaison de techniques ;

  • Répondre à des appels à projets (Shif2Rail, etc.) ;

  • Organiser des sessions spéciales dans des conférences.

Documents

Contacts

Mohamed GHAZEL, IFSTTAR-COSYS/ESTAS
David MENTRÉ, MERCE-CIS / Mitsubishi Electric