Méthodes pour la validation de modèles formels pour la ... - ISAE

5.4 Quelques bonnes pratiques recommandées lors de la modélisation 151
et facilitera l’obtention d’un modèle générique répondant à la question posée. Plus le besoin est
identifié en amont de l’implémentation, plus il est facile à prendre en compte. Il sera ainsi plus
couteux de répondre à une question posée tardivement qu’à une question émise au début de la
modélisation.
5.4.2 Analyse préliminaire - Décomposition d’un système
Pour un système donné, les possibilités de décomposition sont multiples : décomposition
fonctionnelle, décomposition organique, décomposition hiérarchique... La façon de décomposer
un système n’est donc pas une caractéristique intrinsèque de celui ci. L’analyste en charge de
cette décomposition se trouve confronté à de nombreux choix. Comment regrouper ? Comment
découper ? Comment choisir le périmètre des sous-systèmes ? ...
Pour aider l’analyste, des analyses fonctionnelles et / ou organiques peuvent être utiles mais
doivent être guidées par des critères. Nous en recommandons deux.
– Le premier critère est de choisir une décomposition fonctionnelle ou organique qui limite le
nombre et la complexité des interactions entre les sous-systèmes.
– Le second critère incite à choisir une décomposition faisant apparaître des sous-systèmes
physiquement homogènes (i.e. ne faisant apparaitre autant que possible qu’un unique métier
en leur sein).
Le premier critère facilitera l’assemblage des sous-systèmes entre eux. En limitant dès l’analyse
préliminaire le nombre et la complexité des interfaces entre les modèles des sous-systèmes,
leur assemblage sera facilité à la fin de modélisation. Il faudra cependant penser à inclure dans
les interfaces les informations nécessaires à la propagation des comportements d’un sous-système
à un autre.
Le second critère permettra de propager à l’intérieur d’un sous-système des défaillances de
même nature physique. C’est sur ce second critère que s’appuie très fortement la méthodologie de
modélisation présentée au chapitre 3. Des modes de défaillance génériques ont ainsi été identifiés et
définis pour chaque domaine physique étudié ce qui facilite leurs implémentations dans le modèle.
Exemple : La décomposition de notre cas d’étude présenté figure 3.4 reprends cette philosophie
d’identification de sous-systèmes physiquement homogènes limitant le nombre d’interfaces entre
sous-systèmes.
5.4.3 Mise en place d’une organisation
Ce besoin peut être vu comme similaire à celui ayant sans doute conduit à la notion de
« gestion de configuration ». De manière similaire au domaine logiciel, il est entre autres choses
nécessaire de gérer :
– les différentes versions des bibliothèques et des nœuds des bibliothèques ;
– les différentes versions des modèles de systèmes réalisés ;
– les différentes versions des documentations réalisées et le nœud auquel chacune se rattache.
En pratique, les versions de modèles et de bibliothèque s’incrémentant rapidement, il sera
nécessaire de bien tracer les modifications d’un modèle à un autre. En cas de besoin, il sera aisé
de retrouver une version antérieure et d’identifier les différences entre deux versions. Ainsi, cette