Sysml4sti2d

SysML4STI2DUn aperu de SysML en STI2DLoc FejozIngnieur de recherche chez RTaWPour l'association SysML FranceCC-BY 2.0 FR SysML-France 2Objectifs 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 conceptionCC-BY 2.0 FR SysML-France 3Avertissement 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 utilesGeorge E. P. BoxCC-BY 2.0 FR SysML-France 4Complexit de la conception Quantit d'exigences normatives, environnementales, conomiques ou encore ergonomiques Compromis et comprhension inter-disciplines indispensables Innovation indispensableCC-BY 2.0 FR SysML-France 5Socits adhrentes SysML-FranceCC-BY 2.0 FR SysML-France 6Programme STI2D (extrait) comment et pourquoi de la conception Analyses multicritres Innovation technique Conception, exprimentation, dimensionnement Cycle de vie global Pdagogie de l'action dominante inductiveCC-BY 2.0 FR SysML-France 7SysML 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.3http://www.legifrance.gouv.fr/affichTexte.do;dateTexte=?cidTexte=JORFTEXT000023628542&categorieLien=cidCC-BY 2.0 FR SysML-France 8Ingnierie 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 anglaisCC-BY 2.0 FR SysML-France 9SysML 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!CC-BY 2.0 FR SysML-France 10SysML vs mthodesSysML 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 ...CC-BY 2.0 FR SysML-France 11Diagrammes SysMLCC-BY 2.0 FR SysML-France 12ExigencesCC-BY 2.0 FR SysML-France 13CC-BY 2.0 FR SysML-France 14CC-BY 2.0 FR SysML-France 15Cas 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.CC-BY 2.0 FR SysML-France 16Exigence cas d'utilisationCC-BY 2.0 FR SysML-France 17CC-BY 2.0 FR SysML-France 18CC-BY 2.0 FR SysML-France 19CC-BY 2.0 FR SysML-France 20CC-BY 2.0 FR SysML-France 21CC-BY 2.0 FR SysML-France 22CC-BY 2.0 FR SysML-France 23CC-BY 2.0 FR SysML-France 24CC-BY 2.0 FR SysML-France 25CC-BY 2.0 FR SysML-France 26CC-BY 2.0 FR SysML-France 27CC-BY 2.0 FR SysML-France 28CC-BY 2.0 FR SysML-France 29CC-BY 2.0 FR SysML-France 30CC-BY 2.0 FR SysML-France 31ComportementJusqu' 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.CC-BY 2.0 FR SysML-France 32Syntaxe principaledu diagramme d'tatState1entry / entryActivitydo / doActivityexit / exitActivitytrigger [guard]/activityVanne intelligente ouverteentry / logMsgOuverturedo / laisserCoulerLEauexit / logMsgFermetureonCallFermeture [not bloque]/logTransCC-BY 2.0 FR SysML-France 33CC-BY 2.0 FR SysML-France 34Diagramme paramtriqueLe 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!CC-BY 2.0 FR SysML-France 35Convertisseur D/ACC-BY 2.0 FR SysML-France 36Bibliographie 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, IBMCC-BY 2.0 FR SysML-France 37Merci pour votre attentionCC-BY 2.0 FR SysML-France 38Convention 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. CC-BY 2.0 FR SysML-France 39FAQ 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.CC-BY 2.0 FR SysML-France 40RvisionsVersion Auteur(s) volution Date0.1 Loc Fejoz Version initiale 10/11/20110.2 Loc Fejoz Intgration commentaires Pascal Roques 22/11/20110.3 Loc Fejoz Intgration commentaires Jean-Michel Bruel 23/11/20110.4 Loc Fejoz Liste des socits adhrentes SysML-FranceAjout des FlowSpecifications.06/12/2011CC-BY 2.0 FR SysML-France 41LicenceCette 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.comSlide 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