Le SysML

Table des matires

I - La place du SysML dans le programme de STI2D II - Introduction III - Pourquoi l'UML ? IV - Nos graphes description actuels V - Inventaire des graphes SysML? VI - Que va nous apporter l'UML / le SysML ? VII - Prsentation de la Tamiya TT01 H-Cell VIII - Les diagrammes SysML de la voiture hybride IX - Les diagrammes du portail automatique X - Quel logiciel utiliser pour dessiner les graphes ? XI - Utilisation de Modelio XII - Installation du Module SysML de Modelio 5 7 9 13 17 21 25 27 37 41 43 45

Alain.charbonnel@ac-caen.fr

La place du SysML dans le programme de STI2D

I-

Le Terme SysML apparat 3 fois dans le programme, il a remplac l'UML qui tait dans le projet de programme.

Le SysML dans le programme STI2D Le guide d'accompagnement prcise l'usage du SysML et marque les limites.

Alain.charbonnel@ac-caen.fr

La place du SysML dans le programme de STI2D

L'approche SysML dans le programma STI2D

Alain.charbonnel@ac-caen.fr

II -

Introduction

II

UML et SysML
Nous avons 13 graphes UML (9 courament utiliss) 11 graphes SysML (8 courament utiliss) 4 graphes sont communs 6 graphes seulement en STI2D

13 graphes

Alain.charbonnel@ac-caen.fr

III -

Pourquoi l'UML ?

III

L'UML est un outil de conception fait au dpart pour les informaticiens, le SysML qui dcoule de l'UML est lui plus destin aux systmes mme s'il en reprend l'essentiel. Pour dcrire le fonctionnement d'un programme, l'informaticien dispose des outils de l'algorithmique.

Algorithmique et algorigramme Devant la complexit croissante des programmes informatiques, conus par plusieurs quipes, il a fallu trouver un outil de conception plus labor. La SADT a t une tape vers la description des systmes informatiques plus complexes mais elle a montr des limites.

SADT Devant la complexit croissante des programmes informatiques, conus par

Alain.charbonnel@ac-caen.fr

Pourquoi l'UML ?

plusieurs quipes, il a fallu trouver un outil de conception plus labor. L'UML est un outil de conception utilis principalement en informatique. Nous utiliserons SysML comme outil de description de systmes . UML : Unified Modeling Language (Langage de modlisation unifi) SysML : Systems Modeling Language (Langage de modlisation de systmes) L'UML ou le SysML sont "souples", on peut les utiliser pour dcrire tout ou partie d'un systme, d'un point de vue structurel (statique), d'interactions ou comportemental. Un handicap important est le manque de rfrences en description de systmes. Toutes les recherches sur Internet nous amnent sur des exemples en informatique et en anglais qui sont inadapts nos besoins.

Exemple UML compliqu Exemple de ce que l'on trouve L'implmentation des modles (classes, ...) se fait sous la forme de jeu d'artefacts. On dit qu'un artefact peut manifester, c'est--dire rsulter et implmenter, un ensemble d'lments de modle. On appelle manifestation la relation entre un lment de modle et l'artefact qui l'implmente. Graphiquement, une manifestation se reprsente par une relation de dpendance strotype manifest Une instance d'un artefact se dploie sur une instance de nud. Graphiquement, on utilise une relation de dpendance (flche en trait pointill) strotype deploy pointant vers le nud en question L'artefact peut aussi tre inclus directement dans le cube reprsentant le noeud En toute rigueur, seul des artefacts doivent tre dploys sur des nuds. Un composant doit donc tre manifest par un artefact qui, lui-mme, peut tre dploy sur un nud.

10

Alain.charbonnel@ac-caen.fr

Nos graphes description actuels

IV -

IV

La carte mentale
Pour mettre en page, organiser ses ides

La carte mentale

Le schma synoptique
Montrer "visuellement" l'architecture du systme

Le schma synoptique

Les diagrammes pieuvre et sagital

Pour montrer les interactions d'un systme avec son environnement

Diagramme pieuvre et sagital

Le diagramme fast

Alain.charbonnel@ac-caen.fr

11

Nos graphes description actuels

Pour montrer le matriel associ aux fonctions

Le diagramme fast

Le diagramme des classes d'quivalences et le graphe des liaisons

Pour reprsenter l'agencement d'un systme mcanique

Graphes des liaisons et d'quivalence

Le schma cinmatique
Pour reprsenter les liaisons dans un systme

Le schma cinmatique

Le schma fonctionnel
Pour reprsenter l'agencement des fonctions d'un systme

Le schma fonctionnel

Les chane d'nergie et chane d'information

Pour montrer les interactions des chanes d'nergie et d'information

Chanes d'information et d'nergie

L'algorithmique, l'algorigramme et le GRAFCET

12

Alain.charbonnel@ac-caen.fr

Nos graphes description actuels

Pour dcrire le fonctionnement d'un programme

Algorithme, algorigramme et grafcet

La SADT
Pour dcrire un systme du gnral au particulier

SADT

Le chronogramme
pour dcrire chronologiquement la variation de grandeurs physiques ou logiques Les chronogrammes

Alain.charbonnel@ac-caen.fr

13

Inventaire des graphes SysML?

V-

Que va nous apporter le SysML?

Les 8 graphes SysML

Le diagramme de cas d'utilisations

Montrer les interactions entre les acteurs extrieurs au systme et les fonctionnalits du systme

Diagramme de cas d'utilisation seul

Le recyclage ne se justifie ici que dans le cas d'un travail sur l'eco-conception

Le diagramme SysML de squence

Dcrire chronologiquement les changes de messages au sein d'un systme

Diagramme de squence seul

Le diagramme SysML d'tats-transitions

Dcrire le comportement interne d'un systme par les changements d'tats

Diagramme d'tats transitions de la Tamiya H-Cell

Alain.charbonnel@ac-caen.fr

15

Inventaire des graphes SysML?

Le diagramme SysML d'activit

Dcrire l'enchainement des actions pour une activit du systme

Diagramme d'activit seul

Le diagramme SysML de dfinition de bloc

Reprsenter un systme sous forme de blocs hirarchiss

Diagramme de dfinition de bloc seul

Le diagramme SysML de bloc interne

Montrer les liens entre les "ports" des diffrents blocs du systme

Diagramme de bloc interne seul

Le diagramme SysML des exigences

Montrer graphiquement les exigences auxquelles doit satisfaire un systme

Diagramme des exigences seul

Le diagramme SysML paramtrique

Modliser les diffrents blocs d'un systme

Diagramme paramtrique seul

16

Alain.charbonnel@ac-caen.fr

Que va nous apporter l'UML / le SysML ?

VI -

VI

Les catgories de graphes

Les graphes structurels qui dcrivent le systme de faon statique Les graphes comportementaux qui montrent le fonctionnement dynamique du systme Le graphe des exigences Le graphe de modlisation

Les catgories de graphes

Les graphes structurels La carte mentale Le diagramme pieuvre Le schma synoptique Le graphe des liaisons Le schma cinmatique Le schma fonctionnel Les chanes d'nergie et d'information Le diagramme fast La SADT Le diagramme SysML de dfinition de bloc Le diagramme SysML de bloc interne

Les catgories de graphes

Les graphes comportementaux L'algorigramme Le GRAFCET Les chronogrammes Le diagramme UML/SysML Le diagramme UML/SysML Le diagramme UML/SysML Le diagramme UML/SysML

de cas d'utilisation de squence d'tats-transitions d'activit

Les catgories de graphes

Le graphe des exigences

Alain.charbonnel@ac-caen.fr

17

Que va nous apporter l'UML / le SysML ?

Le graphe SysML des exigences (Le diagramme fast) Le graphe de modlisation Le graphe SysML paramtrique

Les catgories de graphes

Voici l'intrt de L'UML et du SysML, nous avions Peu d'outils pour dcrire le comportement des systmes. Pas d'outil pour dcrire les exigences du systme Pas d'outil pour modliser les systmes

Ensemble des graphes SysML

Bilan des graphes Sysml

Limitation des graphes SysML en STI2D

18

Alain.charbonnel@ac-caen.fr

Que va nous apporter l'UML / le SysML ?

Limitation des graphes Sysml en STI2D

Alain.charbonnel@ac-caen.fr

19

Prsentation de la Tamiya TT01 HCell

VII -

VII

La voiture radio-commande Tamiya TT01 H-Cell est une voiture hybride lectrique/hydrogne Elle dispose de deux sources d'nergie Une batterie NiMH de 1800mA.h sous 7.2V

Deux rservoir d'hydrogne de 10l chacun L'hydrogne est converti en nergie lectrique par un pile combustible de 30W Un gestionnaire d'nergie assure la gestion des nergies Une carte d'acquisition permet de mesurer les diffrents paramtres de fonctionnement

Photo de la Tamiya H-Cell

Schma synoptique

Alain.charbonnel@ac-caen.fr

21

Prsentation de la Tamiya TT01 H-Cell

Schma synoptique de la Tamiya H-Cell

22

Alain.charbonnel@ac-caen.fr

Les diagrammes SysML de la voiture hybride

VIII -

VIII

Le diagramme de cas d'utilisation

Il nous permet voir les actions des acteurs sur le systme. Les acteurs agissent sur le systme Ce graphe doit se limiter l'utilisation "normale" du systme Y montrer tout le cycle de vie semble inutile

Diagramme de cas de la H-cell

Le diagramme d'tat

Il nous permet voir les tats du systme selon les vnements. Il est amen remplacer le Grafcet Diagramme d'tat avec lgende

Le diagramme d'tat transition pour les mesures

Les diffrents tats du systme avec les transitions Il dcrit le comportement comme un GRAFCET

Alain.charbonnel@ac-caen.fr

23

Les diagrammes SysML de la voiture hybride

Diagramme d'tats transitions de la Tamiya H-Cell

Un diagramme d'tat transition comment

Diagramme d'tat comment

Le diagramme de squence

24

Alain.charbonnel@ac-caen.fr

Les diagrammes SysML de la voiture hybride

Chaque objet du systme dispose d'une ligne de vie avec des zones d'activit et de repos L'axe du temps va du haut Diagramme de squence avec lgende vers le bas Il nous permet voir les messages changs entre les lignes de vie chronologiquement. Les information changes entre les lignes de vis sont des messages

Diagramme de squence comment

Diagramme de squence comment

Diagramme de squence comment

Les boucles et les oprations correspondent ici des parties de programme.

Alain.charbonnel@ac-caen.fr

25

Les diagrammes SysML de la voiture hybride

Diagramme de squence comment suite

Le diagramme des exigences

Il nous informe sur les exigences auxquelles doit satisfaire le systme Il permet une organisation hirarchique des exigences et l'association avec les lments du modle

Diagramme des exigences seul

Le diagramme des exigences

Diffrents liens possibles

26

Alain.charbonnel@ac-caen.fr

Les diagrammes SysML de la voiture hybride

Diagramme des exigences comment

Le diagramme de dfinition de bloc

Il permet de dcouper le systme en entits distinctes Le systme est dcrit de faon hirarchique

Diagramme de dfinition de bloc seul

Le diagramme de dfinition de bloc

Alain.charbonnel@ac-caen.fr

27

Les diagrammes SysML de la voiture hybride

Les port sur les bloc reprsentent entres et sorties de flux Ces flux peuvent tre de toute nature Matire fluide, gaz, objet... diagramme de dfinition de bloc de la H-Cell Energie comment Electrique, mcanique... Information Logique, analogique...

Le diagramme de dfinition de bloc

Ici le diagramme est limit deux parties Les sources d'nergie La propulsion du vhicule Seulement les ports sont reprsents ici mais pas les flux entre les ports

Diagramme de dfinition de bloc de la Tamiya H-Cell

Le diagramme de bloc interne

28

Alain.charbonnel@ac-caen.fr

Les diagrammes SysML de la voiture hybride

Ce diagramme permet de dtailler un bloc et de montrer les flux internes Les flux sont clairement identifis avec un sens de circulation Des flux d'information (dt) Des flux d'nergies Diagramme de dfinition de bloc interne de (lectrique et mcanique) la Tamiya H-Cell Des flux de matire (gaz et liquides)

Le diagramme de bloc interne

Le diagramme de blocs internes doit permettre un lien assez direct avec la modlisation des systmes. Ce rle est plutt donn en gnral au diagramme paramtrique quil est exclu du champs STI2D.

Lien entre graphe bloc et simulation

Logiciel de modlisation Open-Modelica

Les flux d'nergie dans le systme

Les flux d'nergie varient au cours du temps dans le systme. Le diagramme de Sankey (non SysML) permet de montrer ses flux

Diagramme de Sankey

Comment montrer les variations des flux d'nergies

le diagramme de blocs internes va nous permettre galement de montrer la variation des flux d'nergie dans le systme

Alain.charbonnel@ac-caen.fr

29

Les diagrammes SysML de la voiture hybride

Chronogramme des changes d'nergie

Comment montrer les variations des flux d'nergies

Cas 1 : la pile combustible charge la batterie si la voiture est au repos

Flux d'nergie, la pile charge la batterie

Comment montrer les variations des flux d'nergies

Cas 2 : la pile combustible et la batterie alimentent la voiture Si le besoin de courant est important

30

Alain.charbonnel@ac-caen.fr

Les diagrammes SysML de la voiture hybride

Flux d'nergies pile et batterie vers moteur

Comment montrer les variations des flux d'nergies

Cas 3 : la pile combustible charge la batterie Elle alimente galement la voiture si le besoin en courant est faible

La pile alimente le moteur et charge la batterie

Alain.charbonnel@ac-caen.fr

31

Les diagrammes du portail automatique

IX -

IX

Diagramme de cas d'utilisation

Cet essai de diagramme a t mis en ligne Les visiteurs ont pu laisser leurs commentaires Il regroupe des erreurs ne pas faire

Diagramme de cas d'utilisation du portail

Diagramme d'tats transitions

Cet essai de diagramme a t corrig pour prendre en compte les remarques.

Alain.charbonnel@ac-caen.fr

33

Les diagrammes du portail automatique

Diagramme d'tat du portail automatique

Les commentaires des visiteurs

le diagramme de cas d'utilisation me semble "trop fonctionnel" (trop dtaill), en principe un cas d'utilisation groupe un ensemble de fonctionnalits similaire. par exemple : dplacer ventaux, dcoder signal sont des activits pas des cas d'utilisation habituellement on s'intresse uniquement l'application on ne mlange donc pas la pose et le fonctionnement "pas d'UC installation du portail et pas d'acteurs associs" mais plutt "configuration" pour le le second diagramme il a confusion entre vnement et garde (condition) L'installateur ne doit pas apparatre car il n'est pas l'utilisateur du systme. Un acteur est une entit ayant un comportement. Ce n'est pas le cas de l'nergie, obstacle, etc. A la rigueur en renommant "Obstacle" en "Dtecteur d'obstacle", a irai Ensuite concernant la dnomination des use cases, il n'y a pas de cohrence de point de vue. Ainsi "dtecter les obstacles" prend le point de vue du

34

Alain.charbonnel@ac-caen.fr

Les diagrammes du portail automatique

portail, alors que "Installer le portail" prends le point de vue de l'acteur. Il est d'usage de prendre le point de vue de l'acteur. Il faudrait modifier : * "Donner accs la proprit" en "grer l'accs la proprit", * "dtecter les obstacles" en "viter les dommages corporels et matriels", * etc. Ensuite, sur la forme, le mot "portail" ne devrait pas tre dans un cartouche mais centr. Enfin il manque le cartouche du diagramme pour tre un diagramme SysML. puisque nous devons utiliser cet outil dans le cadre de la formation STI "dd", que tout systme a une dure de vie et que "l'installation" y figure, ne faudrait-il pas y intgrer son "dmantlement" et sa "revalorisation" ? Glad I've finally found smeothing I agree with !

Alain.charbonnel@ac-caen.fr

35

Quel logiciel utiliser pour dessiner les graphes ?

X-

liste de logiciels

Visual Paradygm : en partie gratuit, lourd utiliser ArgoUML : libre, pas UML2, pas SysML Altova : TB, SysML, mais limit 30 jours Papyrus / Eclipse : libre, SysML, installation dlicate Modlio free : simple, gratuit, document en Franais, Avec un module SysMl, export au format .doc MagicDraw avec une licence de 3 mois renouvelable

Modelio

J'aurais tendance conseiller Modelio, il existe une version acadmique de Modelio galement gratuite, je ne sais pas ce qu'elle apporte par rapport la version gratuite en ligne, l'inconvnient est de devoir saisir des cls d'activation chaque anne. Toujours au sujet de modelio, il existe aussi un module Sysml J'ai galement dcouvert qu'il semble pouvoir fonctionner en version portable sans installation sur une cl ou en rseau Cela reste confirmer par des tests plus pousss. Il suffit de copier le dossier Modelio qui est dans Program Files. Il a aussi pour avantage une bonne documentation en Franais Son dfaut est de ne pas bien identifier un fichier de travail qui est par dfaut dans le profil Windows de l'utilisateur sous forme d'une arborescence de dossiers. Un projet doit donc tre sauvegard sous forme de fichier zip et dcompress dans le dossier Workspace de modlio Nous cherchons essentiellement un outil de dessin et de nombreuses fonctionnalits lies la programmation informatique ne nous sont pas utiles. On peut d'ailleurs utiliser n'importe quel outil de dessin pour faire des graphes Sysml, j'en ai fait avec OpenOffice Draw ce qui laisse beaucoup plus de libert graphique dans la mesure o nous n'avons pas de code gnrer. Cependant, l'avantage des outils ddis est d'imposer une rigueur d'criture et probablement une cohrence entre les diffrents graphes mais ce n'est pas vident.

Alain.charbonnel@ac-caen.fr

37

Utilisation de Modelio
XI -

XI

Installer Modelio
Tlcharger Modelio sur http://www.modeliosoft.com/fr/ ainsi que le module SysML

Tlcharger le logiciel Modelio

Le module SysML de Modelio

Alain.charbonnel@ac-caen.fr

39

Installation du Module SysML de Modelio

XII -

XII

L'installation du module SysML est un peu dlicate

Alain.charbonnel@ac-caen.fr

41

Installation du Module SysML de Modelio

Il faut dans un premier temps tlcharger l'archive sur le site Il faut ensuite lancer le logiciel Modelio Crer et ouvrir un nouveau projet Aller dans le menu MDA / Installer un module Aller chercher ensuite le fichier Installation du module SysML jmdac dans le dossier BIN fichier SysMLEngines.jmdac Vous disposez alors de la gnration de diagrammes SysML dans le menu contextuel

42

Alain.charbonnel@ac-caen.fr