Modlisation des systmes

Industriels avec SysML

Abdelouahed Sabri
abdelouahed.sabri@gmail.com
Introduction
2
SysML: Systems Modeling Language
Langage de modlisation spcifique au domaine de lIngnierie
Systme (IS)
Cest une adaptation du langage de modlisation UML (Unified
Modeling Language)
Il permet la spcification, l'analyse, la conception,
la vrification et la validation des systmes
Introduction: Ingnierie Systme
3
LIngnierie Systme (IS): (src wikipedia)
Est une approche permettant de formaliser et dapprhender la
conception de systmes
Systme: est un ensemble d'lments humains ou matriels
Les mthodes de lIngnierie Systme (IS) reposent sur
des approches de modlisation et de simulation pour
valider les exigences ou pour valuer le systme
L'ingnierie des systmes se concentre sur la dfinition
des besoins du client et des exigences fonctionnelles et
matrielles
Introduction: Modlisation
Modliser consiste en une simplification pour faciliter la
comprhension des systmes dvelopper
Un modle est:
Une reprsentation abstraite et simplifie d'une entit
(phnomne, processus, systme, etc.) du monde rel en vue
de le dcrire, de l'expliquer ou de le prvoir.
Un langage commun, prcis, qui est connu par tous les
membres de l'quipe et il est donc, ce titre, un vecteur
privilgi pour communiquer.
4
Introduction: Modlisation
Pourquoi Modliser???
Ltape de modlisation dun systme est gnralement ralise
avant sa ralisation pour mieux comprendre le fonctionnement
du systme. C'est aussi un bon moyen pour matriser sa
complexit et ainsi assurer sa cohrence.
Un modle permet de:
Produire un guide pour le dveloppement du systme
mieux rpartir les tches
d'automatiser certaines d'entre elles. C'est galement un facteur de
rduction des cots et des dlais.
Avoir un support documentaire du systme
Dfinir les structures de donnes ainsi que le comportement du
systme
Prdire et savoir comment va tre notre systme et ainsi le valider
vis--vis des clients
5
Introduction: Modlisation
Sur le modle:
doit ressembl au systme rel quon vise dvelopper
peut tre reprsent avec plusieurs niveaux de prcision
ne doit pas tre trs simple ni trop complexe
doit permettre sa modification et sa rutilisation
doit permettre un passage facile entre le niveau conceptuel et
limplmentation
6
Introduction: Modlisation
Les diffrentes mthodes de modlisation (avant
standardisation)
Mthodes de premire gnration: sont des mthodes fonctionnelles de
dcomposition hirarchique ou descendante.
Exemple: SADT (Structured Analysis and Design Technique).
Avantages: Clarification et une dcomposition analytique de la complexit dun
systme
Inconvnients: difficiles utiliser; Absence de reprsentation squentielle, absence
doprations logiques boolens et impossibilit d'une vue globale du systme
Mthodes de deuxime gnration : connues sous le nom de mthodes
systmiques.
Exemple: Merise, SSADM (Structured Systems Analysis and Design
Method)
Mthodes de troisime gnration ou mthodes objets: OMT (Object
Modeling Technique, 1991), Booch (1991), OOA (Object-Oriented
Analysis, 1992), OOD (object-oriented design), fusion (1991)
Exemples: UML SysML
7
Introduction: Modlisation
UML (Unified Modeling Language)
lUML a t prsent pour standardiser les mthodes de
modlisations dj prsentes sans standardiser le processus de
dveloppement.
UML est un langage de modlisation qui la fois comprhensible par
les humains (par les graphiques) et par les machines (sa syntaxe).
Une reprsentation visuelle permettant la communication entre les
acteurs d'un mme projet
Une notation graphique simple, comprhensible mme par des non
informaticiens
LUML nest pas dfinit comme une mthode mais un langage de
modlisation objet adopt pour toutes les mthodes Objet. Il est
considr comme une norme de modlisation.
LUML est un langage qui s'appuie sur un mtamodle, un modle de
plus haut niveau qui dfinit:
Les lments d'UML (les concepts utilisables)
Leur smantique (leur signification et leur mode d'utilisation).
8
Introduction
La modlisation UML est utilis pour :
Dcomposer le processus de dveloppement,
Mettre en relation les experts mtiers et les analystes,
Coordonner les quipes d'analyse et de conception,
Sparer l'analyse de la ralisation,
Prendre en compte l'volution de l'analyse et du
dveloppement,
9
UML: Formalisme du langage
Principe: tout systme est reprsentable sous forme de vues
partielles. La conjonction des vues permettra de donner une ide
totale et pratique
Ainsi, on peut se contenter de modliser partiellement un systme
et pas compltement modliser les parties qui sont critiques.
Le langage UML peut tre dcompos en deux sous
ensembles :
Les vues : Les vues sont les observables du systme. Elles dcrivent
le systme d'un point de vue donn.
En combinant toutes ces vues il est possible de dfinir (ou retrouver) le
systme complet.
Les diagrammes : Les diagrammes sont des lments graphiques.
dfinissant le contenu des vues, qui sont des notions abstraites
10
UML: Vues
11
En UML, la manire de dfinir une architecture dun
systme est inspir des 4+1 vues de Kruchten (1995).
Dans ces vues, Kruchten propose 5 faons indpendantes
et complmentaires pour dfinir un modle
d'architecture :
UML: Vues
12
Vue logique:
Cette vue explique comment peuvent tre satisfaits les besoins
des acteurs (c'est le COMMENT).
Cette vue organise aussi (selon des critres purement
logiques), les lments du domaine en catgories ce qui va
permettre de rpartir les tches dans les quipes, de regrouper
ce qui peut tre gnrique et disoler ce qui est propre une
version donne, etc...
UML: Vues
13
Vue d'implmentation
Vue de bas niveau, appele aussi vue de ralisation .
Sont rle est didentifier les modules qui ralisent
(physiquement) les classes de la vue logique
Elle permet l'allocation des lments de modlisation dans des
modules (fichiers sources, bibliothques dynamiques, bases de
donnes, excutables, etc...)
UML: Vues
14
Vue des processus
Cette vue est trs importante dans les environnements
multitches,
Cette vue exprime:
La dcomposition du systme en terme de processus (tches).
Les interactions entre les processus (leur communication).
La synchronisation et la communication des activits parallles
(threads).