Sysml4sti2d

SysML4STI2DUn aperu de SysML en STI2D
Loc FejozIngnieur de recherche chez RTaW
Pour l'association SysML France

CC-BY 2.0 FR SysML-France 2
Objectifs de la prsentation Donner un aperu (une intuition) de l'utilisation
de SysML en STI2D Donner quelques pistes de bonnes pratiques de
modlisation Introduire SysML selon l'ordre chronologique
d'utilisation lors d'une conception

Avertissement Les diagrammes de cette prsentation sont
rarement complets au sens SysML. Il y a souvent plusieurs faons de modliser un
mme systme.
Tous les modles sont faux,certains sont utiles
George E. P. Box

Complexit de la conception Quantit d'exigences normatives,
environnementales, conomiques ou encore ergonomiques
Compromis et comprhension inter-disciplines indispensables
Innovation indispensable

Socits adhrentes SysML-France

Programme STI2D (extrait) comment et pourquoi de la conception Analyses multicritres Innovation technique Conception, exprimentation, dimensionnement Cycle de vie global Pdagogie de l'action dominante inductive

SysML en STI2D Enseignements transversaux
Lecture et interprtation (par l'lve de 1re/T) de reprsentations symboliques des systmes ou sous-systmes simples.Cf CO4, 2.2.2
Spcialits SIN Imaginer une solution, rpondre un besoin (par
l'lve de 1re)cf CO7, 1.3
http://www.legifrance.gouv.fr/affichTexte.do;dateTexte=?cidTexte=JORFTEXT000023628542&categorieLien=cid

Ingnierie dirige par les ou bas modles (IDM1)
Habituellement: orient document La rponse une question sur le systme se trouve
dans un document Problme: maintenance de la cohrence
IDM: orient modle La rponse se trouve dans le modle (informatique) Avantage: facilite la maintenance et la cohrence
du modle1MDE ou MBSE en anglais

SysML Langage de modlisation de systmes techniques,
i.e. rgles syntaxiques et de bonnes formations de modles (reprsentations) de systme
Bas sur UML (modlisation de systmes informatiques)
Spcifie aussi des vues graphiques des modles ainsi crs.
Par abus de langage, on parle de langage graphique mais tout n'est pas graphiquement reprsentable!

SysML vs mthodes
SysML n'est pas une mthode! Avant SysML:
APTE SADT, SART, ...
Avec SysML: SysMOD (Tim Weilkiens) Rational Harmony for Systems Engineering (IBM) RFLP (Requirement Functional Logical Physical) OOSEM ...

Diagrammes SysML

Exigences

Cas d'utilisation - UseCases Ce n'est pas le diagramme des fonctions (de
services) principales! Il dcrit les principales utilisations du systme
par les parties prenantes ainsi que les systmes ou acteurs interagissant avec lui.
Il concerne toutes les phases du cycle de vie. Il apporte des dtails supplmentaires eu gard
aux exigences.

Exigence cas d'utilisation

Comportement
Jusqu' maintenant le comportement a trs peu t dcrit. Il existe trois diagrammes comportementaux: Diagramme d'activit; il est utilis pour dcrire ce
qui est fait (cf exemple des fonctions de service). Version moderne de l'organigramme.
Diagramme d'tat; il dcrit les tats, les transitions et les activits faites lors du franchissement.
Diagramme de squence; il dcrit des scnarios possibles et l'ordre chronologique relatif respecter entre les messages.

Syntaxe principaledu diagramme d'tat
State1
entry / entryActivitydo / doActivityexit / exitActivity
trigger [guard]/activity
Vanne intelligente ouverte
entry / logMsgOuverturedo / laisserCoulerLEauexit / logMsgFermeture
onCallFermeture [not bloque]/logTrans

Diagramme paramtrique
Le diagramme paramtrique permet de dcrire des contraintes entre proprits. Il est utilis pour:
la description de lois physiques des fins de simulation et
l'analyse multi-critres (moe mesure of effectiveness, etc).
NB: il a longtemps t sous-utilis car les outils ne permettaient pas de l'exploiter. Ce n'est plus le cas!

Convertisseur D/A

Bibliographie The Elements of UML(TM) 2.0 Style, Scott W. Ambler SysML par l'exemple, Pascal Roques Systems Engineering with SysML/UML, Tim Weilkiens Rational Harmony for Systems Engineering, Hans-
Peter Hoffmann, IBM

Merci pour votre attention

Convention Un cas d'utilisation (UseCase) reprsente une activit ; son nom doit donc tre un verbe l'infinitif. ex : installer
Une exigence (Requirement) prescriptive impose une condition ; son nom doit donc tre le nom de ce sur quoi porte la condition. ex : Vitesse d'essorage. De plus, soit on applique un strotype adhoc, soit on les places dans un package "PrescriptiveRequirements". La phrase doit commencer par "le systme doit...".
Une exigence descriptive prends le nom de ce qu'elle dcrit. De plus, soit on applique un strotype adhoc, soit on les places dans un package "DescriptiveRequirements". La phrase doit commencer par "le systme doit...".
Une activit (Activity) doit tre dcrit par un verbe.
Un bloc (Block) doit tre dcrit par un nom car il rprsente un objet. Le nom commence par une majuscule. Rationale : Un bloc reprsente un ensemble d'lments du monde rel. TODO rationale + cf uml elements of style
Un nom d'attribut commence par une minuscule et est toujours au singulier. Rationale : il n'y pas ainsi garder de cohrence entre le nom et la cardinalit.
La mission du systme est soit reprsent par un strotype adhoc, soit une exigence dont l'identifiant commence par M. Le temps de la phrase doit tre le prsent.
Un objectif (Goal) est soit reprsent par un strotype adhoc, soit par une exigence dont l'identifiant commence par G. Le temps de la phrase doit tre le conditionnel.
Plusieurs liens refine pointant un mme objet (Target) rprsentent des alternatives diffrentes. Un lien refine multisources indique que la conjonction ("et" logique) des sources est ncessaires pour assurer la cible.

FAQ
Vrification vs Validation?La vrification c'est tester que le systme construit est conforme la spcification ; la validation c'est tester que la spcification dcrit bien ce que l'on attendait.
CertificationL'OMG et l'INCOSE ont cre une certification validant la connaissance de SysML: OCSMP (OMG Certified Systems Modeling Professional.

Rvisions
Version Auteur(s) volution Date
0.1 Loc Fejoz Version initiale 10/11/2011
0.2 Loc Fejoz Intgration commentaires Pascal Roques 22/11/2011
0.3 Loc Fejoz Intgration commentaires Jean-Michel Bruel 23/11/2011
0.4 Loc Fejoz Liste des socits adhrentes SysML-FranceAjout des FlowSpecifications.
06/12/2011

Licence
Cette prsentation SysML4STI2D de SysML France est mise disposition selon les
termes de la licence Creative Commons Paternit 2.0 France.
Les autorisations au-del du champ de cette licence peuvent tre obtenues par mail
loic.fejoz@realtimeatwork.comhttp://www.sysml-france.fr http://www.realtimeatwork.com
Slide 1Slide 2Slide 3Slide 4Slide 5Slide 6Slide 7Slide 8Slide 9Slide 10Slide 11Slide 12Slide 13Slide 14Slide 15Slide 16Slide 17Slide 18Slide 19Slide 20Slide 21Slide 22Slide 23Slide 24Slide 25Slide 26Slide 27Slide 28Slide 29Slide 30Slide 31Slide 32Slide 33Slide 34Slide 35Slide 36Slide 37Slide 38Slide 39Slide 40Slide 41