Vous êtes sur la page 1sur 5

SysML : les diagrammes

DIDIER FAGNON, STPHANE GASTON [1]

Loutil SysML est un langage constitu de nombreux diagrammes. conception ou en phase danalyse dun existant. Il peut
Nous vous proposons une ressource sous la forme de fiches-outils galement dcrire le cheminement de la matire, de
lnergie et de linformation (les trois domaines essen-
qui trouveront une bonne place dans vos aide-mmoire de TP.
tiels du rfrentiel des STI2D), ses diagrammes offrant
la possibilit de reprsenter la fois les composants
et les flux de toute nature. Nous allons donc nous atta-
ans les pages Dcryptage de la revue, nous mots-cls cher ici dcoder le vocabulaire et la grammaire de
vous avons prsent lutilisation raisonne de lyce technologique, cet outil daide la modlisation.
SysML (Systems Modeling Language) dans lana- modlisation, Les diagrammes SysML, le plus souvent, sont lis
lyse fonctionnelle dun systme existant. Ce langage, outil & mthode entre eux (interconnects) et ont leur description
commun tous les champs disciplinaires, est compos propre. Ils peuvent remplacer la plupart des autres
de diagrammes qui permettent daborder plus facilement outils de description auparavant utiliss (Grafcet, Fast,
les systmes pluritechniques, que ce soit en phase de SADT,etc). Voici, parmi les neuf types de diagrammes
[1] Respectivement professeur agrg de gnie mcanique au lyce
SysML, les six qui ont t retenus par le rfrentiel:
Chaptal de Paris (75008) et professeur de construction mcanique diagramme des exigences (requirement diagram)
au lyce Denis-Papin de La Courneuve (93).
diagramme des cas dutilisation (use case diagram)
diagramme de squence (sequence diagram)
A B Association: relation dgal gal entre deux lments
A utilise B
diagramme dtat (state diagram)
A B
Est utilis dans 2 diagrammes: cas dutilisation, dfinition de blocs diagramme de dfinition de blocs (definition block diagram)
A B diagramme de blocs internes (internal block diagram)
Dpendance: 2 items distincts mais dont lun dpend de lautre
A dpend de B Ils dcrivent diffrents aspects:
A B Est utilis dans 3 diagrammes: exigences, cas dutilisation, dfinition de blocs
A B l Aspects comportementaux:
A B Agrgation: un lment est une composante facultative de lautre diagrammes fonctionnels (que doit faire le systme ?):
A entre dans la composition de B sans tre indispensable son
fonctionnement diagramme des exigences
Est utilis dans 2 diagrammes: exigences, dfinition de blocs diagramme des cas dutilisation
Composition: un lment est une composante obligatoire de lautre diagrammes dynamiques (comment le systme
A entre dans la composition de B et lui est indispensable doit-il se comporter ?):
Est utilis dans 2 diagrammes: exigences, dfinition de blocs
diagramme de squence
Gnralisation: dpendance de type filiation entre 2 items diagramme dtat (tat et transitions)
A est une sorte de B
Est utilis dans 2 diagrammes: cas dutilisation, dfinition de blocs l Aspects structurels:
diagrammes statiques (comment le systme est-il
Conteneur: relation dinclusion entre 2 items
construit ?):
B contient A
Est utilis dans 3 diagrammes: exigences, cas dutilisation, dfinition de blocs diagramme de dfinition de blocs
diagramme de blocs internes
Les principales relations entre les blocs

Ouvrage de rfrence
SysML par lexemple
Un langage de modlisation pour systmes complexes

Auteur: Pascal Roques


diteur: Eyrolles
Ce livre de 235 pages est exclusivement disponible en version PDF, payante, tlcharger sur le site
de lditeur:
http://izibook.eyrolles.com
De la naissance du SysML aux exemples concrets, il consacre un chapitre entier chacun des diagrammes.
Il est trs illustr et prend pour fil conducteur une tude de cas sur le radio-rveil. Cest louvrage de
rfrence en franais. Indispensable.

10 0 technologie 179 av r i l 2 012


Dans les diagrammes, on trouve des botes et des peuvent aussi constituer un document ressource dans
relations entre ces botes. Ces relations peuvent tre un dossier de TP. Il nest surtout pas question de les
de natures diffrentes, elles sexpriment donc avec des utiliser comme support de cours pour apprendre le lan-
symboles diffrents (voir la figure page prcdente). gage SysML. En revanche, elles permettent, au fur et
Nous allons dtailler les lments graphiques rela- mesure que lenseignant aborde dans ses pratiques
tifs chaque diagramme pour en faciliter la lecture, lanalyse des trois points de vue (comportemental,
sous forme de fiches-outils que vous pourrez utiliser structurel et fonctionnel), dintroduire les diagrammes
ou fournir au fur et mesure aux lves. Ces fiches adapts aux besoins pdagogiques. n

fiche-Outil 1

Diagramme des exigences


En anglais: requirement diagram Identifiant unique Exigence du systme
NotationSysML: req
Texte descriptif
Cest un diagramme fonctionnel.
Il dcrit les exigences du cahier Ici dcomposition
des charges fonctionnel. dune exigence
Une exigence exprime une capacit composite en exigences
ou une contrainte satisfaire unitaires
par un systme. Elle peut exprimer
une fonction que devra raliser Exigences unitaires
le systme ou une condition
de performance technique, physique,
de scurit, de fiabilit, dergonomie,
desthtisme

Ajout de donnes
quantitatives / prcisions

Note indiquant un problme rsoudre, non dfini

Le diagramme dexigences permet tout au long dun projet de relier les exigences
avec dautres types dlments SysML par plusieurs relations :
exigence, lment comportemental (cas dutilisation, diagramme dtat, etc.) :
refine
exigence, bloc darchitecture : satisfy
exigence, cas de test : verify

Un cas de test reprsente une mthode de vrification de la satisfaction dune


exigence. Il est reprsent ci-contre:

Note qui permet de justifier


un certain choix

Il est courant de dfinir dautres proprits pour les exigences, par exemple :
priorit (haute, moyenne, basse)
source (client, marketing, technique, lgislation, etc.)
risque (haut, moyen, bas)
statut (propose, valide, implmente, teste, livre, etc.)
mthode de vrification (analyse, dmonstration, test, etc.)

av r i l 2 012 technologie 179 10 1


fiche-Outil 2

Diagramme des cas dutilisation


En anglais : use case diagram
Notation SysML: uc

Cest un diagramme fonctionnel.


Il montre les interactions fonctionnelles des acteurs et du systme dtude.
Il dlimite prcisment le systme, dcrit ce que fera le systme sans spcifier comment
(et non ce que fera lutilisateur).
Il exprime les services (use cases) offert par le systme aux utilisateurs (actors).

Acteurs humains Acteurs non humains

Les acteurs peuvent tre relis


entre eux soit par une flche
bidirectionnelle (chaque acteur
agit sur lautre) soit par une
flche unidirectionnelle (un
acteur agit sur lautre)

Relations standardises entre cas dutilisation


Signification des couleurs des <<include>>: le cas dutilisation de base ne peut se faire
acteurs utilises par les logiciels : Cadre dlimitant le sans ou impose que
En bleu : change, systme et contenant un <<extend>>: le cas dutilisation de base peut
modifie de la matire ensemble de squences ventuellement se faire avec
En rouge : change, modifie de lnergie dactions. Elles peuvent Ci-dessus : Vrifier solde est une extension dEffectuer un
En vert : change de linformation aussi tre lies entre elles virement

fiche-Outil 3

Diagramme de squence
En anglais : sequence diagram Lignes de vie
Notation SysML: sd Trait pointill vertical surmont dun rectangle de description

Cest un diagramme dynamique. Message synchrone. Met en relation les diffrentes lignes de vie.
Il reprsente les changes de messages entre les acteurs La flche possde une tte pleine. Ce sera une flche ouverte
et le systme ou entre des parties durant une squence pour un message asynchrone
temporelle dactions appele scnario.
Il permet de reprsenter la dynamique dun use case ou
la collaboration dun ensemble dobjets internes au systme.
Il montre la squence, reprsentation verticale chronologique,
des messages passs entre blocs au sein dune interaction.
Nota : Il y a autant de diagrammes de squence
que de scnarios possibles.
Note qui prcise
la fonction

Retour Message rflexif


Un cas dutilisation peut dpendre dautres cas dutilisation. Il sappelle alors fragment.
Chaque fragment possde un oprateur et peut tre divis en oprandes. Les principaux
oprateurs sont :
loop : boucle. Le fragment ou autre cas dutilisation peut sexcuter plusieurs fois,
et la condition de garde (voir Diagramme dtat) explicite litration
opt : optionnel. Le fragment ou autre cas dutilisation ne sexcute que si la condition
fournie est vraie
alt : fragments alternatifs. Seul le fragment possdant la condition vraie sexcutera
par : parallle. Il est utilis pour reprsenter des interactions ayant lieu en parallle

10 2 technologie 179 av r i l 2 012


fiche-Outil 4

Diagramme dtat
En anglais : state diagram
Notation SysML: stm

Cest un diagramme dynamique.


Il montre les diffrents tats successifs et les transitions possibles des blocs dynamiques.
Il reprsente la succession des tats dun systme ou dun sous-systme.
La dynamique des changements est entretenue par des vnements.

Ltat satisfait une certaine tat initial


condition, excute une
certaine activit, attend
un certain vnement

vnement

Lvnement est
une spcification
qui peut dclencher
une raction, peut porter
des paramtres
qui matrialisent
le flot dinformations Une transition possde :
ou de donnes reues. un vnement dclencheur
Il peut tre accompagn une condition
de conditions un tat cible
(voir ci-dessous)
Transition propre.
Quitte son tat
de dpart pour
y revenir aussitt

Transition interne

tat final

Condition ou condition de garde


Cest une expression boolenne qui doit tre vraie lorsque lvnement arrive pour que la transition soit dclenche. Elle est note entre crochets. Sil y a plusieurs
transitions avec un mme vnement, elles doivent avoir des conditions diffrentes.
Lorsquil y a plus de deux conditions, il est recommand dutiliser le mot-cl else pour garantir lexhaustivit.
Les changements dtat interne se modlisent en utilisant le mot-cl when suivi dune expression boolenne dont le passage de faux vrai dclenche la transition.
Le passage du temps se modlise en utilisant le mot-cl after suivi dune expression reprsentant une dure, dcompte partir de lentre dans ltat courant.

av r i l 2 012 technologie 179 103


fiche-Outil 5

Diagramme de dfinition de blocs


En anglais : block definition diagram Il est utilis pour dcrire larchitecture matrielle du systme.
Notation SysML: bdd Un bloc est une entit bien dlimite qui encapsule principalement des attributs
(variables dtat), des oprations (procdures comportementales), des contraintes,
Cest un diagramme statique. Il montre les briques statiques : blocs, composition, des ports (change de flux avec lextrieur) et des parts (sous-blocs internes).
associations Un bloc peut modliser tout le systme, un lment matriel ou logiciel.

Le bloc panier entre dans la composition


de vlo de promenade sans tre indispensable
son fonctionnement

Contrainte de multiplicit.
Le bloc roue entre Le vlo de promenade
dans la composition de possde 0 ou 1 panier
vlo de promenade
et lui est indispensable

Contrainte
de multiplicit.
Le panier peut contenir
de 0 * bagages

Dans le <<block>>, part signifie


llment important composant
le bloc, et values correspond
aux critres de ce mme lment

fiche-Outil 6

Diagramme de blocs internes


Il montre lorganisation interne dun lment statique complexe.
En anglais : internal block diagram Il reprsente les instances des parts dun bloc (objets). LIBD est cadr lintrieur
Notation SysML: ibd des frontires du bloc concern. Les circulations de flux (MEI) entre les parts
seffectuent grce aux connecteurs qui relient leurs ports.
Cest un diagramme statique. LIBD dun bloc est dfini partir du BDD correspondant. Un flux entre ou sort
Il est utilis pour dcrire larchitecture matrielle du systme. dune part via un port.

Indique la prsence dune multiplicit,


cest--dire la possibilit de connecter
plusieurs instances ou blocs

Le port standard est relatif


Le flow port est relatif un flux de nature un vnement pisodique
physique, des donnes ou de lnergie. comme un bouton marche/arrt
Il peut tre atomique, cest--dire un seul
sens, ou composite, double sens

10 4 technologie 179 av r i l 2 012