Introduction SysML

Langage de modlisation graphique de systme

Lquipe de formateurs de lacadmie de ROUEN,

SysML ?

UML SysML

SysML est un langage de modlisation graphique driv d'UML

Ce langage va bien au del des problmatiques de l'informatique.

Comme UML, SysML nest pas une mthode.

Application du langage SysML sur un exemple
Spot motoris
Il doit permettre distance la
commande de lorientation de la
lumire afin de pouvoir clairer une
zone particulire dun tableau de
matre.

La demande mane de galeristes

dHonfleur, qui doivent souvent
rorienter leur clairage en
fonction des tableaux exposs
dans leurs galeries.
SysML , un langage de modlisation graphique

Produit tudi : 6 diagrammes permettant de le dcrire.

SysML est fait pour :

Spcifier les systmes.
Analyser la structure et le fonctionnement des systmes.
Dcrire les systmes et concevoir des systmes composs de sous systmes.
Vrifier et valider la faisabilit d'un systme avant sa ralisation.
SysML, lensemble des 9 diagrammes
Frontire dtude

Diagramme
dexigences

Diagramme Diagramme Diagramme Diagramme

Diagramme
dactivit dtat de dfinition de bloc
de package
de bloc interne

Diagramme Diagramme
de de cas
squence dutilisation

Diagramme
paramtrique

Diagrammes Diagrammes
comportementaux structurels
Ce qui est retenu en STI2D: 6 diagrammes
Frontire dtude

Diagramme
dexigences

Diagramme Diagramme Diagramme Diagramme

Diagramme
dactivit dtat de dfinition de bloc
de package
de bloc interne

Diagramme Diagramme
de de cas
squence dutilisation

Diagramme
paramtrique

Diagrammes Diagrammes
comportementaux structurels
Diagramme de cas dutilisation,
Frontire dtude

Diagramme
dexigences

Diagramme Diagramme Diagramme Diagramme

Diagramme
dactivit dtat de dfinition de bloc
de package
de bloc interne

Diagramme Diagramme
de de cas
squence dutilisation

Diagramme
paramtrique

Diagramme Diagramme
comportemental structurel
Diagramme de cas dutilisation
Lobjectif est de recenser les besoins clients et de dlimiter prcisment le
systme, en recherchant les acteurs, ceux qui ont des interactions avec lui,
et les cas dutilisation, ce quoi il sert.
 Uca [Modle] Modle spot lumineux , Diagramme des cas dutilisation
Spot motoris avec
tlcommande

Mettre sur Le march

le march

Respecter les Milieu

normes ambiant
environnementales

Tableau

Eclairer Acteurs
Utilisateur Energie matriels
Commander
les Support
mouvements -Plafond
Acteurs -mur
principaux Rgler
lorientation
du faisceau
lumineux
Installer Sol

Raliser la
maintenance Rsister une
chute sur le
sol
Installateur
Recycler
incluse
incluse Trier

Dmonter Recycleur
Acteurs secondaires
Le diagramme dexigence
Frontire dtude

Diagramme Diagramme Diagramme Diagramme

Diagramme
dactivit dtat de dfinition de bloc
de package
de bloc interne

Diagramme Diagramme
de de cas
squence dutilisation

Diagramme
paramtrique

Diagramme Diagramme
comportemental structurel
Le diagramme dexigences,
Il permet de reprsenter graphiquement les exigences.

Quest ce quune exigence?

Une exigence permet de spcifier une capacit ou une contrainte qui doit tre
satisfaite par un systme. Elle peut spcifier une fonction que le systme devra
raliser ou une condition de performance, de fiabilit, de scurit, etc.
Les exigences servent tablir un contrat entre le client et les ralisateurs du
futur systme.

Traduction en exigence

requirement
Exemple de fonction Rglage de lorientation
Id= 003
Orienter facilement le Text= On doit pouvoir
facilement orienter le spot
spot
Le diagramme dexigences, requirement
Rglage de lorientation
Id= 003
Text= On doit pouvoir
facilement orienter le spot
Priorit = haute
Li , inclus dans Problem Source = marketing
Il nest pas Risque = moyen
encore dcid Statut = valide
comment
dtecter les
Refine = ajouts de complments positions
extrmes

requirement requirement
Derivereqt = relier des exigences
de niveaux diffrents Gestion de llvation Gestion de lazimut
Id= 012 Id= 013
Text= On doit pouvoir Text= On doit pouvoir
Rational =justification rgler llvation du spot rgler lazimut du spot
Priorit = haute Priorit = haute
Source = marketing Source = marketing
Problem =problme rsoudre Risque = moyen Risque = moyen
Statut = valide Statut = valide
refine refine

requirement requirement
Rational
Gestion de llvation Gestion de lazimut Cette
amplitude est
Id= 014 Id= 015
suffisante
Text= lamplitude Text= lamplitude de pour
dlvation sera de 90 lazimut sera de 180 lapplication
demande.
Diagramme de squence
Frontire dtude

Diagramme
dexigence

Diagramme Diagramme Diagramme Diagramme

Diagramme
dactivit dtat de dfinition de bloc
de package
de bloc interne

Diagramme
de cas
dutilisation

Diagramme
paramtrique

Diagramme Diagramme
comportemental structurel
Diagramme de squence, (sd)
Les diagrammes de squence sont la reprsentation graphique des
interactions entre les acteurs et le systme selon un ordre
chronologique.

Temps

Synchrone

Asynchrone

Message de retour

Ligne de vie
Diagramme de dfinition de bloc (bdd)
Frontire dtude

Diagramme
dexigence

Diagramme Diagramme Diagramme

Diagramme
dactivit dtat de bloc
de package
interne

Diagramme Diagramme
de de cas
squence dutilisation

Diagramme
paramtrique

Diagramme Diagramme
comportemental structurel
 Diagramme de dfinition de bloc (bdd)
Permet de spcifier les caractristiques de
lenvironnement du systme ainsi system context
Context du spot lumineux
motoris

external
Galerie

0*

system
external external Utilisateur Spot lumineux motoris
Tableau Plafond/Mur value
value value 1* -Couleur: - couleur
Hauteur = m -Aspect: - chrom
external - vieilli
Nature = Prise lectrique
-Plaque de pltre Installer
-Pltre projet value Brancher
-Bton Voltage = 220-240 V Rgler
-Pierre naturelle Allumer le spot
-Brique Eteindre le spot
-Bois Dbrancher
Maintenir
Recycler
 ainsi que ses composants avec leurs caractristiques.

system
Spot lumineux motoris
value
-Couleur: - couleur
-Aspect: - chrom
Block - vieilli
Axe lvation
Installer
parts Brancher
Rgler
Allumer le spot
Block Eteindre le spot
Axe azimut Dbrancher
Maintenir
parts Recycler
block
Moteur
value Rationale
tension =V 0*
Solution
Puissance =W external retenue dans
Frquence de rotation= Accumulateurs de le cadre du
tr/min la tlcommande dveloppeme
Couple statique = nt durable.
mN.m value
Couple maxi = mN.m Tension = 1,2 V

On fait apparatre ici les diffrents composants des

sous-systmes.
Diagramme de bloc interne (ibd)
Frontire dtude

Diagramme
dexigence

Diagramme Diagramme Diagramme

Diagramme
dactivit dtat de dfinition
de package
de bloc

Diagramme Diagramme
de de cas
squence dutilisation

Diagramme
paramtrique

Diagramme Diagramme
comportemental structurel
Diagramme de bloc interne (ibd)
Le diagramme de bloc interne (ibd) permet de montrer les ports et la
nature des flux entre les diffrents acteurs et le systme ainsi que
external
:tableau
Projection: Maintien: flux
lumire dactions
mcaniques
system
: spot lumineux external
:plafond/mur
Rglage: motoris
lvation
0*

:Utilisateur
0*
m/a Lumire
Rglage:
azimut

alimentation: lectricit
rseau
prise: lectricit

external
: Prise
lectrique
 Diagramme de bloc interne (ibd)
ainsi qu entre les composants. Flux dinformation
Projection: Flux dnergie
Ibd [system] Spot lumineux motoris, lumire

block
Unit de
block traitement
Interface
HM Tlcommande block
lvation haut Axe Elvation

block

Projection:
block moteur

lumire
Ampoule
Interface block
HM transmettre
ur
lvation bas

block
Capteur e-
block
Convertisseur
Item flots
permettent
Courant continu
block de dfinir
Capteur e+
ce qui
alimentation: circule ainsi
lectricit rseau Courant alternatif I4
que le
sens.
Diagramme de squence
Frontire dtude

Diagramme
dexigence

Diagramme Diagramme Diagramme Diagramme

Diagramme
dactivit dtat de dfinition de bloc
de package
de bloc interne

Diagramme
de cas
dutilisation

Diagramme
paramtrique

Diagramme Diagramme
comportemental structurel
 composants du systme
Phase utilisation/rglage White box

Tl Unit de Axe
Axe azimut Ampoule
commande traitement dlvation
Utilisateur

Allumage

Info visuelle direct de la partie oprative

Commande
lvation +
Onde radio Mise en
nergie
Info visuelle direct de la partie oprative
Commande Spot en bute
lvation -
Onde radio Mise en
nergie
Info visuelle direct de la partie oprative
Spot en bute
Extinction
Info visuelle direct de la partie oprative
Diagramme dtats-transitions
Frontire dtude

Diagramme
dexigence

Diagramme Diagramme Diagramme

Diagramme
dactivit de dfinition de bloc
de package
de bloc interne

Diagramme Diagramme
de de cas
squence dutilisation

Diagramme
paramtrique

Diagramme Diagramme
comportemental structurel
Diagramme dtats-transitions
Les diagrammes d'tats-transitions permettent de dcrire les changements
d'tats d'un systme, en rponse aux interactions avec d'autres systmes ou
avec des acteurs.
CAG+BG
Compte-rendu
Mise sous
tension BG: bute gauche

BD: bute droite

CAG .BG Mouvement BH: bute haute
Spot en attente azimut
BB: Bute basse
gauche
CAD+BD
Ordres
Extinction
CAG: commande azimut
CAD .BD Mouvement gauche

azimut droit CAD: commande azimut

droite
CEH +BH
CEH: commande lvation
haute

CEH .BH Mouvement CEB: commande lvation

basse
lvation
haut
CEB +BB

Mouvement
CEB .BB
lvation
bas
 SYNOPTIQUE de la spcification dun systme en langage SysML
Entre

Limite de la
modlisation Diagramme
dun systme Diagramme
des cas
avec SysML en dexigences
STI2D dutilisation

Diagramme
de squence
Black box

Diagramme

comportementale
de dfinition
de bloc

Simulation
Diagramme Diagramme
Diagramme
dtats de bloc paramtrique
interne

Diagramme
de squence
White box
Livre(s) en franais

SysML par lexemple

Pascal Roques
Eyrolles

En Ebook

SysML : un profil UML2 pour

l'ingnierie systme Hubert
Kadima
Eyrolles
puis .