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

Dimension: px
Commencer à balayer dès la page:

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

Transcription

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

2 2 un mot sur METEOR

3 3 Le projet METEOR, c'est... un système automatique complexe fortement intégré matériel roulant, équipements électriques, infrastructures, automatismes quatres sous-systèmes dans l'automatisme audiovisuel, PCC et logique traction, portes palières, pilotage autom./signalisation la mixité des circulations et l'indifférence à l'orientation des trains une architecture répartie de calculateurs redondés 1 PAL (ligne), 5 PAS (sections), des PAE (embarqués)

4 4 un projet complexe 4 sous systèmes principaux, 7 phases, un marché organisé en lots liés à ce découpage un plan de management précis et une organisation matricielle 450 tâches principales documents contractuels et pages de courrier une arborescence technique, base de la gestion électronique des documents et de la gestion de configuration

5 5... et c'est aussi... devenu la ligne 14 du métro le 15 oct ,2 km de ligne exploitée, de Madeleine à la Bibliothèque François Mitterrand dès maintenant une capacité de voyageurs par heure et par sens 19 trains de 6 voitures (extension à 8 voitures prévue) une vitesse commerciale de 40 km/h

6 6 Construire la sécurité

7 7 Le processus de construction de la sécurité repose sur : la prise en compte des objectifs de sécurité dès la conception une démarche continue et itérative développée dès le début du projet la diversité des méthodes, des outils et l'indépendance des équipes, à la fois chez le constructeur et à la RATP la traçabilité de l'ensemble des travaux de conception, de réalisation et de validation

8 8 une démarche descendante du système dans son environnement jusqu'au composant matériel ou logiciel une analyse fonctionnelle raffinée par étapes une analyse organique tenant compte des choix de conception des analyses transversales pour vérifier la cohérence

9 9 trois tâches complémentaires avoir une conception sure deux équipes distinctes chez le constructeur, pour la conception et la validation des méthodes approuvées et des résultats formalisés un engagement du constructeur contrôler cette conception la bonne application des méthodes approuvées la qualité des résultats obtenus et leur trace documentaire faire une validation indépendante (certification) par des méthodes approuvées et des résultats contrôlés et formalisés un engagement de la RATP

10 10 en pratique, sur METEOR

11 11 Réaliser par l'informatique des Fonctions de Sécurité des spécifications sûres par la validation fonctionnelle des logiciels exempts d'erreurs par la conception formelle et les tests une protection contre les erreurs à l'exécution par la technique du monoprocesseur codé

12 12 le Calculateur de METEOR Une exigence: le Monoprocesseur Codé Un nouveau calculateur: DIGISAFE pour une puissance de calcul accrue contenant des innovations majeures: la mise en réseau des entrées/sorties l'utilisation de circuits intégrés spécifiques (ASICs) dans des fonctions de sécurité un coprocesseur (ASIC) dédié aux calculs sur le code Un plan de certification spécifique

13 13 et son application pratique Le Constructeur MTI La RATP conçoit et valide contrôle et valide par spécifications principes mathém. développement ASICs développement cartes dossiers de conception tests intégration des logiciels les fonctions et....exigences de sécurité les principes mathém. la traçabilité les opérations élément. les contraintes exportées les scénarios résiduels la traçabilité les méthodes leur application les documents les analyses la réalisation par modélisation fonctionnelle les fonctions et....organes de sécurité les principes mathém. la mise en oeuvre les cartes de sécurité les contraintes exportées les scénarios résiduels

14 14 et du côté des logiciels

15 15 la déclinaison du cycle en V conception besoins des exploitants spécification fonctionnelle validation essais de réception contrôles fonctionnels site spec. matériels travail du constructeur spécification système spec. système constructeur spec. ss. système i spec besoins logiciels spec formelle code BØ contrôle contr. techn. sur site tests fonctionnels tests et analyses code exécutable sur calculateur cible essais système vérif. conception & contrôle vérif. conception & contrôle vérif. concept. & contrôle modélisation tests fonctionnels mesure taux de couverture régénératio n

16 16 et son application pratique Le Constructeur MTI La RATP conçoit et valide contrôle et valide par spécifications développement dont....méthode B utilisation de l'atelier B preuve B transcodage tests génération des données gestion de configuration par modélisations statiques analyses de sécurité processus de revues traçabilité validation des règles B analyse de code tests des exigences....de sécurité couverture des tests validation des données les méthodes leur application la traçabilité les documents les règles B les preuves B par modélisations dynamiques analyse des algorithmes travaux sur l'atelier B tests fonctionnels et....tests agressifs sur....calculateur cible couverture des tests validation des données régénération du code gest. de configuration

17 17 quelques points particuliers

18 18 un Développement Formel (B) pour sécuriser les logiciels dès leur phase de conception, sans attendre les tests oblige à spécifier dans un langage non ambigu permet une maîtrise prouvée du passage de la spécification au code (par un atelier industriel) procure un code de très bonne qualité

19 19 la Modélisation dynamique pour acquérir la connaissance fine des fonctions et de leur mode de réalisation et en garder une trace pour valider les spécifications, leur cohérence et leur complétude pour déterminer les tests fonctionnels à partir de l'ensemble des chemins pour déterminer les résultats attendus avec des outils adaptés (ELSIR, ASA+)

20 20 la Validation du développement formel en B le contrôle de qualité de l'atelier B industriel la validation des règles mathématiques ajoutées l'identification des limites de la preuve le contrôle de l'implantation des propriétés de sécurité

21 21 la suppression des tests unitaires rendue possible par la sécurisation du transcodage elle-même obtenue en étendant la technique du monoprocesseur codé : (transcodage) code ADA 1 (outil OPS) tables PSC code B prouvé (édition de liens) code exécutable PSC (compilation) code objet (transcodage) code ADA 2

22 22 les Tests Fonctionnels la spécification sa modélisation dynamique le code exécutable sur calculateur cible des jeux de test des résultats attendus des résultats observés analyse de la couverture analyse des écarts

23 23 la Validation des données la vérification sur le terrain des données initiales la transformation des données initiales en invariants implantés dans le code outillée et validée par le constructeur la validation par la RATP par un outil effectuant la fonction de transfert inverse vérifiant le respect des contraintes de sécurité

24 24 de Façon Synthétique MTI conception méthode B et preuves la même spécification analyses & modélisation modélisation & simulation cahiers de test RATP contrôles de couverture produit logiciel validation tests écarts 0 conviction suivi de conception

25 25 et un bilan un code de bonne qualité grâce au formel un processus itératif qui a conduit à une version sans faute pour la mise en service une construction et une validation de la sécurité tracées et la conviction acquise de la sécurité

Processus de validation basée sur la notion de propriété. Marcel Gallardo RATP

Processus de validation basée sur la notion de propriété. Marcel Gallardo RATP Processus de validation basée sur la notion de propriété Marcel Gallardo RATP 1 Sommaire Présentation de METEOR Processus de développement MTI Processus de validation RATP Essais accrédités par le COFRAC

Plus en détail

Evaluation de la Sûreté de Fonctionnement des logiciels du SAET Météor : Bilan et perspectives

Evaluation de la Sûreté de Fonctionnement des logiciels du SAET Météor : Bilan et perspectives Evaluation de la Sûreté de Fonctionnement des logiciels du SAET Météor : Bilan et perspectives Loïc PELHATE Responsable de l Atelier de Qualification des Logiciels de la RATP (AQL) PLAN La sécurité du

Plus en détail

Sommaire. Boulanger Jean-Louis CERTIFER. Création de CERTIFER CERTIFER. CERTIFER: Organisme de Certification. Principales références

Sommaire. Boulanger Jean-Louis CERTIFER. Création de CERTIFER CERTIFER. CERTIFER: Organisme de Certification. Principales références Sommaire Certification d Application Ferroviaire développée formellement ou non Boulanger Jean-Louis CERTIFER CERTIFER; Historique du ferroviaire; Contexte Normatif; Certification ferroviaire; Impact des

Plus en détail

B : Une méthode de développement de logiciels sûrs

B : Une méthode de développement de logiciels sûrs B : Une méthode de développement de logiciels sûrs Loïc PELHATE, Responsable de l Atelier des Logiciels de Sécurité de l Ingénierie du Transport Ferroviaire loic.pelhate@ratp.fr 9/11/01 1 1 Plan Contexte

Plus en détail

Application industrielle de la Méthode formelle B

Application industrielle de la Méthode formelle B Application industrielle de la Méthode formelle B Guilhem Pouzancre Thierry Servat C novembre l e a r S 2005 y Contact@Clearsy.com EUROPARC de Pichaury Bâtiment C1 1330, av. Guillibert de la Lauzière 13

Plus en détail

Evaluation de la SdF des logiciels de contrôle-commande à la RATP Bilan et perspectives

Evaluation de la SdF des logiciels de contrôle-commande à la RATP Bilan et perspectives Evaluation de la SdF des logiciels de contrôle-commande à la RATP Bilan et perspectives Pierre CHARTIER Atelier de Qualification des Logiciels 17 juin 2003 PLAN La sécurité du logicielà la RATP Le processus

Plus en détail

Approche formelle pour la réalisation d un système sécuritaire de contrôle commande de façades de quais

Approche formelle pour la réalisation d un système sécuritaire de contrôle commande de façades de quais Approche formelle pour la réalisation d un système sécuritaire de contrôle commande de façades de quais Guilhem Pouzancre 03 mai 2006 C l e a r S y Contact@Clearsy.com 20 rue Joubert 75 009 Paris Téléphone

Plus en détail

Table des matières. Chapitre 1. Introduction... 13 1.1. Objectif... 13 1.2. Rappel... 15 1.3. Synthèse... 16 1.4. Bibliographie...

Table des matières. Chapitre 1. Introduction... 13 1.1. Objectif... 13 1.2. Rappel... 15 1.3. Synthèse... 16 1.4. Bibliographie... Table des matières Chapitre 1. Introduction... 13 1.1. Objectif... 13 1.2. Rappel... 15 1.3. Synthèse... 16 1.4. Bibliographie... 17 Chapitre 2. Du système au logiciel... 19 2.1. Introduction... 19 2.2.

Plus en détail

Daniel DOLLE, Siemens TS

Daniel DOLLE, Siemens TS La Canarsie Line à New York, une application du Trainguard CBTC Siemens TS Daniel DOLLE, Siemens TS Cet article présente de manière synthétique les technologies qu utilise STS pour garantir le fonctionnement

Plus en détail

EXIGENCES ASSURANCE QUALITÉ SOUS-TRAITANT & FOURNISSEUR SOMMAIRE :

EXIGENCES ASSURANCE QUALITÉ SOUS-TRAITANT & FOURNISSEUR SOMMAIRE : Page 1/7 Indice Date Objet Rédigé par Visa Vérifié par Visa Approuvé par Visa B 19/01/2006 Changement de logo S. LE NAGUARD J. ROBERT Ph. EVENAT C 27/10/2006 Distinction fournisseur / sous-traitant. A.

Plus en détail

Le cycle de vie : sur mesure Cycle de vie «basique»

Le cycle de vie : sur mesure Cycle de vie «basique» Le cycle de vie : sur mesure Cycle de vie «basique» OPPORTUNITE FAISABILITE CONCEPTION REALISATION RECEPTION MISE EN PRODUCTION MAINTENANCE «Basique» = phases de base nécessaires à la couverture d un cycle

Plus en détail

DE L INGÉNIERIE AU PILOTAGE DES FLUX

DE L INGÉNIERIE AU PILOTAGE DES FLUX DE L INGÉNIERIE AU PILOTAGE DES FLUX Qu est-ce que c'est? FLOWORKS est l outil informatique permettant d appliquer la méthode GOPAL. Il regroupe en un seul logiciel toutes les fonctions allant de l ingénierie

Plus en détail

Les méthodes formelles dans le cycle de vie. Virginie Wiels ONERA/DTIM Virginie.Wiels@onera.fr

Les méthodes formelles dans le cycle de vie. Virginie Wiels ONERA/DTIM Virginie.Wiels@onera.fr Les méthodes formelles dans le cycle de vie Virginie Wiels ONERA/DTIM Virginie.Wiels@onera.fr Plan Introduction Différentes utilisations possibles Différentes techniques pour différentes propriétés à différents

Plus en détail

Génie logiciel. Concepts fondamentaux. Bruno MERMET, Université du Havre 1

Génie logiciel. Concepts fondamentaux. Bruno MERMET, Université du Havre 1 Génie logiciel Concepts fondamentaux Bruno MERMET, Université du Havre 1 Nécessité du Génie Logiciel Bruno MERMET, Université du Havre 2 Développement d un logiciel Caractéristiques souhaitées : Adéquation

Plus en détail

Travaux soutenus par l ANR. Jean-François CAPURON (DGA) Bruno LEGEARD (Smartesting)

Travaux soutenus par l ANR. Jean-François CAPURON (DGA) Bruno LEGEARD (Smartesting) Travaux soutenus par l ANR Jean-François CAPURON (DGA) Bruno LEGEARD (Smartesting) 03 Avril 2012 1. Test de sécurité et génération de tests à partir de modèle 2. Le projet SecurTest à DGA Maîtrise de l

Plus en détail

Gestion des projets moteurs. p. 105 à 109

Gestion des projets moteurs. p. 105 à 109 ff p. 105 à 109 Découverte Gérer un développement GMP avec un partenaire chinois 2 Jours MOT / SINGMP MOT / SINGMP-E Préparer les ingénieurs et managers français à mieux travailler avec des interlocuteurs

Plus en détail

Apport des Méthodes formelles pour la certification du Falcon 7X Division DÉFENSE

Apport des Méthodes formelles pour la certification du Falcon 7X Division DÉFENSE Apport des Méthodes formelles pour la certification du Falcon 7X février 04 1 Les analyses Sdf utilisées dans le cadre d une certification aéronautique civile; un processus précis et réglementé Normes

Plus en détail

SFR. Mise en place de la gestion des exigences sous DOORS dans le cadre de la refonte du système d'information commercial 14/11/2007

SFR. Mise en place de la gestion des exigences sous DOORS dans le cadre de la refonte du système d'information commercial 14/11/2007 SFR Mise en place de la gestion des exigences sous DOORS dans le cadre de la refonte du système d'information commercial 14/11/2007 1 Sommaire 1- Le contexte et l historique de la Gestion des EXigences

Plus en détail

La norme ISO 10007:2003 définit des lignes directrices pour la gestion de la configuration

La norme ISO 10007:2003 définit des lignes directrices pour la gestion de la configuration ! " Rappel : les référentiels pour la gestion de configuration ISO10007 (1/3) La norme ISO 10007:2003 définit des lignes directrices pour la gestion de la configuration Elle est une révision de la version

Plus en détail

Un outil de modélisation des systèmes

Un outil de modélisation des systèmes Un outil de modélisation des systèmes Florent Patin Le 17 mars 2006 Présentation AFADL 06 C L E A R S Y EUROPARC de Pichaury Bâtiment C2 1330, av. Guillibert de la Lauzière 13 856 Aix en Provence Cedex

Plus en détail

Gestion des projets moteurs

Gestion des projets moteurs Gestion des projets moteurs p. 107 à 111 Gestion des projets moteurs MOT / SINGMP MOT / SINGMP-E Gérer un développement GMP avec un partenaire chinois 2 Jours Niveau : Découverte Préparer les ingénieurs

Plus en détail

Ce que dit la norme 2009

Ce que dit la norme 2009 Mettre en œuvre un système d archivage électronique : les apports de la norme révisée Ce que dit la norme 2009 Formation APROGED 2009 1 Domaine d application de la norme Politique et pratiques d archivage

Plus en détail

Dossier d'étude technique

Dossier d'étude technique Centre national de la recherche scientifique Direction des systèmes d'information REFERENTIEL QUALITE Guide méthodologique Dossier d'étude technique Référence : CNRS/DSI/conduite-projet/developpement/technique/guide-etude-technique

Plus en détail

COMPLIANCE Consulting. Gardez la Maîtrise de vos Exigences. 18 mai 2011

COMPLIANCE Consulting. Gardez la Maîtrise de vos Exigences. 18 mai 2011 COMPLIANCE Consulting Gardez la Maîtrise de vos Exigences 18 mai 2011 Présentation Société Société Société de conseil spécialisée dans le transfert de technologies en matière de processus, de méthodes

Plus en détail

COPP Façades de Quai de la Station Paris Châtillon. Le Système COPP FAÇADES DE QUAIS DE LA STATION PARIS CHÂTILLON

COPP Façades de Quai de la Station Paris Châtillon. Le Système COPP FAÇADES DE QUAIS DE LA STATION PARIS CHÂTILLON Le Système COPP FAÇADES DE QUAIS DE LA STATION PARIS CHÂTILLON Date de mise en service : mai 2008 Nombres de Trains équipés : 73 Nombre de Quais : 3 Station : Paris Chatillon line 13 Une nouvelle version

Plus en détail

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

Systèmes et réseaux d information et de communication 233 DIRECTEUR DES SYSTÈMES ET RÉSEAUX D INFORMATION ET DE COMMUNICATION Code : SIC01A Responsable des systèmes et réseaux d information FPESIC01 Il conduit la mise en œuvre des orientations stratégiques

Plus en détail

ATTESTATION D ACCREDITATION. N 1-1061 rév. 1

ATTESTATION D ACCREDITATION. N 1-1061 rév. 1 Section Laboratoires ATTESTATION D ACCREDITATION ACCREDITATION CERTIFICATE N 1-1061 rév. 1 Le Comité Français d'accréditation (Cofrac) atteste que : The French Committee for Accreditation (Cofrac) certifies

Plus en détail

Avec vous, pour vos projets, à chaque instant. Utilisation des réseaux de Pétri avec GRIF

Avec vous, pour vos projets, à chaque instant. Utilisation des réseaux de Pétri avec GRIF Avec vous, pour vos projets, à chaque instant Utilisation des réseaux de Pétri avec GRIF 2010 Projets pour le grand accélérateur de particules GANIL CEA/CNRS Vérification des automatismes de gestion du

Plus en détail

Module : Méthodes et Spécifications Formelles (Approche orientée modèle) Christian Attiogbé UFR Sciences Nantes Dpt. Informatique

Module : Méthodes et Spécifications Formelles (Approche orientée modèle) Christian Attiogbé UFR Sciences Nantes Dpt. Informatique Méthodes formelles 1 Module : Méthodes et Spécifications Formelles (Approche orientée modèle) Slide 1 Christian Attiogbé UFR Sciences Nantes Dpt. Informatique Christian.Attiogbe@univ-nantes.fr maj. janvier

Plus en détail

Unité de formation 1 : Structurer une application. Durée : 3 semaines

Unité de formation 1 : Structurer une application. Durée : 3 semaines PROGRAMME «DEVELOPPEUR LOGICIEL» Titre professionnel : «Développeur Logiciel» Inscrit au RNCP de niveau III (Bac+2) (JO du 23 Octobre 2007) (32 semaines) Unité de formation 1 : Structurer une application

Plus en détail

UML Mise en œuvre dans un projet. Emmanuel Pichon 2013

UML Mise en œuvre dans un projet. Emmanuel Pichon 2013 UML Mise en œuvre dans un projet 2013 Introduction Rôles et activités dans un projet Définir la méthode de votre projet Adapter la modélisation à la méthode de votre projet Conseils de mise en œuvre de

Plus en détail

Analyse et conception des Systèmes d Information. La démarche Merise : La Production Logicielle

Analyse et conception des Systèmes d Information. La démarche Merise : La Production Logicielle Analyse et conception des Systèmes d Information La démarche Merise : La Production Logicielle La production du logiciel Place, objectifs et principes directeurs Christophe.Nicolle@u-bourgogne.fr Introduction

Plus en détail

Extrait du référentiel Métiers de la Branche :

Extrait du référentiel Métiers de la Branche : OPIIEC OBSERVATOIRE PARITAIRE DES METIERS DE L, DE L INGENIERIE, DES ETUDES ET DU CONSEIL REFERENTIEL METIERS Extrait du référentiel Métiers de la Branche : Etudes et développement Référentiel Métiers

Plus en détail

Gouvernance des mesures de sécurité avec DCM-Manager. Présentation du 22 mai 2014

Gouvernance des mesures de sécurité avec DCM-Manager. Présentation du 22 mai 2014 Gouvernance des mesures de sécurité avec DCM-Manager Présentation du 22 mai 2014 Gérer les actifs logiciels et leur répartition Maîtriser le durcissement des configurations Suivre l application des correctifs

Plus en détail

Modélisation des Systèmes d Information Jean-Yves Antoine

Modélisation des Systèmes d Information Jean-Yves Antoine Modélisation des Systèmes d Information Jean-Yves Antoine http://www.info.univ-tours.fr/~antoine Processus de développement logiciel Jean-Yves Antoine U. Bretagne Sud - UFR SSI - IUP Vannes année 2001-2002

Plus en détail

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

Développement spécifique d'un système d information Centre national de la recherche scientifique Direction des systèmes d'information REFERENTIEL QUALITE Procédure Qualité Développement spécifique d'un système d information Référence : CNRS/DSI/conduite-proj/developpement/proc-developpement-si

Plus en détail

Retour d expérience pour la mise en œuvre d un projet BPM. Emmanuel CARBENAY François VANDAELE

Retour d expérience pour la mise en œuvre d un projet BPM. Emmanuel CARBENAY François VANDAELE Retour d expérience pour la mise en œuvre d un projet BPM Emmanuel CARBENAY François VANDAELE Sommaire Description du projet Objectifs du projet Démarche suivie Solution mise en œuvre Résultats obtenus

Plus en détail

Tous droits réservés SELENIS

Tous droits réservés SELENIS 1. Objectifs 2. Etapes clefs 3. Notre proposition d accompagnement 4. Présentation de SELENIS 2 Un projet est une réalisation spécifique, dans un système de contraintes donné (organisation, ressources,

Plus en détail

Projets de Diplôme Bachelor (PDB) HEIG-VD

Projets de Diplôme Bachelor (PDB) HEIG-VD Projets de Diplôme Bachelor (PDB) HEIG-VD Kick-off Février 2011, v 1.6 christian.buchs@heig-vd.ch 1 Contenu 1. Gestion de projet 2. Bilans hebdomadaires 3. Le rapport 4. Activités de test 5. Évaluation

Plus en détail

Présentation de la Gestion des Exigences (REQM) SopraGroup / Direction de la Transformation et de la Performance : Qualité, Méthode & Outils

Présentation de la Gestion des Exigences (REQM) SopraGroup / Direction de la Transformation et de la Performance : Qualité, Méthode & Outils emedia Présentation de la Gestion des Exigences (REQM) SopraGroup / Direction de la Transformation et de la Performance : Qualité, Méthode & Outils Unissons nos Talents T A L E N T E D T O G E T H E R

Plus en détail

PLAN CONDUITE DE PROJET

PLAN CONDUITE DE PROJET PLAN CONDUITE DE PROJET Ce guide complète le cours, il donne une marche à suivre qui peut être adaptée si vous choisissez une méthode particulière ETUDE PREALABLE ANALYSE FONCTIONNELLE ANALYSE DETAILLEE

Plus en détail

LES OUTILS DE LA GESTION DE PROJET

LES OUTILS DE LA GESTION DE PROJET LES OUTILS DE LA GESTION DE PROJET PROJET : «ensemble des actions à entreprendre afin de répondre à un besoin défini dans des délais fixés». Délimité dans le temps avec un début et une fin, mobilisant

Plus en détail

Projets informatiques S'approprier le Guide PMBOK pour réussir sa gestion de projet

Projets informatiques S'approprier le Guide PMBOK pour réussir sa gestion de projet Avant-propos 1. Introduction 13 2. Objectifs 14 3. Réserves 15 4. Contenu du livre 15 Concepts et définitions 1. Qu'est-ce qu'un projet? 17 1.1 Définition 17 1.2 Quelques exemples 18 2. Qu'est-ce qu'un

Plus en détail

METHODOLOGIE : INGENIERIE DES SYSTEMES

METHODOLOGIE : INGENIERIE DES SYSTEMES METHODOLOGIE : INGENIERIE DES SYSTEMES L ingénierie de systèmes regroupe l ensemble des activités de pilotage des projets de construction effective d un système en s appuyant sur sa décomposition architecturale

Plus en détail

Rapprocher les méthodes formelles, l analyse statique et les tests. 29 mai 2013

Rapprocher les méthodes formelles, l analyse statique et les tests. 29 mai 2013 Rapprocher les méthodes formelles, l analyse statique et les tests 29 mai 2013 Présentation du projet Déroulement du projet Réalisations Démonstrations Perspectives Présentation du projet Déroulement du

Plus en détail

1 ère Année. Programme du DUT GMP. IUT GMP de St Quentin, Formation en apprentissage, Année universitaire 2006-2007 - 1 -

1 ère Année. Programme du DUT GMP. IUT GMP de St Quentin, Formation en apprentissage, Année universitaire 2006-2007 - 1 - Programme du DUT GMP 1 ère Année Construction mécanique - connaître le langage du dessin technique, - connaître les fonctions mécaniques élémentaires, - utiliser des composants simples, - concevoir des

Plus en détail

Système. Introduction aux systèmes informatiques

Système. Introduction aux systèmes informatiques Introduction aux systèmes informatiques Système Un système est une collection organisée d'objets qui interagissent pour former un tout Objets = composants du système Des interconnexions (liens) entre les

Plus en détail

ECOLE CONDUITE DE PROJET Présenter un dossier compétitif auprès d une agence

ECOLE CONDUITE DE PROJET Présenter un dossier compétitif auprès d une agence ECOLE CONDUITE DE PROJET Présenter un dossier compétitif auprès d une agence Paris, le 10-03-2010 Le Plan Qualité et le montage de projet Corinne JUFFROY Ecole Conduite de Projet - Paris - 10 mars 2010

Plus en détail

GESTION DE PROJETS Procédures liées au processus GP. 05/09/2007 V2.0 Gestion de Projets T. Fricheteau 1

GESTION DE PROJETS Procédures liées au processus GP. 05/09/2007 V2.0 Gestion de Projets T. Fricheteau 1 GESTION DE PROJETS Procédures liées au processus GP 05/09/2007 V2.0 Gestion de Projets T. Fricheteau 1 GESTION DE PROJETS Plan du cours: - Procédure bilan de projet, - Procédure gestion de la documentation

Plus en détail

Normalisation et sûreté de fonctionnement : Panorama, tendances et diversité. Patrice KAHN (KSdF-Conseil / SECTOR)

Normalisation et sûreté de fonctionnement : Panorama, tendances et diversité. Patrice KAHN (KSdF-Conseil / SECTOR) Normalisation et sûreté de fonctionnement : Panorama, tendances et diversité Patrice KAHN (KSdF-Conseil / SECTOR) Systèmes & Logiciels pour les NTIC dans le Transport Transports & Sûreté de Fonctionnement

Plus en détail

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

PRINCIPES et METHODES de SPECIFICATION et de CONCEPTION GLOBALE des SYSTEMES INFORMATISES 10/20/02 1 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

Plus en détail

les outils de la gestion de projet

les outils de la gestion de projet les outils de la gestion de projet Sommaire Objectifs de la gestion de projet Les étapes du projet Les outils de gestion de projets Paramétrage de l outil PROJET : «ensemble des actions à entreprendre

Plus en détail

Modèle d implémentation

Modèle d implémentation Modèle d implémentation Les packages UML: Unified modeling Language Leçon 5/6-9-16/10/2008 Les packages - Modèle d implémentation - Méthodologie (RUP) Un package ou sous-système est un regroupement logique

Plus en détail

La norme ABD100 Qualitysource et Chroma présentent leur combinaison "Produit & logiciel de tests associé"

La norme ABD100 Qualitysource et Chroma présentent leur combinaison Produit & logiciel de tests associé La norme ABD100 Qualitysource et Chroma présentent leur combinaison "Produit & logiciel de tests associé" Les nouvelles normes : L industrie aéronautique et avionique soumet tous les équipements intégrés

Plus en détail

PHASE SOUS-PHASE MOA MOE POINTS A TRAITER. besoins. charges. I.A.2 Échéances. I.A.3 Utilisateurs. I.A.4 Besoin fonctionnels. I.A.5 Évolutions à venir

PHASE SOUS-PHASE MOA MOE POINTS A TRAITER. besoins. charges. I.A.2 Échéances. I.A.3 Utilisateurs. I.A.4 Besoin fonctionnels. I.A.5 Évolutions à venir PHASE SOUS-PHASE MOA MOE POINTS A TRAITER I. La définition des I.A. L'expression des besoins Rédige (spécifie les besoins). Consulte / utilise pour rédiger le cahier des I.A.1 Positionnement stratégique

Plus en détail

Le génie logiciel. maintenance de logiciels.

Le génie logiciel. maintenance de logiciels. Le génie logiciel Définition de l IEEE (IEEE 1990): L application d une approche systématique, disciplinée et quantifiable pour le développement, l opération et la maintenance de logiciels. Introduction

Plus en détail

Retour d expérience RATP. Intégrer le test de performance au cœur du processus de développement agile. Challenges, techniques, résultats.

Retour d expérience RATP. Intégrer le test de performance au cœur du processus de développement agile. Challenges, techniques, résultats. Retour d expérience RATP Intégrer le test de performance au cœur du processus de développement agile. Challenges, techniques, résultats. Les intervenants Alexis Bourgeois Chef de projet MOE (front web)

Plus en détail

Introduction à SCADE. F. Touchard Polytech Marseille Département d'informatique SICA 5ème année 2015-16 1

Introduction à SCADE. F. Touchard Polytech Marseille Département d'informatique SICA 5ème année 2015-16 1 Introduction à SCADE F. Touchard Polytech Marseille Département d'informatique SICA 5ème année 2015-16 1 Introduction SCADE : Safety-Critical Application Development Environment environnement de développement

Plus en détail

Quelques chiffres 07/11/2013

Quelques chiffres 07/11/2013 F DANEL Introduction Pourquoi les projets? Apporter du nouveau / une solution la ou on en a besoin! Le projet n est pas toujours une idée nouvelle C est la façon de réaliser (mettre en place) cette idée.

Plus en détail

Systèmes critiques et solutions logicielles

Systèmes critiques et solutions logicielles www.thalesgroup.com THALES CANADA, Systèmes critiques et solutions logicielles Thales Canada, Avionique Synonyme de satisfaction de la clientèle À votre service, une équipe d ingénierie entièrement intégrée

Plus en détail

Génie logiciel Test logiciel A.U. 2013/2014 (Support de cours) R. MAHMOUDI (mahmoudr@esiee.fr) 1 Plan du chapitre - Définition du test logiciel - Principe de base du test logiciel - Les différentes étapes

Plus en détail

CONCEPTS ET MISE EN PRATIQUE POUR LA VALIDATION DE GRANDS SYSTÈMES

CONCEPTS ET MISE EN PRATIQUE POUR LA VALIDATION DE GRANDS SYSTÈMES MODEL-BASED TESTING (MBT) CONCEPTS ET MISE EN PRATIQUE POUR LA VALIDATION DE GRANDS SYSTÈMES Le Model-Based Testing est une pratique de test en plein développement dans l'industrie pour accroitre l'efficacité

Plus en détail

MANAGEMENT DES SYSTEMES D INFORMATION ET DE PRODUCTION MSIP

MANAGEMENT DES SYSTEMES D INFORMATION ET DE PRODUCTION MSIP MANAGEMENT DES SYSTEMES D INFORMATION ET DE PRODUCTION MSIP METHODES & CONCEPTS POUR UNE INGENIERIE INNOVANTE Ecole Nationale Supérieure des Mines de Rabat Département INFORMATIQUE www.enim.ac.ma MANAGEMENT

Plus en détail

CONCOURS ROBAFIS 2015 Édition spéciale «10 ème anniversaire» Référentiel de Développement Plan type Lotissement des livrables documentaires

CONCOURS ROBAFIS 2015 Édition spéciale «10 ème anniversaire» Référentiel de Développement Plan type Lotissement des livrables documentaires CONCOURS ROBAFIS 2015 Édition spéciale «10 ème anniversaire» Plan type Lotissement des livrables documentaires Table des matières INTRODUCTION...2 OBJET DU DOCUMENT...2 RAPPEL DES OBJECTIFS DE LA PHASE

Plus en détail

CMI INFORMATIQUE : ICONE - PARCOURS IID

CMI INFORMATIQUE : ICONE - PARCOURS IID Université de la ROCHELLE 1/3 CMI INFORMATIQUE : ICONE - PARCOURS IID L1 S1 Informatique d'usage 2 L1 S1 Unités de découverte : 3 unités à choisir parmi : biotech. L1 S1 Unités de découverte : Matériaux,

Plus en détail

GESTION DE DONNÉES TECHNIQUES

GESTION DE DONNÉES TECHNIQUES GESTION DE DONNÉES TECHNIQUES Démarche d implémentation d un outil PLM adapté au contexte PME Espace Numérique Entreprise 12 février 2008 Written by : X. DANGER DUQUEINE COMPOSITES - Parc d'activités 442

Plus en détail

Modélisation objet Le langage UML

Modélisation objet Le langage UML Modélisation objet Le langage UML Brahim HAMID La base de contrôle Robot Zone à explorer brahim.hamid@irit.fr brahim.hamid@univ-tlse2.fr http://mass-cara.univ-tlse2.fr/~brahimou/ens/uml 1 Les méthodes

Plus en détail

Depuis que l utilisation des systèmes UTILISATION DES AUTOMATES PROGRAMMABLES INDUSTRIELS DÉDIÉS À LA SÉCURITÉ

Depuis que l utilisation des systèmes UTILISATION DES AUTOMATES PROGRAMMABLES INDUSTRIELS DÉDIÉS À LA SÉCURITÉ UTILISATION DES AUTOMATES PROGRAMMABLES INDUSTRIELS DÉDIÉS À LA SÉCURITÉ Guide pour le développement du logiciel applicatif 1 3 Automate programmable 3 Logiciel 3 Conception 3 Méthodologie h Pascal LAMY,

Plus en détail

Des exigences aux tests Génération de tests à partir des processus et règles métier (Model-Based Testing)

Des exigences aux tests Génération de tests à partir des processus et règles métier (Model-Based Testing) Des exigences aux tests Génération de tests à partir des processus et règles métier (Model-Based Testing) Bruno LEGEARD JDEV 2013 4-6 septembre 2013 Sommaire Partie I Introduction au Model-Based Testing

Plus en détail

LES DIFFERENTS SYSTEMES DE MARQUAGE DES INSTRUMENTS. Atelier n 2

LES DIFFERENTS SYSTEMES DE MARQUAGE DES INSTRUMENTS. Atelier n 2 LES DIFFERENTS SYSTEMES DE MARQUAGE DES INSTRUMENTS Atelier n 2 UNITES DE SOINS MCJ PRE-DESINFECTION Transport UTILISATION Dossier médical informatisé du patient Logiciel de traçabilité du processus de

Plus en détail

Introduction à la gestion de projets. Laurent Poinsot. Introduction. 26 janvier 2009

Introduction à la gestion de projets. Laurent Poinsot. Introduction. 26 janvier 2009 26 janvier 2009 Le modèle du est une méthodologie de développement logiciel qui est devenue un standard de l industrie logicielle. Ce modèle est constitué de deux phases : l une est dite descendante et

Plus en détail

Contexte et motivations Les techniques envisagées Evolution des processus Conclusion

Contexte et motivations Les techniques envisagées Evolution des processus Conclusion Vérification de logiciels par analyse statique Contexte et motivations Les techniques envisagées Evolution des processus Conclusion Contexte et motivations Specification Design architecture Revues and

Plus en détail

DU SCAN AU DIAG. Le BIM en REHABILITATION LES OUTILS LES VALEURS A OBTENIR CAHIER DES CHARGES PRECIS COMPLETER LA MAQUETTE PAR LES RELEVES ET SONDAGES

DU SCAN AU DIAG. Le BIM en REHABILITATION LES OUTILS LES VALEURS A OBTENIR CAHIER DES CHARGES PRECIS COMPLETER LA MAQUETTE PAR LES RELEVES ET SONDAGES Le BIM en REHABILITATION LES OUTILS LES VALEURS A OBTENIR CAHIER DES CHARGES PRECIS COMPLETER LA MAQUETTE PAR LES RELEVES ET SONDAGES LES RELEVES Relevé laser scanner 3D Mise en place d un plan d exécution

Plus en détail

Le mot «algorithme» vient du nom de l auteur persan Al-Khuwarizmi (né vers 780 - mort vers 850) Une définition: «un algorithme est une suite finie de

Le mot «algorithme» vient du nom de l auteur persan Al-Khuwarizmi (né vers 780 - mort vers 850) Une définition: «un algorithme est une suite finie de Le mot «algorithme» vient du nom de l auteur persan Al-Khuwarizmi (né vers 780 - mort vers 850) Une définition: «un algorithme est une suite finie de règles à appliquer dans un ordre déterminé à un nombre

Plus en détail

Informatique UE 102. Jean-Yves Antoine. Architecture des ordinateurs et Algorithmique de base. UFR Sciences et Techniques Licence S&T 1ère année

Informatique UE 102. Jean-Yves Antoine. Architecture des ordinateurs et Algorithmique de base. UFR Sciences et Techniques Licence S&T 1ère année UFR Sciences et Techniques Licence S&T 1ère année Informatique UE 102 Architecture des ordinateurs et Algorithmique de base Jean-Yves Antoine http://www.intro.univ-tours.fr/~antoine/ UFR Sciences et Techniques

Plus en détail

Gene-Auto, Projet ITEA 05018 IDM pour la génération de code critique certifié Validation et Vérification de transformations

Gene-Auto, Projet ITEA 05018 IDM pour la génération de code critique certifié Validation et Vérification de transformations Gene-Auto, Projet ITEA 05018 IDM pour la génération de code critique certifié Validation et Vérification de transformations Journées GDR GPL Transformations de modèles et de programmes 18 janvier 2008

Plus en détail

TABLE DES MATIÈRES CHAPITRE 1 CHAPITRE 2 CHAPITRE 3 APPLICATIONS... 27 APPLICATIONS... 34

TABLE DES MATIÈRES CHAPITRE 1 CHAPITRE 2 CHAPITRE 3 APPLICATIONS... 27 APPLICATIONS... 34 TABLE DES MATIÈRES CHAPITRE 1 L information et le système d information... 19 I. La place du système d information dans l organisation... 19 A. L organisation et ses composants... 19 B. L organisation

Plus en détail

Des processus métier et exigences aux tests pour les grands systèmes complexes

Des processus métier et exigences aux tests pour les grands systèmes complexes Des processus métier et exigences aux tests pour les grands systèmes complexes ------ Etude de cas écomouv Séminaire In'Tech INRIA Grenoble Validation formelle de systèmes industriels critiques 18 avril

Plus en détail

Cours de Génie Logiciel

Cours de Génie Logiciel Cours de Génie Logiciel Sciences-U Lyon Gestion de Projet Informatique http://www.rzo.free.fr Pierre PARREND 1 Mars 2005 Sommaire Gestion de projet informatique Cycle de vie du logiciel Modèles de Méthodes

Plus en détail

L assistance à maîtrise des projets logistiques risqués

L assistance à maîtrise des projets logistiques risqués L assistance à maîtrise des projets logistiques risqués Congrès Eurolog 21 juin 2006 Michel Fender Professeur Ecole nationale des ponts et chaussées Président Département Management Industriel, ENPC Co-directeur

Plus en détail

Etabli le : 19.12.14 Par : Hervé De Nicola Remplace la version du :

Etabli le : 19.12.14 Par : Hervé De Nicola Remplace la version du : CAHIER DES CHARGES 1. Actualisation Etabli le : 19.12.14 Par : Hervé De Nicola Remplace la version du : Motif d actualisation : Internalisation ressources 2. Identification du poste Département : INFRASTRUCTURES

Plus en détail

DESCRIPTION FONCTIONNELLE ET TECHNIQUE DE LA CHAÎNE HOMOLOGUEE CHAINE DE COLLECTE CC_ EEEUROTOLL_RAO3

DESCRIPTION FONCTIONNELLE ET TECHNIQUE DE LA CHAÎNE HOMOLOGUEE CHAINE DE COLLECTE CC_ EEEUROTOLL_RAO3 DESCRIPTION FONCTIONNELLE ET TECHNIQUE DE LA CHAÎNE HOMOLOGUEE CHAINE DE COLLECTE CC_ EEEUROTOLL_RAO3 Version de la chaîne : [EESIEMENS 1.3.4].[PROXYSIEMENS 1.6.1].[LAC 1.38].[SCOL 0.25.100].[Map CAT_RT_27092013_V01].[ARCH

Plus en détail

Domaine Sciences et Technologie Filière Génie Electrique Spécialité Automatique

Domaine Sciences et Technologie Filière Génie Electrique Spécialité Automatique Université des Sciences et de la Technologie Houari Boumédiene Faculté d Electronique et d Informatique Domaine Sciences et Technologie Filière Génie Electrique Spécialité Automatique 1 Programme de la

Plus en détail

ADAPTATION DES STATIONS EXISTANTES DE LA LIGNE

ADAPTATION DES STATIONS EXISTANTES DE LA LIGNE ADAPTATION DES STATIONS EXISTANTES DE LA LIGNE Dossier d enquête publique au titre du code de l environnement et portant sur la mise en compatibilité du Plan Local d Urbanisme de Paris ADAPTATION DES STATIONS

Plus en détail

Utilisation de l'outil GATeL pour l'évaluation des tests de logiciels critiques à l'irsn

Utilisation de l'outil GATeL pour l'évaluation des tests de logiciels critiques à l'irsn Journée SEE "Certification et méthodes formelles" Utilisation de l'outil GATeL pour l'évaluation des tests de logiciels critiques à l'irsn ONERA Toulouse, 3 février 2004 Jean Gassino (jean.gassino@irsn.fr).

Plus en détail

Brevet de technicien supérieur Conception et Réalisation en Chaudronnerie Industrielle

Brevet de technicien supérieur Conception et Réalisation en Chaudronnerie Industrielle Brevet de technicien supérieur Conception et Réalisation en Chaudronnerie Industrielle ACTIVITÉS ET TÂCHES PROFESSIONNELLES Les activités professionnelles décrites ci-après, déclinées à partir des fonctions

Plus en détail

Gardez la maîtrise de vos exigences 1 8 m a i / C l u b C o n f a i r, P a r i s. Exigences et traçabilité

Gardez la maîtrise de vos exigences 1 8 m a i / C l u b C o n f a i r, P a r i s. Exigences et traçabilité Gardez la maîtrise de vos exigences 1 8 m a i / C l u b C o n f a i r, P a r i s xigences et traçabilité XIGNC T TRACABILIT La problématique L état de l art Les points ouverts Les perspectives 2 iris-conseil,

Plus en détail

Logiciel libre et systèmes critiques hérésie ou réalité de demain? Philippe David European Space Agency

Logiciel libre et systèmes critiques hérésie ou réalité de demain? Philippe David European Space Agency Logiciel libre et systèmes critiques hérésie ou réalité de demain? Philippe David European Space Agency Premiers constats! Les fonctions nécessaires aux systèmes critiques sont implémentées par les LL:

Plus en détail

Licence en Informatique à Horraire Décalé. Cours Gestion de projet informatique Première partie

Licence en Informatique à Horraire Décalé. Cours Gestion de projet informatique Première partie Licence en Informatique à Horraire Décalé Cours Gestion de projet informatique Première partie 1 PLAN Introduction 1. Les concepts de base en management de projet : 3-33 2 Les processus du management de

Plus en détail

Créateur d applications web et mobiles

Créateur d applications web et mobiles Créateur d applications web et mobiles Projets Performances Team http://www.projet2team.fr Projet2Team Projets Performances Team http://www.projet2team.fr SAS au capital de 25.000 - RCS 789 681 285 7 rue

Plus en détail

LA QUALITE DU LOGICIEL

LA QUALITE DU LOGICIEL LA QUALITE DU LOGICIEL I INTRODUCTION L'information est aujourd'hui une ressource stratégique pour la plupart des entreprises, dans lesquelles de très nombreuses activités reposent sur l'exploitation d'applications

Plus en détail

O RMATION. Ingénierie Système Management de Projet Évaluation de la Maturité

O RMATION. Ingénierie Système Management de Projet Évaluation de la Maturité PLANS F de O RMATION Ingénierie Système Management de Projet Évaluation de la Maturité O R G A N I S A T I O N ACTEURS CONCERNÉS Les concepteurs de systèmes doivent détecter, analyser les besoins des utilisateurs,

Plus en détail

Méthode de tests MODE D EMPLOI POINTS IMPORTANTS

Méthode de tests MODE D EMPLOI POINTS IMPORTANTS Méthode de tests MODE D EMPLOI Cette première partie est destinée à ceux qui débutent en tests et permet une approche progressive et simple de la méthodologie des tests. L introduction vous aura permis

Plus en détail

Sujet de thèse CIFRE RESULIS / LGI2P

Sujet de thèse CIFRE RESULIS / LGI2P Ecole des Mines d Alès Laboratoire de Génie Informatique et d Ingénierie de Production LGI2P Nîmes Sujet de thèse CIFRE RESULIS / LGI2P Titre Domaine De l ingénierie des besoins à l ingénierie des exigences

Plus en détail

Etabli le : 05.01.14 Par : Pascal Kramer/Monique Losey Remplace la version du :

Etabli le : 05.01.14 Par : Pascal Kramer/Monique Losey Remplace la version du : CAHIER DES CHARGES 1. Actualisation Etabli le : 05.01.14 Par : Pascal Kramer/Monique Losey Remplace la version du : Motif d actualisation : Mise au concours du poste 2. Identification du poste Département

Plus en détail

ISO 27002 // Référentiels de la santé

ISO 27002 // Référentiels de la santé ISO 27002 // Référentiels de la santé Vue des établissements de santé Club 27001 27/03/2015 Nicole Genotelle Version 1.0 Sommaire Contexte Thématiques 27002 // référentiels de santé Exemples de mise en

Plus en détail

Vérification, Validation virtuelle. La Plate-forme d Intégration Virtuelle (PIV), un outil au service de la Validation

Vérification, Validation virtuelle. La Plate-forme d Intégration Virtuelle (PIV), un outil au service de la Validation Vérification, Validation virtuelle La Plate-forme d Intégration Virtuelle (PIV), un outil au service de la Validation Evolution de l électronique automobile 80 % des innovations dans l automobile sont

Plus en détail

Analyse et vérification automatique de systèmes asynchrones. Hubert Garavel INRIA / VASY http://www.inrialpes.fr/vasy

Analyse et vérification automatique de systèmes asynchrones. Hubert Garavel INRIA / VASY http://www.inrialpes.fr/vasy 1 Analyse et vérification automatique de systèmes asynchrones Hubert Garavel INRIA / VASY http://www.inrialpes.fr/vasy 2 Systèmes asynchrones P2 P1 P4 P5 P3 Caractéristiques : différents processus / tâches

Plus en détail

Portage de l environnement de simulation d un composant FPGA développé pour l aéronautique (DO254 DAL-A) vers un banc de validation physique

Portage de l environnement de simulation d un composant FPGA développé pour l aéronautique (DO254 DAL-A) vers un banc de validation physique Portage de l environnement de simulation d un composant FPGA développé pour l aéronautique (DO254 DAL-A) vers un banc de validation physique L objectif Réaliser la vérification physique d'un composant

Plus en détail

Table des Matières. Table des Figures 7. Introduction Générale 9. Chapitre 1 - Langages de description d architectures matérielles hybrides 23

Table des Matières. Table des Figures 7. Introduction Générale 9. Chapitre 1 - Langages de description d architectures matérielles hybrides 23 Table des Figures 7 Introduction Générale 9 1. Outils et plate-formes de construction d application 9 2. Intégration de paradigmes de conception dans le cycle de vie 10 2.1. Equilibrage de charge et équilibrage

Plus en détail