Explorer les Livres électroniques
Catégories
Explorer les Livres audio
Catégories
Explorer les Magazines
Catégories
Explorer les Documents
Catégories
Dans la pratique actuelle du développement des exigences. L’ingénierie des systèmes basée sur l’utilisation
Résumé
systèmes, existe un fossé important entre les des modèles (Model-Based Systems Engineering (MBSE) en
activités liées à l’ingénierie système et le monde de la anglais) est un concept permettant d’améliorer l’approche
simulation dans les divers domaines d’expertise. En traditionnelle basée sur les documents. SysML (System
particulier, il n’y a pas de réel lien entre les modèles Modeling Language) [2,3] est un langage de modélisation
d’architecture développés en utilisant des langages graphique, créé comme norme internationale pour mettre
comme SysML et les modèles d’analyse propres aux en pratique l’approche MBSE. Pour tirer pleinement
disciplines définis dans des outils spécialisés. Dans parti de cette approche, il est capital de créer des liens
le but de pallier ce décalage, une fonctionnalité a entre l’ingénierie système et l’ingénierie des domaines ou
été développée permettant d’intégrer des modèles disciplines.
décrits en SysML à des modèles d’analyse. Le présent
article traite de l’utilisation de cette fonctionnalité Actuellement, les analyses de niveau système au sein
pour la conception d’un système propulsif d’avion. des outils de modélisation sont généralement limitées à
Les exigences système et l’architecture sont définis l’évaluation de simples équations paramétriques. Ceci
dans un modèle SysML, les modèles d’analyse signifie que, même si les modèles SysML sont en mesure
sont ensuite importés dans le modèle SysML, pour
de décrire une configuration système avec un haut niveau
configurer des diagrammes paramétriques. Les
de détail, il est difficile d’évaluer exactement à quel point
analyses sont effectuées à partir du modèle SysML,
la conception répond aux exigences et d’effectuer des
afin de contrôler la conformité des exigences du
analyses comparatives entre la performance, les coûts et
système. Lorsque ces méthodes sont mises au
le risque. Sans capacité d’analyse facilement accessible,
service des processus de conception de l’industrie,
comment les ingénieurs systèmes peuvent-ils comprendre
la technologie peut permettre de rationaliser
rapidement les conséquences des inévitables modifications
les demandes d’analyses à partir des modèles
d’architecture système. des exigences et configurations système et enclencher les
L’article introduit tout d’abord la modélisation actions nécessaires ?
intégrée et ses capacités d’analyse puis il montre son
application à une étude de cas industriel. De leur côté, les ingénieurs des disciplines (conception
structurelle, thermique, électrique, logicielle, gestion des
coûts …) utilisent un large éventail d’outils d’analyse
MBSE, SysML, simulation numérique, diagramme
Mots
clés
Afin de rapprocher le système et les analyses, une nouvelle ◗ 2.1 Définir des analyses dans SysML
approche de modélisation et analyse intégrée a été
développée [5], [6], [7]. Pour modéliser avec précision des composants analytiques
qui seront exécutés depuis une plateforme PIDO, un certain
L’approche technique se fonde sur l’intégration des outils nombre de stéréotypes SysML ont été définis et regroupés
de conception SysML avec une plate-forme logicielle dans un profil. Le stéréotype MC_component a été défini
d’intégration de processus et d’optimisation de conception pour spécifier l’emplacement d’un modèle d’analyse
(PIDO : Process Integration Design Optimisation) comme exécutable pour un bloc de contraintes (ex : bloc d’analyse).
ModelCenter® [8]. Cette approche présente l’avantage Le stéréotype MC_ variable a été défini pour créer des
d’utiliser l’interface commune de la plate-forme PIDO pour correspondances entre les ports SysML (ex : paramètres) et
connecter SysML avec un ensemble varié d’outils d’analyse les variables des modèles d’analyse. Un type d’énumération,
tels que des applications CAO, des codes existants, des Direction, est utilisé pour spécifier la causalité (entrée ou
solveurs mathématiques ou encore des feuilles de calculs. sortie) des paramètres qui sont stéréotypés par MC_variable.
L’ensemble intégré d’outils a été développé en collaboration Pour vérifier automatiquement la conformité des exigences,
étroite avec des ingénieurs industriels en prenant en compte un stéréotype RequirementVerification peut être appliqué
à la fois les perspectives des ingénieurs systèmes ainsi que à un bloc d’exigence. Les stéréotypes et leurs utilisations
celles des spécialistes des domaines/disciplines. seront développés avec plus de détails dans les paragraphes
suivants.
D’un point de vue purement industriel, l’adoption de
Les diagrammes paramétriques SysML sont utilisés pour
l’approche MBSE a amélioré la compréhension du système
spécifier les relations paramétriques parmi les propriétés
et la communication entre les équipes systèmes et les
du système. Un diagramme paramétrique utilise des blocs
fournisseurs de composants ou de sous-systèmes. Elle
d’analyse (appelés blocs de contrainte) qui représentent
assure aussi la cohérence de la définition de l’architecture.
des relations logiques ou physiques entre les propriétés
L’approche MBSE associée au potentiel analytique, comme
du système dans le modèle. Cependant, la fonctionnalité
celui présenté ici, est un élément clé pour la validation au
standard des blocs de contraintes est limitée à des
plus tôt des systèmes et pour les analyses comparatives au
équations algébriques. Pour dépasser ces limites, les blocs
niveau architecture.
de contraintes SysML sont étendus pour leur permettre de
pointer vers des boîtes noires d’analyse, qui peuvent être
2. Modélisation intégrée et optimisation des scripts, des feuilles de calcul, des outils de CAO/IAO
ou des codes d’analyses spécialisés. Dans notre cas, les
La fonctionnalité de modélisation et d’analyse intégrée se modèles d’analyse sont hébergés par l’application Analysis
fonde sur quelques principes généraux. Tout d’abord, il Server®, qui est capable de partager des analyses via un
faut savoir gérer plusieurs niveaux d’abstraction. SysML réseau et de les exécuter à distance. Chaque boîte noire
dispose d’un certain nombre de principes constructifs qui d›analyse hébergée par un Analysis Servers®, est identifiée
autorisent un certain niveau d’abstraction, mais le modèle par une URL (Uniform Resource Locator). Le stéréotype
d’abstraction doit également inclure des modèles d’analyse. MC_Component est utilisé pour associer l’URL aux blocs
Deuxièmement, un équilibre doit être trouvé entre les de contrainte.
modèles systèmes génériques et les modèles spécifiques
des domaines parce qu’ils ont chacun leurs propres forces
et faiblesses. Alors que SysML est très bien adapté pour ◗ 2.2 Génération automatique de modèles
la définition d’architecture système et les relations, il d’analyse
existe de nombreux outils spécialisés d’analyse et de Quand il est configuré en utilisant les stéréotypes précités,
modélisation pour chaque domaines particuliers. Comparé un diagramme paramétrique a l’information nécessaire pour
aux modèles génériques SysML, les modèles disciplinaires créer un modèle d’analyse qui peut être exécuté via la plate-
peuvent être plus efficaces pour définir avec précision forme PIDO. La figure 1 montre un exemple de diagramme
les aspects particuliers d’un système. Troisièmement, les paramétrique utilisant les stéréotypes, créés pour une étude
analyses d’ingénierie doivent être faites dans le contexte de conception de frein. Le diagramme utilise quatre blocs
du développement global d’un système. Il est facile de d’analyse incluant une analyse de coût basée sur une feuille
perdre la vue globale quand on effectue des analyses pour Excel et des analyses de performances pour l’étrier, la
le développement d’un système complexe. Quatrièmement, plaquette et la distance d’arrêt du véhicule, basés sur des
les deux types d’approches, ascendantes et descendantes, programmes en C++.
sont indispensables dans la création de modèles. Les
modèles SysML sont typiquement conçus dans une approche Une fonctionnalité a été développée permettant de créer
descendante, partant d’un haut niveau d’abstraction vers automatiquement un modèle d’analyse à partir d’un
plus de détails. Mais les modèles SysML peuvent être diagramme paramétrique. La figure 2 montre le modèle
remis à jour sur la base des informations remontées par les d’analyse généré à partir du diagramme paramétrique de
ingénieurs spécialistes des disciplines qui sont en charge de la figure 1. Pour le modèle d’analyse généré, l’utilisateur
la création des modèles d’analyse. peut changer les valeurs de paramètres d’entrée et exécuter
X X X G É N I E LOG I CI E L ■ N ° 1 0 8 M A R S 2014 57
Figure 2 : Modèle d’analyse automatiquement créé ◗ 2.3 Modélisation des exigences
à partir du diagramme paramétrique
Un objectif de ce travail était de développer des techniques
utilisant les analyses pour vérifier la conformité aux
le modèle. On peut noter que le modèle automatiquement
exigences. La difficulté réside dans le fait que les exigences
généré est connecté au modèle SysML. Cette approche sont typiquement définies dans un format textuel qui
permet l’utilisation du modèle SysML comme référentiel nécessite l’interprétation humaine avant qu’elles ne puissent
source des données de conception pour l’analyse. Les être vérifiées de façon automatique. Dans ce travail, une
58 GÉNI E LO GI C I E L ■ N ° 10 8 M A R S 2 0 14 X X X
Figure 3 : Des Tags de type borne inférieure/supérieure sont utilisés pour vérifier automatiquement les exigences.
approche manuelle a été prise pour interpréter les exigences modèle ModelCenter®, qui se compose de plusieurs briques
et leur associer des bornes inférieures/supérieures. d’analyse, peut être importé comme un bloc de contraintes.
Considérons l’exigence textuelle : « La plaquette de frein doit Dans ce cas, le modèle ModelCenter® sera traité comme
avoir une durée de vie équivalente à au moins 72 000 miles une analyse en boîte noire. S’il y a beaucoup de variables
dans des conditions normales d’utilisation ». Lorsqu’elle dans le modèle d’analyse, l’utilisateur peut sélectionner
est interprétée, une borne inférieure égale à 72 000 miles uniquement les variables importantes et les exposer comme
peut être rattachée à l’exigence. Alors, l’exigence peut être paramètres de contraintes SysML.
vérifiée en comparant sa borne inférieure avec la durée de
vie de la plaquette calculée par l’analyse. La fonctionnalité d’importation permet également une
mise à jour des blocs de contraintes existants. Ceci est très
Les tags SysML ont été utilisés pour rattacher les bornes utile quand les modèles d’analyse sont encore en cours
inférieures/supérieures aux exigences. La Figure 3 montre d’évolution, obligeant le modèle SysML à se resynchroniser
l’exemple de l’exigence relative à la durée de vie de la souvent au fur et à mesure que les modèles d’analyse sont
plaquette, pour laquelle une borne inférieure a été définie via améliorés. En pratique, les ingénieurs systèmes doivent
le tag « lowerBound ». L’exigence est reliée à la propriété life créer des blocs de contraintes initiaux en SysML comme
de la plaquette (Pad) via une relation de type satisfy. Puisque étant des spécifications pour l’analyse. Ensuite, les analystes
la valeur de la propriété life est plus petite que la borne utiliseront ces spécifications et créeront leurs analyses. Si
inférieure, l’exigence n’est pas satisfaite. Une fonctionnalité
les spécifications de départ s’avèrent inexactes, les analystes
a été développée pour vérifier automatiquement la conformité
pourront préconiser des changements ou bien ils importeront
aux exigences. Si une exigence n’est pas satisfaite, elle est
des modèles analytiques pour mettre à jour les blocs de
automatiquement signalée.
contraintes existants. C’est un moyen pour les ingénieurs
de travailler de façon collaborative dans le but d’affiner, les
◗ 2.4 Importation de modèles d’analyse dans les modèles SysML, les modèles d’analyses, puis de connecter
modèles SysML les deux.
◗ 3.1 Aperçu général de l’étude de cas Afin de contrôler le statut de conformité d’une exigence
au travers d’une analyse numérique, le stéréotype
Le cas d’étude sélectionné traite de la conception d’un RequirementVerification est utilisé pour définir l’intervalle
nouveau système propulsif d’avion. Il est inspiré par la autorisé d’une valeur de propriété. Considérons, par
thèse de doctorat de Cyril de Tenorio soutenue au Georgia exemple, une exigence de masse qui stipule : « la masse
Institute of Technology [9]. Financés par la fondation de chaque propulseur doit être inférieur à 8000 Kg ».
EADS, ces travaux avaient pour but d’utiliser une approche Cette exigence est satisfaite par l’attribut Masse du bloc
MBSE afin de coupler des modèles multidisciplinaires de Propulseur présent dans le modèle d’architecture.
dimensionnement et d’exécuter un processus d’optimisation.
ModelCenter® a été utilisé pour l’intégration des modèles En utilisant cette approche par extension, les exigences
de dimensionnement multidisciplinaires mais le lien avec le seront vérifiées pour chaque instance du bloc Propulseur
modèle d’architecture avait été réalisé via une interface ad présent dans le modèle d’architecture.
hoc avec le logiciel de modélisation SysML IBM Rational
Rhapsody. 3.2.2 Définition de l’architecture et des
variantes.
◗ 3.2 Intégration d’un processus de conception
pluridisciplinaire Les diagrammes de définition de blocs (BDD, ou Block
Definition Diagram en anglais) et les diagrammes de blocs
Afin de tester les fonctionnalités de modélisation intégrée et internes (IBD, ou Internal Block Diagram) furent utilisés
d’analyse, un véritable processus de conception d’architecture pour définir des architectures système. La figure 4 représente
a été reproduit pour l’exemple de l’avion. Le modèle SysML une architecture composée de deux propulseurs électriques,
a été construit avec l’aide de Rhapsody 7.6.1. Les paragraphes un convertisseur DC, un générateur DC et un générateur
ci-dessous expliquent la procédure suivie. de puissance. Les alternatives de conception au niveau
architecture (c’est-à-dire les différentes configurations de
3.2.1 Définition et importation des exigences la structure du système) peuvent être définies comme des
architectures différentes et peuvent être évaluées en utilisant
L’une des principales motivations à l’adoption de l’approche plusieurs analyses.
MBSE réside dans la capacité à pouvoir conserver une
traçabilité entre les exigences et la conception. Avec Les données de mission (altitude, vitesse, puissance attendue,
SysML, les exigences sont conçues comme des éléments du etc.) nécessitent la définition de valeurs multiples qui
modèle avec un identifiant et une description textuelle. Les représentent les différentes étapes de la mission. Les données
exigences peuvent être reliées aux éléments de la conception de mission sont utilisées comme des tableaux d’entrées pour
par une relation satisfy. les analyses métier. Pour modéliser les
données de mission, on a recours à des
propriétés SysML avec multiplicité.
Des spécifications d’instance sont
utilisées pour définir les différentes
valeurs avec des indices pour chaque
propriété.
propriétés de contrainte. Les relations paramétriques entre Les modèles d’analyse ont été encapsulés dans le wrapper
les propriétés sont typiquement définies grâce à des équations ModelCenter®. Un wrapper est une interface qui encapsule
mathématiques en SysML, résolues par des solveurs un programme quelconque et permet à ModelCenter® de
spécifiques offerts par les outils SysML (ex : Maxima ou l’exécuter. Les modèles d’analyse encapsulés ont été publiés
Matlab for Rhapsody). Dans les projets industriels, c’est une sur Analysis Server, un produit associé à ModelCenter®,
de telle façon qu’ils peuvent être utilisés localement ou à
limitation majeure, car :
distance par les architectes systèmes. Les modèles Scilab ont
été encapsulés grâce à l’outil QuickWrap de ModelCenter®
• les modèles existants dans d’autres langages ne peuvent
qui permet de construire des wrappers autour de tout
être réutilisés,
programme utilisant des fichiers en entrée et produisant
d’autres fichiers en sortie.
• des analyses plus complexes peuvent être nécessaires.
L’objectif principal de la modélisation et analyse intégrée 3.2.5 Intégration des modèles d’analyse avec le
modèle d’architecture
est de permettre de calculer ces mesures et de vérifier les
exigences en utilisant des modèles d’analyse définis avec L’architecte peut importer des modèles d’analyse dans un
les langages et les outils propres aux domaines d’expertise. modèle d’architecture grâce au plug-in MBSE Analyzer pour
L’architecte pourra créer des blocs de contraintes SysML Rhapsody. Ces modèles d’analyse sont importés comme des
comme des spécifications pour l’analyse. Grâce aux blocs de contraintes avec le stéréotype MC_Component.
spécifications, les experts des domaines pourront réaliser Dans ces blocs, seules la référence au modèle d’analyse et
des modèles détaillés d’analyse en support à l’évaluation de ses variables (entrées/sorties) sont importées.
l’architecture système.
L’architecte peut utiliser les blocs de contraintes importés
pour spécifier le type de propriétés de contraintes déjà
3.2.4 Modèles d’analyse de conception existant dans le modèle d’architecture. La figure 5 montre
un diagramme paramétrique produit grâce à cette approche
Les experts des domaines sont responsables de la création
pour le calcul des mesures du système propulsif.
des modèles d’analyse. Dans notre exemple, les modèles
d’analyse ont tous été créés avec le logiciel mathématique
3.2.6 Réalisation d’analyse de compromis
open source Scilab. Pour chaque composant, le modèle
exécute un processus de dimensionnement afin de calculer Une fois que les modèles d’analyse sont liés aux attributs
la masse du composant et ses sorties telles que la puissance de conception, l’architecte peut tester différentes
demandée ou la consommation de carburant. configurations de son architecture en exécutant les analyses
Figure 5 : Gros plan sur le diagramme paramétrique du modèle de système propulsif
X X X G É N I E LOG I CI E L ■ N ° 1 0 8 M A R S 2014 61
Figure 6 : Étude de compromis dans une interface graphique utilisateur avec la visualisation du statut des exigences
correspondantes. Cette analyse comparative peut être permet à l’architecte de réaliser des études comparatives
réalisée directement dans Rhapsody en utilisant le plug-in directement depuis l’outil SysML. Actuellement les études
MBSE Analyzer. L’architecte peut modifier les paramètres paramétriques et les plans d’expérience peuvent être réalisés
de sa conception et peut enregistrer ses configurations dans le au sein de l’outil SysML. À l’avenir, cette fonctionnalité
modèle SysML comme nouvelles spécifications d’instance. sera étendue pour permettre l’optimisation et les analyses
Cette approche permet de stocker les différentes options et probabilistes également depuis l’outil SysML. Cependant, la
les résultats d’analyses associées dans le modèle SysML conception du modèle holistique est une tâche majeure qui
afin de les exploiter lors des revues de conception ou des n’est toujours assistée par aucune méthode et peut devenir
analyses comparatives. L’état des exigences (satisfait/non une tâche particulièrement difficile. En effet, l’architecte en
satisfait/inconnu) est visible directement dans l’interface charge de la mise en œuvre de la simulation doit organiser
graphique de l’utilisateur (voir figure 6). ses modèles de manière à pouvoir les combiner par la suite
afin que ces assemblages répondent aux questions avec la
◗ 3.3 Intérêts et perspectives précision attendue. Une étape essentielle de cette méthode
concerne la demande de modèles pour les analyses propres
La fonctionnalité d’analyse et de modélisation intégrées aux différentes disciplines. En effet, la qualité des modèles
permet de lier une vue systémique définie en SysML (en provenant des architectes systèmes fournis aux experts des
incluant les exigences) avec des modèles d’analyse créés par domaines est un facteur clé de réussite dans les activités
les experts des domaines. C’est un avantage technologique de conception pour les systèmes complexes. En suivant la
majeur comparé à l’utilisation actuelle des outils SysML procédure décrite auparavant, les architectes ne font que
pour l’analyse, puisque les modèles d’analyses peuvent définir les entrées et sorties demandées du modèle d’analyse.
ici être créés dans les langages et les outils propres aux Bien sûr, ce n’est pas toujours suffisant pour obtenir le bon
domaines et peuvent être distribués au travers du réseau. modèle et une demande de modèle devra contenir davantage
Le module d’extension MBSE Analyzer dans Rhapsody d’information quant au but recherché, la granularité exigée,
62 GÉNI E LO GI C I E L ■ N ° 10 8 M A R S 2 0 14 X X X
le domaine d’application, etc. La spécification des demandes H. Kim, D. Fried et P. Menegay : Connecting
[6]
de modèle a néanmoins la potentialité d’améliorer fortement SysML models with engineering analyses to support
les capacités de développement du système en facilitant les multidisciplinary system development ; 14th AIAA/
échanges d’information entre les architectes système et les ISSMO Multidisciplinary Analysis and Optimization
experts des domaines. Conference, AIAA-2012-5632, Indianapolis, IN, 17-19
septembre 2012.