Université Lille1 - Sciences et Technologies Contribution à l’ingénierie sûre des systèmes dynamiques complexes : Applications aux systèmes de contrôle/commande ferroviaires Vérification de modèles Réseaux de Pétri temporels 629.8 Ingénierie des exigences Détection de défaut (ingénierie) Systèmes complexes Fiabilité Petri, Réseaux de Transports ferroviaires Commande automatique 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. [...] Electronic Thesis or Dissertation Text en fr 2 : 4079 Ko, 25 Ko https://pepite-depot.univ-lille.fr/RESTREINT/HDR/2014/HDR2014LIL111.pdf https://pepite-depot.univ-lille.fr/LIBRE/HDR/2014/Ghazel_Mohamed_r_sum__complet.pdf Ghazel Mohamed 1978-01-27 TN 103687580 2014-11-18 Génie informatique, Automatique, Traitement du signal et des images Université Lille1 - Sciences et Technologies thesis.degree.grantor_1 026404184 HDR non oui Toguyéni Armand intervenant_1 059813288 ecoleDoctorale_1 Institut national de recherche sur les transports et leur sécurité (France). Unité de recherche Evaluation des systèmes de transports automatisés et de leur sécurité partenaireRecherche_1 035560754 ddc:620 Toguyéni Armand Université Lille1 - Sciences et Technologies Université Lille1 - Sciences et Technologies Institut national de recherche sur les transports et leur sécurité (France). Unité de recherche Evaluation des systèmes de transports automatisés et de leur sécurité ASCII PDF 4177108 ASCII PDF 25741