Spé. Lycée P. Mendès France Epinal. Modélisation fonctionnelle d'un système - SysML - Etudiant.docx 1/15

Documents pareils
Cycle de vie du logiciel. Unified Modeling Language UML. UML: définition. Développement Logiciel. Salima Hassas. Unified Modeling Language

basée sur le cours de Bertrand Legal, maître de conférences à l ENSEIRB Olivier Augereau Formation UML

UML (Paquetage) Unified Modeling Language

Chapitre I : le langage UML et le processus unifié

Université de Bangui. Modélisons en UML

3. SPÉCIFICATIONS DU LOGICIEL. de l'expression des besoins à la conception. Spécifications fonctionnelles Analyse fonctionnelle et méthodes

Cours STIM P8 TD 1 Génie Logiciel

uc : Cas d utilisation Top-Chair [Utilisation normale] Fauteuil Top-Chair Déplacer le fauteuil sur tous chemins «include» «include» «extend»

Les diagrammes de modélisation

Le Guide Pratique des Processus Métiers

UML (Diagramme de classes) Unified Modeling Language

Nom de l application

Analyse,, Conception des Systèmes Informatiques

RTDS G3. Emmanuel Gaudin

MEGA ITSM Accelerator. Guide de démarrage

Table des matières Sources

Extrait des Exploitations Pédagogiques

INITIATION AU LANGAGE C SUR PIC DE MICROSHIP

modélisation solide et dessin technique

KM2 W1 EVC1 M3~ Manuel AUTOMSIM API 24V. BP Dcy 1MINI 1MAXI.

Système à enseigner : Robot M.I.M.I. MultipodeIntelligent à Mobilité Interactive. Version 1.0

D AIDE À L EXPLOITATION

Qualité du logiciel: Méthodes de test

Bases de données. Chapitre 1. Introduction

MODELISATION UN ATELIER DE MODELISATION «RATIONAL ROSE»

Indications pour une progression au CM1 et au CM2

Ingénierie des Modèles. Méta-modélisation

Le Dessin Technique.

Architecture Orientée Service, JSON et API REST

UML Diagramme de communication (communication diagram) Emmanuel Pichon 2013

INF 1250 INTRODUCTION AUX BASES DE DONNÉES. Guide d étude

Le génie logiciel. maintenance de logiciels.

Anne Tasso. Java. Le livre de. premier langage. 10 e édition. Avec 109 exercices corrigés. Groupe Eyrolles, , ISBN :

IFT2255 : Génie logiciel

Conception, architecture et urbanisation des systèmes d information

Manuel d utilisation 26 juin Tâche à effectuer : écrire un algorithme 2

MEGA ITSM Accelerator. Guide de Démarrage

QUESTION 1 {2 points}

Sommaire. G. Pujolle, F. Ravat, C. Soulé-Dupuy, G. Zurfluh

C est quoi le SWAT? Les équipes décrites par James Martin s appellent SWAT : Skilled With Advanced Tools.

6 - Le système de gestion de fichiers F. Boyer, UJF-Laboratoire Lig, Fabienne.Boyer@imag.fr

Rappel sur les bases de données

Mini_guide_Isis_v6.doc le 10/02/2005 Page 1/15

Comparaison de trois techniques de modélisation de processus: ADONIS, OSSAD et UML

Générer du code à partir d une description de haut niveau

Sélection du contrôleur

Technologie Web. Conception de sites Web. Alexandre Pauchet. INSA Rouen - Département ASI. INSA - ASI TechnoWeb : Rappels UML 1/21

Master MIDO 2ème année. Spécification et Conception en UML Maude Manouvrier

DEVOIR MAISON : THEME : LES CLES DE CONTROLE. I. La clé des codes barres

Le Processus RUP. H. Kadima. Tester. Analyst. Performance Engineer. Database Administrator. Release Engineer. Project Leader. Designer / Developer

UE 8 Systèmes d information de gestion Le programme

Evolution et architecture des systèmes d'information, de l'internet. Impact sur les IDS. IDS2014, Nailloux 26-28/05/2014

NOM : Prénom : Date de naissance : Ecole : CM2 Palier 2

Génie Industriel et Maintenance

Utilisation de SysML pour la modélisation des réseaux de capteurs

PHP. Performances. Audit et optimisation LAMP. Julien Pauli. Cyril Pierre de Geyer. Guillaume Plessis. Préface d Armel Fauveau

Mini_guide_Isis.pdf le 23/09/2001 Page 1/14

URBANISME DES SYSTÈMES D INFORMATION

GOL502 Industries de services

Développement d un interpréteur OCL pour une machine virtuelle UML.

Annexe commune aux séries ES, L et S : boîtes et quantiles

EVALUATION Nombres CM1

6 ème. Rallye mathématique de la Sarthe 2013/ ère épreuve de qualification : Problèmes Jeudi 21 novembre 2013

Conception des systèmes répartis

Génie logiciel avec UML. Notions sur le langage UML adapté pour les cours du programme Techniques de l informatique

Adobe Illustrator Logiciel de dessin vectoriel et de Cartographie Assistée par Ordinateur

Initiation aux Sciences de l Ingénieur LIVRET DE SECONDE

Cours de Génie Logiciel

LES OUTILS DU TRAVAIL COLLABORATIF

2. Activités et Modèles de développement en Génie Logiciel

Conditions : stage indemnisé, aide au logement possible, transport CEA en Ile-de-France gratuit.

TBI et mathématique. Pour vous soutenir dans votre enseignement des mathématiques. Les outils du logiciel Notebook. les ressources internet

LA MAIN A LA PATE L électricité Cycle 3 L électricité.

Maîtriser les fonctionnalités d un traitement de texte (Word OpenOffice)

QUELQUES ÉLÉMENTS DU DÉVELOPPEMENT LOGICIEL

La Certification de la Sécurité des Automatismes de METEOR

Gé nié Logiciél Livré Blanc

Diplôme de Comptabilité et de Gestion. D é c r e t N d u 2 2 d é c e m b r e A r r ê t é d u 8 m a r s

ORIENTATIONS POUR LA CLASSE DE TROISIÈME

Guichet automatique de banque

Cours de Mécanique du point matériel

Méthodes d évolution de modèle produit dans les systèmes du type PLM

Cours 1 : Qu est-ce que la programmation?

L inégale répartition de l énergie solaire est à l origine des courants atmosphériques

S8 - INFORMATIQUE COMMERCIALE

Tux Paint. 1. Informations générales sur le logiciel. Auteur : Bill Kendrick et l équipe de développement de New Breed Software

Figure 1 : représentation des différents écarts

Plateforme AnaXagora. Guide d utilisation

Grandes lignes ASTRÉE. Logiciels critiques. Outils de certification classiques. Inspection manuelle. Definition. Test

Conception d'un système d'information WEB avec UML Par Ass SERGE KIKOBYA

Management des processus opérationnels

Logique binaire. Aujourd'hui, l'algèbre de Boole trouve de nombreuses applications en informatique et dans la conception des circuits électroniques.

ET 24 : Modèle de comportement d un système Boucles de programmation avec Labview.

COMMUNAUTE ECONOMIQUE ET MONETAIRE DE L AFRIQUE CENTRALE LA COMMISSION

1 Démarrer L écran Isis La boite à outils Mode principal Mode gadget Mode graphique...

Système de Gestion de Fichiers

Plateforme de capture et d analyse de sites Web AspirWeb

Programmation parallèle et distribuée

OMGL6 Dossier de Spécifications

Évaluation et implémentation des langages

Transcription:

Modélisation fonctionnelle d'un système - SysML - Etudiant.docx 1/15

SOMMAIRE I. Les diagrammes du langage SysML :... 3 II. Le diagramme d'éxigences (requirement diagram, Notation SysML: req) :... 3 a. Son rôle :... 3 b. Sa représentation graphique :... 4 c. Les relations au sein du diagramme des exigences :... 4 d. Conseils :... 5 e. Application à l'attelle de rééducation :... 5 III. Diagramme des cas d'utilisation : (use case diagram, Notation SysML: uc)... 6 a. Son rôle :... 6 b. Sa représentation graphique :... 6 c. Les relations au sein du diagramme :... 6 d. Conseils :... 6 e. Application à l'attelle de rééducation :... 7 IV. Diagrammes de définition de block : (Notation SysML : bdd).... 7 a. Leurs rôles :... 7 b. Leur représentation graphique :... 7 c. Les relations au sein du diagramme :... 8 d. Conseils :... 8 e. Application à l'attelle de rééducation :... 8 V. Diagramme de block interne : (Internal Block Diagram «ibd»)... 9 a. Son rôle :... 9 b. Sa représentation graphique :... 9 c. Les ports et les relations au sein du diagramme :... 10 d. Conseils :... 10 e. Application à l'attelle de rééducation :... 10 VI. Le diagramme de séquence : (Sequence Diagram «SD»)... 10 a. Son rôle :... 10 b. Sa représentation graphique :... 11 c. Les liens et conditions dans le diagramme :... 11 d. Application à l'attelle de rééducation :... 12 VII. Le diagramme d'états (STate Machine «STM»)... 12 a. Son rôle :... 12 b. Sa représentation graphique :... 12 c. La symbolique du diagramme :... 13 d. Application à l'attelle de rééducation :... 13 VIII. Le diagramme paramétrique :... 14 a. Son rôle :... 14 b. Sa représentation graphique :... 14 IX. Synthèse :... 15 Modélisation fonctionnelle d'un système - SysML - Etudiant.docx 2/15

- LE LANGAGE SYSML - Le langage SysML (Systems Modeling Language) est fait pour : Analyser la structure et le fonctionnement des systèmes. Décrire et concevoir les systèmes. Vérifier et valider la faisabilité d'un système avant sa réalisation. SysML permet de «représenter» et «communiquer» sous forme de blocs ou diagrammes les divers aspects d un système : Diagrammes structurels : représentation statique du système (définition des matériels mis en œuvre). Diagrammes comportementaux : représentation dynamique du système (cycle de fonctionnement de la machine). Diagrammes d exigences : mettent en évidence l expression des besoins liés au système et à ses fonctionnalités. Ces diagrammes ne sont pas indépendants les uns des autres. Les données qui les constituent sont des objets informatiques munis de propriétés cohérentes, aussi ce langage ne prend toute sa signification qu'avec un support informatique qui assure la cohérence entre les différentes données introduites dans les diagrammes. On peut ainsi obtenir un système virtuel testable. I. LES DIAGRAMMES DU LANGAGE SYSML : SysML est aussi une méthode de conception, les diagrammes sont donc ordonnés. La première action consiste à traduire le besoin fonctionnel en exigences en s'appuyant sur le cahier des charges. En sciences de l'ingénieur on effectuera des analyse de systèmes, on comparera donc le système modélisé par le langage SysML avec le système réel. II. LE DIAGRAMME D'EXIGENCES (REQUIREMENT DIAGRAM, NOTATION SYSML: REQ) : a. Son rôle : Il décrit les exigences du cahier des charges fonctionnel. Une exigence exprime une capacité ou une contrainte à satisfaire par un système. Elle peut exprimer une fonction que devra réaliser le système ou une condition de performance technique, physique, de sécurité, de fiabilité, d ergonomie, d esthétisme Les exigences servent à établir un contrat entre le client et les réalisateurs du futur système. Modélisation fonctionnelle d'un système - SysML - Etudiant.docx 3/15

b. Sa représentation graphique : Exemple de la bouilloire électrique : On indique l exigence du système dans le premier rectangle, avec un texte descriptif et un identifiant unique. On décompose cette exigence en exigences unitaires On peut ajouter des données quantitatives et des précisions c. Les relations au sein du diagramme des exigences : Lien de contenance : L exigence située du côté du cercle avec la croix, contient l exigence (plus détaillée) placée à l autre extrémité. Lien de dérivation "derive" ou "derivereqt" : Il exprime un lien entre 2 exigences de niveaux différents. Celle située à l origine de la flèche découle (sans y être contenue) de l exigence pointée pour exprimer une cohérence du système. Il implique généralement un choix d architecture. Lien de raffinement "refine" : Il précise, souvent par des données quantitatives, l exigence pointée par la flèche. Lien de solution "satisfy" : Il précise le composant satisfaisant l exigence pointée par la flèche. Modélisation fonctionnelle d'un système - SysML - Etudiant.docx 4/15

d. Conseils : Ne pas chercher à poser toutes les exigences pour rester lisible. Réaliser plusieurs diagrammes d'exigences si nécessaire, regrouper les exigences techniques sur un seul diagramme par exemple, puis les autres groupes d'exigences sur d'autres diagrammes. e. Application à l'attelle de rééducation : En vous appuyant sur le travail réalisé dans le chapitre de l'analyse fonctionnelle complété le diagramme ci-dessous : Modélisation fonctionnelle d'un système - SysML - Etudiant.docx 5/15

III. DIAGRAMME DES CAS D'UTILISATION : (USE CASE DIAGRAM, NOTATION SYSML: UC) a. Son rôle : Il montre les interactions fonctionnelles des acteurs et du système d étude. Il délimite précisément le système, décrit ce que fera le système sans spécifier comment (et non ce que fera l utilisateur). Il exprime les services (use cases) offert par le système aux utilisateurs (actors). b. Sa représentation graphique : On trace un cadre délimitant le système et contenant un ensemble de séquences d actions (Elles peuvent aussi être liées entre elles). A gauche on place les acteurs humains à droite les acteurs non humains (un acteur non humain est représenté par un rectangle). On décrit les actions réalisables par le système (les services rendus par le système aux acteurs, sous forme de verbe à l infinitif plus compléments) Les acteurs peuvent être reliés entre eux soit par une flèche bidirectionnelle (chaque acteur agit sur l autre) soit par une flèche unidirectionnelle (un acteur agit sur l autre) Exemple de la bouilloire électrique : c. Les relations au sein du diagramme : Lien d'extension "extend" : Le cas d utilisation de base peut (option) incorporer celui placé à l origine de la flèche. Lien d'inclusion " include" : Le cas d utilisation de base incorpore systématiquement celui placé à l extrémité de la flèche. Lien de spécialisation/généralisation : Ils relient des cas d utilisation descendants qui héritent de la description d un cas d utilisation supérieur (parent commun). d. Conseils : Ce diagramme ne doit indiquer ni la manière dont il va assurer les services, ni les solutions technologique envisagées. Plusieurs diagramme d utilisation peuvent être établis pour un système afin d en améliorer la compréhension. Modélisation fonctionnelle d'un système - SysML - Etudiant.docx 6/15

e. Application à l'attelle de rééducation : Compléter le diagramme ci-dessous : IV. DIAGRAMMES DE DEFINITION DE BLOCK : (NOTATION SYSML : BDD). BDD du contexte : BDD du système : a. Leurs rôles : Il définit le système dans son environnement (éléments humains et matériels qui interagissent avec lui) Il définit l architecture matérielle et logicielle globale du système sous une représentation arborescente de blocs. Chacun d eux se limite à la définition d une famille (classe) de composants principaux. b. Leur représentation graphique : Le bloc SysML («block») constitue la brique de base pour la modélisation de la structure d un système. Ce bloc peut représenter un système complet, un sous-système ou un composant élémentaire. Modélisation fonctionnelle d'un système - SysML - Etudiant.docx 7/15

Exemple de la bouilloire électrique : BDD contexte c. Les relations au sein du diagramme : BDD Système Lien de spécialisation/généralisation : Ils relient des cas d utilisation descendants qui héritent de la description d un cas d utilisation supérieur (parent commun). Relation d'association : Ce simple trait exprime un lien d égal à égal qui permet souvent de relier le contexte au système étudié. Relation de composition : Le bloc situé du côté du losange plein a besoin d un sous-bloc coté flèche. Sa lecture :.. possède un. Relation d agrégation : Relation similaire au lien de composition mais qui revêt un caractère optionnel. Sa lecture :.. peut avoir un. d. Conseils : Un BDD ne décrit ni les fonctions, ni le comportement du système. Ce diagramme est utile pour montrer les grosses briques du système. Il n'est pas obligatoire de faire apparaître les propriétés et les opérations dans chaque bloc, ainsi il offre d un coup d'œil la structure du système. e. Application à l'attelle de rééducation : BDD contexte Modélisation fonctionnelle d'un système - SysML - Etudiant.docx 8/15

Compléter le diagramme ci-dessous : V. DIAGRAMME DE BLOCK INTERNE : (INTERNAL BLOCK DIAGRAM «IBD»). a. Son rôle : Il décrit la structure interne d un bloc issu du BDD, c'est-à-dire ses composants et les échanges (flux de matière, d énergie ou d information) entre les blocs internes. b. Sa représentation graphique : Exemple de la bouilloire électrique: Modélisation fonctionnelle d'un système - SysML - Etudiant.docx 9/15

c. Les ports et les relations au sein du diagramme : Le port de flux : Cette interface autorise l entrée et/ou la sortie du flux (matière, énergie, information) vis-à-vis d un block. Elle possède au moins un sens, son nom est facultatif. Le port standard : Représente une interface qui n est pas liée à un flux mais à un service, une opération, une consigne ou un ordre de commande. Le connecteur : Ce lien relie deux ports. En cas de flux, sa nature peut être précisée. d. Conseils : Il faut bien retenir que les liens se représentent entre blocs de même niveau, ils ne se contiennent pas. Chaque bloc du BDD contenant d'autres blocs peut être représenté par un IBD. Attention à bien faire la différence entre port de commande et port de flux. e. Application à l'attelle de rééducation : Compléter les flux d'énergie du diagramme ci-dessous : VI. LE DIAGRAMME DE SEQUENCE : (SEQUENCE DIAGRAM «SD»). a. Son rôle : Il sert à décrire comment le système va remplir son contrat au niveau d un cas d utilisation. Il permet de décrire l enchainement séquentiel des interactions. Cela permet donc de montrer comment le système se comporte dans des scénarios de réussite comme dans des scénarios d échec. En règle générale, on en écrira donc plusieurs. C est un diagramme comportemental. Modélisation fonctionnelle d'un système - SysML - Etudiant.docx 10/15

b. Sa représentation graphique : Chaque élément situé dans le haut du diagramme est un objet ou constituant pris comme boite noire. Les lignes verticales en pointillés sont des lignes de vie (ici il y en a 5). Elles représentent le temps sans qu il y ait une échelle. Les rectangles superposés dessus désignent l activité de l objet. Exemple de la bouilloire électrique : c. Les liens et conditions dans le diagramme : Les lignes horizontales entre objets sont des «messages». Les messages étant des signaux, des évènements ou des invocations d opérations. Ils sont de deux types : Les messages synchrones : L émetteur attend une réponse suite à son message. Il ne fait donc rien entre l émission et la réception de la réponse. C est donc bloquant pour l émetteur. Il y a forcément un retour de ce message (puisqu il est synchrone) représenté par une flèche en pointillés. Les messages asynchrones : L émetteur envoie son message sans attendre de réponse en retour. Les types de conditions, dans un fragment combiné, sont : Type «Alt» : Indique une alternative. Suivant la condition, l une ou l autre alternative sera réalisée. Type «Loop» : Indique que ce qui est dans le fragment combiné est réalisé en boucle tant que la condition de garde est vraie. Type «Opt» : Indique que les interactions contenues dans le fragment ne seront réalisées que si la condition de garde est vérifiée. Modélisation fonctionnelle d'un système - SysML - Etudiant.docx 11/15

d. Application à l'attelle de rééducation : A partir du diagramme ci-dessous, expliquer la manipulation à effectuer pour interrompre un cycle de rééducation. VII. LE DIAGRAMME D'ET (STATE MACHINE «STM»). a. Son rôle : Il décrit les états que peut prendre le système et les transitions qui régissent les changements d états. b. Sa représentation graphique : Exemple de la bouilloire électrique : Modélisation fonctionnelle d'un système - SysML - Etudiant.docx 12/15

c. La symbolique du diagramme : Etat initial : Représente le moment initial. Etat final : Représente le moment final. Etat : Représente un moment spécifique du comportement d un objet qui correspond à une séquence = entrée phase active (ou attente) sortie. Transition : Représentée par une flèche, elle constitue en changement d état allant d un état source à un état cible. Un état est actif lorsqu une transition y mène et devient inactif lorsqu une transition le quitte. Un évènement provoquant la transition peut être écrit à côté de la flèche de transition mais ce n est pas obligatoire. d. Application à l'attelle de rééducation : Sur le diagramme ci-dessous, compléter les évènements après l'état "Effectuer une extension et mesurer angle". Modélisation fonctionnelle d'un système - SysML - Etudiant.docx 13/15

VIII. LE DIAGRAMME PARAMETRIQUE : a. Son rôle : Représenter un ensemble d équations modélisant tout ou partie d un système à fin de simulation dynamique. b. Sa représentation graphique : En s'appuyant sur un diagramme de définition de block, on réalise un diagramme paramétrique qui réalise l assemblage des équations et donne des valeurs pour établir un modèle mathématique du système. Le résultat pourra être interfacé avec un solveur mathématique. Exemple du principe fondamental de la dynamique en translation : Diagramme de définition de block nécessaire : Les variables (nommées parameters) et les relations mathématiques (appelées constraints) sont définies dans un BDD. Diagramme paramétrique associé : Modélisation fonctionnelle d'un système - SysML - Etudiant.docx 14/15

IX. SYNTHESE : Quels sont les acteurs et éléments environnants à mon système? Traduction du cahier des charges sous forme d une décomposition en exigences. Diagramme des exigences Diagramme de contexte Diagramme de cas d'utilisation Quels services rend le système? Diagramme de séquence Comment est réalisé ce cas d utilisation (décrit par au moins un diagramme de séquence)? Qui contient quoi? Modélise des équations. Diagramme paramétrique Diagramme de définition de blocs Diagramme de bloc interne Représente les échanges de matière/information/énergie entre blocs. Diagramme d'états Comment représenter les différents états du système? Légendes : Diagrammes comportement aux Diagramme des charges Diagrammes structurels Modélisation fonctionnelle d'un système - SysML - Etudiant.docx 15/15