Modélisation d'exigences multidimensionnelles pour la conception simultanée de satellites et d'avions.

Multi-dimensional requirement modelling for aircraft and satellites co-design.

• Auteur / Autrice : Anouck Chan
• Direction : Thomas Polacsek, Stéphanie Roussel
• Type : Projet de thèse
• Discipline(s) : Informatique et Télécommunications
• Date : Inscription en doctorat le 04/01/2021
• Etablissement(s) : Toulouse, ISAE
• Ecole(s) doctorale(s) : École doctorale Mathématiques, informatique et télécommunications
• Partenaire(s) de recherche : Laboratoire : ISAE-ONERA MOIS MOdélisation et Ingénierie des Systèmes
• Partenaire(s) de recherche : Equipe de recherche : ONERA/DTIS/MITT - Département Traitement de l'Information et Systèmes

Mots clés

Mots clés libres

Ingénierie des exigences

Modelisation

Optimisation

Formalisation

Requirements engineering

Modelling

Optimization

Formalization

Résumé

Lors de la conception et la construction d'un objet, l les exigences correspondent à l'ensemble des objectifs définis pour ce produit. Il peut s'agir de caractéristiques structurelles (l'avion doit peser 250t, le satellite doit avoir une précision de 10cm…) ou de contraintes de coût (le temps de construction ne devra pas dépasser 10h, il y a au plus deux techniciens disponibles à l'étape 4…). Lors des approches de type conception simultanée, le produit (satellite, avion …) à construire et son système industriel (chaine d'assemblage, usine…) sont conçus en même temps. Ces deux éléments sont étroitement liés, ainsi une exigence sur l'un peut entrer en conflit avec les exigences de l'autre. Trouver des compromis ou affaiblir certaines exigences, permettrait alors d'obtenir un ensemble cohérent d'exigences. Pour cela, il est nécessaire de modéliser des exigences multidimensionnelles qui concernent à la fois le produit et son moyen de production.. Les objectifs de cette thèse, sont de proposer des moyens de conceptuels, algorithmiques et logiciels pour aider à la définition d'exigences d'un produit et de son moyen de production. Dans un premier temps, nous identifierons et étudierons le problème de l'expression des exigences sur deux objets distincts mais liés. Ensuite, nous modéliseront les interactions entre exigences, en particulier les conflits. Et enfin, nous concrétiserons ces recherches par la définition et l'implémentations d'algorithmes et méthodes de détection des conflits entre les exigences.

Requirements are the set of objectives defined for this product during an object's design and construction. In simultaneous design approaches, the object and its industrial system are designed together. (for example, we design a satellite and its assembly line at the same time). These two elements are linked, so a requirement on the first may conflict with the second and vice versa. So, it may be necessary to find a compromise or decrease the value of some of them in order to build a coherent set of requirements. Therefore, we will need to model multidimensional requirements to find these potential conflicts. The objectives of this thesis, are to provide means, both conceptual as well as algorithmic and software, to help the definition of requirements of an object and its means of production. In a first step, we will identify and study the problem of the expression of requirements on two distinct but linked objects. Then, we will model the interactions between requirements. And finally, we will define and implement algorithms to detect conflicts in the set of requirements. These algorithms could be a first approach to help negotiation and compromise between requirements.