View
8.036
Download
1
Embed Size (px)
DESCRIPTION
Introduction SysML dans le contexte du bac STI2D.
SysML4STI2DUn aperçu de SysML en STI2D
Loïc FejozIngénieur de recherche chez RTaW
Pour l'association SysML France
CC-BY 2.0 FR SysML-France 2
Objectifs de la présentation● Donner un aperçu (une intuition) de l'utilisation
de SysML en STI2D● Donner quelques pistes de bonnes pratiques de
modélisation● Introduire SysML selon l'ordre chronologique
d'utilisation lors d'une conception
CC-BY 2.0 FR SysML-France 3
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 4
Complexité de la conception● Quantité d'exigences normatives,
environnementales, économiques ou encore ergonomiques
● Compromis et compréhension inter-disciplines indispensables
● Innovation indispensable
CC-BY 2.0 FR SysML-France 5
Sociétés adhérentes SysML-France
CC-BY 2.0 FR SysML-France 6
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 l'action à dominante inductive
CC-BY 2.0 FR SysML-France 7
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.3
http://www.legifrance.gouv.fr/affichTexte.do;dateTexte=?cidTexte=JORFTEXT000023628542&categorieLien=cid
CC-BY 2.0 FR SysML-France 8
Ingénierie dirigée par les ou basé modèles (IDM1)
● 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èle1MDE ou MBSE en anglais
CC-BY 2.0 FR SysML-France 9
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 n'est pas graphiquement représentable !
CC-BY 2.0 FR SysML-France 10
SysML vs méthodes
SysML n'est 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 11
Diagrammes SysML
CC-BY 2.0 FR SysML-France 12
Exigences
CC-BY 2.0 FR SysML-France 13
CC-BY 2.0 FR SysML-France 14
CC-BY 2.0 FR SysML-France 15
Cas d'utilisation - UseCases● Ce n'est 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 16
Exigence – cas d'utilisation
CC-BY 2.0 FR SysML-France 17
CC-BY 2.0 FR SysML-France 18
CC-BY 2.0 FR SysML-France 19
CC-BY 2.0 FR SysML-France 20
CC-BY 2.0 FR SysML-France 21
CC-BY 2.0 FR SysML-France 22
CC-BY 2.0 FR SysML-France 23
CC-BY 2.0 FR SysML-France 24
CC-BY 2.0 FR SysML-France 25
CC-BY 2.0 FR SysML-France 26
CC-BY 2.0 FR SysML-France 27
CC-BY 2.0 FR SysML-France 28
CC-BY 2.0 FR SysML-France 29
CC-BY 2.0 FR SysML-France 30
CC-BY 2.0 FR SysML-France 31
Comportement
Jusqu'à maintenant le comportement a très peu été décrit. Il existe trois diagrammes comportementaux :● Diagramme d'activité ; il est utilisé pour décrire ce
qui est fait (cf exemple des fonctions de service). Version « moderne » de l'organigramme.
● 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 l'ordre chronologique relatif à respecter entre les messages.
CC-BY 2.0 FR SysML-France 32
Syntaxe principaledu diagramme d'état
State1
entry / entryActivitydo / doActivityexit / exitActivity
trigger [guard]/activity
Vanne intelligente ouverte
entry / logMsgOuverturedo / laisserCoulerLEauexit / logMsgFermeture
onCallFermeture [not bloquée]/logTrans
CC-BY 2.0 FR SysML-France 33
CC-BY 2.0 FR SysML-France 34
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
● l'analyse multi-critères (« 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 35
Convertisseur D/A
CC-BY 2.0 FR SysML-France 36
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
CC-BY 2.0 FR SysML-France 37
Merci pour votre attention
CC-BY 2.0 FR SysML-France 38
Convention● Un cas d'utilisation (UseCase) représente 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 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 qu'elle 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 d'attribut commence par une minuscule et est toujours au singulier. Rationale : il n'y 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 l'identifiant 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 l'identifiant 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 39
FAQ
● Vérification vs Validation ?La vérification c'est tester que le système construit est conforme à la spécification ; la validation c'est tester que la spécification décrit bien ce que l'on attendait.
● CertificationL'OMG et l'INCOSE ont créée une certification validant la connaissance de SysML : OCSMP (OMG Certified Systems Modeling Professional.
CC-BY 2.0 FR SysML-France 40
Révisions
Version Auteur(s) Évolution Date
0.1 Loïc Fejoz Version initiale 10/11/2011
0.2 Loïc Fejoz Intégration commentaires Pascal Roques 22/11/2011
0.3 Loïc Fejoz Intégration commentaires Jean-Michel Bruel 23/11/2011
0.4 Loïc Fejoz Liste des sociétés adhérentes SysML-FranceAjout des FlowSpecifications.
06/12/2011
CC-BY 2.0 FR SysML-France 41
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 à
[email protected]://www.sysml-france.fr http://www.realtimeatwork.com