Article Technologie 179 - Sysml

Télécharger au format pdf ou txt
Télécharger au format pdf ou txt
Vous êtes sur la page 1sur 18

SysML, un langage modle

Jean-Pierre Lamy[1]
Nouveaut remarque dans le programme de STI2D,
SysML se veut un outil cohrent de modlisation des systmes
pluritechnologiques actuels. Mais il vient quelque peu
bousculer les habitudes que nous avions, chacun dans notre
domaine, dans les descriptions fonctionnelle, structurelle
et comportementale des systmes techniques. Afin de
nous clairer, voici une analyse fonctionnelle mene avec
lesdiagrammes SysML et applique au produit Hemomixer.
Le langage SysML
On le sait, un systme est un ensemble de composants
qui interagissent dune manire organise pour accomplir
une finalit commune. Lorganisation structurale du
systme et ses interactions avec lenvironnement lui
donnent sa signification et lui permettent datteindre sa
finalit. Avec le progrs de la science et de la technologie,
les systmes deviennent de plus en plus complexes,
parce quils sont constitus dun nombre important
de composants de natures diffrentes, parce que leur
rsolution fait intervenir des spcialistes de disciplines
diverses, enfin parce quil est difficile de prvoir leur
comportement par des mthodes rductionnistes.
Le comportement global dun systme merge des
interactions simples de ses constituants, mais il est
beaucoup plus riche que la somme des comportements
individuels. Ce phnomne gnre de la complexit
qui ne pourra tre matrise que par des approches
systmiques transdisciplinaires.
Aujourdhui, des approches comme lingnierie systme
proposent un ensemble de dmarches mthodiques
associes des outils qui permet de matriser la
comprhension, le dveloppement et lexploitation de
systmes techniques complexes. Ces outils permettent
de donner une reprsentation de la ralit sous des
formes simplifies selon les besoins du moment. Nous
appellerons ces diffrentes visions simplifies des
modles. Ces modles sont en grande majorit reprsents
sous forme symbolique par des outils base de langages
graphiques. Ces langages instrument de la pense
et de la communication sont mis ici au service de la
conception et de la comprhension dartefacts par des
quipes pluridisciplinaires. SADT, les outils classiques
de lanalyse fonctionnelle (outils de la mthode APTE,
Fast) et le Grafcet pour ne prendre queux que nous
connaissions dj font partie de ces langages. Cependant,
un ensemble doutils disparates, aussi performants
[1] Professeur agrg de gnie lectrique en STS IRIS au lyce
Diderot (75)

32

179_14-32-49.indd 32

technologie 179

mots-cls
lyce technologique,
modlisation,
outil et mthodes

soient-ils, ne donnera jamais une vision globale cohrente


de la chose reprsente. Lide moderne est de fdrer
plusieurs langages spcialiss au sein dun mtaoutil. Une vision pertinente du systme pourra ainsi
merger de ses diffrentes composantes spcialises
lies par un mtalangage garant de la cohrence. Cest
lobjectif de SysML (Systems Modeling Language).
SysML nest pas une mthode, mais un ensemble
doutils graphiques dfinis par un mtalangage qui
offrent au concepteur toutes les facilits pour construire
un modle forte cohrence smantique. Il permet de
spcifier les systmes, de concevoir, dfinir et analyser
leur structure et leur fonctionnement dynamique, de
simuler leur comportement afin de valider leur faisabilit
avant leur ralisation. Il intgre les composants
physiques de toutes technologies, les programmes, les
donnes et les nergies, les personnes, les procdures
et les flux divers.
Quelles sont alors les fonctionnalits dun tel outil
de reprsentation?
l Il facilite la collaboration transdisciplinaire de
tous les spcialistes des corps de mtier concerns en
proposant un ensemble li doutils de reprsentation
suffisamment universels pour quils puissent tre
compris par tout le monde, et suffisamment expressifs
pour quil puissent reprsenter toutes les composantes
hautement spcialises ainsi que les diffrents points
de vue dun mme systme.
l Il permet la mise jour, le stockage et, surtout, le
partage ainsi que linterprtation faciles des informations.
l Il permet la modlisation du systme toutes les
tapes de son cycle de dveloppement et de vie en
reprsentant de manire quasi exhaustive les principaux
lments de modle suivants:
lexpression des besoins et des contraintes;
la reprsentation de lorganisation structure des
composants;
la dfinition prcise de chaque composant (proprits
structurelles et comportementales);
la description du comportement attendu du systme
au cours des diffrentes phases dutilisation.
l Il permet lintgration et la mise en relation cohrente
des diffrentes composantes techniques dans un mme
modle, par exemple les liaisons entre un programme
informatique et des actionneurs mcaniques.
l Il permet la validation de solutions par une simulation
base sur des diagrammes paramtriques.
SysML peut tre mis en uvre par des ingnieurs
en phase de conception dun nouveau systme pour
laborer soit des modles normatifs qui guident la
construction soit des modles prdictifs pour valider
des solutions en amont de la construction. Mais SysML

av r i l 2 012

05/06/12 15:34

sutilise galement pour dcrire un systme existant


avec des modles cognitifs qui permettront danalyser
et comprendre des constructions ce qui est le cas
le plus frquent en enseignement secondaire. Il va
de soi mais il est utile de le rappeler que les
dmarches danalyse fonctionnelle (de conception
ou dexploration) que nous voquons et que nous
connaissons ne changent pas avec lapparition de
ce nouvel outil.
Mon but ici nest pas de dcrire de manire squentielle la syntaxe de chacun des diagrammes SysML,
mais plutt de montrer leur usage dans un contexte,
car la modlisation dun systme comporte plusieurs
fois le mme type de diagrammes dont la signification dpend du point de vue de lanalyse et de son
modeleur. En revanche, je montrerai leurs contributions respectives au cours dune dmarche danalyse
dun systme existant en privilgiant le factuel par
rapport au normatif. Par ailleurs, dans un souci de
clart, je limiterai mes descriptions et remarques
ce qui me parat essentiel dans ltude de cas. Le lecteur trouvera les complments dinformation dans la
norme dite par lOMG (Object Management Group)
ou bien dans larticle de Didier Fagnon et Stphane
Gaston, SysML: les diagrammes, en page 100 de
ce mme numro.
Je me propose de montrer sur un exemple concret
comment utiliser de manire cohrente les diffrents
diagrammes spcialiss en fonction des contextes et
des aspects qui doivent tre dcrits. La modlisation
a t effectu avec loutil Case (Computer Aided
Software Engineering) MagicDraw de la socit No
Magic, dont le lecteur pourra tlcharger librement
une version dessai (voir Pour aller plus loin en
encadr).
La modlisation de lHemomixer
LHemomixer est un systme dassistance pour la
collecte de sang. Conu et fabriqu par la socit
Hemopharm, il est propos en version didactise par
la socit Didastel Provence (voir Pour en savoir
plus en encadr).
Pour limiter au maximum les erreurs, jai choisi
dappliquer pour cet appareil une mthode incrmentale
simplifie, inspire de celles utilises en conception
(Unified Process).
Toutes les informations sur le systme ainsi que
ses caractristiques techniques sont puises dans
la notice technique et les documents ressources qui
accompagnent le produit didactis.
Les choix effectus pour llaboration des modles
prsents rsultent dun parti pris; dautres propositions

sont certainement possibles. Au contraire des


mathmatiques, la voie qui mne la solution nest
pas quasi unique et pave de difficults. George E.P.Box
ne disait-il pas : Tous les modles sont faux, mais
certains sont utiles?
Le contexte est dfini par lensemble des acteurs et
autres systmes qui changent des flux avec lHemomixer.
Il faut bien sr prciser les conditions dutilisation: le
contexte correspondant la phase maintenance est
diffrent de celui de la phase exploitation normale
ou de celui de la phase exploitation pdagogique.
Nous tudierons ici la phase exploitation normale.
Nous procderons dabord une analyse externe
du produit, puis, dans un second temps, son analyse
interne.
Lanalyse du besoin
Lanalyse du besoin a pour objectif de savoir dans
quel but le produit est construit. Elle constitue une
tape fondamentale permettant de poser un problme
en termes de finalits, et sert de base pour laborer
le cahier de charges du produit. Mme si nous ne
sommes pas ici en phase de conception, cette analyse
va nous permettre de reconstituer le cahier des charges
fonctionnel partir des fonctionnalits dcrites par le
constructeur.
La modlisation du contexte dexploitation
normal avec les diagrammes BDD et IBD
Le contexte dexploitation de lHemomixer est dfini par
lensemble des acteurs et autres systmes situs dans
son environnement qui changent des flux (matire,
nergie, information) avec lui. De nature structurelle,
il est ici reprsent par un diagramme de dfinition de
blocs (BDD, Block Definition Diagram) et un diagramme
de blocs internes (IBD, Internal Block Diagram).
Le BDD dfinit le contexte compos des acteurs et des
systmes du tableau 1 et du graphe 2 qui entretiennent
des relations avec lHemomixer 3 . LIBD reprsente
le rseau des connexions qui permet la circulation des
flux changs 4 .
Ici, linfirmire change des informations (ordres et
comptes rendus) avec lHemomixer grce des interfaces
(clavier, cran, voyant) lies un port standard dont je
ne dtaillerai pas ici les symboliques. Les connecteurs
qui relient les composants sont reprsents avec des
paisseurs qui dpendent du flux transport. Trait fin
pour linformation, moyen pour lnergie, pais pour la
matire. Le donneur, qui fait partie du second cercle
des interacteurs sur la figure 2 , est quand mme
reprsent sur le diagramme car il agit (indirectement)
sur le systme et rciproquement.
av r i l 2 012

179_14-32-49.indd 33

technologie 179

33

05/06/12 15:34

Interacteur

Point dinteraction

Nature de lchange

Poche de sang

Plateau

nergie (force, mouvement oscillant)

Tuyau

Clampeur

nergie (force de pincement)

Table support

Pieds

nergie (force de raction)

Infirmier

cran, clavier

Informations

PC

RS 232

Informations

1 Les interacteurs directs

Objets
en interaction
directe
avec le systme

Poche de sang

Hemomixer
le systme modliser
Table support

PC (option)

Infirmier

Tuyau
Objets en interaction indirecte
avec le systme
Donneur

Fabricant

Banque du sang (France)

2 Le contexte de lHemomixer en exploitation normale

La modlisation fonctionnelle
avec le diagramme des cas dutilisation
Un diagramme des cas dutilisation (use case diagram)
rpertorie les fonctions dusage que le systme offre
chacun de ses acteurs utilisateurs afin de satisfaire
leurs besoins. Il ne doit pas prciser comment il assure
ces services.
Pour laborer le diagramme des cas dutilisation 5 ,
jai simplement relev les fonctions dusage dans le
descriptif du produit, puis je les ai assembles.
Un cas dutilisation reprsente un service offert par le
systme un ou plusieurs acteurs de son environnement.
Il est dfini par une fonction dans une ellipse relie
lacteur concern.
Si lexcution dun service inclus obligatoirement
celle dun sous-service, ce dernier peut tre extrait
et reprsent de manire autonome : il suffira de

34

179_14-32-49.indd 34

technologie 179

prciser linclusion par une relation oriente (flche en


pointill) strotype include. Cette possibilit permet
de factoriser des cas dutilisation comme assurer
linterruption du prlvement, commun assurer
la scurit et le confort du donneur et prlever une
quantit dtermine de sang.
Le diagramme de contexte qui dfinit les acteurs
bnficiaires des services du systme doit bien sr,
ce stade, exister. Il sera, au besoin, complt au fur
et mesure de ltude incrmentale des besoins et de
lapparition ventuelle de nouveaux acteurs
Il faut aussi se limiter aux fonctions essentielles en
vitant une dcomposition trop fine. Le diagramme
sert de base la comprhension et la conception
du systme. Les dtails fonctionnels plus fins seront
dcrits dans le diagramme des exigences.
N Attention:
l Les cas dutilisation dfinissent ce que le systme
doit faire, et non comment il le fait. Ils reprsentent
le comportement fonctionnel externe du systme. Il
faut respecter ici les rgles dobjectivit que nous
connaissons dj qui prvalent dans lanalyse
fonctionnelle et lanalyse systmique: dfinir ce que
lon cherche en termes de finalits, sans a-priori de
solutions, et placer lobjet dans son environnement
dutilisation pour exprimer les buts des relations
quil y cre.
l Les cas dutilisation ne reprsentent pas ce que
les acteurs doivent faire, par exemple appuyer sur
un bouton, ouvrir une porte, consommer de
lnergie, qui ne sont pas des services rendus. On
peut, la limite, dfinir les fonctions que lacteur
peut raliser grce au systme, mais toujours en
termes de services rendus, par exemple conduire
une voiture.
Les complments la modlisation fonctionnelle
avec le diagramme des exigences
Un diagramme des exigences (requirement diagram)
rpertorie en les classant les affinements des fonctions
dusage et les diffrentes contraintes et conditions
qui doivent tre respectes par le systme afin quil
puisse fonctionner correctement mais qui ne sont pas
des buts principaux.
Le systme doit vrifier des exigences multiples
qui dcrivent principalement les conditions de
fonctionnement et dutilisation, les normes respecter,
les exigences de recyclage en fin de vie, les composants
et matriels imposs par le client, les caractristiques
physiques imposes et les niveaux de performance
attendus. Il faut aussi apporter les prcisions ncessaires
la dfinition complte des fonctions dusage dfinies
dans le diagramme des cas dutilisation. On labore
alors le diagramme des exigences. Prcisons que ce
travail est trs long et coteux, quil fait appel des
experts et est souvent sujet dsaccords.

av r i l 2 012

05/06/12 15:34

3 Le BDD du contexte de lHemomixer en exploitation normale

4 LIBD du contexte de lHemomixer en exploitation normale

av r i l 2 012

179_14-32-49.indd 35

technologie 179

35

05/06/12 15:34

5 Le diagramme des cas dutilisation

On peut relever les exigences sur le descriptif


technique du produit, et les classer en trois familles:
l Les exigences fonctionnelles 6
l Les contraintes technologiques 7
l Les contraintes opratoires 8
Les exigences sont reprsentes sous forme textuelle
et structures de manire arborescente.
Pour assurer la traabilit et le suivi des exigences
tout au long de la modlisation, des relations permettent
de prciser les lments du systme concerns par les
exigences.
Les exigences de ce type de diagramme apportent des
prcisions (relation refine) aux cas dutilisation dfinis

36

179_14-32-49.indd 36

technologie 179

en 5 . Par exemple, le cas dutilisation fonctionner en


mode manuel ou automatique saffine avec lexigence
linfirmire doit pouvoir commuter sur un des deux
modes tout moment.
Le sous-systme agitateur-peseur qui sera dfini
ultrieurement apparat dans ce diagramme parce
quil satisfait (relation satisfy) lexigence pesage et
agitation simultanes.
SysML dfinit ainsi plusieurs types dassociations
(liens de dpendance strotyps) :
Derive : une exigence est drive dune exigence.
Satisfy : un lment du modle (par exemple un bloc) permet de
satisfaire une exigence.

av r i l 2 012

05/06/12 15:34

6 Le diagramme des exigences fonctionnelles

Verify : un lment du modle (par exemple un test case) permet de


vrifier et valider une exigence.
Refine : un lment du modle, par exemple un cas dutilisation,
affine une exigence.
La modlisation du comportement
avec le diagramme de squence
Un diagramme de squence (sequence diagram)
reprsente les interactions classes selon un ordre
chronologique des acteurs et du systme, ou des
parties internes du systme au cours du droulement
dun scnario. En effet, pour atteindre ses objectifs, un
systme ne reste pas inerte, il agit en dclenchant des
suites dactivits dont le rsultat observable constitue
son comportement. Le comportement produit des

flux sur les ports de sortie. Le systme rpond des


sollicitations de son environnement. Il consomme des
flux sur les ports dentre.
Dans la phase de saisie des besoins, le concepteur
devra spcifier les comportements attendus du systme
lorsquil assure les fonctions dusage dfinies dans le
use case. Le systme dont on nest pas cens connatre
encore la structure est considr ici comme une bote
noire dont les comportements seront reprsents
sous forme dune suite squentielle dchanges avec les
acteurs dans des diagrammes de squence 9 nomms
ici diagrammes de squence systme ou encore black
box sequence diagrams.
Un diagramme de squence reprsente un droulement des interactions du systme et des acteurs
av r i l 2 012

179_14-32-49.indd 37

technologie 179

37

05/06/12 15:34

7 Le diagramme des exigences technologiques (contraintes)

concerns au cours de la ralisation dun service, ici


prlever une quantit dtermine de sang en mode
automatique.
Des objets reprsentent les acteurs concerns et
la bote noire systme. Le temps scoule vers le bas
du diagramme le long des lignes de vie associes
chaque acteur. Les interactions sont reprsentes
par des changes de messages symboliss par des
traits flchs horizontaux tirs entre les lignes de vie
des correspondants. Un message est un lment de
communication dont loccurrence dclenche une activit
chez le rcepteur. Il apporte ventuellement avec lui

38

179_14-32-49.indd 38

technologie 179

une ou plusieurs donnes. Les rectangles ajouts sur


les lignes de vie reprsentent les priodes dactivit
de lacteur ou du systme correspondants.
N Attention:
l Le comportement (normal) dcrit ici peut comporter
des variantes. Dans ce cas, dautres diagrammes de
squence exposeront les scnarios alternatifs.
l Il y a autant de diagrammes de squence que de
cas dutilisation, et, pour un cas donn, autant de
diagrammes que de scnarios possibles. Leur nombre
devenant vite plthorique, il faut se limiter au strict

av r i l 2 012

05/06/12 15:35

8 Le diagramme des exigences opratoires (contraintes)

ncessaire, cest--dire aux cas complexes sujets des


interprtations ambigus.
l Les systmes physiques sont de nature causale,
cest--dire que leurs ractions sont postrieures
aux stimuli provocateurs. Les messages de rponse
seront donc toujours postrieurs aux messages de
sollicitation.
l Le nom dun message reprsente laction que le
rcepteur doit excuter lorsquil reoit le message.
+ Remarques:
l Dans cette phase de spcification, le diagramme
de squence reprsente un comportement externe
du systme qui ragit aux sollicitations de son
environnement. Il sera aussi trs largement utilis,
par la suite, pour dcrire les suites dchanges de
messages entre les parties internes du systme durant
des squences temporelles dactions appeles activits.
Cest alors une vision white box qui sert de spcification
pour raliser les programmes de contrle-commande
du systme.
l Le diagramme de squence qui dfinit le besoin est
souvent labor avec le client.
Aprs avoir men lanalyse fonctionnelle externe du
produit (dans sa phase dexploitation normale), on peut
passer une tude interne du systme. Elle procde

par itration et en faisant des allers-retours entre


les diagrammes. Cest le cur mme de la mthode.
Car, bien videmment, tous les diagrammes sont lis
entre eux.
Lanalyse technique de lHemomixer
Lexistence du systme autorise une analyse descendante
interne pour le dcrire en observant la manire dont il
est construit. On tchera de construire nos diagrammes
en les justifiant et en explicitant leurs liens avec les
autres lments du modle global dj dfinis.
La modlisation structurelle avec les BDD et IBD
Ltude des plans de lHemomixer, des animations
multimdias interactives fournies avec ce dernier
et son observation directe permettent dlaborer un
BDD 10 qui traduit son architecture globale, puis lIBD
correspondant 11 .
Guid par les cas dutilisation, le concepteur a imagin
cette architecture o les constituants assurent chacun
une ou plusieurs fonctions dusage: llaboration de
ces diagrammes est oriente objet et gouverne
par le fonctionnel.
Le BDD reprsente un modle gnrique de dfinition.
Il traduit fidlement la structure arborescente du
systme compos rcursivement de sous-systmes.
Chaque type de composants, matriel ou logiciel,
av r i l 2 012

179_14-32-49.indd 39

technologie 179

39

05/06/12 15:35

9 Le diagramme de squence systme

est reprsent par un bloc qui encapsule toutes ses


composantes caractristiques regroupes en familles
stockes dans quatre compartiments : partie (part
property), rfrence (shared property), donnes (value
property) et contraintes (constraint property)
Les ports de flux (flow ports) situs sur la frontire
dun bloc permettent la circulation de flux (item flow)
de matire, dnergie ou dinformation entre le bloc
et lextrieur.
Si plusieurs composants sont quasi identiques et quils
sont de la mme famille, alors un seul bloc suffit les

40

179_14-32-49.indd 40

technologie 179

typer; il suffit ensuite dindiquer leur multiplicit par


un nombre pos sur le lien de composition.
Un jeu de liens permet de construire larbre de la
structure par assemblage des constituants; on utilise
principalement le symbole de composition oriente
(flche pleine au losange noir), qui signifie : est compos de ou appartient .
On peut considrer que le BDD est similaire la
premire page dune notice de montage dun meuble,
indiquant la liste des lments et des pices assembler avec leurs quantits respectives.

av r i l 2 012

05/06/12 15:35

10 Le BDD global de lHemomixer

11 LIBD global de lHemomixer (vue botes noires)

NAttention: La smantique du modle est laisse au soin du


concepteur, cest lui de respecter les rgles de cohrence
et dhomognit en vitant les mlanges de genre.
LIBD reprsente larchitecture interne de linstan
ciation dun bloc (systme ou sous-systme) typ dans un

BDD, il met en scne lorganisation de ses c omposants


(parts) qui changent travers leurs ports relis par
un rseau de connecteurs les flux vitaux de matire,
dnergie et dinformation afin de faire vivre le
systme. Chaque partie du bloc radiographi est
engendre par son bloc de dfinition dcrit dans le
av r i l 2 012

179_14-32-49.indd 41

technologie 179

41

05/06/12 15:35

12 Le BDD global dtaill de lHemomixer

BDD; elle en possde toutes les proprits. Son nom


propre (par exemple, carte 40-065 pour la carte
de contrle-commande) lui confre son statut dobjet
concret.
Ce diagramme permet, entre autres choses, de vrifier la continuit des diffrentes chanes de flux pour
valider le modle avant de poursuivre lanalyse.
+ Remarques:
l Les bords dun IBD reprsentent la frontire du bloc
qui est dcrit; les ports de flux qui permettent les
entres/sorties de flux doivent y figurer.
l Il serait judicieux, ce stade, et dtablir quelques
diagrammes de squence qui reprsentent les changes
principaux entre la carte de commande et les deux
sous-systmes mcaniques au cours des principaux
scnarios.

42

179_14-32-49.indd 42

technologie 179

N Attention: Il ne faut pas confondre le bloc, qui


reprsente une dfinition, avec la partie, qui est un
objet rel construit sur le modle du bloc, ce dernier
en tant en quelque sorte le moule.
Lanalyse se poursuit en affinant les soussystmes, que lon peut reprsenter soit sur des
diagrammes spars soit sur un mme diagramme,
comme en 12 , lorsque le systme nest pas trop
volumineux.
LHemomixer est un systme larchitecture
classique: la carte de commande est physiquement
spare de la partie oprative. Sur les 27 composants
de la vue clate de lagitateur-peseur fournie dans
la documentation technique, notre modle en retient
six. Ce choix est-il appropri ? La dcomposition doit
mettre en vidence des parties qui assurent chacune

av r i l 2 012

05/06/12 15:35

Pour aller plus loin


Hemomixer
En ligne
Le site du fabricant Hemopharm:

www.hemopharm.fr/fr/
produit-idss_2-idc_1-automate-de-prelevement.html
Le site de Didastel Provence, le distributeur du produit didactis,
pour en tlcharger la notice:

www.didastel.fr/Produit.php?nom_produit=HMX
En rayon
PREZ (Valrie) et BONTEMPS (Philippe) Du sang neuf pour
lenseignement technologique, Technologie, n o 176, nov.dc.2011

Sys3ML
En ligne
Le site officiel, pour tlcharger la norme:

www.sysml.org/
Un site intressant avec de nombreuses rfrences srieuses:

www.uml-sysml.org/
Le site de lassociation de promotion de SysML en France, qui
se rjouit de lintroduction de SysML dans les programmes
de STI2D. Elle met en garde contre les mauvais exemples qui
circulent sur le Web et propose sur son blog une initiation
SysML partir du cas concret du lave-linge:

www.sysml-france.fr
Le site de MagicDraw (AGL de la socit No Magic), pour
tlcharger MagicDraw UML et son plugin SysML avec une
licence provisoire de test:

www.magicdraw.com
ROQUES (Pascal), SysML par lexemple : Un langage de
modlisation pour systmes complexes, Eyrolles, 2009, disponible
uniquement en version PDF tlcharger:

http://izibook.eyrolles.com
UML

une fonction essentielle au fonctionnement du systme,


ni plus, ni moins. Le vrai problme du modeleur est de
dfinir le bon niveau de granularit; la bonne solution
nexistant pas, il faut simplement que loutil permette
de corriger et daffiner si besoin. Ici, rien nempche de
dcider la modlisation complte du motorducteur; il
suffit de dterminer ses parts, leurs interactions, etc.
En gnral, un bloc motorducteur bien renseign
suffit au concepteur sauf sil est concepteur de
motorducteurs.
Labsence de description dtaille du clampeur ne
bloque pas les travaux sur le reste du systme si lon
considre provisoirement le clampeur comme une bote
noire. Il faudra nanmoins rapidement dterminer
ses ports de communication. Les noms des parties
instancies apparaissent lextrmit des relations
de composition.

En ligne
Lexcellent cours UML de Laurent Audibert:

http://laurent-audibert.developpez.com/Cours-UML/
En rayon
Louvrage fondateur. Toutes les rfrences sur les diagrammes
dUML, par leurs auteurs eux-mmes:
BOOCH (Grady), RUMBAUGH (James), JACOBSON (Ivar), Le Guide
de lutilisateur UML, Eyrolles, 2000

Mthodes
NOLAN (Brian), BROWN (Barclay), BALMELLI (Laurent) et al.,
Model Driven System Development with Rational Products, IBM,
coll. Redbooks, 2008. Dveloppe par IBM, cette mthode
moderne de conception guide par le modle sappuie
fortement sur SysML. Tlchargement en PDF gratuit:

www.redbooks.ibm.com/redbooks/pdfs/sg247368.pdf

av r i l 2 012

179_14-32-49.indd 43

technologie 179

43

05/06/12 15:35

13 LIBD global dtaill de lHemomixer (vue botes blanches)

14 Le diagramme dtat gnral de lHemomixer

44

179_14-32-49.indd 44

technologie 179

av r i l 2 012

05/06/12 15:35

15 Deux activits synchronises

N Attention: Au cours dune phase danalyse, le


modeleur doit extraire ses lments de modlisation
exclusivement des plans, des notices techniques et, si
possible, de lobservation directe du systme.
LIBD 13 , structurellement identique celui en 11 ,
exprime un niveau plus dtaill de lHemomixer. Les
composants internes tant maintenant parfaitement
dfinis, les chanes peuvent tre vrifies compltement.
Le clampeur nest pas reprsent sur ce diagramme;
le logiciel de pilotage implment dans le microcontrleur pourrait quant lui y figurer.
Les composants internes du systme tant maintenant dtermins, il faut reprsenter la manire dont
ils interagissent ainsi que les effets de leurs activits
collaboratives sur le comportement global du systme
pour vrifier que ce dernier est conforme aux attentes.
Trois diagrammes SysML permettent de spcifier
ces comportements :
l Le diagramme de squence (dj labor 9 )
l Le diagramme dtat

l Le diagramme dactivit (non spcifi dans le document

daccompagnement STI2D)
La modlisation du comportement
dynamique avec le diagramme dtat
Cest un automate tat fini qui dcrit la succession
des tats du systme (ou dun composant) pendant son
utilisation. On considrera quun tat correspond des
phases reproductibles de la vie du systme caractrises
par une invariance dune partie de ses variables dtat
ou de ses activits.
Les diffrents tats de lHemomixer identifis dans
la documentation technique figurent sur le diagramme
dtat (state diagram) 14.
Il sagit ici dun diagramme trs classique quatre
tats : mise en route, prt, utilisation, et mise larrt.
Un tat est soit actif soit inactif; ltat initialement
actif est symbolis par un disque noir. Les transitions
relient les tats entre eux et indiquent les voies
dvolution possibles.
av r i l 2 012

179_14-32-49.indd 45

technologie 179

45

05/06/12 15:35

16 Le BDD prparatoire au diagramme paramtrique

Un vnement ou (inclusif) une garde associe


chaque transition oriente permettent de dclencher
le franchissement de la transition lorsque ltat source
est actif; dans ce cas ltat cible devient actif. Des
activits, cest--dire des suites dactions, peuvent tre
actives soit au moment de lentre dans ltat (entry/ ),
soit pendant toute la dure de ltat (do/ ), soit enfin au
moment de la sortie de ltat (exit/ ).
Un tat peut contenir des sous-tats, qui sont soumis
aux rgles dvolution gnrale la condition que ltat
conteneur soit actif. Des symboles complmentaires permettent de synchroniser (barres noires) ou dassurer
lindpendance de sous-tats (tat conteneur composite:
spar en zones parallles par un segment pointill).
Ce diagramme dfinit compltement les diffrentes
phases de fonctionnement du composant.
Il servira principalement la conception gnrale
des logiciels de contrle-commande, et en particulier
dfinir leur architecture globale, en gnral de nature
multitche. Mais il peut aussi servir dfinir un mode
demploi cest dailleurs partir du mode demploi
dtaill quon la labor. Les automaticiens pourront, le
cas chant, reprsenter un Gemma (Guide dtude des
Modes de Marche et dArrt) sans aucun problme, car
il reprsente une instance particulire du graphe dtat.
N Attention: Les diagrammes de squence ne conviennent
pas pour dcrire des activits. Ces dernires sont associes aux tats en tant qulments moteurs gnrateurs
dvnements qui provoquent des changements dtat.
+ Remarque: Les diagrammes de squence pourront tracer sur ce support balis des parcours qui
reprsenteront chacun un scnario de fonctionnement.
ce titre, le diagramme de squence 9 reprsente le
droulement du cas dutilisation prlever une quan-

46

179_14-32-49.indd 46

technologie 179

tit dtermine de sang en mode automatique dans le


cas o tout se passe bien et avec affichage par dfaut;
le lecteur pourra suivre ce parcours sur le diagramme
dtat. Dautres diagrammes de squence, par exemple
dans le cas o le donneur demande une pause pendant
le prlvement, complteront utilement lanalyse dynamique, qui est ici simplement bauche. Cest au modeleur de maintenir la cohrence entre les diagrammes
qui devront tre corrls en permanence tout au long
de la modlisation.
La modlisation du comportement
dynamique avec le diagramme dactivit
Non spcifi dans le document officiel daccompagnement
STI2D, le diagramme dactivit (activity diagram) est
un automate tats finis qui permet de dcrire une
activit en reprsentant le squencement temporel
des actions qui la composent. Il est surquip en
lments syntaxiques qui lui permettent de traiter les
vnements, spcifier les flux dactivation ainsi que les
flux de traitement des donnes.
Le diagramme dactivit 15 reprsente deux activits
synchronises par des vnements et qui sexcutent
pendant les activits des tats excution prlvement
et pause en prlvement du diagramme des tats
gnraux 12 .
Cousin du Grafcet, le diagramme dactivit est toutefois
plus riche que ce dernier.
Les deux activits sont reprsentes dans des couloirs diffrents (swimlanes) qui portent leur nom. Les
couloirs permettent de dfinir des partitions (bloc, activit, tats) auxquelles seront alloues les suites doprations. Ce dispositif qui permet de lier des lments
appartenant des diagrammes diffrents (un processeur et son programme applicatif, par exemple) apporte
de la cohrence au modle.

av r i l 2 012

05/06/12 15:35

17 Le diagramme paramtrique

Les lments syntaxiques, trs nombreux, se classent


en trois groupes: les nuds dactions qui dcrivent les
actions lmentaires (par exemple, Dclamper), les
nuds dobjets qui permettent de faire transiter et de
stocker les donnes dobjets (flow) traits par les nuds
daction (par exemple, T prlvement : datastore),
enfin les nuds de contrle, qui dfinissent le droulement des traitements (le losange de choix) et leur
synchronisation (barre).
Des nuds daction particuliers permettent lchange
de signaux dvnements entre les activits.
Les blocs producteurs et consommateurs des donnes
traites qui figurent sur le diagramme apportent leur part
de cohrence au modle en facilitant la comprhension
globale des processus. Le diagramme indique, par
exemple, que le capteur de pesage dfini en 12 et 13
fournit de linformation laction peser.
Ces diagrammes seront directement traduits en tches
logicielles par le programmeur. Nous avons l un vrai
outil de spcification avant codage de la commande.
La modlisation comportementale
avec le diagramme paramtrique
Mme si ce diagramme nest pas voqu dans le
document daccompagnement STI2D, il est intressant
de montrer ses possibilits. Le diagramme paramtrique

(parametric diagram) est un diagramme de structure


qui sert exprimer les relations qui lient les grandeurs
physiques caractristiques du systme. Il se construit
en deux tapes, que nous allons suivre pour reprsenter
les phnomnes mcaniques associs la fonction
dagitation:
Dfinition des paramtres physique
et des quations qui les lient 16
Les relations physique sont dfinies dans un BDD par
des blocs strotyps constraint, qui sont des parts
des blocs (systme physiques) quils paramtrent.
Les relations peuvent sexprimer soit en langage
libre, soit en langage OCL (Object Contraint
Language), soit dans le langage impos par loutil Case
si celui-ci assure la simulation, donc linterprtation,
des relations.
1

laboration du diagramme paramtrique 17


Le principe est analogue celui utilis pour llaboration
dun IBD. Les contraintes dfinies ltape 1 sont
instancies; on a choisi de les ranger dans les instances
des composants dont elles dcrivent les contraintes.
Les paramtres des relations sont des attributs (value)
des composants correspondants : ils reprsentent
soit des donnes constantes (par exemple Tm signifie
2

av r i l 2 012

179_14-32-49.indd 47

technologie 179

47

05/06/12 15:35

Ce quil faut retenir des 6 diagrammes tudis en STI2D


BDD : Un diagramme de dfinition de blocs reprsente une classification arborescente des
types de composants dun systme. Chaque famille de composants est reprsente par un
bloc qui encapsule toutes ses proprits. Cest un diagramme de description structurelle.
IBD: Un diagramme de blocs internes reprsente larchitecture interne de linstanciation
dun bloc (systme ou sous-systme) typ dans un BDD, il met en scne lorganisation des
composants qui changent les flux vitaux de matire, dnergie et dinformation pour faire
vivre le systme. Cest un diagramme de description structurelle.
Use case diagram : Un diagramme des cas dutilisation rpertorie les fonctions dusage
que le systme offre chacun de ses acteurs utilisateurs afin de satisfaire leurs besoins. Il
ne doit pas prciser comment il assure ces services. Cest un diagramme de spcification
fonctionnelle.
Requirement diagram : Un diagramme des exigences rpertorie en les classant les
affinements des fonctions dusage et les diffrentes contraintes et conditions qui doivent
tre respectes par le systme afin quil puisse fonctionner correctement mais qui ne
sont pas des buts principaux. Il faut prendre en compte les exigences fonctionnelles,
les contraintes technologiques et les contraintes opratoires. Cest un diagramme de
spcification gnrale.
Sequence diagram: Un diagramme de squence reprsente les interactions classes
selon un ordre chronologique soit des acteurs et du systme (bote noire) soit des
parties internes du systme (bote blanche) au cours du droulement dun scnario. Il
sert principalement llaboration des programmes de contrle/commande. Il donne
une description comportementale.
State diagram: Un diagramme dtat reprsente une situation durant la vie dun bloc.
Un tat peut contenir des sous-tats qui sont soumis aux rgles dvolution gnrale
la condition supplmentaire que ltat conteneur soit actif. Ce diagramme dfinit
compltement les diffrentes phases de fonctionnement du composant. Il donne une
description comportementale.

constante de temps du moteur) soit des variables


qui caractrisent les phnomnes physiques mis en
uvre au cours du fonctionnement.
N Attention:
Il sagit bien dun diagramme de structure. Les relations mathmatiques entre paramtres ne sont pas
orientes, il nest pas question ici dentres/sorties;
Il ne faut pas confondre avec un IBD, les connecteurs du diagramme paramtrique ne transportent pas
de flux, ce sont des connections logiques qui indiquent
des quivalences entre des valeurs de paramtres.
+ Remarque: Ce diagramme permet de valider des choix
de conception en simulant directement les quations
lorsque loutil le permet ou en utilisant des logiciels de
simulation multiphysique comme Scilab. Notons que
le plugin Paramagic de MagicDraw assure ce service.
Conclusion
propos de SysML
SysML permet de modliser des artefacts existants
pour en comprendre le fonctionnement, mais aussi des
artefacts inexistants pour les concevoir; dans ce cas,
il couvre les reprsentations correspondant toutes
les phases de dveloppement.
Il doit rester en prise avec le concret, en harmonie
avec tous les principes de la systmique. Cest un outil
pour les techniciens et les ingnieurs.
Il permet de reprsenter de faon cohrente et
complte des systmes tout en matrisant la complexit

48

179_14-32-49.indd 48

technologie 179

qui en rsulte. Il est toutefois vident que cest le


modeleur qui donne du sens au modle.
SysML est un modle contemplatif, mais certains
AGL (Ateliers de Gnie Logiciel) comme MagicDraw
intgrent des modules de simulation.
Il garde encore en hritage dUML des particularits
fortement types logiciel qui complexifient inutilement le langage et peuvent nuire la comprhension.
Jai dailleurs ici volontairement simplifi quelques
rgles, par exemple la distinction entre les parts qui
sont des instances de rle plutt que des instances de
bloc, sans pour autant porter atteinte aux principes de
lisibilit, simplicit, pertinence et universalit.
Cet article nest pas exhaustif; il y aurait encore
beaucoup exposer, comme la notion de rutilisabilit,
favorise par la possibilit de cration de bibliothques
de composants (moteurs, capteurs, microcontrleurs,
logiciels, normes) rangs dans des paquetages et
rutilisables volont.
Systmique versus analytique
Lapproche analytique compartimente non seulement
les connaissances elles-mmes, mais, ce qui est plus
grave, leur acquisition. Elle satisfait pleinement les
spcialistes purs qui vivent en harmonie avec euxmmes dans leur pr carr, garant de ce que Bourdieu
appelait la distinction.
Lapproche systmique, au contraire, permet de relier
progressivement des connaissances multidisciplinaires
dans un modle unique et cohrent qui leur donne du
sens en les mettant en relation. Dans cet esprit, les
outils daide la conception comme SysML permettent
lintgration de nombreux composants hautement spcialiss et favorisent ainsi le partage entre spcialistes
clairs : cest non plus je pense, mais nous pensons autour dun projet commun.
En 1975, Jol de Rosnay, dans son clbre Macroscope
(Seuil), exposait dans le dtail avec 40annes davance
tous ces grands principes repris aujourdhui, la
lettre, par les mthodes de lingnierie moderne. Les
nouveaux programmes de STI2D favorisent lengagement dans cette voie. Malgr toutes les difficults qui
pavent ce nouveau chemin, je suis persuad quil est
celui de la russite des jeunes gnrations dingnieurs
et de techniciens.
Merci de mavoir lu jusquici! Et restons bien conscients
que SysML nest quun outil, et que ce sont les hommes
impliqus dans le projet qui font la diffrence, non les
instruments quils utilisent. n

av r i l 2 012

05/06/12 15:35

PUB

179_14-32-49.indd 49

05/06/12 15:35

Vous aimerez peut-être aussi