Introduction et contexte L I S. Jean Arlat EDF. Electricité de France technicatome. LAAS et LIS THOMSON-CSF

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

Download "Introduction et contexte L I S. Jean Arlat EDF. Electricité de France technicatome. LAAS et LIS THOMSON-CSF"

Transcription

1 Introduction et contexte L I S EDF Electricité de France technicatome THOMSON-CSF Jean Arlat LAAS et LIS

2 Création : juillet 1992 Durée : 4 ans L IS MATRA MARCONI SPACE LAAS-CNRS Région Midi-Pyrénées technicatome Le LIS Charte : Spécifier, concevoir, réaliser, exploiter, maintenir des systèmes où la faute est naturelle, prévue et tolérable Reconduction : juillet 1996 Durée : 4 ans L I S EDF Electricité de France technicatome THOMSON-CSF Composition : Personnels détachés par les partenaires industriels Chercheurs du groupe «Tolérance aux Fautes et Sûreté de Fonctionnement Informatique» du LAAS-CNRS Doctorants en informatique et en ergonomie Activités applicatives Guide de la sûreté de fonctionnement 95 Ecole d été 99 Logiciels «COTS» Activité s fédératric es Activités de Text recherche ion Activité s d'interact

3 Intégration de COTS dans les systèmes critiques! Contexte : Réflexion sur la problématique de la «réutilisation et de la sûreté de fonctionnement»! Motivation : Problématique des COTS partagée par l ensemble des partenaires! Conduite : " Identification de points de vues " Groupes de travail (membres permanents : chercheurs & détachés) " Réunions de travail ( + personnels experts des entreprises) " Rédaction d un document de synthèse

4 Problématique! Réutilisation : intégration de composants pré-existants (commerciaux ou non) Components-Off-The-Shelf «COTS» dans des systèmes critiques! Gain en productivité : temps de développement??! Perte d observabilité et de contrôle :? vis-à-vis de la SdF! Qualification et certification des systèmes :? doc. normatifs! Coût global de possession (développement, exploitation, )?

5 Amélioration de la productivité Projections par type de réduction de coût! 80% Source: B.W. Boehm DoD SW Technology Strategy, 1993 [Adapté de W.C. Lim Managing SW Reuse - Prentice Hall, 1998] 70% 60% 50% 40% 30% 20% 10% «Directive Perry» : Prise en compte de l offre commerciale pour développer les logiciels du DOD Tools (Working Faster) Process (Working Smarter) Reuse (Work Avoidance) 0%

6 Sûreté de fonctionnement? Nbre «Errata» Observation % Pentium (mars 95) 0 Result. Erroné Processeurs Intel [Avizienis & He He 1999] Pentium Pro (nov 95) Pentium II (mai 97) Fautes externes Blocage Applic. Résiduels Non corrigés (Jan. 99) Blocage Système Mobile P. II (août 98) Micronoyau Chorus [Fabre et et al. al. 1999] Fautes internes Kernel Debug. Exception Celeron (avril 98) Xeon (mai 98) Status d erreur Pas d obs. Windows 2000 Beta 3 Windows NT 4.0 Windows 98 2nd Ed. Windows 98 Windows 95 Rev. B Linux (Kernel 2.2.5) Exécutifs COTS [Shelton et et al. al. 2000] * * % Abort Restart * Crash

7 Composants concernés! Composants d un système informatique Application : Oracle, Middleware : CORBA, DCOM, OLE, Syst. Expl. : Unix, Windows, Linux, Micronoyau : Chorus, LynxOS, PalmOS, Processeur : Pentium, PowerPC, Composants : Appl. Appl. Application Application Appl. Appl. Application Middleware Non-COTS MW Middleware MW Middleware COTS Syst. Expl. Syst. Expl. Syst. Expl. Syst. Expl. Syst. Expl. Components-Off-The-Shelf (composants commerciaux et composants réutilisés) Matériel! Systèmes «enfouis» (contrôle-commande)! Logiciels de développement (simulateurs, compilateurs, etc.)

8 Position du problème! Niveau d appropriation Boîte noire Boîte blanche! Qualification/certification XSENS UNIQUE! Solutions architecturales! Validation du système hôte! Étalonnage (benchmarking) " tests de robustesse " retour d expérience

9 Démarche Focalisation sur les aspects liés à la sûreté de fonctionnement Fautes de conception! Validation " Processus d élimination et de prévision de fautes " Test et analyse! Architecture " Processus de tolérance aux fautes " Détection et recouvrement d erreur! Cycle de vie " Modèle de développement " Émergence d activités spécifiques et impact sur les autres activités Recommandations # Impact sur le cycle de vie # Caractérisation des COTS # Solutions architecturales # Validation du système hôte # Stratégie d entreprise

10 ! Rédacteurs Œuvre collective " J. Arlat, Y. Crouzet, J.-C. Fabre, M. Kaâniche, K. Kanoun, D. Powell, P. Thévenod et H. Waeselynck LAAS-CNRS " M.-H. Durand et P. Le Meur Aerospatiale Matra Airbus " M. Founau Électricité de France " J.-P. Blanquart Matra Marconi Space France " T. Boyer et C. Mazet Technicatome " F. Scheerens Thomson-CSF! Contributeurs " A. Costes, Y. Deswarte et J.-C. Laprie LAAS-CNRS " G. Ladier et F. Randimbivololona Aerospatiale Matra Airbus " J.-F. Pernet et N. Thuy Électricité de France " H. Schindler et R. Verdin Matra Marconi Space France " L. Marneffe, F. Rodet et J-M. Tabart Technicatome " J. Aguado, B. Bauer, X. Bonami et J.-C. Mielnik Thomson-CSF

Validation de systèmes intégrant des COTS : comment accommoder les inconnues sur la qualification des COTS dans le processus de validation?

Validation de systèmes intégrant des COTS : comment accommoder les inconnues sur la qualification des COTS dans le processus de validation? Validation de systèmes intégrant des COTS : comment accommoder les inconnues sur la qualification des COTS dans le processus de validation? L I S EDF Electricité de France technicatome THOMSON-CSF Philippe

Plus en détail

L I S. Composants COTS et sûreté de fonctionnement RIS. Jean Arlat. Atelier thématique n 5 Mardi 18 mars 2003 LAAS-CNRS Toulouse. [arlat@laas.

L I S. Composants COTS et sûreté de fonctionnement RIS. Jean Arlat. Atelier thématique n 5 Mardi 18 mars 2003 LAAS-CNRS Toulouse. [arlat@laas. astrium AIRBUS RIS TECHNICATOME Atelier thématique n 5 Mardi 18 mars 2003 LAAS-CNRS Toulouse Composants COTS et sûreté de fonctionnement Jean Arlat [arlat@laas.fr] L I S EDF Electricité de France technicatome

Plus en détail

Développer des systèmes sûrs à partir de composants COTS non sûrs: mythe ou réalité?

Développer des systèmes sûrs à partir de composants COTS non sûrs: mythe ou réalité? Atelier Composants commerciaux pour l informatique embarquée CNES, Toulouse 12 juin 2002 Développer des systèmes sûrs à partir de composants COTS non sûrs: mythe ou réalité? Jean Arlat et Jean-Charles

Plus en détail

Les standards et la prise en compte des COTS : comment se concilient l utilisation des COTS et les normes actuelles?

Les standards et la prise en compte des COTS : comment se concilient l utilisation des COTS et les normes actuelles? Les standards et la prise en compte des COTS : comment se concilient l utilisation des COTS et les normes actuelles? L I S EDF Electricité de France technicatome THOMSON-CSF Marie-Hélène Durand Aerospatiable

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

Virtualisation Vserver et OpenVz en entreprise

Virtualisation Vserver et OpenVz en entreprise Virtualisation Vserver et OpenVz en entreprise Présentation L'environnement Pourquoi virtualiser Les différents types de virtualisation L'isolation de processus Vserver OpenVz Retour d'expérience Conclusion

Plus en détail

LDS A ASTRIUM SAS. Eric Conquet Division Produits et Intégration Avionique

LDS A ASTRIUM SAS. Eric Conquet Division Produits et Intégration Avionique LDS A ASTRIUM SAS Eric Conquet Division Produits et Intégration Avionique Sommaire 1 Introduction Problématique 2 Les expériences opérationnelles DDV, COF-VTC, SRI Ariane5 3 Projet SPACES Génération automatique

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

Comparaison de normes de sûreté ( safety ) entre différentes industries

Comparaison de normes de sûreté ( safety ) entre différentes industries Comparaison de normes de sûreté ( safety ) entre différentes industries Présenté par Jean-Paul Blanquart Préparé par Jean-Marc Astruc (Continental Automotive), Philippe Baufreton (Sagem), Jean-Paul Blanquart

Plus en détail

Étalonnage de la sûreté de fonctionnement de systèmes d'exploitation

Étalonnage de la sûreté de fonctionnement de systèmes d'exploitation Étalonnage de la sûreté de fonctionnement de systèmes d'exploitation Karama KANOUN LAAS-CNRS Club SEE Systèmes Informatiques de Confiance Atelier du 20 octobre 2005 Logiciels sur étagère (libres ou commerciaux)

Plus en détail

SÛRETÉ DE FONCTIONNEMENT ET ARCHITECTURE GVA SÉMINAIRE ARCHITECTURES AGILES DE SYSTÈMES COMPLEXES BASÉES SUR DDS, LA VÉTRONIQUE EN CAS D EXEMPLE

SÛRETÉ DE FONCTIONNEMENT ET ARCHITECTURE GVA SÉMINAIRE ARCHITECTURES AGILES DE SYSTÈMES COMPLEXES BASÉES SUR DDS, LA VÉTRONIQUE EN CAS D EXEMPLE SÛRETÉ DE FONCTIONNEMENT ET ARCHITECTURE GVA SÉMINAIRE ARCHITECTURES AGILES DE SYSTÈMES COMPLEXES BASÉES SUR DDS, LA VÉTRONIQUE EN CAS D EXEMPLE PLAN Architecture GVA et NGVA SDF dans Architecture GVA

Plus en détail

Expert en Acoustique et en Vibration

Expert en Acoustique et en Vibration Expert en Acoustique et en Vibration L entreprise , filiale AREVA Energie nucléaire Energies renouvelables Des solutions pour produire de l électricité sans CO2 47,817 personnes 20 pays Présence industrielle

Plus en détail

Exécution des applications réparties

Exécution des applications réparties Exécution des applications réparties Programmation des Applications Réparties Olivier Flauzac URCA Master STIC-Informatique première année Olivier Flauzac (URCA) PAR : Exécution des applications réparties

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

MCO : Maintien en Conditions Opérationnelles

MCO : Maintien en Conditions Opérationnelles Les différentes stratégies de pérennisation : étude menée par Edf avec ISO Ingénierie MCO : Maintien en Conditions Opérationnelles Par Matthieu Bresciani 10/06/2010 Journée Club Automation MCO des systèmes

Plus en détail

Projet Informatique. Philippe Collet. Licence 3 Informatique S5 2014-2015. http://deptinfo.unice.fr/twiki/bin/view/linfo/projetinfo201415

Projet Informatique. Philippe Collet. Licence 3 Informatique S5 2014-2015. http://deptinfo.unice.fr/twiki/bin/view/linfo/projetinfo201415 Projet Informatique Philippe Collet Licence 3 Informatique S5 2014-2015 http://deptinfo.unice.fr/twiki/bin/view/linfo/projetinfo201415 Réalisation d'un développement de taille conséquente? r Firefox? Ph.

Plus en détail

IBM SPSS Modeler Text Analytics Server for UNIX

IBM SPSS Modeler Text Analytics Server for UNIX IBM SPSS Modeler Text Analytics Server for UNIX Instructions d installation IBM SPSS Modeler Text Analytics Server peut être installé et configuré pour s exécuter sur un ordinateur exécutant IBM SPSS Modeler

Plus en détail

La Virtualisation Windows chez CASINO. Philippe CROUZY Responsable Infrastructure Equipes Systèmes -Stockage

La Virtualisation Windows chez CASINO. Philippe CROUZY Responsable Infrastructure Equipes Systèmes -Stockage La Virtualisation Windows chez CASINO Philippe CROUZY Responsable Infrastructure Equipes Systèmes -Stockage Sommaire Contexte Datacenters La virtualisation chez Casino Notre démarche Feuille de route Bilan

Plus en détail

Implantation d Autodesk Revit au sein de firmes œuvrant en CVCA

Implantation d Autodesk Revit au sein de firmes œuvrant en CVCA Implantation d Autodesk Revit au sein de firmes œuvrant en CVCA Présenté par: Tarek Ghazzaoui, Ing. Directeur général de BIM Competent 1 Objectifs Introduction au BIM Implantation d Autodesk Revit Volet

Plus en détail

Stratégie projet pour valoriser l'apport des technologies mobiles. Fréderic FADDA. Mobility GBS Leader, IBM

Stratégie projet pour valoriser l'apport des technologies mobiles. Fréderic FADDA. Mobility GBS Leader, IBM Stratégie projet pour valoriser l'apport des technologies mobiles Fréderic FADDA Mobility GBS Leader, IBM L introduction des technologies Mobiles, un accélérateur Business, Opérationnel et IT L introduction

Plus en détail

La gestion des conflits d objectifs dans la conduite de processus industriels

La gestion des conflits d objectifs dans la conduite de processus industriels La gestion des conflits d objectifs dans la conduite de processus industriels LETZKUS Pierre Doctorant CEA / TECHNICATOME * / Université de Toulouse le Mirail ** Centre d Etudes de Cadarache DER/STR/LCFR

Plus en détail

Rationalisation et suivi de la qualité de nos applications en production. Karim Hamadouche - CTI Naim Bedoui - CTI Philippe Delobel ilem SA

Rationalisation et suivi de la qualité de nos applications en production. Karim Hamadouche - CTI Naim Bedoui - CTI Philippe Delobel ilem SA Rationalisation et suivi de la qualité de nos applications en production Karim Hamadouche - CTI Naim Bedoui - CTI Philippe Delobel ilem SA lundi 25 juin 2012 Agenda Enjeux de la qualité Quelques mots sur

Plus en détail

Active CRM. Solution intégrée de téléprospection. www.aliendoit.com 04/10/2011

Active CRM. Solution intégrée de téléprospection. www.aliendoit.com 04/10/2011 www.aliendoit.com Active CRM Solution intégrée de téléprospection 04/10/2011 Alien Technology 3E Locaux Professionnels Km 2.5 Route de Kénitra 11005 SALÉ MAROC Tél. : +212 537 84 38 82 Fax : +212 537 88

Plus en détail

ReNo, le référentiel r rentiel de normalisation Web du Gouvernement luxembourgeois. Gautier Barrère

ReNo, le référentiel r rentiel de normalisation Web du Gouvernement luxembourgeois. Gautier Barrère ReNo, le référentiel r rentiel de normalisation Web du Gouvernement luxembourgeois (adopté le 25 octobre 2007) Gautier Barrère re Paris Web 2008 1 Qui suis-je? Gautier Barrère Ergonome «Human factor» -

Plus en détail

Référentiel. «Compétences pour l entreprise» pour le doctorat

Référentiel. «Compétences pour l entreprise» pour le doctorat Référentiel du parcours «Compétences pour l entreprise» pour le doctorat Introduction Pourquoi? Plus de 80% des docteurs formés dans les disciplines scientifiques sont aujourd hui employés au sein des

Plus en détail

18 Boulevard Jean Jaurès - 91290 Arpajon 01 60 81 98 44 06 08 82 60 69 Hubert.Tabone@freeserve.fr www.freeserve.fr/

18 Boulevard Jean Jaurès - 91290 Arpajon 01 60 81 98 44 06 08 82 60 69 Hubert.Tabone@freeserve.fr www.freeserve.fr/ 18 Boulevard Jean Jaurès - 91290 Arpajon 01 60 81 98 44 06 08 82 60 69 Hubert.Tabone@freeserve.fr www.freeserve.fr/ Consultant technique SAP - Architecte/Chef de projet technique SAP Depuis 2000 REFERENCES

Plus en détail

Vulnérabilités engendrées par la virtualisation. Jean-Marie Petry / jean-marie.petry@rbs.fr Chef de Projet / Ingénieur ISIAL

Vulnérabilités engendrées par la virtualisation. Jean-Marie Petry / jean-marie.petry@rbs.fr Chef de Projet / Ingénieur ISIAL Vulnérabilités engendrées par la virtualisation Jean-Marie Petry / jean-marie.petry@rbs.fr Chef de Projet / Ingénieur ISIAL V2-26/9/2007 Vulnérabilités engendrées par la virtualisation Rappel des architectures

Plus en détail

EADS TEST & SERVICES PERENNISATION SYSTÈME VIRTUALISATION

EADS TEST & SERVICES PERENNISATION SYSTÈME VIRTUALISATION PERENNISATION SYSTÈME VIRTUALISATION PLEAS : Virtualisation de système informatique de banc de test. CLUB AUTOMATION 10 JUIN 2010 Richard.Boyer@eads.com EADS Defence and Security 2009 All rights reserved

Plus en détail

Solution de workflow pour la gouvernance des données d entreprise avec Oracle Data Relationship Management - Acheter ou Créer?

Solution de workflow pour la gouvernance des données d entreprise avec Oracle Data Relationship Management - Acheter ou Créer? Un livre blanc Oracle Mars 2014 Solution de workflow pour la gouvernance des données d entreprise avec Oracle Data Relationship Management - Acheter ou Créer? Note de synthèse Les organisations aspirant

Plus en détail

Fiabilité et robustesse

Fiabilité et robustesse Fiabilité et robustesse Fiabilité Robustesse Tolérance aux fautes lundi 26 mars 2001 2 Fiabilité Définition système fonctionnel en tout temps temps de non-fonctionnement inférieur à un seuil donné réponse

Plus en détail

Mise en œuvre et suivi de l ISO 14001 sur l établissement COGEMA Cadarache

Mise en œuvre et suivi de l ISO 14001 sur l établissement COGEMA Cadarache COGEMA Mise en œuvre et suivi de l ISO 14001 sur l établissement COGEMA Cadarache Roger FANTON Chef des services QSSE Directeur Adjoint Journées SFRP, les 17 et 18 novembre 2005 COGEMA L'énergie, cœur

Plus en détail

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

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

Plus en détail

Méthodes et Outils pour maîtriser la complexité et la sûreté des systèmes

Méthodes et Outils pour maîtriser la complexité et la sûreté des systèmes La Recherche Technologique au CEA : Méthodes et Outils pour maîtriser la complexité et la sûreté des systèmes Contact : Didier JUVIN didier.juvin@cea.fr 1 Le CEA/LIST : un pôle de Recherche Technologique

Plus en détail

«Vous accompagner de l idée à la réalisation»

«Vous accompagner de l idée à la réalisation» Plan Climat des Alpes-Maritimes K. Daudin 15 Novembre 2013 «Vous accompagner de l idée à la réalisation» SOMMAIRE 1 Qu est-ce que le BIM? 2 Son concept 3 Son usage 4 Quelles sont les attentes? 5 Les enjeux

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

Consultant AMOA. Réf.: QSDA1607 COMPETENCES FONCTIONNELLES ET REALISATIONS COMPETENCES TECHNIQUES. Communication :

Consultant AMOA. Réf.: QSDA1607 COMPETENCES FONCTIONNELLES ET REALISATIONS COMPETENCES TECHNIQUES. Communication : Réf.: QSDA1607 Consultant AMOA COMPETENCES FONCTIONNELLES ET REALISATIONS Communication : Formalisation des besoins utilisateurs Animation de réunions et d'ateliers Organisation de la méthode de travail

Plus en détail

KIT 24 Plan de recette

KIT 24 Plan de recette KIT 24 Plan de recette et Fiches de test Intitulé du Projet Préparé par: Auteur Préparé le : jj/mm/aa Version 2015 1 Description du document Nom du projet : Nom du projet Nom du chef de projet : Nom du

Plus en détail

LogiAlpes. Logiciel d aide au calcul des batteries de condensateurs pour la compensation de l énergie réactive

LogiAlpes. Logiciel d aide au calcul des batteries de condensateurs pour la compensation de l énergie réactive LogiAlpes Logiciel d aide au calcul des batteries de condensateurs pour la compensation de l énergie réactive LogiAlpes en un coup d oeil LogiAlpes est un logiciel simple d utilisation qui permet de déterminer

Plus en détail

INDUSTRIALISATION ET RATIONALISATION

INDUSTRIALISATION ET RATIONALISATION INDUSTRIALISATION ET RATIONALISATION A. LA PROBLEMATIQUE La mission de toute production informatique est de délivrer le service attendu par les utilisateurs. Ce service se compose de résultats de traitements

Plus en détail

Processus d étude de sécurité pour la certification du système protection HGV de signalisation ferroviaire

Processus d étude de sécurité pour la certification du système protection HGV de signalisation ferroviaire Processus d étude de sécurité pour la certification du système protection HGV de signalisation ferroviaire Client : EUROTUNNEL RIS Atelier thématique n 5 Justification de sûreté de fonctionnement (safety

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

Sûreté de Fonctionnement des Logiciels Critiques État des lieux et évolutions récentes

Sûreté de Fonctionnement des Logiciels Critiques État des lieux et évolutions récentes Sûreté de Fonctionnement des Logiciels Critiques État des lieux et évolutions récentes Plan Présentation du groupe SERMA Contexte du développement critique Historique de la Sûreté de Fonctionnement Les

Plus en détail

Offres de stages Adeneo Embedded

Offres de stages Adeneo Embedded Offres de stages Adeneo Embedded Postes: Stages de fin d etude Société: Adeneo Embedded. Postes ouverts sur: Ecully (69), France Massy (91), France Type: Stages de 4 à 6 mois pour 1 à 2 étudiants Aperçu

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

Cours Systèmes et Réseaux : principes, programmation et modélisation Marc Pouzet École normale supérieure L3. Systèmes et Réseaux L3, 2014-2015 1/13

Cours Systèmes et Réseaux : principes, programmation et modélisation Marc Pouzet École normale supérieure L3. Systèmes et Réseaux L3, 2014-2015 1/13 Cours Systèmes et Réseaux : principes, programmation et modélisation Marc Pouzet École normale supérieure L3 Systèmes et Réseaux L3, 2014-2015 1/13 Organisation du cours 10 cours + 10 TD/TPs. Enseignants

Plus en détail

HP ProLiant Small Office Solution. FAQ : Installer un serveur Windows 2003 Terminal Server

HP ProLiant Small Office Solution. FAQ : Installer un serveur Windows 2003 Terminal Server FAQ : Installer un serveur Windows 2003 Terminal Server 30 novembre 2004 Sommaire 1. Objectifs... 3 2. Description de l installation... 3 3. Installer un serveur dans votre réseau... 4 4. Installation

Plus en détail

Serveurs tolérant les intrusions sur Internet

Serveurs tolérant les intrusions sur Internet Serveurs tolérant les intrusions sur Internet Ayda Saïdane Sous la direction de : Y. Deswarte & V. Nicomette Groupe Tolérance aux fautes et Sûreté de Fonctionnement informatique Plan Problématique et approches

Plus en détail

Systèmes GNU/Linux et la certification Critères Communs

Systèmes GNU/Linux et la certification Critères Communs Systèmes GNU/Linux et la certification Critères Communs Yann Droneaud Ingénieur Conseil Juin 2005, Cetic, Charleroi, Belgique Copyright 2005 Mandrakesoft SA, sous Licence Creative

Plus en détail

ANNEE 2013-2014. Le tableau ci-dessous présente ces unités d'enseignement ainsi que leurs coefficients et leurs volumes horaires respectifs.

ANNEE 2013-2014. Le tableau ci-dessous présente ces unités d'enseignement ainsi que leurs coefficients et leurs volumes horaires respectifs. ANNEE 2013-2014 PLAN DE FORMATION Licence Professionnelle en Alternance AII-SIAM «AUTOMATIQUE ET INFORMATIQUE INDUSTRIELLE» «SYSTEMES INDUSTRIELS AUTOMATISES ET MAINTENANCE» «PARCOURS AUTOMATISMES» 1 OBJECTIFS

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

Responsable d Exploitation et de Maintenance H/F - Réf 15O22726/E86 - Migné-

Responsable d Exploitation et de Maintenance H/F - Réf 15O22726/E86 - Migné- Responsable d Exploitation et de Maintenance H/F - Réf 15O22726/E86 - Migné- Auxances Génie Civil / Electrique / Electronique / Mécanique / Thermique CDI temps plein Migné-Auxances 5-10 ans BAC +4/5 et

Plus en détail

Développement de systèmes critiques intégrant des logiciels libres. Mercredi 5 Novembre 2003 - RTP CNRS-STIC n 21 - Paris

Développement de systèmes critiques intégrant des logiciels libres. Mercredi 5 Novembre 2003 - RTP CNRS-STIC n 21 - Paris Développement de systèmes critiques intégrant des logiciels libres Mercredi 5 Novembre 2003 - RTP CNRS-STIC n 21 - Paris Agenda Contexte État des lieux Logiciel libre et systèmes critiques Exemples d architectures

Plus en détail

CRISTAL PME. Logiciel de pilotage des processus industriels pour les PME-PMI. Collaboration : LAPP - CERN - UWE - THESAME

CRISTAL PME. Logiciel de pilotage des processus industriels pour les PME-PMI. Collaboration : LAPP - CERN - UWE - THESAME CRISTAL PME Logiciel de pilotage des processus industriels pour les PME-PMI Collaboration : LAPP - CERN - UWE - THESAME Objectifs de CRISTAL PME : Modéliser le système d informations de l entreprise (flux

Plus en détail

Le logiciel libre en sécurité informatique.

Le logiciel libre en sécurité informatique. Le logiciel libre en sécurité informatique. Cédric Blancher 9 juillet 2002 Outline 1 Le besoin de sécurité Pourquoi fait-on de la sécurité? Qu est-ce qu on attend d un système

Plus en détail

Michel Lara, Responsable des Relations Partenaires IBM Innovation Center michel.lara@fr.ibm.com 01 49 14 59 95

Michel Lara, Responsable des Relations Partenaires IBM Innovation Center michel.lara@fr.ibm.com 01 49 14 59 95 Michel Lara, Responsable des Relations Partenaires IBM Innovation Center michel.lara@fr.ibm.com 01 49 14 59 95 L'IBM Innovation Center propose : des ressources humaines, matérielles et logicielles à nos

Plus en détail

Phase 2 : Mettre en œuvre. Gestion des projets. Gestion documentaire. Gestion du changement. R Collomp - D Qualité D 2 Ges4on documentaire

Phase 2 : Mettre en œuvre. Gestion des projets. Gestion documentaire. Gestion du changement. R Collomp - D Qualité D 2 Ges4on documentaire Phase 2 : Mettre en œuvre Gestion des projets Gestion Gestion du changement Gestion Plusieurs documents dans un organisme : Documentation technique Documentation sociale Documentation commerciale Documentation

Plus en détail

CTE Éditeur de classification arborescente pour spécifications du cas de test

CTE Éditeur de classification arborescente pour spécifications du cas de test Tessy Test d intégration et unitaire dynamique automatisé pour des applications embarquées CTE Éditeur de classification arborescente pour spécifications du cas de test Le meilleur outil de test unitaire

Plus en détail

Atelier BNP le 28 Mars 2013 Assurances, mutuelles : Les nouveaux défis de la communication multicanal

Atelier BNP le 28 Mars 2013 Assurances, mutuelles : Les nouveaux défis de la communication multicanal Atelier BNP le 28 Mars 2013 Assurances, mutuelles : Les nouveaux défis de la communication multicanal Solution HP Exstream Philippe Bessis Business Development Manager HP Exstream HP Exstream est une solution

Plus en détail

GenDbg : un débogueur générique. Didier Eymery Jean-Marie Borello Jean-Marie Fraygefond Odile Eymery Philippe Bion

GenDbg : un débogueur générique. Didier Eymery Jean-Marie Borello Jean-Marie Fraygefond Odile Eymery Philippe Bion GenDbg : un débogueur générique Didier Eymery Jean-Marie Borello Jean-Marie Fraygefond Odile Eymery Philippe Bion 2008 Qui sommes nous? Centre d électronique de l Armement (CELAR) Maîtrise et protection

Plus en détail

CONFÉRENCE HOPITECH 2011

CONFÉRENCE HOPITECH 2011 CONFÉRENCE HOPITECH 2011 Bénéfices attendus de l intégration GTC & GMAO ANIMÉE PAR : ARNAUD PICHARD, RESPONSABLE MARKETING CODRA LAURENT TRUSCELLO, RESPONSABLE PRODUITS ET SERVICES CARL Software Hopitech

Plus en détail

Le Campus Virtuel Marocain

Le Campus Virtuel Marocain Le Campus Virtuel Marocain Soutien à l Enseignement Supérieur Président de l Université Ibn Zohr; Agadir 1 Plan e-learning et enseignements supérieur CVM Réalisations et perspectives Projets GENIE et TICSUP

Plus en détail

ACI Sécurité ALIDECS:

ACI Sécurité ALIDECS: ACI Sécurité ALIDECS: Langages et Atelier Integrés pour le Développement de Composants Embarqués Sûrs Réunion de démarrage LIP6, 21 et 22 octobre 2004 Marc Pouzet 1 Page web http://www-verimag.imag.fr/synchrone/alidecs/

Plus en détail

INTRODUCTION AU MANAGEMENT QUALITE

INTRODUCTION AU MANAGEMENT QUALITE INTRODUCTION AU MANAGEMENT QUALITE 1 Sommaire 1 Historique, 2 Établissement des normes, 3 Qu est ce que les normes ISO 9000? 4 Objectifs de la norme ISO 9000, 5 Situation d utilisation de la norme, 6 Schéma

Plus en détail

Projet PHARES. Note de cadrage sur la production de livrables en phase finale du projet

Projet PHARES. Note de cadrage sur la production de livrables en phase finale du projet Projet PHARES Note de cadrage sur la production de livrables en phase finale du projet L.Brami, S.Damart, M. Detchessahar, M. Devigne, J. Habib, F. Kletz, C. Krohmer. Document joint à l avenant au contrat

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

Présentation. Logiciels libres. Open Source. Clinkast 4 Avenue du Général de Gaulle F 92360 Meudon (+33) 6 20 44 86 95 (+33) 1 46 30 24 13

Présentation. Logiciels libres. Open Source. Clinkast 4 Avenue du Général de Gaulle F 92360 Meudon (+33) 6 20 44 86 95 (+33) 1 46 30 24 13 Présentation Logiciels libres et Open Source Description Un logiciel libre* est en général gratuit. Il est utilisable et modifiable sans notification préalable à son auteur, qui a renoncé à ses droits

Plus en détail

R éseau. d I ngénierie S ûreté de fonctionnement. de la. Programme

R éseau. d I ngénierie S ûreté de fonctionnement. de la. Programme R éseau astrium RIS technicatome de la d I ngénierie S ûreté de fonctionnement EADS AIRBUS http://www.ris.prd.fr Réunion n 4 du GT Logiciel Libre et Sûreté de Fonctionnement 14 janvier 2002 LAAS-CNRS Programme

Plus en détail

Bureau Veritas Energie Des solutions pour améliorer vos performances énergétiques et réduire vos émissions de CO 2

Bureau Veritas Energie Des solutions pour améliorer vos performances énergétiques et réduire vos émissions de CO 2 INDUSTRIE TERTIAIRE Bureau Veritas Energie Des solutions pour améliorer vos performances énergétiques et réduire vos émissions de CO 2 *Avançons en confiance Move Forward with Confidence* Faire de la maîtrise

Plus en détail

Processus d Informatisation

Processus d Informatisation Processus d Informatisation Cheminement de la naissance d un projet jusqu à son terme, deux grandes étapes : Recherche ou étude de faisabilité (en amont) L utilisateur a une idée (plus ou moins) floue

Plus en détail

Chef de projet H/F. Vous avez au minimum 3 ans d expérience en pilotage de projet de préférence dans le monde du PLM et de management d équipe.

Chef de projet H/F. Vous avez au minimum 3 ans d expérience en pilotage de projet de préférence dans le monde du PLM et de management d équipe. Chef de projet H/F Dans le cadre de nos activités pour un de nos clients, CIMPA recherche un chef de projet H/F. - Planifier l ensemble des phases du projet - Piloter l équipe dédiée au projet - Garantir

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

Analyse des coûts projetés de la plate-forme SAP HANA

Analyse des coûts projetés de la plate-forme SAP HANA Étude Total Economic Impact réalisée par Forrester Pour SAP Directrice du projet : Shaheen Parks Avril 2014 Analyse des coûts projetés de SAP HANA Économies réalisables en migrant vers SAP HANA Synthèse

Plus en détail

FILIÈRE METHODOLOGIE & PROJET

FILIÈRE METHODOLOGIE & PROJET FILIÈRE METHODOLOGIE & PROJET 109 Gestion de projet METHODOLOGIE ET PROJET Durée 3 jours Conduite de projet COND-PRO s Intégrer les conditions de réussite d une démarche de management par projet. Impliquer

Plus en détail

Linux embarqué: une alternative à Windows CE?

Linux embarqué: une alternative à Windows CE? embarqué: une alternative à Windows CE? : une alternative à Windows CE Présentation Mangrove Systems Distribution embarqué Perspective WinCe / Questions Mangrove systems Créé en 2001 Soutien Soutien Ministère

Plus en détail

Eric Bertrand ebertrand@ixis-cib.com. 08/11/06 Maître de conférence 1

Eric Bertrand ebertrand@ixis-cib.com. 08/11/06 Maître de conférence 1 Calcul parallèle des options MC. Eric Bertrand ebertrand@ixis-cib.com 1 Plan Contexte du calcul parallèle Qualités requises Architecture Outillage Problèmes rencontrés perspectives 2 Contexte du calcul

Plus en détail

2006 IBM Corporation

2006 IBM Corporation 2006 IBM Corporation IBM SOA Executive Summit Paris 31 Mai 2007 Session Gestion de s «Facteur clé de compétitivité et d innovation pour les compagnies d assurance» Emmanuel Auriol Solutions Assurances

Plus en détail

& collaborative workspace. the new multitouch CONNECT & SHARE COLLABORATE BETTER & DECIDE FASTER CREATE & INNOVATE SAVE & TAKE THE DATA WITH YOU

& collaborative workspace. the new multitouch CONNECT & SHARE COLLABORATE BETTER & DECIDE FASTER CREATE & INNOVATE SAVE & TAKE THE DATA WITH YOU CONNECT & SHARE COLLABORATE BETTER & DECIDE FASTER SAVE & TAKE THE DATA WITH YOU CREATE & INNOVATE the new multitouch & collaborative workspace O1 Connect & Share O2 Create & Innovate O3 Collaborate better

Plus en détail

Bureau Veritas Energie Des solutions pour améliorer vos performances énergétiques et réduire vos émissions de CO 2

Bureau Veritas Energie Des solutions pour améliorer vos performances énergétiques et réduire vos émissions de CO 2 COLLECTIVITÉS Bureau Veritas Energie Des solutions pour améliorer vos performances énergétiques et réduire vos émissions de CO 2 *Avançons en confiance Move Forward with Confidence* Faire de la maîtrise

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

Exemples de mise en place de Projets dans les PME-PMI

Exemples de mise en place de Projets dans les PME-PMI Gestion du cycle de vie Produit : Conseil, Services et Solutions pour l Industrie Exemples de mise en place de Projets dans les PME-PMI D. Cappelaere Agenda :. Présentation générale et positionnement d

Plus en détail

La boite à outils du Responsable Energie

La boite à outils du Responsable Energie La boite à outils du Responsable Energie Salon POLLUTEC 5 décembre 2014 Contact : Julien ADAM, Chargé de mission Maitrise de l Energie j.adam@atee.fr Boite à outils du Responsable Energie 1 1. Le Rôle

Plus en détail

Projet Industriel Identification des contraintes DO 178C en implémentant l approche «Model Based Testing» avec l aide de l outil MaTeLo

Projet Industriel Identification des contraintes DO 178C en implémentant l approche «Model Based Testing» avec l aide de l outil MaTeLo Projet Industriel Identification des contraintes DO 178C en implémentant l approche «Model Based Testing» avec l aide de l outil MaTeLo Encadrement : Mihaela BARREAU Anthony FAUCOGNEY René Christian TUYISHIME

Plus en détail

Guide du plug-in BR-Docs pour Office

Guide du plug-in BR-Docs pour Office Guide du plug-in BR-Docs pour Office Version 0 FRE Table des matières 1 Guide du programme d installation 1 Installation de BR-Docs Plug-In for Office...2 Configuration matérielle et logicielle requise...5

Plus en détail

Architecture distribuée

Architecture distribuée Architecture distribuée Conception et développement d algorithmes distribués pour le moteur Baboukweb Jean-Christophe DALLEAU Département de Mathématiques et Informatique Université de La Réunion 26 juin

Plus en détail

Expert International certifié ITIL service Management

Expert International certifié ITIL service Management CV du Formateur du Séminaire de Formation Préparation à la certification ITIL FOUNDATION 2011 V3 Expert International certifié ITIL service Management Domaine de compétence:.itil Expert Certified in IT

Plus en détail

Cadre juridique de l Open data

Cadre juridique de l Open data Inspire / Open data : deux démarches complémentaires pour mieux partager les données géographiques Cadre juridique de l Open data Sarah Lenoir 12 octobre 2015 1 Introduction (1) Enjeu Favoriser le partage

Plus en détail

Oracle Developer Suite 10g. Guide de l installation. Vista & Seven

Oracle Developer Suite 10g. Guide de l installation. Vista & Seven TRAVAIL RÉALISÉ PAR ABED ABDERRAHMANE Oracle Developer Suite 10g Guide de l installation 10g Release 2 (10.1.2) pour Windows Vista & Seven www.oraweb.ca Page 1 TABLE DES MATIÈRES : PARTIE 1 : CONCEPTS

Plus en détail

impressions précises. couleurs maîtrisées.

impressions précises. couleurs maîtrisées. TM Découvrez colormunki colormunki photo, la nouvelle manière de transposer vos photos de l écran au papier signée x-rite. ColorMunki est votre solution de gestion des couleurs tout-en-un. La maîtrise

Plus en détail

Suivi des risques Projet ERP Info 2000

Suivi des risques Projet ERP Info 2000 Suivi des s Projet ERP Info 1 Inflation Description du Impacts Type de Evolution des coûts matière première, composants ou soustraitance Augmentation du budget économique/ Augmentation du budget économique/

Plus en détail

Introduction aux Composants Logiciels

Introduction aux Composants Logiciels Introduction aux Composants Logiciels Christian Pérez LIP/INRIA Année 2010-11 Plan Introduction aux composants logiciels Pourquoi des composants logiciels Notions de composants logiciels Conclusion Survol

Plus en détail

I OBJECTIF PROFESSIONNEL DU CQPM

I OBJECTIF PROFESSIONNEL DU CQPM COMMISSION PARITAIRE NATIONALE DE L'EMPLOI DE LA METALLURGIE Qualification : 2007 07 89 0262 Catégorie : C* REFERENTIEL DU CQPM TITRE DU CQPM : Développement de la démarche innovation I OBJECTIF PROFESSIONNEL

Plus en détail

INFORMATIQUE & WEB. PARCOURS CERTIFICAT PROFESSIONNEL Programmation de sites Web. 1 an 7 MODULES. Code du diplôme : CP09

INFORMATIQUE & WEB. PARCOURS CERTIFICAT PROFESSIONNEL Programmation de sites Web. 1 an 7 MODULES. Code du diplôme : CP09 INFORMATIQUE & WEB Code du diplôme : CP09 Passionné par l informatique et le web, vous souhaitez obtenir une certification dans un domaine porteur et enrichir votre CV? PARCOURS CERTIFICAT PROFESSIONNEL

Plus en détail

Le CPFR. (Collaborative Planning Forecasting and Replenishment)

Le CPFR. (Collaborative Planning Forecasting and Replenishment) Le CPFR (Collaborative Planning Forecasting and Replenishment) «Redéfinir les rôles et compétences pour réussir la collaboration Supply Chain entre Industriels et Distributeurs» Viviane MARC Directrice

Plus en détail

L équipement choisit devra être nomade, il servira aux visiteurs en déplacements et sera donc sujets à des limitations de tailles et de poids.

L équipement choisit devra être nomade, il servira aux visiteurs en déplacements et sera donc sujets à des limitations de tailles et de poids. I.Cahier des charges Afin de remplacer les ordinateurs portables obsolètes des visiteurs, nous avons mis en place un cahier des charges afin de sélectionner plusieurs équipements pour ensuite les comparer

Plus en détail

G en om3: Building middleware-independent robotic components. Comparaison de middleware: YARP, MS Robotics Dev Studio, URBI, OpenRTM-aist, ROS

G en om3: Building middleware-independent robotic components. Comparaison de middleware: YARP, MS Robotics Dev Studio, URBI, OpenRTM-aist, ROS G en om3: Building middleware-independent robotic components Comparaison de middleware: YARP, MS Robotics Dev Studio, URBI, OpenRTM-aist, ROS Pablo Rauzy 15 février 2011 Table des matières 1 G en om3 :

Plus en détail

Recommandations sur le Cloud computing

Recommandations sur le Cloud computing Recommandations sur le Cloud computing EuroCloud, Paris, 25 septembre 2012 Didier GASSE, membre de la Commission nationale de l informatique et des libertés Myriam GUFFLET, Juriste au Service des affaires

Plus en détail

Instructions relatives à la suppression des maliciels

Instructions relatives à la suppression des maliciels Département fédéral des finances DFF Unité de pilotage informatique de la Confédération UPIC Centrale d enregistrement et d analyse pour la sûreté de l information MELANI GovCERT.ch Instructions relatives

Plus en détail

GCOS 7 sur microprocesseur standard Diane Daniel POIRSON 14 octobre 2004 Matériels 64 / DPS 7 / DPS 7000 Architecture & Evolution - Daniel POIRSON 1

GCOS 7 sur microprocesseur standard Diane Daniel POIRSON 14 octobre 2004 Matériels 64 / DPS 7 / DPS 7000 Architecture & Evolution - Daniel POIRSON 1 sur microprocesseur standard Diane Daniel POIRSON 14 octobre 2004 Matériels 64 / DPS 7 / DPS 7000 Architecture & Evolution - Daniel POIRSON 1 Pourquoi aller vers les processeurs standard? Considérations

Plus en détail

Le 09 et 10 Décembre 09

Le 09 et 10 Décembre 09 Séminaire de 2 jours Le 09 et 10 Décembre 09 Mettez les évolutions technologiques au service de vos objectifs métier 2 OXIA a pour mission de concevoir et mettre en œuvre les meilleures solutions technologiques

Plus en détail

MATINFO 3. xxxxxxxxxx Responsable de Comptes xxxxxxxx

MATINFO 3. xxxxxxxxxx Responsable de Comptes xxxxxxxx MATINFO 3 xxxxxxxxxx Responsable de Comptes xxxxxxxx Catégorie 1 : Poste Bureautique Optiplex 7010 Dédié aux principales applications bureautiques 4 châssis différents : MT, DT, SF, USFF Large choix de

Plus en détail