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

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

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

30-36 CENTRÉ RATIONAL DE LA RECHERCHE SCIENTIFIQUE LABORATOIRE D'ANALYSE ET SQUALE : CEÏTERES D'EVALUATION BE LA SURETE 0E.

30-36 CENTRÉ RATIONAL DE LA RECHERCHE SCIENTIFIQUE LABORATOIRE D'ANALYSE ET SQUALE : CEÏTERES D'EVALUATION BE LA SURETE 0E. FR9905571 CENTRÉ RATIONAL DE LA RECHERCHE SCIENTIFIQUE Doc, Enreg. te.«4^.;..,:.. J... : '. ' * i» LABORATOIRE D'ANALYSE ET SQUALE : CEÏTERES D'EVALUATION BE LA SURETE 0E. FONCTIONNEMENT X PESWARTE, M.

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

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

1 / 9. Méthodes de développement. Introduction

1 / 9. Méthodes de développement. Introduction 1 / 9 Méthodes de développement Introduction 1 - Objectifs... 2 2 - Risques d'un projet logiciel... 2 3 - Préparation et conduite de projet... 3 4 - Caractères particuliers du logiciel et conséquences...

Plus en détail

Cegid Business/Expert

Cegid Business/Expert Cegid Business/Expert Pré-requis sur Plate-forme Windows Service d'assistance Téléphonique 0 826 888 488 Pré-requis sur Plate-forme Windows Sommaire 1. PREAMBULE... 3 Précision de terminologie concernant

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

N de modèle DP-C262/C322

N de modèle DP-C262/C322 Manuel d utilisation (Configuration de PostScript3 Printer Driver) Logiciel N de modèle DP-C262/C322 Description Configuration requise générale Installation de Job Status Installation de PS Driver Security

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

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

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

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

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

MODULE I1. Plan. Introduction. Introduction. Historique. Historique avant 1969. R&T 1ère année. Sylvain MERCHEZ

MODULE I1. Plan. Introduction. Introduction. Historique. Historique avant 1969. R&T 1ère année. Sylvain MERCHEZ MODULE I1 Plan Chapitre 1 Qu'est ce qu'un S.E? Introduction Historique Présentation d'un S.E Les principaux S.E R&T 1ère année Votre environnement Sylvain MERCHEZ Introduction Introduction Rôles et fonctions

Plus en détail

ERP Service Negoce. Pré-requis CEGID Business version 2008. sur Plate-forme Windows. Mise à jour Novembre 2009

ERP Service Negoce. Pré-requis CEGID Business version 2008. sur Plate-forme Windows. Mise à jour Novembre 2009 ERP Service Negoce Pré-requis CEGID Business version 2008 sur Plate-forme Windows Mise à jour Novembre 2009 Service d'assistance Téléphonique 0 825 070 025 Pré-requis Sommaire 1. PREAMBULE... 3 Précision

Plus en détail

Introduction aux systèmes temps réel

Introduction aux systèmes temps réel Introduction aux systèmes temps réel Frank Singhoff Bureau C-203 Université de Brest, France LISyC/EA 3883 singhoff@univ-brest.fr UE applications de l informatique, Université de Brest Page 1/22 Plan du

Plus en détail

Conception et contrôle des SMA tolérants aux fautes

Conception et contrôle des SMA tolérants aux fautes Conception et contrôle des SMA tolérants aux fautes Une plate-forme multiagents tolérante aux fautes à base de réplication Nora FACI Contexte SMA large échelle Nombre important d agents Ressources éloignées

Plus en détail

Configuration de l environnement de travail

Configuration de l environnement de travail Configuration de l environnement de travail Préambule Windows Java Afin d utiliser l environnement de développement Android, vous devez installer au préalable JDK (Java Development Kit) sur votre système.

Plus en détail

Description étape par étape

Description étape par étape Description étape par étape Table des matières: - A propose de - Conditions système Requises - Installer A propos de NTRconnect et de ce document NTRconnect a été développé par NTR pour offrir un accès

Plus en détail

Plan du cours. Autres modèles pour les applications réparties Introduction. Mode de travail. Introduction

Plan du cours. Autres modèles pour les applications réparties Introduction. Mode de travail. Introduction Plan du cours Autres modèles pour les applications réparties Introduction Riveill@unice.fr http://rangiroa.polytech.unice.fr Notre terrain de jeu : les systèmes répartis Un rappel : le modèle dominant

Plus en détail

Ergonomie des Interfaces Homme-Machine

Ergonomie des Interfaces Homme-Machine Master SIAD 2 année Ergonomie des Interfaces Homme-Machine Jean-Yves Antoine http://www.sir.blois.univ-tours.fr/~antoine/ Master Informatique Ergonomie des Interfaces Homme-Machine Chapitre 1 Introduction

Plus en détail

LES TESTS. Les tests. Organisation d un projet de recette Les types de tests Les outils

LES TESTS. Les tests. Organisation d un projet de recette Les types de tests Les outils Les tests Organisation d un projet de recette Les types de tests Les outils Organiser le déroulement des tests Spécifier Exécuter les Cahiers de tests les Cahiers de tests Analyser les résultats Correction

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

Mail-SeCure sur une plateforme VMware

Mail-SeCure sur une plateforme VMware OUR INNOVATION YOUR SECURITY Mail-SeCure sur une plateforme VMware APERÇU Les menaces liées aux messages électroniques sont un problème connu depuis longtemps. La plupart des entreprises prennent des mesures

Plus en détail

Programmation C. Apprendre à développer des programmes simples dans le langage C

Programmation C. Apprendre à développer des programmes simples dans le langage C Programmation C Apprendre à développer des programmes simples dans le langage C Notes de cours sont disponibles sur http://astro.u-strasbg.fr/scyon/stusm (attention les majuscules sont importantes) Modalités

Plus en détail

Les transactions étendues et quelques Frameworks qui les supportent.

Les transactions étendues et quelques Frameworks qui les supportent. Les transactions étendues et quelques Frameworks qui les supportent. Christophe Ponsen cponsen@info.fundp.ac.be Institut d Informatique, Université de Namur Résumé Les transactions étendues posent de nombreux

Plus en détail

MASTER 2 PROFESSIONNEL. Génie Logiciel, Logiciels Répartis et Embarqués

MASTER 2 PROFESSIONNEL. Génie Logiciel, Logiciels Répartis et Embarqués MASTER 2 PROFESSIONNEL INFORMATIQUE Génie Logiciel, Logiciels Répartis et Embarqués Secrétariat Pédagogique Téléphone :(+33)(0)561558639 Brigitte BÉCHU Email : secm2info@adm.ups-tlse.fr Bât 1TP1 - B6 bis

Plus en détail

Configuration système requise

Configuration système requise Configuration système requise La configuration système requise pour Quark Publishing Platform indiquée ci-dessous est une configuration de base, mais le nombre d'utilisateurs, d'éléments multimédias et

Plus en détail

Qu est ce que le Model Based Testing? Bertrand Cornanguer 7 juin 2013 Journées scientifiques Nantes

Qu est ce que le Model Based Testing? Bertrand Cornanguer 7 juin 2013 Journées scientifiques Nantes Qu est ce que le Model Based Testing? Bertrand Cornanguer 7 juin 2013 Journées scientifiques Nantes 1 Sommaire Partie I Introduction au Model-Based Testing Comprendre ce qu est le Model Based Testing Le

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

..seulement 5% des serveurs x86 sont virtualisés!

..seulement 5% des serveurs x86 sont virtualisés! Sans virtualisation Avec virtualisation Structure de l offre Microsoft Applications virtuelles Dépendance entre applications et OS Interfaces utilisateur liées aux process Dépendance entre OS et matériels

Plus en détail

JRE EXPERT CITRIX & MICROSOFT

JRE EXPERT CITRIX & MICROSOFT JRE EXPERT CITRIX & MICROSOFT Compétences acquises Conseil et assistance à l élaboration et au développement des stratégies du système d information Organisation, amélioration des performances des Services

Plus en détail

CEGID Business 2006. Prérequis sur Plate-forme Windows. Mise à jour au 10 octobre 2005. Service d'assistance Téléphonique 0 825 070 025

CEGID Business 2006. Prérequis sur Plate-forme Windows. Mise à jour au 10 octobre 2005. Service d'assistance Téléphonique 0 825 070 025 CEGID Business 2006 Prérequis sur Plate-forme Windows Mise à jour au 10 octobre 2005 Service d'assistance Téléphonique 0 825 070 025 Prérequis Sommaire 1. PREAMBULE...3 2. ARCHITECTURE CLIENT/SERVEUR...4

Plus en détail

EXL GROUP FILIÈRE ERP - QUI SOMMES NOUS?

EXL GROUP FILIÈRE ERP - QUI SOMMES NOUS? EXL GROUP FILIÈRE ERP - QUI SOMMES NOUS? 94 Rue de Provence - 75009 Paris - Tél : +33 (0)1 53 32 21 40 - Fax : +33 (0)1 53 16 35 85 - www.exl Group.com EXL GROUP - Tous droits réservés SOMMAIRE 1. Présentation

Plus en détail

Red Hat Enterprise Virtualization 3.0 Instructions d'installation et informations importantes

Red Hat Enterprise Virtualization 3.0 Instructions d'installation et informations importantes Red Hat Enterprise Virtualization 3.0 Instructions d'installation et informations importantes Remarques, précautions et avertissements REMARQUE: Une REMARQUE indique des informations importantes qui peuvent

Plus en détail

Les ordinateurs : de 1946 à aujourd hui

Les ordinateurs : de 1946 à aujourd hui : Introduction Daniel Etiemble de@lri.fr Les ordinateurs : de 1946 à aujourd hui ENIAC (1946) 19000 tubes 30 tonnes surface de 72 m 2 consomme 140 kilowatts. Horloge : 0 KHz. 330 multiplications/s Mon

Plus en détail

Conception Exécution Interopérabilité. Déploiement. Conception du service. Définition du SLA. Suivi du service. Réception des mesures

Conception Exécution Interopérabilité. Déploiement. Conception du service. Définition du SLA. Suivi du service. Réception des mesures Software propose une offre d intégration unique, qui apporte l équilibre parfait entre investissements et performances pour les entreprises qui doivent sans cesse améliorer leurs processus. Des caractéristiques

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

AUTOSAR : Premières étapes vers une production série. A.Gilberg, E.Dequi, J.Leflour

AUTOSAR : Premières étapes vers une production série. A.Gilberg, E.Dequi, J.Leflour : Premières étapes vers une production série A.Gilberg, E.Dequi, J.Leflour Sommaire Objectifs Approche Plan de Migration L automobile fait face à une complexité croissante 70 to 80 % des innovations sont

Plus en détail

Restez maître de votre process et de vos coûts avec Control Technology Inc. CTI Série 2500

Restez maître de votre process et de vos coûts avec Control Technology Inc. CTI Série 2500 Restez maître de votre process et de vos coûts avec Control Technology Inc. CTI Série 2500 Des API robustes et puissants pour le contrôle des process et l automation des machines Une supervision IHM/SCADA

Plus en détail

Instructions d installation de IBM SPSS Modeler Server 15 pour Windows

Instructions d installation de IBM SPSS Modeler Server 15 pour Windows Instructions d installation de IBM SPSS Modeler Server 15 pour Windows IBM SPSS Modeler Server peut être installé et configuré de manière à s exécuter en mode d analyse réparti, avec une ou plusieurs installations

Plus en détail

La migration des solutions SAP vers Linux? Trois étapes pour réussir

La migration des solutions SAP vers Linux? Trois étapes pour réussir La migration des solutions SAP vers Linux? Trois étapes pour réussir Table des matièrese 1. Bien comprendre vos options Linuxn.............................. 2 2. Analyser la rentabilité de la migration............................

Plus en détail

Retrouver de vieux programmes et jouer sur VirtualBox

Retrouver de vieux programmes et jouer sur VirtualBox CHAPITRE 3 Retrouver de vieux programmes et jouer sur VirtualBox Ce chapitre présente des notions avancées de VirtualBox. Elles permettront de réaliser des configurations spécifiques pour évaluer des systèmes

Plus en détail

Prototypage IHM. T. Colombi - LudoTIC

Prototypage IHM. T. Colombi - LudoTIC Prototypage IHM T. Colombi - LudoTIC Première partie Champ d intervention de l ergonome : tâches de prototypage Objectif de l ergonomie L ergonomie rend les interfaces Homme-Machine : plus efficaces plus

Plus en détail

Systèmes d'exploitation

Systèmes d'exploitation Systèmes d'exploitation Rôle d'un système : virtualisation Virtualisation du processeur Virtualisation de la mémoire Virtualisation du disque Virtualisation interface utilisateur Virtualisation du réseau

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

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

Maxime Lastera le 04/12/2012

Maxime Lastera le 04/12/2012 Institut National des Sciences Appliquées de Toulouse(INSA de Toulouse) Maxime Lastera le 04/12/2012 Architecture sécurisée des systèmes d'information des avions du futur et discipline ou spécialité EDSYS:

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

SYSTEMES D INFORMATION SECURISES

SYSTEMES D INFORMATION SECURISES SYSTEMES D INFORMATION SECURISES Professeur responsable : Ludovic Mé SIS COURS TD/BE EXAMENS MATIERES Crédits ECTS 1 SYSTEMES D INFORMATION 16,5 h 15 h Oral 1 Systèmes d exploitation 2 24 h 9 h Oral 2

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

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

Extensions à la formation. Laurent Pérochon, 28-30 avril 2008, RMT Modelia, modélisation conceptuelle, formation UML, INRA Castanet Tolosan Extensions à la formation Diagramme de timing FinEpreuve SautBarrière CourseAvantBarrière SautMur {>2 et 10 et 2 et 10 et

Plus en détail

Spécificités des serveurs CH12_specificites_serveur.pdf

Spécificités des serveurs CH12_specificites_serveur.pdf Contexte d'information Titre du document Nom de fichier cours BASH Spécificités des serveurs CH12_specificites_serveur.pdf Objectifs : Objectifs d'un serveur Caractéristiques techniques 1] Les serveurs

Plus en détail

Symantec Backup Exec 11d pour serveurs Windows Options/Agents

Symantec Backup Exec 11d pour serveurs Windows Options/Agents Symantec Backup Exec 11d pour serveurs Windows Options/Agents Introduction Symantec Backup Exec 11d pour serveurs Windows est une solution complète de protection et de récupération des données Windows,

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

Objets futés et réalité de l Internet des objets

Objets futés et réalité de l Internet des objets Table ronde Société interactive : des hommes et des objets connectés Objets futés et réalité de l Internet des objets Jean Arlat [jean.arlat@laas.fr] Thomas Nicholls [thomas.nicholls@sigfox.com] www.laas.fr

Plus en détail

Conception et Intégration de Systèmes Critiques

Conception et Intégration de Systèmes Critiques Conception et Intégration de Systèmes Critiques 15 12 18 Non 50 et S initier aux méthodes le développement de projet (plan de développement, intégration, gestion de configuration, agilité) Criticité temporelle

Plus en détail

Usine Numérique Intégration Produit Production

Usine Numérique Intégration Produit Production Usine Numérique Intégration Produit Production Bernard Hoessler Manufacturing Business Group EMEA Paris 25 Novembre 2010 Du monde virtuel au monde réél Page 2 Stratégie développée dans l industrie Exploiter

Plus en détail

MANUEL D INSTRUCTION

MANUEL D INSTRUCTION MANUEL D INSTRUCTION 1. INTRODUCTION AU SYSTEME DIGICROWN PROBING LINE... 4 2. CARTE PCI... 6 2.1. AVANT DE PROCÉDER À L INSTALLATION... 6 3. INSTALLATION HARDWARE... 7 3.1. SYNCHRONISATION DES CARTES...

Plus en détail

SEANCE 2 INTRODUCTION

SEANCE 2 INTRODUCTION SEANCE 2 INTRODUCTION Types de développement des SI Développement sur mesure SI développé from scratch par des pro de SI en fonction des besoins d utilisateur. o Coût o Temps o Erreur o + Besoins Développement

Plus en détail

Une nouvelle génération de serveur

Une nouvelle génération de serveur Séminaire Aristote 27 Mars 2013 Une nouvelle génération de serveur Sommaire L'équipe État de l'art et vision Présentation de l'innovation Les points forts de la solution Cas d'usage Questions? 2 L'équipe

Plus en détail

QUARTIS OPTIMA WEB 2.0

QUARTIS OPTIMA WEB 2.0 QUARTIS OPTIMA WEB 2.0 PILOTAGE D ATELIER & DÉCISIONS INDUSTRIELLES Le MES / Suivi de production Notre gamme de terminaux Présent depuis 30 ans dans le pilotage d atelier, OSYS, précurseur du MES, se positionne

Plus en détail

Standard. Manuel d installation

Standard. Manuel d installation Standard Manuel d installation 1 2 3 4 5 Vérifications avant l installation Installation Création d utilisateurs et Configuration rapide Exemples d utilisation et paramètres Annexe Lisez attentivement

Plus en détail

LES NOUVEAUTES DE COST AND PROFITABILITY MANAGEMENT 8.1

LES NOUVEAUTES DE COST AND PROFITABILITY MANAGEMENT 8.1 LES NOUVEAUTES DE COST AND PROFITABILITY MANAGEMENT 8.1 SAS Cost and Profitability Management, également appelé CPM (ou C&P), est le nouveau nom de la solution SAS Activity-Based Management. Cette version

Plus en détail

Programmation d applications distribuées

Programmation d applications distribuées Programmation d applications distribuées François Charoy Université Henri Poincaré 8 octobre 2007 Première partie I Développement d applications distribuées Objectifs du cours Comprendre ce qu est une

Plus en détail

Bibliographie. Frédérique Silber-Chaussumier et Michel Simatic. module CSC4508/M2 Avril 2012

Bibliographie. Frédérique Silber-Chaussumier et Michel Simatic. module CSC4508/M2 Avril 2012 Frédérique Silber-Chaussumier et Michel Simatic module CSC4508/M2 Avril 2012 Plan du document 1 Concepts des systèmes d exploitation............................................. 3 2 Ouvrages dédiés à Unix..........................................................4

Plus en détail

Conception et réalisation d uned architecture tolérant les intrusions pour des serveurs Internet

Conception et réalisation d uned architecture tolérant les intrusions pour des serveurs Internet Conception et réalisation d uned architecture tolérant les intrusions pour des serveurs Internet Ayda Saidane, Yves Deswarte,, Vincent Nicomette Tolérance aux fautes et Sûreté de Fonctionnement informatique

Plus en détail

Présentation Générale

Présentation Générale Présentation Générale Q1 2015 Calculateurs embarqués Contrôle-commande Gestion de l énergie électrique Ingénierie de tests et de la mesure www.adetelgroup.com sales@adetelgroup.com Fiabilité, sûreté, disponibilité,

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

Fondation Mérieux 22 avril 2009. Un projet Fondateur. J. Breton Thésame

Fondation Mérieux 22 avril 2009. Un projet Fondateur. J. Breton Thésame Fondation Mérieux 22 avril 2009 Un projet Fondateur J. Breton Thésame MA.. Le Dain - GSCOP Un projet novateur sur Un projet novateur le montage / la gouvernance / les objectifs / les finalités 2 Un projet

Plus en détail

CATALOGUE NOTRE ÉQUIPE DE SPÉCIALISTES MET À VOTRE DISPOSITION SES CONNAISSANCES ET SON SAVOIR-FAIRE, AFIN DE MIEUX RÉPONDRE À VOS BESOINS.

CATALOGUE NOTRE ÉQUIPE DE SPÉCIALISTES MET À VOTRE DISPOSITION SES CONNAISSANCES ET SON SAVOIR-FAIRE, AFIN DE MIEUX RÉPONDRE À VOS BESOINS. CATALOGUE 2015 NOTRE ÉQUIPE DE SPÉCIALISTES MET À VOTRE DISPOSITION SES CONNAISSANCES ET SON SAVOIR-FAIRE, AFIN DE MIEUX RÉPONDRE À VOS BESOINS. DESKTOP, NOTEBOOK, WORKSTATION, MONITEUR, TABLETTE, SERVEUR

Plus en détail

Windows (2000/NT), Solaris, AIX, HP-UX, Linux Haute disponibilité : SunCluster 3, Veritas Cluster Server 4. J2EE (JSP, Servlet, EJB, JTA), Open Source

Windows (2000/NT), Solaris, AIX, HP-UX, Linux Haute disponibilité : SunCluster 3, Veritas Cluster Server 4. J2EE (JSP, Servlet, EJB, JTA), Open Source David MAFFRAND Architecte SI E-mail : dmafblog@gmail.com Web : http://dmaf.free.fr Certifié Weblogic Server 6 Certifié webmethods Integration 4.6 Certifié webmethods Enterprise 5.0 Certifié webmethods

Plus en détail

Performances Chez GMC, performances et exécution passent inéluctablement par le travail d équipe. Notre mission : unir nos forces pour vous aider à

Performances Chez GMC, performances et exécution passent inéluctablement par le travail d équipe. Notre mission : unir nos forces pour vous aider à Performances Chez GMC, performances et exécution passent inéluctablement par le travail d équipe. Notre mission : unir nos forces pour vous aider à atteindre vos objectifs. Centrale d automatisation GMC

Plus en détail

Aide. Conditions requises pour l installation sous Windows

Aide. Conditions requises pour l installation sous Windows sous Windows Pour pouvoir visualiser le simulateur il faut remplir les conditions spécifiées comme Conditions requises pour l installation du simulateur. Ensuite nous vous expliquons comment savoir quels

Plus en détail

Sommaire. Systèmes d Exploitation... 3. Intégration Sage 100 Sage CRM... 3. Disponibilité Client... 3. Bases de données... 3

Sommaire. Systèmes d Exploitation... 3. Intégration Sage 100 Sage CRM... 3. Disponibilité Client... 3. Bases de données... 3 Communiqué de Lancement Sage CRM v. 6.5 Editions Standard et Avancée Sommaire Systèmes d Exploitation... 3 Intégration Sage 100 Sage CRM... 3 Disponibilité Client... 3 Bases de données... 3 Nouveautés

Plus en détail

Cerea. Centre d enseignement et de recherche en environnement atmosphérique

Cerea. Centre d enseignement et de recherche en environnement atmosphérique Cerea Centre d enseignement et de recherche en environnement atmosphérique Laboratoire commun École des Ponts ParisTech / EDF R&D Université Paris-Est Le Cerea : une cinquantaine de chercheurs sur trois

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

Itris Automation Square

Itris Automation Square Itris Automation Square Qualité logicielle et cybersécurité du contrôle-commande Apport des méthodes d analyse statique Denis CHALON Directeur technique Itris Automation Squarehttp://www.automationsquare.com

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

Le système Windows. Yves Denneulin. Introduction. Introduction. Plan

Le système Windows. Yves Denneulin. Introduction. Introduction. Plan Introduction Le système Windows Yves Denneulin Windows a 25 ans Au début basé sur MS/DOS Multi-tâches coopératifs Pas de réelle protection entre applications Famille 1.0 -> 386 -> 95 -> 98 -> Me Version

Plus en détail

LOGICIELS DE PRÉVISIONS

LOGICIELS DE PRÉVISIONS Pour vos appels d offre Mars 2014 LGICIELS DE PRÉVISINS 4 e ÉDITIN SAS INSTITUTE SAS Forecast Server SupplyChainMagazine.fr 19, rue Saint-Georges - 94700 Maisons-Alfort 1. NM de l'éditeur SAS Institute

Plus en détail

Validation de la création des groupes ABM et ajout de l utilisateur SASDEMO

Validation de la création des groupes ABM et ajout de l utilisateur SASDEMO COMMENT VALIDER VOTRE INSTALLATION SAS ACTIVITY-BASED MANAGEMENT 7.2? Vous venez d installer SAS Activity-Based Management 7.2. Ce document va vous aider à valider votre installation. Il pourra également

Plus en détail

Automatiser le Software-Defined Data Center avec vcloud Automation Center

Automatiser le Software-Defined Data Center avec vcloud Automation Center Automatiser le Software-Defined Data Center avec vcloud Automation Center 5 Juin 2014 2014 VMware Inc. All rights reserved. CONFIDENTIAL 2 Impact de l accélération du rythme de l entreprise DEMANDES CONSEQUENCES

Plus en détail

Présentation de l architecture COM Compinent Object Model DCOM/ACTIVEX

Présentation de l architecture COM Compinent Object Model DCOM/ACTIVEX Présentation de l architecture COM Compinent Object Model DCOM/ACTIVEX Yves LALOUM Conseil Audit de Systèmes d information CISA ylaloum@advisehr.com 29/04/2003 1 1.Introduction Les services de composant

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

M a n u e l d a p p l i c a t i o n s OVISIO L ECRAN NUMERIQUE

M a n u e l d a p p l i c a t i o n s OVISIO L ECRAN NUMERIQUE M a n u e l d a p p l i c a t i o n s OVISIO L ECRAN NUMERIQUE 2 ovisio, liste du matériel Caméra numérique de type webcam Dispositif de réglage de la distance de travail Ecran blanc de travail et écran

Plus en détail

RESUME DESCRIPTIF DE LA CERTIFICATION (FICHE REPERTOIRE)

RESUME DESCRIPTIF DE LA CERTIFICATION (FICHE REPERTOIRE) RESUME DESCRIPTIF DE LA CERTIFICATION (FICHE REPERTOIRE) Intitulé (cadre 1) Ingénieur diplômé de l École Nationale Supérieure d Ingénieurs en Informatique, Automatique, Mécanique, Énergétique et Électronique

Plus en détail

Inter&professionnalité&et& simulation& Pourquoi&et&quand&?& François&LECOMTE&=&Yvon&CROGUENNEC&

Inter&professionnalité&et& simulation& Pourquoi&et&quand&?& François&LECOMTE&=&Yvon&CROGUENNEC& Inter&professionnalité&et& simulation& Pourquoi&et&quand&?& François&LECOMTE&=&Yvon&CROGUENNEC& 1! Liens&d intérêt& & Yvon&CROGUENNEC&:&néant& & François&LECOMTE&:&AFSARMU,& SFMU,&Sanofi=Aventis,&BMS=UPSA,&

Plus en détail

Le concept de virtualisation regroupe

Le concept de virtualisation regroupe INFORMATIQUE EMBARQUÉE La virtualisation devient une réalité industrielle Solutions Largement répandue pour les systèmes d information d entreprise et de plus en plus courante dans les télécoms, la virtualisation

Plus en détail

Calcul Haute Performance avec OpenTURNS

Calcul Haute Performance avec OpenTURNS Calcul Haute Performance avec OpenTURNS Renaud Barate EDF R&D Workshop du GdR MASCOT-NUM «Quantification d incertitude et calcul intensif» 28 Mars 2013 Sommaire Présentation du logiciel OpenTURNS Problématiques

Plus en détail

Complémentarités ERP et PLM

Complémentarités ERP et PLM Complémentarités ERP et PLM De la conception à la fabrication Julien Cimetière, Responsable Marketing Audros Technology www.audros.fr Deux concepts ERP : Intégrer les processus de gestion et de transaction

Plus en détail

Windows Server 2008. Chapitre 1: Découvrir Windows Server 2008

Windows Server 2008. Chapitre 1: Découvrir Windows Server 2008 Windows Server 2008 Chapitre 1: Découvrir Windows Server 2008 Objectives Identifier les caractéristiques de chaque édition de Windows Server 2008 Identifier les caractéristiques généraux de Windows Server

Plus en détail

Juan ESCOBAR, IR1 Expert en Calcul Intensif. Fonction postulée :

Juan ESCOBAR, IR1 Expert en Calcul Intensif. Fonction postulée : Oral Examen Professionnel PFI 7 Octobre 2008 Juan ESCOBAR, IR1 Expert en Calcul Intensif Fonction postulée : Chef de Projet sur le Support du Code Communautaire Méso-NH Service National Labellisé INSU

Plus en détail

Centre Commun de Calcul Intensif: www.univ-ag.fr/c3i

Centre Commun de Calcul Intensif: www.univ-ag.fr/c3i Centre Commun de Calcul Intensif: www.univ-ag.fr/c3i a HPC center in the Caribbean Mewbalaou Fédération de recherche fournissant des ressources à 6 laboratoires de l UAG: COVACHIM-M, GTSI, LAMIA, LARGE,

Plus en détail

TRANSFORM IT + BUSINESS + YOURSELF

TRANSFORM IT + BUSINESS + YOURSELF TRANSFORM IT + BUSINESS + YOURSELF Copyright 2012 EMC Corporation. All rights reserved. 2 Vos environnements SAP sont complexes et couteux : pensez «replatforming» TRANSFORM IT+ BUSINESS + YOURSELF Alexandre

Plus en détail

Des solutions adaptées à l éducation

Des solutions adaptées à l éducation Des solutions adaptées à l éducation ARCHOS : Leader Européen de la mobilité ARCHOS : Une entreprise française Bientôt 30 ans d expertise sur le marché des produits électroniques (1988) Siège social et

Plus en détail

Etude sur interopérabilité IS-SdF. Présentation Séminaire SdF de l X 28 Septembre 2012

Etude sur interopérabilité IS-SdF. Présentation Séminaire SdF de l X 28 Septembre 2012 Etude sur interopérabilité IS-SdF Présentation Séminaire SdF de l X 28 Septembre 22 Gilles Deleuze, EDF R&D Sommaire Cadre de l étude ravaux effectués à septembre 22 Cas test Choix d outil pour l Ingénierie

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

CUOMO PC Route d Oron 4-1010 Lausanne www.cuomopc.ch 021/657 10 60

CUOMO PC Route d Oron 4-1010 Lausanne www.cuomopc.ch 021/657 10 60 Lors de l achat d un nouvel ordinateur, vous ne savez pas comment le mettre en route? C est pour cela que nous avons inventé le pack confort. Que vous ayez acheté votre ordinateur dans notre magasin, ou

Plus en détail