BEGIN:VCALENDAR VERSION:2.0 PRODID:-//wp-events-plugin.com//7.3.5//EN TZID:Europe/Paris X-WR-TIMEZONE:Europe/Paris BEGIN:VEVENT UID:1213@cran.univ-lorraine.fr DTSTART;TZID=Europe/Paris:20260618T090000 DTEND;TZID=Europe/Paris:20260618T120000 DTSTAMP:20260609T141032Z URL:https://www.cran.univ-lorraine.fr/events/soutenance-de-these-de-cyril- bacquet/ SUMMARY:Soutenance de thèse de Cyril Bacquet DESCRIPTION:Titre : Executable model-based system requirements engineering (EMBRE) for early system requirements verification and validation (V&\; V)\n\nRésumé : Cette thèse de doctorat a été réalisée dans le cadre d’un partenariat de recherche entre Airbus et l’Université de Lorrai ne\, et contribue aux efforts d’Airbus visant à déployer un cadre d’ Ingénierie Système Basée sur les Modèles (Model-Based Systems Engineer ing\, MBSE) pour l’ingénierie aéronautique. La thèse répond au besoi n de vérification et validation (V&\;V) précoce de grands ensembles d ’exigences dans un cadre MBSE\, avec pour objectif d’améliorer les qu alités des exigences (par exemple la cohérence\, la complétude) avant q ue des décisions de conception aval ne soient prises. Ce travail se conce ntre sur une approche appelée Ingénierie des Exigences Basée sur les Mo dèles Exécutables (executable Model-Based Requirements Engineering\, eMB RE)\, dans laquelle les exigences sont représentées sous forme de modèl es exécutables et évaluées à l’aide d’outils fondés sur la simula tion. La question de recherche est la suivante : comment permettre la V&am p\;V des qualités d’un ensemble d’exigences à l’aide de modèles e xécutables ? Pour y répondre\, la thèse propose des contributions selon trois axes complémentaires. Premièrement\, elle étudie comment la mod élisation d’exigences exécutables et la V&\;V peuvent être intégr ées dans les standards existants d’ingénierie système et d’ingénie rie des exigences. La thèse met en évidence l’absence d’activités e xplicites dédiées aux modèles exécutables d’exigences dans les proce ssus normatifs actuels\, et propose un processus d’ingénierie centré s ur les exigences introduisant une nouvelle activité\, Verify eMBRE Qualit ies for XX\, applicable à plusieurs niveaux du développement système. D euxièmement\, la thèse traite de la transformation des exigences exprim ées en langage naturel vers des représentations formelles. Étant donné que cette transition nécessite une interprétation et peut introduire un écart par rapport à l’intention des parties prenantes\, le travail pr opose un Modèle Conceptuel des Exigences (Requirement Conceptual Model\, RCM) ainsi que des patrons de rédaction d’exigences. Troisièmement\, l a thèse propose des définitions affinées de la complétude et de la coh érence\, et introduit une architecture générique de modèle de vérific ation composée de modèles d’environnement\, de modèles système\, de modèles d’exigences\, de modèles de qualités et de modèles de vérif ication. Une approche de modélisation et de vérification\, basée sur de s machines à états\, est proposée pour les exigences exécutables. Ces contributions sont évaluées au travers d’une étude de cas aéronautiq ue portant sur un système simplifié de train d’atterrissage. L’appro che est mise en oeuvre à l’aide de l’outil Stimulus\, dans lequel des erreurs d’exigences sont introduites volontairement. La simulation du m odèle de vérification permet un diagnostic systématique des problèmes de complétude et de cohérence\, démontrant la faisabilité et la pertin ence du cadre proposé.\n\nJury :\n\n Rapporteurs\n\n M. Jean Michel BRU EL\, Professeur des Universités\, Université de Toulouse\n M. Grégory FARAUT\, Professeur des Universités\, Université Paris Saclay\n\n\n Exa minateurs\n\n M. Vincent CHAPURLAT\, Professeur\, IMT Mines Alès\n Mme Claude BARON\, Professeur des Universités\, Université de Toulouse\n Mm e Faida MHENNI\, Maître de Conférences\, ISMEP-Supméca\n M. Eric LEVRA T\, Professeur des Universités\, Université de Lorraine\n\n\n Directeur s de thèse\n\n M. Éric BONJOUR\, Professeur des Universités\, Universi té de Lorraine\n Mme Pascale MARANGÉ\, Maître de Conférences\, Univer sité de Lorraine\n\n\n Invités\n\n M. Alain KERBRAT\, Expert MBSE\, AI RBUS\, leader chaire Airbus - UL\n M. Marco FERROGALINI\, Head of Modelli ng and Simulation\, Airbus\n\n\n CATEGORIES:Soutenances thèses et HDR LOCATION:FST - AIPL\, 745 Rue du Jardin Botanique\, Villers-lès-Nancy\, Fr ance X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=745 Rue du Jardin Botanique \, Villers-lès-Nancy\, France;X-APPLE-RADIUS=100;X-TITLE=FST - AIPL:geo:0 ,0 END:VEVENT BEGIN:VTIMEZONE TZID:Europe/Paris X-LIC-LOCATION:Europe/Paris BEGIN:DAYLIGHT DTSTART:20260329T030000 TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST END:DAYLIGHT END:VTIMEZONE END:VCALENDAR