Sysml4sti2d

SysML4STI2D Un aperçu de SysML en STI2D Loïc FejozIngénieur de recherche chez RTaW Pour lassociation SysML France

Objectifs de la présentation● Donner un aperçu (une intuition) de lutilisation de SysML en STI2D● Donner quelques pistes de bonnes pratiques de modélisation● Introduire SysML selon lordre chronologique dutilisation lors dune conception CC-BY 2.0 FR SysML-France 2

Avertissement● Les diagrammes de cette présentation sont rarement complets au sens SysML.● Il y a souvent plusieurs façons de modéliser un même système. « Tous les modèles sont faux, certains sont utiles » George E. P. Box CC-BY 2.0 FR SysML-France 3

Complexité de la conception● Quantité dexigences normatives, environnementales, économiques ou encore ergonomiques● Compromis et compréhension inter-disciplines indispensables● Innovation indispensable CC-BY 2.0 FR SysML-France 4

Sociétés adhérentes SysML-France CC-BY 2.0 FR SysML-France 5

Programme STI2D (extrait)● « comment » et « pourquoi » de la conception● Analyses multicritères● Innovation technique● Conception, expérimentation, dimensionnement● Cycle de vie global● Pédagogie de laction à dominante inductive CC-BY 2.0 FR SysML-France 6

SysML en STI2D ● Enseignements transversaux ● Lecture et interprétation (par lélève de 1re/T) de représentations symboliques des systèmes ou sous-systèmes simples. Cf CO4, §2.2.2 ● Spécialités SIN ● Imaginer une solution, répondre à un besoin (par lélève de 1re) cf CO7, §1.3http://www.legifrance.gouv.fr/affichTexte.do;dateTexte=?cidTexte=JORFTEXT000023628542&categorieLien=cid CC-BY 2.0 FR SysML-France 7

Ingénierie dirigée par les ou basé 1 modèles (IDM )● Habituellement : orienté document ● La réponse à une question sur le système se trouve dans un document ● Problème : maintenance de la cohérence● IDM : orienté modèle ● La réponse se trouve dans le modèle (informatique) ● Avantage : facilite la maintenance et la cohérence du modèle 1 MDE ou MBSE en anglais CC-BY 2.0 FR SysML-France 8

SysML● Langage de modélisation de systèmes techniques, i.e. règles syntaxiques et de bonnes formations de modèles (représentations) de système● Basé sur UML (modélisation de systèmes informatiques)● Spécifie aussi des vues graphiques des modèles ainsi créés.● Par abus de langage, on parle de langage graphique mais tout nest pas graphiquement représentable ! CC-BY 2.0 FR SysML-France 9

SysML vs méthodes SysML nest pas une méthode !● 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 10

Diagrammes SysML CC-BY 2.0 FR SysML-France 11

ExigencesCC-BY 2.0 FR SysML-France 12

CC-BY 2.0 FR SysML-France 13

Cas dutilisation - UseCases● Ce nest pas le diagramme des fonctions (de services) principales !● Il décrit les principales utilisations du système par les parties prenantes ainsi que les systèmes ou acteurs interagissant avec lui.● Il concerne toutes les phases du cycle de vie.● Il apporte des détails supplémentaires eu égard aux exigences. CC-BY 2.0 FR SysML-France 15

Exigence – cas dutilisation CC-BY 2.0 FR SysML-France 16

ComportementJusquà maintenant le comportement a très peuété décrit. Il existe trois diagrammescomportementaux :● Diagramme dactivité ; il est utilisé pour décrire ce qui est fait (cf exemple des fonctions de service). Version « moderne » de lorganigramme.● Diagramme détat ; il décrit les états, les transitions et les activités faites lors du franchissement.● Diagramme de séquence ; il décrit des scénarios possibles et lordre chronologique relatif à respecter entre les messages. CC-BY 2.0 FR SysML-France 31

Syntaxe principale du diagramme détat State1 trigger [guard]/activityentry / entryActivitydo / doActivityexit / exitActivityVanne intelligente ouverte onCallFermeture [not bloquée]/logTransentry / logMsgOuverturedo / laisserCoulerLEauexit / logMsgFermeture CC-BY 2.0 FR SysML-France 32

Diagramme paramétrique Le diagramme paramétrique permet de décrire des contraintes entre propriétés. Il est utilisé pour :● la description de lois physiques à des fins de simulation et● lanalyse multi-critères (« moe » mesure of effectiveness, etc). NB : il a longtemps été sous-utilisé car les outils ne permettaient pas de lexploiter. Ce nest plus le cas ! CC-BY 2.0 FR SysML-France 34

Convertisseur D/A CC-BY 2.0 FR SysML-France 35

Bibliographie● The Elements of UML(TM) 2.0 Style, Scott W. Ambler● SysML par lexemple, Pascal Roques● Systems Engineering with SysML/UML, Tim Weilkiens● Rational Harmony for Systems Engineering, Hans- Peter Hoffmann, IBM CC-BY 2.0 FR SysML-France 36

Merci pour votre attention CC-BY 2.0 FR SysML-France 37

Convention● Un cas dutilisation (UseCase) représente une activité ; son nom doit donc être un verbe à linfinitif. 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 dessorage. De plus, soit on applique un stéréotype adhoc, soit on les places dans un package "PrescriptiveRequirements". La phrase doit commencer par "le système doit...".● Une exigence descriptive prends le nom de ce quelle décrit. De plus, soit on applique un stéréotype adhoc, soit on les places dans un package "DescriptiveRequirements". La phrase doit commencer par "le système doit...".● Une activité (Activity) doit être décrit par un verbe.● Un bloc (Block) doit être décrit par un nom car il réprésente un objet. Le nom commence par une majuscule. Rationale : Un bloc représente un ensemble déléments du monde réel. TODO rationale + cf uml elements of style● Un nom dattribut commence par une minuscule et est toujours au singulier. Rationale : il ny pas ainsi à garder de cohérence entre le nom et la cardinalité.● La mission du système est soit représenté par un stéréotype adhoc, soit une exigence dont lidentifiant commence par M. Le temps de la phrase doit être le présent.● Un objectif (Goal) est soit représenté par un stéréotype adhoc, soit par une exigence dont lidentifiant commence par G. Le temps de la phrase doit être le conditionnel.● Plusieurs liens «refine» pointant un même objet (Target) réprésentent des alternatives différentes. Un lien «refine» multisources indique que la conjonction ("et" logique) des sources est nécessaires pour assurer la cible. CC-BY 2.0 FR SysML-France 38

FAQ● Vérification vs Validation ? La vérification cest tester que le système construit est conforme à la spécification ; la validation cest tester que la spécification décrit bien ce que lon attendait.● Certification LOMG et lINCOSE ont créée une certification validant la connaissance de SysML : OCSMP (OMG Certified Systems Modeling Professional. CC-BY 2.0 FR SysML-France 39

Révisions Version Auteur(s) Évolution Date0.1 Loïc Fejoz Version initiale 10/11/20110.2 Loïc Fejoz Intégration commentaires Pascal Roques 22/11/20110.3 Loïc Fejoz Intégration commentaires Jean-Michel Bruel 23/11/20110.4 Loïc Fejoz Liste des sociétés adhérentes SysML-France 06/12/2011 Ajout des FlowSpecifications. CC-BY 2.0 FR SysML-France 40

Licence Cette présentation « 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 CC-BY 2.0 FR SysML-France 41

http://sysmlfrance.blogspot.com	777
http://sysmlfrance.blogspot.fr	366
http://www.blogger.com	11
http://www.yatedo.fr	4
http://www.sysmlfrance.blogspot.fr	3
http://sysmlfrance.blogspot.de	2
http://www.sysmlfrance.blogspot.com	1
http://sysmlfrance.blogspot.co.uk	1
http://sysmlfrance.blogspot.in	1

Sysml4sti2d

by RealTime-at-Work SARL on Dec 06, 2011

Accessibility

Categories

Tags

Upload Details

Usage Rights

9 Embeds 1,166

Statistics

Sysml4sti2d — Presentation Transcript