Introduction à SysML SYStems Modeling Language. Langage de modélisation graphique de systèmes

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

Formation des enseignants. Le tensiomètre. Objet technique modélisable issu de l environnement des élèves

IFT2255 : Génie logiciel

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

UNIVERSITE D'ORLEANS ISSOUDUN CHATEAUROUX

RTDS G3. Emmanuel Gaudin

Analyse,, Conception des Systèmes Informatiques

UML (Paquetage) Unified Modeling Language

Modèles système, modèles logiciel et modèles de code dans les applications spatiales

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

Chapitre I : le langage UML et le processus unifié

Besoins utilisateurs. Quelle démarche pour passer des besoins au code? Code. chapitre1 UNIFIED MODELING LANGUAGE. package LogiqueMetier.

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

La démarche MDA. Auteur : Projet ACCORD (Assemblage de composants par contrats en environnement ouvert et réparti)*

Conception, architecture et urbanisation des systèmes d information

Résumé CONCEPTEUR, INTEGRATEUR, OPERATEUR DE SYSTEMES CRITIQUES

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

Intelligence Artificielle Planification

Extrait des Exploitations Pédagogiques

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

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

Programme «Analyste Programmeur» Diplôme d état : «Développeur Informatique» Homologué au niveau III (Bac+2) (JO N 176 du 1 août 2003) (34 semaines)

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

Cours Base de données relationnelles. M. Boughanem, IUP STRI

Cours en ligne Développement Java pour le web

Ministère de l'économie, de l'industrie et de l'emploi TIC&PME 2010 Journée Bilan & perspecaves 14 octobre 2010

Formation : Modélisation avec UML 2.0 et Mise en pratique

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

Projet Active Object

Description de la formation

Vers un outil d aide à la gestion des risques dans les chaînes logistiques : les bases conceptuelles

TRANSPORT ET LOGISTIQUE :

Information. BASES LITTERAIRES Etre capable de répondre à une question du type «la valeur trouvée respecte t-elle le cahier des charges?

Projet 2. Gestion des services enseignants CENTRE D ENSEIGNEMENT ET DE RECHERCHE EN INFORMATIQUE. G r o u p e :

Joint AAL Information and Networking Day. 21 mars 2012

H Conception et dessin produits mécaniques

Synergies entre Artisan Studio et outils PLM

Solutions industrielles pour l ingénierie des systèmes complexes

lancent la Chaire SIRIUS :

Intégration de produits mécatroniques au sein d un système PLM

Méthodologie de conception d un produit mécatronique

UML Diagramme de communication (communication diagram) Emmanuel Pichon 2013

Extensions à la formation. Laurent Pérochon, avril 2008, RMT Modelia, modélisation conceptuelle, formation UML, INRA Castanet Tolosan

Les diagrammes de modélisation

Parcours de formation des enseignants

Présentation du processus d accréditation Nadcap

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

RAPPORT DE CONCEPTION UML :

CC30 Certificat de compétence Conception, développement et animation de sites Web

UML est-il soluble dans les méthodes agiles?

Standardisation et interopérabilité

JOURNEES SYSTEMES & LOGICIELS CRITIQUES le 14/11/2000. Mise en Œuvre des techniques synchrones pour des applications industrielles

UE 8 Systèmes d information de gestion Le programme

Business Process Modeling (BPM)

Évaluation et implémentation des langages

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

Bases de données Outils de gestion

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

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

Le Futur de la Visualisation d Information. Jean-Daniel Fekete Projet in situ INRIA Futurs

Conception et Intégration de Systèmes Critiques

Réussir la modélisation UML des phases amont Techniques de «pré-modélisation» : un pont vers le modèle

CONCEPTION DE PROJET SIG AVEC UML

Eads : c est le moment de se Bourget!

Retour d expériences avec UML

UML (Diagramme de classes) Unified Modeling Language

Le Guide Pratique des Processus Métiers

SHAPE-RISK SHARING EXPERIENCE ON RISK MANAGEMENT (HEALTH, SAFETY AND ENVIRONMENT) TO DESIGN FUTURE INDUSTRIAL SYSTEMS 1

VCE La solution d'infrastructure convergée pour accélerer la modernisation de vos environnments Retour d'expérience client SOGECLAIR

Langage et Concepts de ProgrammationOrientée-Objet 1 / 40

Programmation graphique des applications de contrôle-commande

Synthèse d une conception UML temps-réel à partir de diagrammes de séquences

Principes. 2A-SI 3 Prog. réseau et systèmes distribués 3. 3 Programmation en CORBA. Programmation en Corba. Stéphane Vialle

Cours Gestion de projet

CATALOGUE FORMATIONS DOMAINE Bases de données

Refonte front-office / back-office - Architecture & Conception -

La conception orientée objet au secours de la programmation de microcontrôleur ou inversement

Zoom. Réalisation Pôle OREF-Métiers Observatoire régional emploi, formation, métiers Mission Locale Toulouse. Rédaction Mission Locale Toulouse

Proposition pour la création d un site de gestion de projet

Proposition de sujet de thèse CIFRE EUROCOPTER / LGI2P

Génie Logiciel Avancé Cours 3 Le modèle à objets

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

NFP111 Systèmes et Applications Réparties

SEINE - AÉRONAUTIQUE FICHE SIGNALÉTIQUE

LA LOGISTIQUE GLOBALE ET LE SUPPLY CHAIN MANAGEMENT Enjeux principes exemples. Philippe-Pierre Dornier Michel Fender. Deuxième édition 2007

Formation L.M.D. en instrumentation biomédicale. Mise en œuvre dans une université scientifique et médicale : Claude Bernard Lyon I

Modelio by Modeliosoft

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

Cours de Java. Sciences-U Lyon. Java - Introduction Java - Fondamentaux Java Avancé.

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

Vers un Outil d aide à la gestion des risques dans les chaînes logistiques : les bases conceptuelles

Note de cadrage du PEPI MACS Mathématiques Appliquées & Calcul Scientifique

Etude et analyse des standards pour les solutions techniques dédiées au PLM

BI2B est un cabinet de conseil expert en Corporate Performance Management QUI SOMMES-NOUS?

Hafid ALAOUI CONSULTANT CHEF DE PROJET

Guichet automatique de banque

Journées ECOTECHNOLOGIES CONVERGENCE Quand l éco-conception devient une source d innovation

Semestre 2 Spécialité «Analyse in silico des complexes macromolécules biologiques-médicaments»

Objecteering. La convergence SOA, UML2, BPMN, EA, pour le développement guidé par le modèle.

Transcription:

Introduction à SysML SYStems Modeling Language Langage de modélisation graphique de systèmes

INTRODUCTION Pourquoi utilise-t-on SysML? Les systèmes sont devenus plus complexes et pluritechniques, un besoin de langage transversal et unifié est apparu. Le SysML doit permettre ainsi à des acteurs de corps de métiers différents de collaborer autour d un modèle commun pour définir un système. La création de bibliothèques de systèmes est favorisée, ainsi que la réutilisation de librairies, permettant ainsi un gain de productivité.

CONTEXTE, HISTORIQUE A la fin des années 1990 (1997), le monde de l informatique se met d accord sur un standard de langage, permettant la modélisation et la conception orientée objet de logiciels. Ce langage est appelé UML (Unified Modeling Langage), et connait un rapide succès. A cette même époque, les ingénieurs systèmes en charge de concevoir des systèmes complexe dans l aéronautique, l automobile, télécoms, l armée, n ont toujours pas réussi à faire émerger un langage commun de modélisation. Et ce, malgré quelques tentatives.

NAISSANCE DU SYSML Le langage UML comportant beaucoup de diagrammes nécessaires à l ingénierie système en 2003 l INCOSE 1 (organisation internationale de l ingénierie système) décide d en faire le langage commun de l ingénierie système. Dès lors, de 2003 à 2006, l INCOSE s est mise en relation avec l OMG 2 (organisme responsable d UML). Puis, aidés de grandes entreprises (Motorola, Boeing, IBM), d universités, d organisations, tous ont travaillés à la création d un langage commun de modélisation appelé SYSML. En juillet 2006, c est c la naissance du SYSML qui est adopté par l OMGl OMG.

1 INCOSE = International Council on Systems Engineering L INCOSE est un organisme sans but lucratif, fondé en 1990. Sa mission est de faire progresser l état de l art et la pratique de l Ingénierie Système dans l industrie, les universités et les organismes gouvernementaux. Et ce, par la promotion d approches évolutives et interdisciplinaires visant à produire des solutions technologiques appropriées qui répondent aux besoins de la société. www.incose.org 2 OMG = Object Management Group L OMG est un groupement d industriels dont l objectif est de standardiser autour des technologies objet, afin de garantir l interopérabilité des développements. L OMG comprend actuellement plus de 800 membres, dont les principaux acteurs de l industrie informatique (Sun, IBM, etc.), mais aussi les plus grandes entreprises utilisatrices dans tous les secteurs d activité. www.omg.org

LE SYSML Le langage SYSML s articule autour de 9 diagrammes différents: 5 directement repris de l UML (diagrammes d'activité, des paquetages, de séquence, d'état et diagramme des cas d'utilisation) 2 adaptés à partir de l UML (le diagramme de définition de bloc, et le diagramme de blocs internes) 2 créés spécifiquement pour le SYSML (le diagramme des exigences et le diagramme paramétrique)

ÉVOLUTIONS DU SYSML Juillet 2006 : OMG annonce l adoption de SysML Septembre 2007 : SysML v1.0 Décembre 2008 : SysML v1.1 Juin 2010 : SysML v1.2 (version actuelle)

QUI UTILISE ACTUELLEMENT LE SysML? Mais aussi: "Blohm + Voss Naval GmbH" - bateaux, logistique "VEGA Space GmbH",- aérospace "MIT Lincoln Laboratory" - Institute Technologie de Massachusetts "Lockheed Martin" militaire "US Army" militaire "ESO - European Organisation for Astronomical Research" aerospace "Boeing" "Raytheon" "CNES" France "ESA" - European Space Agency "NASA" "BMW" "Sopra Group" France "Thales" France "Rockwell Collins Inc." "JPL" coentreprise avec la NASA "GE Aviation" "GE Transportation" - France, Italie "NEWTEC LLC" "BAE Systems", - France "Siemens AG" "Philips" "Bombardier" et bien d autres d!!

SYSML dans les Enseignements de spécialités BTS SN : 2. Outils et méthodes d analyse et de description des systèmes Objectif général de formation : identifier les éléments influents d un système, décoder son organisation et utiliser un modèle de comportement pour prédire ou valider ses performances. Taxonomie niveau 2: Niveau D EXPRESSION Le contenu est relatif à l'acquisition de moyens d'expression et de communication : définir, utiliser les termes composant la discipline. II s'agit de maîtriser un savoir. Taxonomie niveau 3: Niveau de la MAÎTRISE D OUTILS Le contenu est relatif à la maîtrise de procédés et d'outils d'étude ou d'action : utiliser, manipuler des règles ou des ensembles de règles (algorithme), des principes, en vue d'un résultat à atteindre. II s'agit de maîtriser un savoir-faire. Que fait le professeur? Il modélise le produit dans un langage unifié, SYSML Que fait l élève? Il lit, interprète ou élabore la description du produit en langage unifié, SYSML.

SYSML dans les Enseignements de spécialités BTS SN : Que fait le professeur? Il fournit le cdcf partiel du produit en SYSML. Que fait l élève? Il complète la description en SYSML.

SysML? SysML est un langage de modélisation graphique. Comme UML, SysML n est pas une méthode.

SYSML, l ensemble des 9 diagrammes d exigences d activité d état de définition de bloc de bloc interne de package de séquence de cas d utilisation paramétrique s comportementaux s structurels

SYSML, les diagrammes retenus en BTS SN option EC d exigences d activité d état de définition de bloc de bloc interne de package de séquence de cas d utilisation paramétrique s comportementaux s structurels

Présentation sommaire des diagrammes retenus en BTS SN autour d un système simple Balance culinaire HALO

Prise en compte du cycle de vie Au cours de sa vie, le système peut évoluer dans différents environnements. (par exemple les phases de son cycle de vie)

Le diagramme de contexte Le diagramme de contexte exprime l environnement du système dans une situation donnée. Il peut se préparer sous forme de carte mentale pour ensuite être modélisé à l aide d un diagramme de définition de bloc (bdd) ou de bloc interne (ibd). Contexte du système en phase d utilisation

Modélisation structurelle: Le diagramme de contexte (BDD) La composition du contexte étudié (bdd) Les échanges avec les éléments externes dans le contexte étudié (ibd) Outil SysML pour la description de contexte Les relations avec les éléments externes dans le contexte étudié (bdd)

Modélisation d exigences: Le diagramme d exigences (RQ) Il permet de représenter graphiquement les exigences C est une traduction du cahier des charges Les exigences peuvent dépendre d un contexte particulier Pour répondre au cahier des charges, toutes les exigences doivent être satisfaites

Modélisation comportementale: Le diagramme des cas d utilisation (UC) Il permet de représenter les fonctionnalités du système et les acteurs avec lesquels le système interagit. Comportement

Modélisation comportementale: Le diagramme de séquence (SD) Il permet de décrire le scénario d un cas d utilisation. Comportement

Modélisation comportementale: Le diagramme d états transitions (STM) Il permet de décrire le fonctionnement séquentiel du système Utilisation directe pour la simulation du comportement (Matlab stateflow, labview statechart, stategraph,.) Comportement

Modélisation structurelle: Le diagramme de définition de bloc (BDD) Il permet de décrire la structure du système (nomenclature) par des liens de composition. Structure

Modélisation structurelle: Le diagramme de définition de bloc (BDD) Ce diagramme permet également d associer des blocs (par exemple à l aide de liaisons mécaniques) Structure

Modélisation structurelle: Le diagramme de bloc interne (IBD) Ce diagramme permet de mettre en évidence les flux entre les blocs (Information, Energie ) Analogie avec les modèles de comportement (Matlab Simulink, Modelica, ) Structure

Les systèmes modélisés Construction d un modèle SysML Activités élèves SysML Balance HALO SysML BAES SysML Hemo-Mixer SysML Lave-linge SysML Colibri SysML Dyson Airblade SysML Iland SysML FAAC402 SysML Maison Bioclimatique SysML ClipFlow