Chedhli Masmoudi

Expériences

Obtention du diplôme d’ingénieur généraliste de l’école nationale supérieure de techniques avancées (ENSTA Paris).

Titre de la thèse

Ingénierie des exigences système basée sur des modèles pour la validation au plus tôt des exigences système et la vérification de la conception (V&V)

Résumé

Ce travail de thèse sera une contribution à une chaire industrielle. Cette chaire implique Airbus, et deux laboratoires de recherche, le CRAN UMR CNRS et l’ERPI, de l’Université de Lorraine. Son principal objectif est de développer et d’expérimenter un cadre ACTE (Actionable Collaborative Trustworthy Executable) MBSE, pour la validation précoce des exigences système et la vérification de la conception, ainsi que pour la co-ingénierie du système principal et de son système de fabrication (ou industriel).

Pour réduire le délai de mise sur le marché, les concepteurs ont besoin de modèles et de méthodes pour effectuer une validation et une vérification précoce et collaborative (V&V) respectivement des exigences et des architectures des systèmes, pour détecter les erreurs de spécification et de conception, ainsi que pour éviter des modifications tardives et coûteuses pendant la phase d’essai au sol et en vol ou, pire encore, lorsque le système est en fonctionnement. Cette approche garantit que les exigences système à tous les niveaux et la conception du système sont fiables dès le début. Le processus de validation des exigences système vise à garantir que le bon système a été construit. Le processus de vérification de la conception vise à s’assurer que le système a été construit correctement. Les processus d’Ingénierie Système (IS) comprennent l’ingénierie des exigences, basée sur la traçabilité des exigences du système à travers les différentes couches du système. Une description textuelle est une manière ambiguë de saisir et de communiquer les exigences système, elle conduit les équipes de développement à échanger des descriptions incomplètes, incohérentes et incorrectes des exigences système alors que l’ingénierie des exigences système basée sur un modèle exécutable (eMBRE) couplée à un concept d’opération exécutable ouvre la possibilité de V&V des exigences système : formellement par proof-checking et factuellement avec des simulations examinées avec les parties prenantes. En outre, ce paradigme d’exigences formelles fournira potentiellement, grâce à la théorie de la complexité et des réseaux, très tôt dans le développement, certaines mesures de la complexité du système à développer . En outre, la théorie des jeux, appliquée aux exigences formelles, pourrait fournir une capacité intéressante d’analyse de l’optimalité de Pareto favorisant le processus de convergence entre les objectifs multiples du système d’intérêt. “Exécutable” signifie que le modèle permet de supporter le proof-checking pour la validation des exigences formelles du système, et qu’il est simulable pour la validation des exigences factuelles du système. Micouin a proposé la théorie des exigences basées sur les propriétés (PBR) qui décrit les relations externes du système avec son environnement comme des exigences d’affirmation de cause à effet qui peuvent être validées formellement et factuellement. Pour soutenir la théorie des PBR, Micouin a introduit la méthodologie PMM (Property Model Methodology) visant à proposer une méthode intégrée de modélisation et de simulation de bout en bout qui soutient les étapes descendantes pour la validation des spécifications du système et la vérification de la conception. Ces modèles, méthodes et outils sont les premiers pas vers un cadre eMBRE. L’évaluation de ces approches porte principalement sur le système d’intérêt (SoI) et n’a pas encore été étudiée, ni le couplage avec les principaux systèmes supports, ni la variété des produits due à la personnalisation. Elles prennent en charge la validation des exigences du système avec différents formalismes (par exemple, fonction booléenne causes/effets, description basée sur l’ontologie) mais ne représentent pas directement les exigences de définition des objectifs. En conclusion, pour faciliter le développement collaboratif et le V&V précoce de systèmes complexes, le défi consiste à explorer davantage les méthodes eMBRE orientées sur les objectifs de l’IS et à démontrer comment elles peuvent effectivement introduire un changement de paradigme dans les performances de développement des systèmes.

Directeurs

M. Eric Bonjour (ERPI) M. DAvid Gouyon (CRAN)

Financeurs

Chaire industrielle AIRBUS