Titre original :

Contribution à l’ingénierie sûre des systèmes dynamiques complexes : Applications aux systèmes de contrôle/commande ferroviaires

Mots-clés en français :
  • Vérification de modèles
  • Réseaux de Pétri temporels

  • Ingénierie des exigences
  • Détection de défaut (ingénierie)
  • Systèmes complexes
  • Petri, Réseaux de
  • Transports ferroviaires
  • Langue : Anglais, Français
  • Discipline : Génie informatique, Automatique, Traitement du signal et des images
  • Identifiant : Inconnu
  • Type de mémoire : Habilitation à diriger des recherches
  • Date de soutenance : 18/11/2014

Résumé en langue originale

Dans ce manuscrit je présente une synthèse de mes activités de recherche, d’enseignement, d’encadrement et d’implication dans différents projets de recherche nationaux et européens. En particulier, les travaux de recherche détaillés dans le manuscrit portent sur des aspects relatifs à la sécurité des systèmes complexes de contrôle/commande, avec des applications dans le domaine ferroviaire. Les contributions sont présentées selon deux axes : 1. L’axe Ingénierie des exigences, et notamment l’étape de spécification qui consiste à exprimer les contraintes, propriétés et règles que le système doit satisfaire : Cette étape est cruciale dans un processus d’ingénierie d’un système complexe notamment quand il s’agit d’un système qui présente un niveau de criticité élevé. En effet, la qualité des spécifications conditionne plusieurs étapes dans le cycle de développement. Les contributions apportées sur ces aspects fournissent des résultats en termes de raffinement/formalisation des exigences des systèmes critiques, tout en considérant différentes formes de départ des spécifications (modèle semi-formel, langage naturel, from scratch). Le niveau de rigueur ainsi obtenu des reformulations des spécifications est tel que l’utilisation des approches formelles pour la phase de vérification/validation devient systématique. 2. L’axe Surveillance, et en particulier les activités de détection et diagnostic dont l’objectif est d’assurer le suivi du comportement du système, et déceler et identifier les éventuels dysfonctionnements : Généralement, les techniques de monitoring peuvent être classées selon différents critères. Parmi les critères utilisés, on peut citer l’utilisation de modèles et le type de modèle utilisé. Ici, nous nous plaçons dans un contexte où nous disposons d’un modèle discret du comportement du système. En effet, à un niveau d’abstraction suffisamment élevé, les modèles discrets peuvent représenter une base appropriée pour les tâches de monitoring. Dans ce contexte, deux questions majeures sont posées : la diagnosticabilité qui assure que toute défaillance (ou classe de défaillance) peut être détectée et identifiée dans un délai fini suite à son occurrence, et le développement d’un diagnostiqueur pour le suivi du comportement en ligne. Dans ce manuscrit nous détaillons trois contributions majeures relatives au diagnostic à base de modèles discrets. La première contribution considère des modèles de type réseaux de Petri labélisés et préconise l’usage de techniques d’exploration incrémentale et à la volée de l’espace d’état en vue d’analyser la diagnosticabilité du système et développer un diagnostiqueur en ligne. Des expérimentations sur des benchmarks ont été menées et les résultats obtenus en termes de complexité montrent une bonne efficacité comparés aux approches de référence de diagnostic des SED, qui se basent sur une exploration exhaustive de l’espace d’état. [...]

  • Directeur(s) de thèse : Toguyéni , Armand
  • École doctorale :

AUTEUR

  • Ghazel, Mohamed