SysML : les diagrammes

DIDIER FAGNON, STPHANE GASTON [1]

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

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