PRINCIPES et METHODES de SPECIFICATION et de CONCEPTION GLOBALE des SYSTEMES INFORMATISES 10/20/02 1



Documents pareils
Le génie logiciel. maintenance de logiciels.

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

Analyse,, Conception des Systèmes Informatiques

Processus d Informatisation

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

Développement itératif, évolutif et agile

Génie Logiciel. Rappels. C. Crochepeyre Génie Logiciel Rappels 1

Université de Bangui. Modélisons en UML

Introduction au génie logiciel

Merise. Introduction

Extrait des Exploitations Pédagogiques

Identification du module

Architecture d'entreprise : Guide Pratique de l'architecture Logique

Analyse et Conception objet du logiciel Analyse et conception objet du logiciel : Méthode de conception objet et notation UML.

IFT2255 : Génie logiciel

Gestion Projet. Cours 3. Le cycle de vie

Évaluation et implémentation des langages

Brique BDL Gestion de Projet Logiciel

PROGRAMME DU CONCOURS DE RÉDACTEUR INFORMATICIEN

Cours Gestion de projet

ECTS INFORMATIQUE ET RESEAUX POUR L INDUSTRIE ET LES SERVICES TECHNIQUES

MODALITES DE SUIVI DU PROJET ANNUEL DU MASTER 2 SOLUTIONS INFORMATIQUES LIBRES

Introduction aux Bases de Données

Sciences de Gestion Spécialité : SYSTÈMES D INFORMATION DE GESTION

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

Méthodologies de développement de logiciels de gestion

Gé nié Logiciél Livré Blanc

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

Introduction à la conception de systèmes d information

IFT3913 Qualité du logiciel et métriques. Chapitre 2 Modèles de processus du développement du logiciel. Plan du cours

Développement spécifique d'un système d information

Test et Validation du Logiciel

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

Nom-Projet MODELE PLAN DE MANAGEMENT DE PROJET

Yannick Prié Département Informatique - UFR Sciences et Techniques Université Claude Bernard Lyon

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

Nom de l application

MODELISATION UN ATELIER DE MODELISATION «RATIONAL ROSE»

Conduite de projets informatiques Développement, analyse et pilotage (2ième édition)

Plateforme STAR CLM. Gestion intégrée des réseaux multilingues d entreprise

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

Architecture Orientée Objet Pour l Ingénierie des SIP application à l Entreprise SAFCER

Machines virtuelles Cours 1 : Introduction

Christian Soutou UML 2. pour les. bases de données. Avec 20 exercices corrigés. Groupe Eyrolles, 2007, ISBN :

Suivant les langages de programmation, modules plus avancés : modules imbriqués modules paramétrés par des modules (foncteurs)

Chapitre 5 LE MODELE ENTITE - ASSOCIATION

INFORMATIQUE ET RESEAUX POUR L INDUSTRIE ET LES SERVICES TECHNIQUES

INTRODUCTION AUX TECHNOLOGIES D INGENIERIE DES DONNEES DIRIGEE PAR LES MODELES

Information utiles. webpage : Google+ : digiusto/

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

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

Le management des risques de l entreprise Cadre de Référence. Synthèse

Baccalauréat professionnel. Maintenance des Équipements Industriels

Le Guide Pratique des Processus Métiers

DéSIT Démarche d ingénierie pour les Systèmes d Information Transport ambiants, sécurisés et personnalisables

LES INTERFACES HOMME-MACHINE

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

UML (Diagramme de classes) Unified Modeling Language

Rational Unified Process

Julien MATHEVET Alexandre BOISSY GSID 4. Rapport RE09. Load Balancing et migration

Aide au recrutement, à l accueil et à l intégration des nouveaux entrants Professionnalisation et fidélisation d un salarié Tutorat

Logiciel Libre Cours 3 Fondements: Génie Logiciel

Etabli le : Par : Pascal Kramer / Valentin Borin Remplace la version du :

Chapitre I : le langage UML et le processus unifié

Les diagrammes de modélisation

Master CCI. Compétences Complémentaires en Informatique. Livret de l étudiant

Semestre 1. Objectifs Approfondissement de l environnement Java et de son interface de programmation d applications : réseaux, et processus.

ELP 304 : Électronique Numérique. Cours 1 Introduction

Méthodes fonctionnelles : Structured Analysis - Structured Design (SA - SD)

Estimation des charges. «Le travail se dilate jusqu à remplir le temps disponible»

PROFIL DE POSTE AFFECTATION. SERIA (service informatique académique) DESCRIPTION DU POSTE

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

CONCEPTION ET IMPLANTATION DES SI PROJET : GESTION DU FOYER DE L ENIT

Urbanisation de système d'information. PLM 3 (Product Lifecycle Management) Élaborations, versions, variantes, configurations

DEVELOPPEMENT ET MAINTENANCE DE LOGICIEL: OUTIL DE PILOTAGE

LOG2420 Analyse et conception d interfaces utilisateur

Systèmes et réseaux d information et de communication

Introduction Les processus traditionnels extreme Programming Conclusion. extreme Programming. vers plus d agilité. F. Miller francois.miller@inpg.

INTERNATIONAL MASTER DEGREE IN MULTIMEDIA MANAGEMENT

SECTION 5 BANQUE DE PROJETS

MÉTHODOLOGIE PROJET SYSTÈME D INFORMATION DÉCISIONNEL BI - BUSINESS INTELLIGENCE. En résumé :

Génie logiciel (Un aperçu)

Concevoir un modèle de données Gestion des clients et des visites

Enquête 2014 de rémunération globale sur les emplois en TIC

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

S8 - INFORMATIQUE COMMERCIALE

Sécurité logicielle. École de technologie supérieure (ÉTS) MGR850 Automne 2012 Automne Yosr Jarraya. Chamseddine Talhi.

CHAPITRE 3 : LES METHODES AGILES?

Chapitre VI- La validation de la composition.

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

Génie Logiciel LA QUALITE 1/5 LA QUALITE 3/5 LA QUALITE 2/5 LA QUALITE 4/5 LA QUALITE 5/5

ECTS INFORMATIQUE DE GESTION Option Administrateur de réseaux Locaux d entreprise

UNIVERSITE D'ORLEANS ISSOUDUN CHATEAUROUX

4. Utilisation d un SGBD : le langage SQL. 5. Normalisation

BASES DE DONNÉES. CNAM Centre associé de Clermont-Ferrand Cycle A Année J. Darmont I. INTRODUCTION II. LES SYSTÈMES HIÉRARCHIQUES

CATALOGUE DES FORMATIONS

CONCEPTION Support de cours n 3 DE BASES DE DONNEES

Le pilotage des collaborations et l interopérabilité des systèmes d information Vers une démarche intégrée

Concepteur Développeur Informatique

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

Transcription:

PRINCIPES et METHODES de SPECIFICATION et de CONCEPTION GLOBALE des SYSTEMES INFORMATISES 10/20/02 1

CYCLE de VIE des SYSTEMES INFORMATISES Expression du besoin Développement du «système» Exploitation et Maintenance 10/20/02 2

EXPRESSION du BESOIN Identification du besoin Etude de faisabilité 10/20/02 3

Identification du besoin (cahier des charges fonctionnel) par dialogue : définir concept du système identifier besoins fonctionnels (formulés ou potentiels) déterminer les contraintes d utilisation fixer les exigences de qualité 10/20/02 4

Etude de faisabilité (résultat aspects économiques d étude) aspects techniques (performances et contraintes) aspects normatifs 10/20/02 5

CYCLE de DEVELOPPEMENT du SYSTEME Spécification Conception Construction Intégration Validation 10/20/02 6

SPECIFICATION expression technique du besoin traduction en une représentation décrit le comportement et l environnement du système réponse à la question «QUE FAIRE?» 10/20/02 7

CONCEPTION Propose une architecture informatique globale du système Propose une façon de procéder pour la construire Réponse à la question «comment faire?» Conception préliminaire produire l architecture globale du système déterminer une façon de l intégrer Conception détaillée déterminer façon de procéder pour le logiciel pour le matériel 10/20/02 8

CONSTRUCTION des éléments constitutifs pour le matériel fabrication proto tests mesure pour le logiciel codage tests unitaires intégration du logiciel 10/20/02 9

Conception préliminaire système Conception détaillée logiciel Expression du besoin Spécification système Conception détaillée du matériel Système final Construction du logiciel Validation système Système intégré Construction du matériel Logiciel de référence Intégration système Prototype Matériel 10/20/02 10

Exploitation EXPLOITATION et MAINTENANCE mise en oeuvre opérationnelle du système Maintenance maintenance corrective maintenance perfective maintenance adaptive 10/20/02 11

EXIGENCES QUALITE des SYSTEMES facteurs phase Confidentialité exploitation protection contre tout accès non autorisés Efficacité exploitation relative à la minimisation de l utilisation des ressources pour remplir une fonction Maniabilité exploitation facilité de mise en oeuvre et d utilisation Robustesse exploitation aptitude à conserver un comportement cohérent et conforme aux besoins, en cas d événements non souhaités ou imprévus Adaptabilité exploitation possibilité d évolution et de modification des fonctionnalités existantes Couplabilité Maintenance degré d interfaçage avec d autres systèmes Maintenabilité corrective Maintenance possibilité de localiser et de corriger les erreurs résiduelles portabilité Maintenance aptitude à minimiser les répercussions d un transfert dans un autre environnement testabilité Maintenance possibilité de commander les tests d un système et de les observer afin de s assurer qu il correspondent à sa spécification 10/20/02 12

STRATEGIE de DEVELOPPEMENT des SYSTEMES Le modèle du cycle en cascade Stratégie de contrôle technique Le passage de l allocation 10/20/02 13

SYSTEME Spécification système Validation système Conception préliminaire système Intégration système Composants matériels et logiciels Conception détaillée du matériel Construction tests 10/20/02 14

PRINCIPES de la SPECIFICATION La spécification d un système consiste à fixer les exigences analysées en une représentation qui, à la fois et les décrit en terme de fonctionnalités, de contraintes et de performance 10/20/02 15

Modélisation La spécification est un processus d abstraction qui consiste à représenter les aspects essentiels d un système, sous forme simplifiée avant d en donner le détail. Cette démarche de réduction puis d extension est appelée modélisation, est la représentation du système porte le nom de modèle. 10/20/02 16

Vue logique et vue physique La spécification sépare la vue logique d un système (ce qu il doit faire) et sous quelles conditions, de sa vue physique (comment il doit être fait) 10/20/02 17

La vue physique concerne l aspect technologique de sa réalisation, mais aussi les personnes, les objets physiques, les documents, les procédures qui concourent à faire le système. Modélisation de la vue logique d un système = spécification aspect technologique (vue physique) = conception 10/20/02 18

Le modèle logique issu de la spécification concerne les aspects fonctionnel = fonctionnalité informationnel = données événementiel = réponse à des signaux, transformation 10/20/02 19

le modèle issu de la conception porte sur l architecture d un système, un début de solution informatique (à la fois matérielle et logicielle), liée à une technologie particulière apte à supporter les fonctionnalités, à résoudre les contraintes, à atteindre les performances souhaitées 10/20/02 20

La modélisation d un système doit rendre apte à être compris, communiqué, produit, testé, vérifié, validé, et maintenu 10/20/02 21

Spécification temps de réponse DIAGRAMME de CONTEXTE des DONNEES DIAGRAMME de CONTEXTE des CONTROLES DIAGRAMME de FLOTS de DONNES DFD Activeurs de processus CSPECSs Flots de contrôles DIAGRAMME de FLOTS de CONTROLES DFC Flots de données PSOECs Condition de données DONNEES CSPECs Spécification de contrôle PSPECs Spécification de processus DICTIONNAIRE des BESOINS Spécification tau de transfert CONTROLES RELATIONS entre les COMPOSANTS d'un modèle des besoins HATLEY et PIRBHAI 10/20/02 22

diagramme de contexte le diagramme de contexte est le sommet de la hiérarchie, c est le diagramme très abstrait qui représente tout le système à modéliser. il ne contient qu un processus dont le nom traduit la fonction d usage d un système il est le seul diagramme dans lequel sont représentés les interfaces entre le système et l environnement 10/20/02 23

METHODES de SPECIFICATION une méthode de spécification se compose de d outils de modélisation et de règles d assemblage qui constituent un langage de représentation, une démarche de modélisation appelée aussi stratégie, qui permet de construire un ou plusieurs modèles d un système. 10/20/02 24

OUTILS de SPECIFICATION Aspect fonctionnel Aspect Informationnel Aspect événementiel 10/20/02 25

Aspect fonctionnel Un outils de modélisation de l aspect fonctionnel d un système doit permettre : de représenter le travail de transformation que le système opère sur les données, spécifier les processus qui transforment les données. 10/20/02 26

STATIQUE DYNAMIQUE (Données) (Traitements) (Contrôles, temps) Entités/associations Structures de données Langages formels flots de données Réseaux de Pétri automates à états finis 10/20/02 27

Aspect Informationnel une donnée peut-être primitive, c est à dire élémentaire une donnée peut-être composée, c est à dire un regroupement de données primitives En Analyse structurée la spécification des données est consignée dans un dictionnaire à l aide de symboles de notation et de règles d écriture Un dictionnaire des données est la base de données d un système, il réalise le lien entre les différents niveaux d un modèle fonctionnel 10/20/02 28

Aspect événementiel L aspect événementiel nécessite d être modélisé à l aide d outils de représentation appropriés, qui prennent en compte les événements qui conditionnent l activité des processus et qui permettent de représenter la logique de contrôle du système, qu elle soit combinatoire, séquentielle ou mixte. 10/20/02 29