Localisation de faute à partir d'une trace d'exécution pour logiciel embarqué
|
|
- Monique Gravel
- il y a 8 ans
- Total affichages :
Transcription
1 Localisation de faute à partir d'une trace d'exécution pour logiciel embarqué Mickaël Delahaye, Azzeddine Amiar, Lydie du Bousquet et Yliès Falcone Université Joseph Fourier-Grenoble I Laboratoire Informatique de Grenoble GDR GPL MTVV Saclay, 12 nov. 2012
2 Contexte : le projet IO32 Instrumentation et outil pour les microcontrôleurs 32 bits 3 PME grenobloises : AIM EASii-IC Trilogie 1 poids lourd du domaine STMicroelectronics et l'ujf 2
3 Qu'est-ce qu'un microcontrôleur? Circuit intégré qui rassemble sur une même puce les éléments essentiels d'un ordinateur : un processeur de la mémoire des entrées/sorties programmables (périphérique) Ils sont présents dans de nombreuses applications embarquées : électroménager, jouet, alarme, télécommande, machines outils, voiture, etc. Et ils sont très peu chers (par ex. un ARM Cortex M3 32 bits, ~5$ pièce)
4 Mais... Le coût du développement du logiciel qu'ils exécutent est bien plus important! IO32 vise à faciliter le développement de logiciel pour microcontrôleurs Nos partenaires explique ce coût par plusieurs facteurs : chaque application = un environnement quasi-unique (le microcontrôleur et ses périphériques) développement très bas niveau en C par conséquent, validation du logiciel très difficile en particulier le diagnostic des défaillances Quelques environnements de développement dédié (par ex. ARM KEIL), mais peu ou pas d'outil dédié à la validation (test ou vérification formelle)
5 Une difficulté et une opportunité La mise au point de logiciel pour les microcontrôleur est très difficile : le logiciel est enfoui dans un environnement unique à l'application, ce qui rend l'exécution difficile à simuler (voire impossible) encore aujourd'hui certaines vérifications du comportement du système se font à l'aide d'un oscilloscope Les nouvelles générations de puces intègrent des systèmes matériels permettant l'enregistrement d'une trace d'exécution à l'aide d'une sonde spécifique sans aucune données mais avec tout le flot de contrôle (en principe)
6 Une carte d'évaluation et sa sonde
7 Problèmes liées aux traces d'exécution Problème n 1 : volume de donnée Problème n 2 : répétabilité limitée Quelques minutes d'enregistrement représente des gigaoctets de données, impossible à analyser manuellement Un enregistrement de la défaillance oui, plusieurs enregistrements défaillant non Problème n 3 : coût élevé de la manipulation Brancher la sonde sur un système dans son environnement est très compliqué Bilan on ne le fait quand cas de défaillance donc pas de trace positive
8 Plan Contexte Compression Localisations de faute Conclusion et perspectives
9 Sequitur [Nevill-Manning et Witten, 1997] Algorithme en ligne efficace (en O(n)) Accepte une chaîne de caractère s en entrée Calcule une grammaire g en sortie avec la particularité que L(g) = { s } Exploite les répétitions et permet de retrouver des hiérarchies présentes dans les textes en langues naturelles, partitions de musique, etc.
10 Sequitur en action Entrée : cabcabcabcabcad S c deux règles de construction : unicité des digrammes utilité des règles
11 Sequitur en action Entrée : cabcabcabcabcad S ca deux règles de construction : unicité des digrammes utilité des règles
12 Sequitur en action Entrée : cabcabcabcabcad S cab deux règles de construction : unicité des digrammes utilité des règles
13 Sequitur en action Entrée : cabcabcabcabcad S cabc deux règles de construction : unicité des digrammes utilité des règles
14 Sequitur en action Entrée : cabcabcabcabcad Répétition d'un digramme! S cabca deux règles de construction : unicité des digrammes utilité des règles
15 Sequitur en action Entrée : cabcabcabcabcad Répétition d'un digramme! S cabca A ca deux règles de construction : unicité des digrammes utilité des règles
16 Sequitur en action Entrée : cabcabcabcabcad S AbA A ca deux règles de construction : unicité des digrammes utilité des règles
17 Sequitur en action Entrée : cabcabcabcabcad Répétition d'un digramme! S AbAb A ca deux règles de construction : unicité des digrammes utilité des règles
18 Sequitur en action Entrée : cabcabcabcabcad S AbAb A ca B Ab deux règles de construction : unicité des digrammes utilité des règles
19 Sequitur en action Entrée : cabcabcabcabcad Sous-utilisation d'une règle! S BB A ca B Ab deux règles de construction : unicité des digrammes utilité des règles
20 Sequitur en action Entrée : cabcabcabcabcad S BB B cab deux règles de construction : unicité des digrammes utilité des règles
21 Sequitur en action Entrée : cabcabcabcabcad S BBc B cab deux règles de construction : unicité des digrammes utilité des règles
22 Sequitur en action Entrée : cabcabcabcabcad Répétition d'un digramme! S B B ca B cab deux règles de construction : unicité des digrammes utilité des règles
23 Sequitur en action Entrée : cabcabcabcabcad S BBA A ca B Ab deux règles de construction : unicité des digrammes utilité des règles
24 Sequitur en action Entrée : cabcabcabcabcad Et ainsi de suite S CCAd A ca B Ab C BB deux règles de construction : unicité des digrammes utilité des règles Deux choses à noter : Compression irréductible mais non minimale Notations des répétitions consécutives artificielles et non optimales
25 Deux améliorations Exploiter les cycles présents dans les programmes embarqués la plupart des programmes pour microcontrôleur sont cycliques les cycles sont l'élément de base pour comprendre le comportement du programme il est intéressant de «forcer» la synchronisation sur les cycles pour obtenir une représentation plus compacte et plus utilisable Compresser efficacement les répétitions consécutives Le tout formalisé et implémenté (!)
26 Avec Cyclitur Entrée : cabcabcabcabcad Et ainsi de suite S c A⁴ B A abc B ad trois règles de construction : unicité des digrammes utilité des règles unicité des symboles consécutifs Compression irréductible mais non minimale Tout cycle est représentable par un unique symbole
27 Évaluation Appliquée aux traces de microcontrôleurs (25 de 100Mo et 5 de 4Go) taux de compression de l'ordre de 99,99% 1 millions de PC réduit à ~1000 symboles gain de 10-20% sur Sequitur Appliquée à des traces issues de captures de trafic réseau (5 de 4Go) avec des résultats comparables
28 Plan Contexte Compression Localisation de faute Conclusion et perspectives
29 Méthode «à base de spectre» [Jones, Harrold et Stasko, 2001] Collecter pour un ensemble de tests réussis et de tests en échec leur spectre* à l'exécution *un spectre est un ensemble d éléments capturés à l'exécution offrant une vue du comportement du a programme (e.g. une couverture) a +a 11 #n échec? Lignes #1 #2 #3 T0 1 1 T1 1 T2 T3 0,75 Tar= 01 a 10 a 11 + a 00 +a 10 a 01 +a 11 Jac= Amp= Och= 11 a 11 a 11 +a 01 +a 10 a11 a10 a11 +a 01 a 10 +a00 a 11 (a11 +a01 ) (a10 +a00 )
30 Méthode du voisin le plus proche [Renieris et Reis, 2003] comparer les couvertures des tests réussis et d'un seul test en échec (à l'aide d'une distance ou d'un coefficient de similarité) sélectionner le test réussi qui a la couverture la plus similaire à au test défaillant appliquer les modèles intersection et union pour trouver les instructions suspectes
31 Dans notre contexte Un seule trace défaillante mais longue! Idée exploiter la présence des cycles chaque cycle est considéré comme une exécution indépendante hypothèse forte l'erreur est dans le dernier cycle
32 Accélérer la comparaison de cycles la comparaison de cycle peut être accélérée par la compression : distance de Hamming classique D Hamming (u,v )= u i v i +u i v i i estimation (ou calculée) en utilisant une sur-approximation D Hamming (u,v, w )= (u i v i + u i v i ) w i et sous-approximation D Hamming (u,v, w )= u i v i + u i v i i i sur une forme compressée des cycles u, v où chaque symbole i représente wi éléments de la trace la compression est dépliée jusqu'à ce que la différence relative entre sur- et sous-approximation passe sous un seuil
33 Accélérer la comparaison entre spectres et le vecteur d'erreur n comparaisons spectre/erreur sur m éléments n est le nombre d'éléments de couverture m est le nombre de «tests», ici de cycle deux stratégies : limiter n en considérant que des symboles issues de la compression dépliée jusqu'à une certaine profondeur limiter m en ne sélectionnant que les cycles les plus ressemblants au cycle défaillant au sens du voisin le plus proches
34 Évaluation (1) Benchmark 13 erreurs fournies par nos partenaires industriels représentantes d'erreurs difficile à diagnostiquer, notamment : dépassement/écrasement de pile/tas écriture dans une zone mémoire interdite 4 méthodes évaluées : voisin le plus proche méthode «à base de spectre» pour 4 coef. : Tarantula, Jaccard, Ochiai, Ample
35 Évaluation (2) Mesure Mesure de qualité d'un diagnostic automatique expense = nb. instr. inspéctées / nb. instr. exécutées où les instructions inspectées en descendant dans le classement ou en cas d'égalité en remontant dans le programme
36 Évaluation (3) Résultats la plupart en dessous de 10% sur programme réduit quelques cas problématiques lorsque l'hypothèse «dernier cycle fautif» est violée
37 Conclusion et perspectives Première approche complète de localisation de faute à partir d'une seule trace d'exécution d'un microcontrôleur exploite une compression de l'information adapte des techniques de localisation classiques Mais hypothèses fortes sur la cause de l'erreur expériences encore limitée Autres perspectives adapter et concevoir des méthodes de localisation plus avancées (fouille de données) exploiter le code et sa sémantique
Samsung Drive Manager Manuel d'utilisation
Samsung Drive Manager Manuel d'utilisation Le contenu du présent manuel est sujet à modification sans préavis. Les sociétés, noms et données cités en exemple ne sont pas réels, sauf indication contraire.
Plus en détailIntroduction. I Étude rapide du réseau - Apprentissage. II Application à la reconnaissance des notes.
Introduction L'objectif de mon TIPE est la reconnaissance de sons ou de notes de musique à l'aide d'un réseau de neurones. Ce réseau doit être capable d'apprendre à distinguer les exemples présentés puis
Plus en détailCours Informatique 1. Monsieur SADOUNI Salheddine
Cours Informatique 1 Chapitre 2 les Systèmes Informatique Monsieur SADOUNI Salheddine Un Système Informatique lesystème Informatique est composé de deux parties : -le Matériel : constitué de l unité centrale
Plus en détailDémontage d'un ordinateur
Espaces multimédias Communauté de Communes Moyenne Vilaine et Semnon : Démontage d'un ordinateur 1- A quoi sert-il de démonter son ordinateur? A) Par simple curiosité B) Pour nettoyer C) Pour remplacer
Plus en détailL ORDINATEUR. Les composants. La carte mère. Le processeur. Fréquence
L ORDINATEUR Les composants La carte mère Elle se trouve au centre de l'ordinateur et connecte tous les composants PC. La carte mère contient les connexions pour le processeur, la mémoire et les unités
Plus en détailInformatique industrielle A7-19571 Systèmes temps-réel J.F.Peyre. Partie I : Introduction
Informatique industrielle A7-19571 Systèmes temps-réel J.F.Peyre Partie I : Introduction Plan de la première partie Quelques définitions Caractéristiques communes des applications temps-réel Exemples d
Plus en détailResponsabilités du client
Stations Liste de vérification de travail autonomes de la Préparation et en réseau du Site OpenLAB CDS Merci d'avoir acheté un logiciel Agilent. Une préparation et une évaluation correctes du site est
Plus en détailChapitre 1 : Introduction aux bases de données
Chapitre 1 : Introduction aux bases de données Les Bases de Données occupent aujourd'hui une place de plus en plus importante dans les systèmes informatiques. Les Systèmes de Gestion de Bases de Données
Plus en détailLes tablettes. Présentation tablettes Descriptif Fournisseurs Caractéristiques Comparatifs Conseils Perspectives Démonstration
Les Tablettes Les tablettes Présentation tablettes Descriptif Fournisseurs Caractéristiques Comparatifs Conseils Perspectives Démonstration Les tablettes Description: Appareil mobile positionné entre smartphone
Plus en détailResponsabilités du client
OpenLAB Liste de vérification CDS Serveur de la de Préparation Services Partagés du Site A.02.02 Merci d'avoir acheté un logiciel Agilent. Une préparation et une évaluation correctes du site est la première
Plus en détailModule 0 : Présentation de Windows 2000
Module 0 : Présentation de Table des matières Vue d'ensemble Systèmes d'exploitation Implémentation de la gestion de réseau dans 1 Vue d'ensemble Donner une vue d'ensemble des sujets et des objectifs de
Plus en détailLeçon 1 : Les principaux composants d un ordinateur
Chapitre 2 Architecture d un ordinateur Leçon 1 : Les principaux composants d un ordinateur Les objectifs : o Identifier les principaux composants d un micro-ordinateur. o Connaître les caractéristiques
Plus en détailFonctionnalités d Acronis :
Sommaire Introduction... 2 Fonctionnalités d Acronis :... 2 Concepts de base d'acronis True Image Home... 3 Version d Acronis... 4 Configuration requise pour Acronis True Image Home 2015... 4 Systèmes
Plus en détailAssurez-vous que votre site est conforme aux caractéristiques suivantes avant la date d'installation.
Secure Liste de Workstation vérification de for la OpenLAB Préparation CDS du ChemStation Site Edition C.01.06 Merci d'avoir acheté acheté un logiciel Agilent. Une préparation et une évaluation correctes
Plus en détailRésumé CONCEPTEUR, INTEGRATEUR, OPERATEUR DE SYSTEMES CRITIQUES
Aristote ----- Cloud Interopérabilité Retour d'expérience L A F O R C E D E L I N N O V A T I O N Résumé Les systèmes d'information logistique (SIL) sont des outils qui amènent des gains de productivité
Plus en détailExécution des instructions machine
Exécution des instructions machine Eduardo Sanchez EPFL Exemple: le processeur MIPS add a, b, c a = b + c type d'opération (mnémonique) destination du résultat lw a, addr opérandes sources a = mem[addr]
Plus en détailPartie 7 : Gestion de la mémoire
INF3600+INF2610 Automne 2006 Partie 7 : Gestion de la mémoire Exercice 1 : Considérez un système disposant de 16 MO de mémoire physique réservée aux processus utilisateur. La mémoire est composée de cases
Plus en détailUn ordinateur, c est quoi?
B-A.BA Un ordinateur, c est quoi? Un ordinateur, c est quoi? Un ordinateur est une machine dotée d'une unité de traitement lui permettant d'exécuter des programmes enregistrés. C'est un ensemble de circuits
Plus en détailToute notre expertise dans un seul et même coffret
Flexibilité Connectivité Convivialité Toute notre expertise dans un seul et même coffret Le mpro400gc : l'innovation au service des applications de sécurité critiques. SP-1041FR 0810 Contrôleur global
Plus en détailConditions : stage indemnisé, aide au logement possible, transport CEA en Ile-de-France gratuit.
Proposition de stage de BAC+4 ou BAC+5 Pro ou Recherche Etude comparative des outils de vérification d'algorithmes parallèles Logiciels (LSL), localisé à Palaiseau (Essonne), développe les outils d'aide
Plus en détailAnalyse de performance, monitoring
Analyse de performance, monitoring Plan Principes de profilage Projet TPTP dans Eclipse Utilisation des profiling tools de TPTP Philippe Collet Master 1 Informatique 2009-2010 http://deptinfo.unice.fr/twiki/bin/view/minfo/gl
Plus en détailIntervenants. Thomas d'erceville Project Manager. Christian NGUYEN Practice Manager IT Quality
Intervenants Thomas d'erceville Project Manager Christian NGUYEN Practice Manager IT Quality 2 14/04/2015 De l'assurance qualité à l'ingénierie des tests logiciels 1. Contexte général des tests mobiles
Plus en détailLimitations of the Playstation 3 for High Performance Cluster Computing
Introduction Plan Limitations of the Playstation 3 for High Performance Cluster Computing July 2007 Introduction Plan Introduction Intérêts de la PS3 : rapide et puissante bon marché L utiliser pour faire
Plus en détail6 - Le système de gestion de fichiers F. Boyer, UJF-Laboratoire Lig, Fabienne.Boyer@imag.fr
6 - Le système de gestion de fichiers F. Boyer, UJF-Laboratoire Lig, Fabienne.Boyer@imag.fr Interface d un SGF Implémentation d un SGF Gestion de la correspondance entre la structure logique et la structure
Plus en détailManageEngine IT360 : Gestion de l'informatique de l'entreprise
ManageEngine IT360 Présentation du produit ManageEngine IT360 : Gestion de l'informatique de l'entreprise Améliorer la prestation de service à l'aide d'une approche intégrée de gestion des performances
Plus en détailOrdinateur Logiciel Mémoire. Entrées/sorties Périphériques. Suite d'instructions permettant de réaliser une ou plusieurs tâche(s), de résoudre un
ESZ Introduction à l informatique et à l environnement de travail Éric Gaul (avec la collaboration de Dominic Boire) Partie 1: Concepts de base Ordinateur Logiciel Mémoire Données Entrées/sorties Périphériques
Plus en détailGPA770 Microélectronique appliquée Exercices série A
GPA770 Microélectronique appliquée Exercices série A 1. Effectuez les calculs suivants sur des nombres binaires en complément à avec une représentation de 8 bits. Est-ce qu il y a débordement en complément
Plus en détailQlik Sense Desktop. Qlik Sense 2.0.2 Copyright 1993-2015 QlikTech International AB. Tous droits réservés.
Qlik Sense Desktop Qlik Sense 2.0.2 Copyright 1993-2015 QlikTech International AB. Tous droits réservés. Copyright 1993-2015 QlikTech International AB. Tous droits réservés. Qlik, QlikTech, Qlik Sense,
Plus en détailHP Data Protector Express Software - Tutoriel 4. Utilisation de Quick Access Control (Windows uniquement)
HP Data Protector Express Software - Tutoriel 4 Utilisation de Quick Access Control (Windows uniquement) Que contient ce tutoriel? Quick Access Control est une application qui s'exécute indépendamment
Plus en détailGestion de mémoire secondaire F. Boyer, Laboratoire Sardes Fabienne.Boyer@imag.fr
Gestion de mémoire secondaire F. Boyer, Laboratoire Sardes Fabienne.Boyer@imag.fr 1- Structure d un disque 2- Ordonnancement des requêtes 3- Gestion du disque - formatage - bloc d amorçage - récupération
Plus en détailSamsung Drive Manager FAQ
Samsung Drive Manager FAQ Installation Q. Mon Disque dur externe Samsung est branché, mais rien ne se passe. R. Vérifiez le branchement du câble USB. Si votre Disque dur externe Samsung est correctement
Plus en détailX-Rite RM200QC. Spectrocolorimètre d'imagerie portable
Spectrocolorimètre d'imagerie portable X-Rite RM200QC Le spectrocolorimètre d'imagerie RM200QC d X-Rite permet d'établir un lien entre l'apparence de la couleur et la couleur des matériaux des lots entrants
Plus en détailArithmétique binaire. Chapitre. 5.1 Notions. 5.1.1 Bit. 5.1.2 Mot
Chapitre 5 Arithmétique binaire L es codes sont manipulés au quotidien sans qu on s en rende compte, et leur compréhension est quasi instinctive. Le seul fait de lire fait appel au codage alphabétique,
Plus en détailIntelligence Artificielle et Systèmes Multi-Agents. Badr Benmammar bbm@badr-benmammar.com
Intelligence Artificielle et Systèmes Multi-Agents Badr Benmammar bbm@badr-benmammar.com Plan La première partie : L intelligence artificielle (IA) Définition de l intelligence artificielle (IA) Domaines
Plus en détailULC-S536-04 Inspection et mise à l essai des réseaux avertisseurs d incendie
ULC-S536-04 Inspection et mise à l essai des réseaux avertisseurs d incendie Séminaire technique ACAI 14 novembre 2013 Par : Pierre Noël STRUCTURE DE LA NORME Les réseaux avertisseurs d incendie doivent
Plus en détailIntroduction à l Informatique licence 1 ère année Notes de Cours
Introduction à l Informatique licence 1 ère année Notes de Cours Philippe Le Parc Mail : leparc@univ-brest.fr Bureau : LC101 Tel : (029801) 6960 Fiche UE (part.1) 2 Plan et planning Début des cours magistraux
Plus en détailChap 4: Analyse syntaxique. Prof. M.D. RAHMANI Compilation SMI- S5 2013/14 1
Chap 4: Analyse syntaxique 1 III- L'analyse syntaxique: 1- Le rôle d'un analyseur syntaxique 2- Grammaires non contextuelles 3- Ecriture d'une grammaire 4- Les méthodes d'analyse 5- L'analyse LL(1) 6-
Plus en détailSauvegarde en ligne sécurisée SRXBackup 100 % Automatique. Disponible 24/7. Cryptage 256 bits. www.sorabox.com
Sauvegarde en ligne sécurisée SRXBackup 100 % Automatique Cryptage 256 bits Disponible 24/7 La perte de données est un vrai cauchemar Le volume de vos données augmente en permanence 1 Mo de données vaut
Plus en détailChapitre V : La gestion de la mémoire. Hiérarchie de mémoires Objectifs Méthodes d'allocation Simulation de mémoire virtuelle Le mapping
Chapitre V : La gestion de la mémoire Hiérarchie de mémoires Objectifs Méthodes d'allocation Simulation de mémoire virtuelle Le mapping Introduction Plusieurs dizaines de processus doivent se partager
Plus en détailINF 232: Langages et Automates. Travaux Dirigés. Université Joseph Fourier, Université Grenoble 1 Licence Sciences et Technologies
INF 232: Langages et Automates Travaux Dirigés Université Joseph Fourier, Université Grenoble 1 Licence Sciences et Technologies Année Académique 2013-2014 Année Académique 2013-2014 UNIVERSITÉ JOSEPH
Plus en détailNouveautés les plus importantes de la version 2011 en un coup d œil
Pages romandes 1 Nouveautés les plus importantes de la version 2011 en un coup d œil Le développement d'abacus vi se poursuit avec la version 2011. Le logiciel de Gestion des commandes, en particulier,
Plus en détailContributions à l expérimentation sur les systèmes distribués de grande taille
Contributions à l expérimentation sur les systèmes distribués de grande taille Lucas Nussbaum Soutenance de thèse 4 décembre 2008 Lucas Nussbaum Expérimentation sur les systèmes distribués 1 / 49 Contexte
Plus en détailServeur de sauvegarde à moindre coût
1/28 Serveur de sauvegarde à moindre coût Yann MORÈRE LASC http://www.lasc.univ-metz.fr/ I. Cahier des charges II. Solution III. Présentation des outils utilisés IV. Mise en œuvre 2/28 Cahier des charges
Plus en détailL intelligence intégrée et connectée au cœur de vos projets. Dossier de presse
01110010100110011000101101 0111001010011001101110010100110011010101001110010100111100100110101001 01110010100110011011100101001100110001011010100110111 L intelligence intégrée et connectée au cœur de vos
Plus en détailUtilisation du visualiseur Avermedia
Collèges Numériques Utilisation du visualiseur Avermedia Un visualiseur est aussi appelé caméra de table et ce nom rend mieux compte de sa fonction première à savoir filmer un document (revue,carte, dissection,
Plus en détailUEO11 COURS/TD 1. nombres entiers et réels codés en mémoire centrale. Caractères alphabétiques et caractères spéciaux.
UEO11 COURS/TD 1 Contenu du semestre Cours et TDs sont intégrés L objectif de ce cours équivalent a 6h de cours, 10h de TD et 8h de TP est le suivant : - initiation à l algorithmique - notions de bases
Plus en détailDomaine D1 : Travailler dans un environnement numérique évolutif
Domaine D1 : Travailler dans un environnement numérique évolutif Tout au long de sa vie, l usager travaille dans un environnement numérique. La virtualisation des ressources, les risques inhérents numériques
Plus en détailTéléchargement du micrologiciel de téléviseur ACL AQUOS
Téléchargement du micrologiciel de téléviseur ACL AQUOS Directives de téléchargement : 1. Insérez une clé USB dans le port USB de votre ordinateur. (La clé USB doit être formatée en «FAT».) 2. Cliquez
Plus en détailTRAAM STI 2013-2014 Acquisition et exploitations pédagogiques des données sur un système pédagogique
TRAAM STI 2013-2014 Acquisition et exploitations pédagogiques des données sur un système pédagogique Bilan technique et éléments de développement Fonctionnalités attendues Une vingtaine d établissements
Plus en détailSystème de sécurité de périmètre INTREPID
TM Système de sécurité de périmètre INTREPID La nouvelle génération de systèmes de sécurité de périmètre MicroPoint Cable combine la technologie brevetée de Southwest Microwave, la puissance d un micro
Plus en détailElectron S.R.L. SERIE B46 - SYSTEMES DIDACTIQUES DE TELEPHONIE
Electron S.R.L. Design Production & Trading of Educational Equipment SERIE B46 - SYSTEMES DIDACTIQUES DE TELEPHONIE Specifications may change without notic Page 1 of 9 File BROCHURE B46xx B4610 UNITE DIDACTIQUE
Plus en détailSymantec Backup Exec 12.5 for Windows Servers. Guide d'installation rapide
Symantec Backup Exec 12.5 for Windows Servers Guide d'installation rapide 13897290 Installation de Backup Exec Ce document traite des sujets suivants: Configuration requise Conditions préalables à l'installation
Plus en détailLIVRE BLANC DECIDEUR. Newtest : contribution à ITIL. Newtest et ITIL...3. Gestion des niveaux de service - Service Level Management...
Yphise LIVRE BLANC LIVRE BLANC DECIDEUR Newtest : contribution à ITIL Newtest et ITIL...3 Gestion des niveaux de service - Service Level Management...5 Gestion de la disponibilité - Availability Management...7
Plus en détailGrandes lignes ASTRÉE. Logiciels critiques. Outils de certification classiques. Inspection manuelle. Definition. Test
Grandes lignes Analyseur Statique de logiciels Temps RÉel Embarqués École Polytechnique École Normale Supérieure Mercredi 18 juillet 2005 1 Présentation d 2 Cadre théorique de l interprétation abstraite
Plus en détailAnalyse des trajectoires acceptables en approche de virage assistance aux conducteurs
DIVAS Analyse des trajectoires acceptables en approche de virage assistance aux conducteurs N 3.C.1 Décembre 2008 Projet financé par l Agence Nationale de la Recherche Responsable : S. Espié Projet ANR
Plus en détailREALISATION d'un. ORDONNANCEUR à ECHEANCES
REALISATION d'un ORDONNANCEUR à ECHEANCES I- PRÉSENTATION... 3 II. DESCRIPTION DU NOYAU ORIGINEL... 4 II.1- ARCHITECTURE... 4 II.2 - SERVICES... 4 III. IMPLÉMENTATION DE L'ORDONNANCEUR À ÉCHÉANCES... 6
Plus en détailCanon Mobile Printing Premiers pas
Canon Mobile Printing Premiers pas Vérifiez l'environnement de connexion réseau. Le terminal Android doit être connecté à un point d'accès réseau sans fil. Le point d'accès et l'imprimante que vous utilisez
Plus en détailInitiation à la sécurité
Initiation à la sécurité UE Systèmes informatiques 12 septembre 2011 Julien Raeis - http://raeis.iiens.net/ Présentation Ingénieur IIE 2005 Carrière dans la sécurité des systèmes Consultant en sécurité
Plus en détailCATALOGUE FORMATION 2014/2015 Produits & Logiciels
CATALOGUE FORMATION 2014/2015 Produits & Logiciels [1] I. Formation produits & Logiciels. Une offre complète de qualité : Nous vous proposons de vous familiariser avec les instruments que nous commercialisons
Plus en détailIntroduction à l informatique temps réel Pierre-Yves Duval (cppm)
Introduction à l informatique temps réel Pierre-Yves Duval (cppm) Ecole d informatique temps réel - La Londes les Maures 7-11 Octobre 2002 -Définition et problématique - Illustration par des exemples -Automatisme:
Plus en détailCLAIRE, UN OUTIL DE SIMULATION ET DE TEST DE LOGICIELS CRITIQUES. Jean GASSINO, Jean-Yves HENRY. Rapport IPSN/Département d'évaluation de sûreté N 280
FR9704668 PC CLAIRE, UN OUTIL DE SIMULATION ET DE TEST DE LOGICIELS CRITIQUES Jean GASSINO, Jean-Yves HENRY eci Rapport IPSN/Département d'évaluation de sûreté N 280 Octobre 1996 INSTITUT DE PROTECTION
Plus en détail3. SPÉCIFICATIONS DU LOGICIEL. de l'expression des besoins à la conception. Spécifications fonctionnelles Analyse fonctionnelle et méthodes
PLAN CYCLE DE VIE D'UN LOGICIEL EXPRESSION DES BESOINS SPÉCIFICATIONS DU LOGICIEL CONCEPTION DU LOGICIEL LA PROGRAMMATION TESTS ET MISE AU POINT DOCUMENTATION CONCLUSION C.Crochepeyre Génie Logiciel Diapason
Plus en détailModules du DUT Informatique proposés pour des DCCE en 2014/2015
Modules du DUT Informatique proposés pour des DCCE en 2014/2015 Résumé de l offre : Parmi les 5500 heures d enseignement informatique dispensées au département informatique de l IUT (avec 2880 heures de
Plus en détailConception d'applications de base de données ios plus rapides Guide Pratique FileMaker
Conception d'applications de base de données ios plus rapides Guide Pratique FileMaker Table des Matières Introduction... 3 Conception de modèles... 3 Conception de bases de données... 5 Conception pour
Plus en détailPC Check & Tuning 2010 Optimisez et accélérez rapidement et simplement les performances de votre PC!
PC Check & Tuning 2010 Optimisez et accélérez rapidement et simplement les performances de votre PC! MAGIX PC Check & Tuning 2010 est la solution logicielle complète pour l'analyse, la maintenance et l'accélération
Plus en détailInformatique Générale
Informatique Générale Guillaume Hutzler Laboratoire IBISC (Informatique Biologie Intégrative et Systèmes Complexes) guillaume.hutzler@ibisc.univ-evry.fr Cours Dokeos 625 http://www.ens.univ-evry.fr/modx/dokeos.html
Plus en détailVirtualiser ou ne pas virtualiser?
1 Virtualiser ou ne pas virtualiser? C est la première question à laquelle vous devrez répondre par vous-même avant d investir une quantité significative de temps ou d argent dans un projet de virtualisation.
Plus en détailManuel utilisateur *PA0010119* MAJ 30/12/2013 FR
Manuel utilisateur *PA0010119* MAJ 30/12/2013 FR TABLE DES MATIÈRES L ENVIRONNEMENT AXENSOR... - 1 - LA PLATEFORME AXENSOR CONNECT... - 2 - Description... - 2 - Configuration minimale... - 2 - Connexion
Plus en détailSpécifications de l'offre Surveillance d'infrastructure à distance
Aperçu du service Spécifications de l'offre Surveillance d'infrastructure à distance Ce service comprend les services Dell de surveillance d'infrastructure à distance (RIM, le «service» ou les «services»)
Plus en détailLA 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étailLes avantages de la virtualisation sont multiples. On peut citer:
1 Les mécanismes de virtualisation ont été introduits il y a fort longtemps dans les années 60 par IBM avec leur système CP/CMS. La motivation première de la virtualisation est la possibilité d'isoler
Plus en détailINSTALLATION POUR LA MESURE EN CELLULE BLINDÉE DU VOLUME DES AIGUILLES COMBUSTIBLES PROKUDANOV D.L., TROITSKII S.V.
CEA CEN-SACLAY Service de Documentation Groupe "Traductions" CEA-TR- 2266 R2 91191 GIF sur YVETTE CEDEX INSTALLATION POUR LA MESURE EN CELLULE BLINDÉE DU VOLUME DES AIGUILLES COMBUSTIBLES PROKUDANOV D.L.,
Plus en détailAlgorithmes de recherche
Algorithmes de recherche 1 Résolution de problèmes par recherche On représente un problème par un espace d'états (arbre/graphe). Chaque état est une conguration possible du problème. Résoudre le problème
Plus en détailLinux sécurité des réseaux
Linux sécurité des réseaux serveurs mandataires (proxy) fbongat@ipsl.jussieu.fr 2007-2008 Qu'est-ce qu'un proxy? = mandataire (traduction) Un proxy est un service mandataire pour une application donnée.
Plus en détailResponsabilités du client
OpenLAB Liste de vérification CDS AIC, de Clients la Préparation CDS, Instruments du Site de la Merci d'avoir acheté un logiciel Agilent. Une préparation et une évaluation correctes du site est la première
Plus en détailWindows 8 Installation et configuration
Editions ENI Windows 8 Installation et configuration Collection Ressources Informatiques Extrait 112 Windows 8 Installation et configuration Pour terminer l'application de l'image, nous devons configurer
Plus en détailInventorier, surveiller, localiser vos biens nomades en temps réel. Meylan - France Avril 2012
Inventorier, surveiller, localiser vos biens nomades en temps réel Meylan - France Avril 2012 LA SOCIETE FIREFLIES RTLS SAS (*) est une société grenobloise qui conçoit, réalise et installe des solutions
Plus en détailLe Collège de France crée une chaire pérenne d Informatique, Algorithmes, machines et langages, et nomme le Pr Gérard BERRY titulaire
Communiquédepresse Mars2013 LeCollègedeFrancecréeunechairepérenned Informatique, Algorithmes,machinesetlangages, etnommeleprgérardberrytitulaire Leçoninauguralele28mars2013 2009avait marquéunpas importantdans
Plus en détail1 Architecture du cœur ARM Cortex M3. Le cœur ARM Cortex M3 sera présenté en classe à partir des éléments suivants :
GIF-3002 SMI et Architecture du microprocesseur Ce cours discute de l impact du design du microprocesseur sur le système entier. Il présente d abord l architecture du cœur ARM Cortex M3. Ensuite, le cours
Plus en détailDétection d'intrusions et analyse forensique
Détection d'intrusions et analyse forensique Yann Berthier & Jean-Baptiste Marchand Hervé Schauer Consultants Agenda Agenda Préambule IDS / IPS : principes - limites Au delà des IDS Conclusion Démonstrations
Plus en détailLa Certification de la Sécurité des Automatismes de METEOR
1 La Certification de la Sécurité des Automatismes de METEOR 2 un mot sur METEOR 3 Le projet METEOR, c'est... un système automatique complexe fortement intégré matériel roulant, équipements électriques,
Plus en détailPROGRAMME DU CONCOURS DE RÉDACTEUR INFORMATICIEN
PROGRAMME DU CONCOURS DE RÉDACTEUR INFORMATICIEN 1. DÉVELOPPEMENT D'APPLICATION (CONCEPTEUR ANALYSTE) 1.1 ARCHITECTURE MATÉRIELLE DU SYSTÈME INFORMATIQUE 1.1.1 Architecture d'un ordinateur Processeur,
Plus en détailRetrouvez simplement et gratuitement toutes nos prestations de services sur www.hubtek.fr
Retrouvez simplement et gratuitement toutes nos prestations de services sur www.hubtek.fr Remarques : les prestations sont regroupées par objet technique (télévision, ordinateur,...) et pas par domaine
Plus en détailResponsabilités du client
OpenLAB Liste de vérification CDS EZChrom de la Préparation Distribué (A.04.07), du Site AIC, Clients Merci d'avoir acheté un logiciel Agilent. Une préparation et une évaluation correctes du site est la
Plus en détailInstruments de mesure
Chapitre 9a LES DIFFERENTS TYPES D'INSTRUMENTS DE MESURE Sommaire Le multimètre L'oscilloscope Le fréquencemètre le wattmètre Le cosphimètre Le générateur de fonctions Le traceur de Bodes Les instruments
Plus en détailLa surveillance réseau des Clouds privés
La surveillance réseau des Clouds privés Livre blanc Auteurs : Dirk Paessler, CEO de Paessler AG Gerald Schoch, Rédactrice technique de Paessler AG Publication : Mai 2011 Mise à jour : Février 2015 PAGE
Plus en détailAdonya Sarl Organisme de Formation Professionnelle 75 Avenue Niel 75017 PARIS, France
Powered by TCPDF (www.tcpdf.org) WINDOWS 7 Windows 7 PLANIFIER LES DÉPLOIEMENTS ET ADMINISTRER LES ENVIRONNEMENTS MICROSOFT WINDOWS 7 Réf: MS10223 Durée : 5 jours (7 heures) OBJECTIFS DE LA FORMATION -
Plus en détailEtude d Exchange, Google Apps, Office 365 et Zimbra
I. Messagerie Exchange 2013 2 1) Caractéristiques 2 2) Pourquoi une entreprise choisit-elle Exchange? 2 3) Offres / Tarifs 2 4) Pré requis pour l installation d Exchange 2013 3 II. Google Apps : 5 1) Caractéristiques
Plus en détailInformatique. Les réponses doivent être données en cochant les cases sur la dernière feuille du sujet, intitulée feuille de réponse
Questions - Révision- - 1 er Semestre Informatique Durée de l examen : 1h pour 40 questions. Aucun document n est autorisé. L usage d appareils électroniques est interdit. Les questions faisant apparaître
Plus en détailMétriques de performance pour les algorithmes et programmes parallèles
Métriques de performance pour les algorithmes et programmes parallèles 11 18 nov. 2002 Cette section est basée tout d abord sur la référence suivante (manuel suggéré mais non obligatoire) : R. Miller and
Plus en détailAsset Management Software Client Module. Manuel d utilisation
Asset Management Software Client Module Manuel d utilisation Kodak Asset Management Software Client Module Etat et paramètres de l'actif... 1 Menu Asset Status (Etat de l'actif)... 2 Menu Asset settings
Plus en détailFiche COMPOSANTS ELECTRONIQUES
Fiche COMPOSANTS ELECTRONIQUES 1. Etat des lieux de la filière Définition La filière composants électroniques inclut en France les composants et cartes à puces (29 000 emplois), la sous-traitance d assemblage
Plus en détailInitiation au binaire
Présenté par TryEngineering Objet de la leçon Cette leçon explique les principes du code binaire et ses applications possibles par les ingénieurs informaticiens. Dans cette leçon, les élèves réaliseront
Plus en détailSurveillance de Température sans fil
commentaires: Surveillance de Température sans fil Données fiables & sécurisées Surveillance en continu & en directe Options d'alarme Accès aux données & rapport faciles normalisation Aides pour la conformité
Plus en détailComme chaque ligne de cache a 1024 bits. Le nombre de lignes de cache contenu dans chaque ensemble est:
Travaux Pratiques 3. IFT 1002/IFT 1005. Structure Interne des Ordinateurs. Département d'informatique et de génie logiciel. Université Laval. Hiver 2012. Prof : Bui Minh Duc. Tous les exercices sont indépendants.
Plus en détailLa société d autoroute sanef est responsable de la gestion et de la maintenance du réseau autoroutier du Nord de la France
GROUPE SANEF GESTION TECHNIQUE DU RESEAU AUTOROUTIER EN TEMPS REEL Phœnix Contact permet au groupe sanef une meilleure gestion technique de son réseau autoroutier et plus de réactivité dans le traitement
Plus en détailAlgorithme. Table des matières
1 Algorithme Table des matières 1 Codage 2 1.1 Système binaire.............................. 2 1.2 La numérotation de position en base décimale............ 2 1.3 La numérotation de position en base binaire..............
Plus en détailRouteur Wi-Fi N300 (N300R)
Easy, Reliable & Secure Guide d'installation Routeur Wi-Fi N300 (N300R) Marques commerciales Les marques et noms de produits sont des marques commerciales ou des marques déposées de leurs détenteurs respectifs.
Plus en détailSamsung Magician v.4.3 Guide d'introduction et d'installation
Samsung Magician v.4.3 Guide d'introduction et d'installation Avis de non-responsabilité légale SAMSUNG ELECTRONICS SE RÉSERVE LE DROIT DE MODIFIER DES PRODUITS, DES INFORMATIONS ET DES SPÉCIFICATIONS
Plus en détail