Eléments de spécification des systèmes temps réel Pierre-Yves Duval (cppm)

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

Download "Eléments de spécification des systèmes temps réel Pierre-Yves Duval (cppm)"

Transcription

1 Eléments de spécification des systèmes temps réel Pierre-Yves Duval (cppm) Ecole d informatique temps réel - La Londes les Maures 7-11 Octobre Evénements et architectures - Spécifications de performances - Spécification de composabilité - Spécifications relatives a la sûreté de fonctionnement - Spécifications relatives aux tests et diagnostiques - Classes de systèmes temps réel - Phases d un projet en informatique temps réel - Systèmes temps réel repartis 1

2 Spécification des événements Lois d arrivée périodique irrégulier bornée en rafale non bornée Description Arrivent à intervalle constant. On y associe parfois la notion de phase pour donner la position relative dans le temps par rapport à d autres événements périodiques Cycle d arrivées connu à l avance et qui se reproduit cycliquement Arrivent n importe quand mais avec un intervalle minimum entre deux occurrences Arrive par paquet imprévisibles mais avec une densité maximum dans un intervalle La loi arrivée est décrite par une loi de probabilité Prise en compte des événements Scrutation (polling) Le système prend l initiative d activer la fonction qui va lire une entrée à un instant qui est programmé pour vérifier si un événement a eu lieu. Le plus souvent cette scrutation sera faite périodiquement. Sous interruption Un signal hardware associe à l arrive de l événement déclenche l activation de la fonction qui va lire la donnée d entrée. 2

3 Architectures des systèmes TR L interaction avec le monde externe induit deux types d architectures Systèmes séquencés par événements (système asynchrones) Ces systèmes sont activés par des événements externes. Ils attendent les sollicitations et réagissent à celles-ci Systèmes séquencés par le temps (systèmes synchrones) Dans ces systèmes il n y a qu une source d événement, l horloge. Ils sont programmés pour exécuter leurs actions à des instants bien précis qui restent immuables dans un mode de fonctionnement donné. Spécification de performances Latence du système C est le délai global de bout en bout entre un changement d état dans environnement et la réaction correspondante en sortie du système. C est un délai composite qui prend en compte: -les délais de scrutation du système -les délais dû à l OS -les délais de calcul applicatif -les délais de transmission de message 3

4 Délais intervenant dans la latence d une fonction simple échantillonnage Calcul de la réponse Production de la sortie A B C Changement d état Latence du système Temps CPU utile Temps d attente Temps dans la couche réseau action Spécification de performances Gigue sur la latence: Elle décrit l incertitude sur la latence. Liée à la concurrence qui va faire varier la charge du réseau (problème d accès) ou des nœuds de calcul (ordonnancement). Dans les applications de contrôle il est souhaitable que cette gigue soit faible devant la latence. Dans les applications rapides elle doit donc être très faible Gigue Transaction 1 Transaction 2 Transaction 3 Latence moyenne 4

5 Spécification de composabilité Définition: La composabilité (composability) est la propriété qui fait qu une caractéristique qui existe dans un composant du système pris isolement se retrouve comme propriété inchangée dans le système tout assemblé. On dit aussi que l assemblage des composants est dénué d effet de bord ou d échelle. Spécifications relatives à la sûreté de fonctionnement délai de détection des erreurs: Dans un système critique on cherchera à ce qu'il soit minimum. De l'ordre de grandeur de la boucle de contrôle la plus courte, pour pouvoir réagir assez vite et mettre le système dans un état sûr de fonctionnement (éviter les divergences). 5

6 Spécifications relatives à la sûreté de fonctionnement tolérance aux fautes: Une application critique doit avoir un comportement du type FO->FS (fail operational->fail safe). Il doit y avoir continuité de fonctionnement tant qu'un certain nombre de défaillances n'est pas atteint. Ensuite lorsque la limite de capacité à assumer une défaillance de plus est atteinte, le système doit s'arrêter de façon sûre. Spécification relatives aux tests et diagnostiques Cet aspect est capital dans un projet!! car les défaillances sont souvent difficiles à reproduire Un SITR doit avoir les propriétés suivantes: - testabilité d'intégration, - disposer de points de mesures utilisables en intégration ou en fonctionnement pour injecter des séquences de tests, - disposer d'outils pour superviser le trafic en fonctionnement, - d'avoir la possibilité de mémoriser et restituer l'état d'exécution d'un noeud (trace des valeurs datées). 6

7 Classes de systèmes temps réel Systèmes à contraintes dures/strictes (hard real time, guaranteed) Spécifications de temps doivent être réalises dans 100% des cas. Spécifications très précises et exhaustives (exemple: contrôle de central nucléaire, pilote automatique d avion ) - validation formelle en amont (mathématique si possible) - tests exhaustifs en aval Toute modification devra repasser par un cycle de validation amont et aval avant d être intégrée au système opérationnel. Systèmes plutôt chers et difficiles à faire évoluer. Régularité et le déterminisme au dépend de l optimisation des ressources. Classes de systèmes temps réel Systèmes à contraintes souples (soft real time, best effort) Spécifications de temps doivent être atteintes mais des erreurs rares sont tolérables. Spécifications définissent statistiquement les taux d erreurs acceptables (exemple: multimédia, DAQ en physique des particules ) - conception aidée par de la simulation sur un modèle exécutable - tests par exécution et mesures dans la durée des paramètres clefs Les modifications peuvent être intégrées pour voir et validées en ligne. Systèmes plus faciles à faire évoluer et permettant les compromis qui conduisent à une optimisation des ressources. 7

8 Classes de systèmes temps réel Systèmes temps réel critiques Terminologie qui met l accent sur les conséquences d une défaillance du système et concerne la sûreté de fonctionnement. On dira qu un système temps réel est critique si: - il y a des conséquences humaines en cas de défaillance - si le coût financier d une défaillance du système est d ordre supérieur à celui du système Phases d un projet TR Méthodologies classiques car c est un système informatique, AVEC quelques aspects spécifiques Spécification: - importance du contexte qui stimule le système et de la caractérisation de cette stimulation (types d événements) - en plus des fonctions on trouvera leurs contraintes temporelles - indication de la criticités des fonctions - des contraintes liées au hardware à utiliser - contraintes géographiques et de répartition - caractérisation de l environnement 8

9 Phases d un projet TR Conception générale et architecturale: - choix des unités logiques et d une architecture logique - le système est décomposé en sous-systèmes - un sous-système particulier sera identifié pour l encapsulation des fonctions assurées par le matériel (hardware wrapper) (doit assurer indépendance matériel/logiciel) Phases d un projet TR Analyse et réalisation: - la description de la dynamique et du comportement (états, transitions et modes de fonctionnement associés) plus développés et fils directeur - boucle pour réajuster les hypothèses temporelles optimistes En phase de conception détaillée: - découpage en tâches (analyse des événements externes et de leur fils de traitement) - hypothèse/allocation concernant les temps d exécution (prototypage) - choix des modes de communication et de synchronisation entre tâches - validation formelle en cas pire pour les tâches critiques 9

10 Phases d un projet TR Intégration: -en plus des tests fonctionnels prévoir les tests de performances réelles et l évaluation des effets d intégration sur les performances temporelles (influence des différents composants sur la charge du système). -pour un système stricte mesurer et caractériser précisément chaque composant Validation: -peut se faire sur site, en exploitation, pendant une période considérée comme probatoire d un point de vue statistique pour un système souple. -longue période de passage de tests systématiques (procédures strictes) et mise en exploitation progressive pour un système critique Système temps réel reparti Configuration matérielle noeud noeud Nœuds de traitement noeud noeud Réseau temps réel noeud Nœuds d interface noeud Capteurs/actionneurs Capteurs/actionneurs 10

11 Système temps réel reparti Variables du système échantillonnage Image TR Transmissions ITR ITR Objet TR Variable locale Variable réelle= entité temps réel ETR Valeur informatique = image temps réel ITR Valeur diffusée et conservée dans des objets temps réel ITR ITR Objet TR Système temps réel reparti Variables du système Déterminisme de duplication (réplica determinism) C'est une relation entre OTR répliqués. Un ensemble d OTR répliqués est dit déterministe si tous les OTR atteignent le même état "à peu près" au même moment. "à peu près" prend en compte la précision de la synchronisation d'horloge dans un système TR réparti. 11

12 Système temps réel reparti Variables du système Précision temporelle des variables du système décalage maxi entre état d une entité du monde réel et son image dans un objet temps réel du système. Stabilité Définit la relation entre un message Mi qui arrive à un OTR et les Mi-1, Mi-2,... messages précédents qui lui ont été envoyés auparavant (dans le temps global du système). Mi devient stable dès que tous les messages précédents sont arrivés. Une décision prise sur un message instable peut être source d'incohérence. Système temps réel réparti Variables du système Stabilité Définit la relation entre un message Mi qui arrive à un OTR et les Mi-1, Mi-2,... messages précédents qui lui ont été envoyés auparavant (dans le temps global du système). Mi devient stable dès que tous les messages précédents sont arrivés. Une décision prise sur un message instable peut être source d'incohérence. Délai d action Le délai d'action est le temps qui s'écoule entre l'envoi d'un message et le moment où il est considéré comme stable pour son récepteur et donc qu il peut l exploiter ou le publier localement. 12

13 Système temps réel réparti Variables du système Dans un système TR réparti sans base de temps globale, le délai d'action maximum est dmax + e (temps transmission maximum + attente stabilité) avec e = dmax - dmin (gigue sur le protocole) Dans un système synchronisé avec une base de temps globale de précision (granularité) g le délai d'action maximum est: dmax + 2g (2g est l'incertitude sur les dates) Si cette synchro est réalisée par matériel g peut être très faible Système temps réel réparti Variables du système Théorème Un système temps réel distribuée ne peut fonctionner correctement que si le délai d action est plus court que les précisions temporelles requises par l application. 13

Introduction à l informatique temps réel Pierre-Yves Duval (cppm)

Introduction à 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étail

Ordonnancement Temps Réel. Emmanuel GROLLEAU & Pascal RICHARD LISI/ENSMA {grolleau,richardp}@ensma.fr

Ordonnancement Temps Réel. Emmanuel GROLLEAU & Pascal RICHARD LISI/ENSMA {grolleau,richardp}@ensma.fr Ordonnancement Temps Réel Emmanuel GROLLEAU & Pascal RICHARD LISI/ENSMA {grolleau,richardp}@ensma.fr 2 Plan de la présentation 1. Introduction aux systèmes temps réel 1.1 Différents modèles de tâches 1.2

Plus en détail

Introduction aux systèmes temps réel. Iulian Ober IRIT ober@iut-blagnac.fr

Introduction aux systèmes temps réel. Iulian Ober IRIT ober@iut-blagnac.fr Introduction aux systèmes temps réel Iulian Ober IRIT ober@iut-blagnac.fr Définition Systèmes dont la correction ne dépend pas seulement des valeurs des résultats produits mais également des délais dans

Plus en détail

Modélisation conceptuelle des Systèmes Distribués

Modélisation conceptuelle des Systèmes Distribués Modélisation conceptuelle des Systèmes Distribués Eric Cariou Master Technologies de l'internet 1 ère année Université de Pau et des Pays de l'adour Département Informatique Eric.Cariou@univ-pau.fr 1 Systèmes

Plus en détail

ORDONNANCEMENT CONJOINT DE TÂCHES ET DE MESSAGES DANS LES RÉSEAUX TEMPS RÉELS 4. QUELQUES EXEMPLES DU DYNAMISME ACTUEL DU TEMPS RÉEL

ORDONNANCEMENT CONJOINT DE TÂCHES ET DE MESSAGES DANS LES RÉSEAUX TEMPS RÉELS 4. QUELQUES EXEMPLES DU DYNAMISME ACTUEL DU TEMPS RÉEL i LE TEMPS RÉEL 1. PRÉSENTATION DU TEMPS RÉEL 1.1. APPLICATIONS TEMPS RÉEL 1.2. CONTRAINTES DE TEMPS RÉEL 2. STRUCTURES D'ACCUEIL POUR LE TEMPS RÉEL 2.1. EXÉCUTIFS TEMPS RÉEL 2.2. RÉSEAUX LOCAUX TEMPS

Plus en détail

Figure 1. Structure répartie

Figure 1. Structure répartie Chapitre I: Applications Réparties et Middleware 1. Définition d une application répartie Une application répartie est constituée d un ensemble de processus (d objets, d agents, d acteurs) s exécutant

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

Introduction aux systèmes Temps Réel. M1 UEF5 Systèmes embarqués 2005 2006

Introduction aux systèmes Temps Réel. M1 UEF5 Systèmes embarqués 2005 2006 Introduction aux systèmes Temps Réel M1 UEF5 Systèmes embarqués 2005 2006 Plan : I. Introduction II. Mécanismes Fondamentaux III. Maîtrise du temps IV. Temps réel et industrie I. Introduction 1. Qu'est

Plus en détail

Introduction au temps réel

Introduction au temps réel Introduction au temps réel Laurent.Pautet@enst.fr Version 2.0 Définition d un système temps réel Un système temps réel se compose d'un ou plusieurs sous-systèmes devant répondre en un temps fini et spécifié

Plus en détail

Architectures logicielles pour les systèmes embarqués temps réel

Architectures logicielles pour les systèmes embarqués temps réel ETR 07 4 septembre 2007 Architectures logicielles pour les systèmes embarqués temps réel Jean-Philippe Babau, Julien DeAntoni jean-philippe.babau@insa-lyon.fr 1/31 Plan Architectures logicielles pour les

Plus en détail

Analyse abstraite de missions sous PILOT

Analyse abstraite de missions sous PILOT Analyse abstraite de missions sous PILOT Damien Massé EA 3883, Université de Bretagne Occidentale, Brest damien.masse@univ-brest.fr Résumé Nous étudions la possibilité de réaliser un analyseur par interprétation

Plus en détail

Cours A7 : Temps Réel

Cours A7 : Temps Réel Cours A7 : Temps Réel Pierre.Paradinas / @ / cnam.fr Cnam/Cedric Systèmes Enfouis et Embarqués (SEE) Organisation des cours 12 prochaines séances 6 janvier au 24 mars, Partiel le 27 janvier, Les 3 et 24

Plus en détail

Systèmes temps réel Concepts de base. Richard Grisel Professeur des Universités Université de Rouen

Systèmes temps réel Concepts de base. Richard Grisel Professeur des Universités Université de Rouen Systèmes temps réel Concepts de base Richard Grisel Professeur des Universités Université de Rouen 1 Systèmes temps réel - Choix Gestion des ressources Ordonnancement ( Scheduling ), Tolérance aux fautes

Plus en détail

Introduction aux Systèmes embarqués temps-réel

Introduction aux Systèmes embarqués temps-réel Introduction aux Systèmes embarqués temps-réel Laurent.Pautet@enst.fr Version 2.0 Exemples d applications temps réel Commandes de vol numériques Codage des communications Métro automatisé Syst. Informatique

Plus en détail

Architecture des Systèmes Embarqués: Systèmes Temps-Réel

Architecture des Systèmes Embarqués: Systèmes Temps-Réel Architecture des Systèmes Embarqués: Systèmes Temps-Réel Pablo de Oliveira January 22, 2013 Section 1 Introduction Plan du cours 5. Systèmes temps-réel Présentation des systèmes

Plus en détail

Architecture Logicielle

Architecture Logicielle Architecture Logicielle Chapitre 3: UML pour la description et la documentation d une architecture logicielle Année universitaire 2013/2014 Semestre 1 Rappel L architecture d un programme ou d un système

Plus en détail

Chap. V : Les interruptions

Chap. V : Les interruptions UMR 7030 - Université Paris 13 - Institut Galilée Cours Architecture et Système Nous étudions dans ce chapitre les interruptions matérielles (ou externes), c est-à-dire déclenchées par le matériel (hardware)

Plus en détail

Normes et Principes des Réseaux

Normes et Principes des Réseaux Normes et Principes des Réseaux DI / Polytech Tours J.Y. RAMEL 2005-2006 Bibliographie 2 LIVRES : Les réseaux. Guy Pujolle. Eyrolles. 1997. Réseaux Locaux: Normes & Protocoles. Pierre Rolin. Hermès. 1993.

Plus en détail

Exécutif temps réel Pierre-Yves Duval (cppm)

Exécutif temps réel Pierre-Yves Duval (cppm) Exécutif temps réel Pierre-Yves Duval (cppm) Ecole d informatique temps réel - La Londes les Maures 7-11 Octobre 2002 Plan Exécutif Tâches Evénements et synchronisation Partage de ressources Communications

Plus en détail

Introduction. La gestion des qualités de services dans Internet. La garantie de QoS. Exemple

Introduction. La gestion des qualités de services dans Internet. La garantie de QoS. Exemple Introduction Aujourd hui les applications (en particulier multimédia) nécessitent des qualités de service de natures très différentes La gestion des qualités de services dans Internet Exemples: Transfert

Plus en détail

Université de La Rochelle. Réseaux TD n 6

Université de La Rochelle. Réseaux TD n 6 Réseaux TD n 6 Rappels : Théorème de Nyquist (ligne non bruitée) : Dmax = 2H log 2 V Théorème de Shannon (ligne bruitée) : C = H log 2 (1+ S/B) Relation entre débit binaire et rapidité de modulation :

Plus en détail

Diagrammes de Package, de déploiement et de composants UML

Diagrammes de Package, de déploiement et de composants UML labsticc.univ-brest.fr/pages_perso/babau/ Diagrammes de Package, de déploiement et de composants UML Jean-Philippe Babau Département Informatique, UFR Sciences, Laboratoire Lab-STICC 2 1 Plan Description

Plus en détail

Ordonnancement des processus. Didier Verna. didier@lrde.epita.fr http://www.lrde.epita.fr/ didier. Systèmes d Exploitation. Didier Verna EPITA

Ordonnancement des processus. Didier Verna. didier@lrde.epita.fr http://www.lrde.epita.fr/ didier. Systèmes d Exploitation. Didier Verna EPITA 1/16 Ordonnancement des processus didier@lrde.epita.fr http://www.lrde.epita.fr/ didier 2/16 Table des matières 1 Ordonnancement et réquisition d ordonnancement 2 d ordonnancement Premier arrivé premier

Plus en détail

Analyse de sûreté des systèmes informatisés : l approche de l IRSN

Analyse de sûreté des systèmes informatisés : l approche de l IRSN 02 Novembre 2009 Analyse de sûreté des systèmes informatisés : l approche de l IRSN 1 ROLE DES SYSTEMES INFORMATISES DANS LES CENTRALES NUCLEAIRES Les centrales nucléaires sont de plus en plus pilotées

Plus en détail

SIMULATEUR FERROVIAIRES DE SYSTEMES. Innovation & Recherche. Présentation du projet «coût du db» 19 mars1999

SIMULATEUR FERROVIAIRES DE SYSTEMES. Innovation & Recherche. Présentation du projet «coût du db» 19 mars1999 SIMULATEUR DE SYSTEMES FERROVIAIRES Innovation & Recherche Plan de la présentation Objectifs Principes Utilisation Exemples Plans d expérience Objectifs Simulations précises de configurations du système

Plus en détail

GEL 1001 Design I (méthodologie)

GEL 1001 Design I (méthodologie) GEL 1001 Design I (méthodologie) Technique 2 Systèmes embarqués et fiabilité Hiver 2013 Département de génie électrique et de génie informatique Plan Système embarqué Ordinateur et architecture Von Neumann

Plus en détail

COMIT Une bibliothèque de composants logiciels sécurisés pour applications relatives à la sûreté. Atelier du Ris Le 6/06/2002 TOULOUSE

COMIT Une bibliothèque de composants logiciels sécurisés pour applications relatives à la sûreté. Atelier du Ris Le 6/06/2002 TOULOUSE COMIT Une bibliothèque de composants logiciels sécurisés pour applications relatives à la sûreté Atelier du Ris Le 6/06/2002 TOULOUSE COMIT : Sommaire de la présentation Les applications visées, Les objectifs,

Plus en détail

TABLE DES MATIÈRES. Chapitre 1 : Introduction aux Systèmes Informatiques Temps Réel

TABLE DES MATIÈRES. Chapitre 1 : Introduction aux Systèmes Informatiques Temps Réel TABLE DES MATIÈRES Introduction générale Chapitre 1 : Introduction aux Systèmes Informatiques Temps Réel 1. Introduction 7 2. Les systèmes temps réel 7 2.1. Présentation générale 7 2.2. Structure d un

Plus en détail

PLAN. Industrialisateur Open Source LANS DE SECOURS INFORMATIQUES PRINCIPES GENERAUX ETAT DE L ART SELON BV ASSOCIATES

PLAN. Industrialisateur Open Source LANS DE SECOURS INFORMATIQUES PRINCIPES GENERAUX ETAT DE L ART SELON BV ASSOCIATES PLAN LANS DE SECOURS INFORMATIQUES PRINCIPES GENERAUX & ETAT DE L ART SELON BV ASSOCIATES Copyright BV Associates 2013 IMEPSIA TM est une marque déposée par BV Associates Page 1 SOMMAIRE 1 PRINCIPES GENERAUX

Plus en détail

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

Julien MATHEVET Alexandre BOISSY GSID 4. Rapport RE09. Load Balancing et migration Julien MATHEVET Alexandre BOISSY GSID 4 Rapport Load Balancing et migration Printemps 2001 SOMMAIRE INTRODUCTION... 3 SYNTHESE CONCERNANT LE LOAD BALANCING ET LA MIGRATION... 4 POURQUOI FAIRE DU LOAD BALANCING?...

Plus en détail

Besoin de concevoir des systèmes massivement répartis. Comment tester le système? Solution. Évaluation de systèmes répartis à large échelle

Besoin de concevoir des systèmes massivement répartis. Comment tester le système? Solution. Évaluation de systèmes répartis à large échelle Besoin de concevoir des systèmes massivement répartis. Évaluation de systèmes répartis à large échelle Sergey Legtchenko Motivation : LIP6-INRIA Tolérance aux pannes Stockage de données critiques Coût

Plus en détail

Rappel de la première partie

Rappel de la première partie Conduite de projets (informatiques) Eric Bourreau Thérèse Libourel 1 Rappel de la première partie Définition et terminologie Projet (besoin objectif) gestion d un projet (estim, planif, pilot, suivi) Le

Plus en détail

Implémentation Matérielle des Services d un RTOS sur Circuit Reconfigurable

Implémentation Matérielle des Services d un RTOS sur Circuit Reconfigurable Implémentation Matérielle des Services d un RTOS sur Circuit Reconfigurable Pierre Olivier*, Jalil Boukhobza*, Jean-Philippe Babau +, Damien Picard +, Stéphane Rubini + *Lab-STICC, + LISyC, Université

Plus en détail

Ressources pour le lycée général et technologique

Ressources pour le lycée général et technologique éduscol Physique-chimie Exemple d activités de classe Ressources pour le lycée général et technologique Préambule Se positionner grâce aux ondes GPS, horloges et relativité (3) Extrait du programme d enseignement

Plus en détail

Conception des systèmes répartis

Conception des systèmes répartis Conception des systèmes répartis Principes et concepts Gérard Padiou Département Informatique et Mathématiques appliquées ENSEEIHT Octobre 2012 Gérard Padiou Conception des systèmes répartis 1 / 37 plan

Plus en détail

Modélisation Principe Autre principe

Modélisation Principe Autre principe Modélisation Principe : un modèle est une abstraction permettant de mieux comprendre un objet complexe (bâtiment, économie, atmosphère, cellule, logiciel, ). Autre principe : un petit dessin vaut mieux

Plus en détail

LIAISON SERIE MODBUS

LIAISON SERIE MODBUS LIAISON SERIE MODBUS 1. INTRODUCTION AU BUS DE TERRAIN MODBUS :... 2 1.1. Généralités :... 2 1.2. Principe général :... 2 2. LIAISON SERIE RS485 :... 3 2.1. Transmission série asynchrone :... 3 2.2. Transmission

Plus en détail

Systèmes temps réels. Fabien Calcado, Matthieu Lemerre CEA, LIST. Email: prénom.nom@cea.fr. Contenu du cours. Généralités. Plan du cours.

Systèmes temps réels. Fabien Calcado, Matthieu Lemerre CEA, LIST. Email: prénom.nom@cea.fr. Contenu du cours. Généralités. Plan du cours. Contenu du cours Systèmes temps réels Fabien Calcado, Matthieu Lemerre CEA, LIST Email: prénom.nom@cea.fr Cours introduction EFREI 2012 1 Cours 1: Qu est ce que le temps réel? Cours 2: Parallélisme, communication

Plus en détail

Aide à la décision pour l'optimisation de la maintenance des stations de compression de gaz naturel

Aide à la décision pour l'optimisation de la maintenance des stations de compression de gaz naturel Aide à la décision pour l'optimisation de la maintenance des stations de compression de gaz naturel J. Blondel, L. Marle - CRIGEN A. Abdesselam GRTgaz F. Brissaud - DNV France Presentation Plan Objectifs

Plus en détail

Sémantique formelle et synthèse de client pour services Web

Sémantique formelle et synthèse de client pour services Web Sémantique formelle et synthèse de client pour services Web Séminaire «Services Web» 24 Janvier 2006 sylvain.rampacek@univ-reims.fr CReSTIC LAMSADE Plan Introduction Services Web Description de la plate-forme

Plus en détail

Détecteurs de Défaillances et Qualité de Service dans un Réseau Ad-Hoc Hétérogène

Détecteurs de Défaillances et Qualité de Service dans un Réseau Ad-Hoc Hétérogène Détecteurs de Défaillances et Qualité de Service dans un Réseau Ad-Hoc Hétérogène Corine Marchand - Jean-Marc Vincent Projet Apache-INRIA Soutenu par : France Télécom R&D CRE MIRRA Laboratoire ID-IMAG

Plus en détail

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

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

Plus en détail

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

2. Activités et Modèles de développement en Génie Logiciel 2. Activités et Modèles de développement en Génie Logiciel Bernard ESPINASSE Professeur à l'université d'aix-marseille Plan Les Activités du GL Analyse des besoins Spécification globale Conceptions architecturale

Plus en détail

Systèmes d Exploitation temps réel. Programmation des STR. Gabriel FREY 2013 freyg.it@gmail.com

Systèmes d Exploitation temps réel. Programmation des STR. Gabriel FREY 2013 freyg.it@gmail.com Systèmes d Exploitation temps réel 1 2 Plan de l intervention 1. Introduction aux Systèmes Temps Réel 2. Programmation concurrente Synchronisation et communication Besoin en facultés temporelles 3. Ordonnancement

Plus en détail

Internet et Multimédia Exercices: flux multimédia

Internet et Multimédia Exercices: flux multimédia Internet et Multimédia Exercices: flux multimédia P. Bakowski bako@ieee.org Applications et flux multi-média média applications transport P. Bakowski 2 Applications et flux multi-média média applications

Plus en détail

Maîtrise des Risques Projet. Bernard Cherbonneau 2008 UPS / IRIT M2 GLRE IS & MP 3. Maîtrise des risques projet 1

Maîtrise des Risques Projet. Bernard Cherbonneau 2008 UPS / IRIT M2 GLRE IS & MP 3. Maîtrise des risques projet 1 Maîtrise des Risques Projet Bernard Cherbonneau 2008 UPS / IRIT M2 GLRE IS & MP 3. Maîtrise des risques projet 1 Buts du chapitre Mettre en évidence les avantages d anticiper les situations non souhaitables

Plus en détail

Les systèmes RAID Architecture des ordinateurs

Les systèmes RAID Architecture des ordinateurs METAIS Cédric 2 ème année Informatique et réseaux Les systèmes RAID Architecture des ordinateurs Cédric METAIS ISMRa - 1 - LES DIFFERENTS SYSTEMES RAID SOMMAIRE INTRODUCTION I LES DIFFERENTS RAID I.1 Le

Plus en détail

Entrées-Sorties: Architectures de bus. GIF-1001 Ordinateurs: Structure et Applications, Hiver 2015 Jean-François Lalonde

Entrées-Sorties: Architectures de bus. GIF-1001 Ordinateurs: Structure et Applications, Hiver 2015 Jean-François Lalonde Entrées-Sorties: Architectures de bus GIF-1001 Ordinateurs: Structure et Applications, Hiver 2015 Jean-François Lalonde Architectures CPU/Mémoire/E-S Un ordinateur a cinq composantes de base: le(s) processeur(s)

Plus en détail

Modélisation des réseaux : Le modèle OSI et ses dérivés

Modélisation des réseaux : Le modèle OSI et ses dérivés Chapitre 1 1 Modélisation des réseaux : Le modèle OSI et ses dérivés Le modèle OSI de l ISO 2 Le modèle d'interconnexion des Systèmes Ouverts (Open Systems Interconnection) a été proposé par l'iso (International

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

VETO 08. Modélisation formelle d'une architecture pour le vote électronique J. P. Gibson, E. Lallet, J-L. Raffy

VETO 08. Modélisation formelle d'une architecture pour le vote électronique J. P. Gibson, E. Lallet, J-L. Raffy VETO 8 Modélisation formelle d'une architecture pour le vote électronique J. P. Gibson, E. Lallet, J-L. Raffy Hypothèses (1) Le vote s effectue dans des endroits dédiés (appelés kiosques) Les isoloirs

Plus en détail

Systèmes et applications distribués Intergiciels et applications communicantes

Systèmes et applications distribués Intergiciels et applications communicantes Systèmes et applications distribués Intergiciels et applications communicantes Philippe Quéinnec Télécommunication et Réseaux 2e année ENSEEIHT 24 février 2014 Inspiré de cours de G. Padiou, Ph. Mauran

Plus en détail

Réplication des données

Réplication des données Réplication des données Christelle Pierkot FMIN 306 : Gestion de données distribuées Année 2009-2010 Echange d information distribuée Grâce à un serveur central Une seule copie cohérente Accès à distance

Plus en détail

PC SCOTT: Comment ça marche? Direction de la Circulation 1

PC SCOTT: Comment ça marche? Direction de la Circulation 1 PC SCOTT: Comment ça marche? Direction de la Circulation 1 GENERALITES Le système PC SCOTT permet la mise en œuvre d un ensemble de fonctionnalités essentielles pour la gestion du trafic, notamment : Le

Plus en détail

Modèles à Événements Discrets. Réseaux de Petri Stochastiques

Modèles à Événements Discrets. Réseaux de Petri Stochastiques Modèles à Événements Discrets Réseaux de Petri Stochastiques Table des matières 1 Chaînes de Markov Définition formelle Idée générale Discrete Time Markov Chains Continuous Time Markov Chains Propriétés

Plus en détail

Evaluation de l'influence d un réseau de communication sans fil sur la commande d un SED

Evaluation de l'influence d un réseau de communication sans fil sur la commande d un SED Evaluation de l'influence d un réseau de communication sans fil sur la commande d un SED Gilbert Habib (1), Pascale Marangé (2), Jean François Pétin (1), Thierry Divoux (1) (1) Centre de Recherche en Automatique

Plus en détail

Contributions à 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 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étail

Modélisations et analyses de réseaux de capteurs

Modélisations et analyses de réseaux de capteurs Modélisations et analyses de réseaux de capteurs Ludovic Samper Soutenance de thèse, le 7 avril 2008 France Télécom R&D / VERIMAG JURY Marc Pouzet LRI, Université Paris-Sud Président Isabelle Guérin-Lassous

Plus en détail

Temps Réel. Jérôme Pouiller Septembre 2011

Temps Réel. Jérôme Pouiller <j.pouiller@sysmic.org> Septembre 2011 Temps Réel Jérôme Pouiller Septembre 2011 Sommaire Problèmatique Le monotâche Le multitâches L ordonnanement Le partage de ressources Problèmatiques des OS temps réels J. Pouiller

Plus en détail

Électrovannes utilisées dans les systèmes instrumentés de sécurité

Électrovannes utilisées dans les systèmes instrumentés de sécurité I&M V9629R1 I&M V9629 Électrovannes utilisées dans les systèmes instrumentés de sécurité Notice d'utilisation conforme à CEI 61508 Notice d'utilisation conforme à CEI 61508 ASCO Valves Page 1 de 7 Table

Plus en détail

REALISATION d'un. ORDONNANCEUR à ECHEANCES

REALISATION 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étail

Textes de référence : articles 313-53-2 à 313-62, 314-3-2 du règlement général de l AMF

Textes de référence : articles 313-53-2 à 313-62, 314-3-2 du règlement général de l AMF Instruction AMF n 2012-01 Organisation de l activité de gestion d OPCVM ou d OPCI et du service d investissement de gestion de portefeuille pour le compte de tiers en matière de gestion des risques Textes

Plus en détail

En synthèse. HVR pour garantir les échanges sensibles de l'entreprise

En synthèse. HVR pour garantir les échanges sensibles de l'entreprise En synthèse HVR pour garantir les échanges sensibles de l'entreprise Le logiciel HVR fournit des solutions pour résoudre les problèmes clés de l'entreprise dans les domaines suivants : Haute Disponibilité

Plus en détail

LINUX et le temps réel Pierre-Yves Duval (cppm)

LINUX et le temps réel Pierre-Yves Duval (cppm) LINUX et le temps réel Pierre-Yves Duval (cppm) Ecole d informatique temps réel - La Londes les Maures 24-28 Mars 2003 Sommaire - Contexte et contraintes pour l embarqué et le temps réel - Caractéristiques

Plus en détail

GL - 2 2.4 Architecture logicielle

GL - 2 2.4 Architecture logicielle GL - 2 2.4 Architecture logicielle Lydie du Bousquet Lydie.du-bousquet@imag.fr En collaboration avec Ph. Lalanda Activités logicielles Analyse : récolte des exigences Comment commencer la conception? Analyse

Plus en détail

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

Services et protocoles pour l'exécution fiable d'applications distribuées dans les grilles de calcul

Services et protocoles pour l'exécution fiable d'applications distribuées dans les grilles de calcul Services et protocoles pour l'exécution fiable d'applications distribuées dans les grilles de calcul Thomas Ropars Équipe-projet PARIS 1 Les applications de calcul scientifique Objectifs : Simuler des

Plus en détail

SOA et Services Web. 23 octobre 2011. SOA: Concepts de base

SOA et Services Web. 23 octobre 2011. SOA: Concepts de base SOA et Services Web 23 octobre 2011 1 SOA: Concepts de base 2 Du client serveur à la SOA N est Nest pas une démarche entièrement nouvelle: années 1990 avec les solutions C/S Besoins d ouverture et d interopérabilité

Plus en détail

Fiche méthodologique Rédiger un cahier des charges

Fiche méthodologique Rédiger un cahier des charges Fiche méthodologique Rédiger un cahier des charges Plan de la fiche : 1 : Présentation de la fiche 2 : Introduction : les grands principes 3 : Contenu, 1 : positionnement et objectifs du projet 4 : Contenu,

Plus en détail

Techniques et outils de test pour les logiciels réactifs synchrones

Techniques et outils de test pour les logiciels réactifs synchrones Journées Systèmes et Logiciels Critiques Institut IMAG ; 14-16 nombre 2000 Techniques et outils de test pour les logiciels réactifs synchrones Farid Ouabdesselam 1 Méthodes de test : classification générale

Plus en détail

Modélisation aléatoire en fiabilité des logiciels

Modélisation aléatoire en fiabilité des logiciels collection Méthodes stochastiques appliquées dirigée par Nikolaos Limnios et Jacques Janssen La sûreté de fonctionnement des systèmes informatiques est aujourd hui un enjeu économique et sociétal majeur.

Plus en détail

Le génie logiciel. maintenance de logiciels.

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

Plus en détail

Modélisation aléatoire en fiabilité des logiciels

Modélisation aléatoire en fiabilité des logiciels collection Méthodes stochastiques appliquées dirigée par Nikolaos Limnios et Jacques Janssen La sûreté de fonctionnement des systèmes informatiques est aujourd hui un enjeu économique et sociétal majeur.

Plus en détail

Textes de référence : articles 313-53-2 à 313-60, articles 318-38 à 318-43 et 314-3-2 du règlement général de l AMF

Textes de référence : articles 313-53-2 à 313-60, articles 318-38 à 318-43 et 314-3-2 du règlement général de l AMF Instruction AMF n 2012-01 Organisation de l activité de gestion de placements collectifs et du service d investissement de gestion de portefeuille pour le compte de tiers en matière de gestion des Textes

Plus en détail

MEAD : temps réel et tolérance aux pannes pour CORBA

MEAD : temps réel et tolérance aux pannes pour CORBA MEAD : un intergiciel temps-réel et tolérant aux pannes pour CORBA Master 2 Informatique Recherche Université de Marne-la-Vallée Vendredi 3 mars 2006 Plan 1 Introduction 2 Solutions existantes 3 Concilier

Plus en détail

Temps Réel. Jérôme Pouiller Septembre 2011

Temps Réel. Jérôme Pouiller <j.pouiller@sysmic.org> Septembre 2011 Temps Réel Jérôme Pouiller Septembre 2011 Sixième partie VI Architectures des OS temps réels J. Pouiller Temps Réel 172 / 197 18 Problématique des OS RT 19 Systèmes Symétriques

Plus en détail

Présentation de l épreuve

Présentation de l épreuve MÉTHODO Présentation de l épreuve 1. Programme de l arrêté du 22 décembre 2006 DURÉE DE L ENSEIGNEMENT ÉPREUVE N 11 CONTRÔLE DE GESTION (à titre indicatif) : 210 heures 18 crédits européens 1. Positionnement

Plus en détail

Analyse de gigue avec l oscilloscope R&S RTO

Analyse de gigue avec l oscilloscope R&S RTO Analyse de gigue avec l oscilloscope R&S RTO La gigue peut nuire considérablement au bon fonctionnement des systèmes numériques et doit donc être soumise à des analyses et caractérisations détaillées.

Plus en détail

Cisco Discovery - DRSEnt Module 7

Cisco Discovery - DRSEnt Module 7 Page 1 of 7 Cisco Discovery - DRSEnt Module 7 Select language : English Mode examen : Oui (Changer la couleur du site, écriture noire sur fond blanc). Liens utiles : Site Netacad Télécharger Packet Tracer

Plus en détail

Informatique 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 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étail

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

Architecture d'entreprise : Guide Pratique de l'architecture Logique Guides Pratiques Objecteering Architecture d'entreprise : Guide Pratique de l'architecture Logique Auteur : Version : 1.0 Copyright : Softeam Equipe Conseil Softeam Supervisée par Philippe Desfray Softeam

Plus en détail

SYSTEME DE GESTION DES ENERGIES EWTS EMBEDDED WIRELESS TELEMETRY SYSTEM

SYSTEME DE GESTION DES ENERGIES EWTS EMBEDDED WIRELESS TELEMETRY SYSTEM Gestion des ressources Smart - EWTS metering, Smart sensing SYSTEME DE GESTION DES ENERGIES EWTS EMBEDDED WIRELESS TELEMETRY SYSTEM Copyright TECH 2012 Technext - 8, avenue Saint Jean - 06400 CANNES Société

Plus en détail

Industrialisation du logiciel Temps Réel Critique Annexes

Industrialisation du logiciel Temps Réel Critique Annexes Industrialisation du logiciel Temps Réel Critique Annexes «CS et les projets opérationnels» Alarmes (AIRBUS) Filière Myriade (CNES) Projet CSS D2X6Z9 (PSA) Alarmes AIRBUS Alarmes : Objectifs! Centraliser

Plus en détail

ANALYSE PRELIMINAIRE DES RISQUES. L Analyse Préliminaire de Risques identifie et évalue les risques techniques encourus par le produit.

ANALYSE PRELIMINAIRE DES RISQUES. L Analyse Préliminaire de Risques identifie et évalue les risques techniques encourus par le produit. ANALYSE PRELIMINAIRE DES RISQUES A. Objet L Analyse Préliminaire de Risques identifie et évalue les risques techniques encourus par le produit. Elle s effectue selon une méthode descendante. Outil d amélioration

Plus en détail

Acquisition de données avec une carte multi-fonctions sous LabVIEW. Cours LabVIEW ENSPS J2 Serio@unistra.fr V1.04-2011

Acquisition de données avec une carte multi-fonctions sous LabVIEW. Cours LabVIEW ENSPS J2 Serio@unistra.fr V1.04-2011 Acquisition de données avec une carte multi-fonctions sous LabVIEW 1 1 Objectifs de la séance Acquisition de données avec un module d acquisition de données multifonctions (USB 6009) et traitement sous

Plus en détail

Utilisation de PostgreSQL Cas d'utilisation et retour d'expérience. Société Elma, Jean Samuel Reynaud reynaud@elma.fr 1

Utilisation de PostgreSQL Cas d'utilisation et retour d'expérience. Société Elma, Jean Samuel Reynaud reynaud@elma.fr 1 Utilisation de PostgreSQL Cas d'utilisation et retour d'expérience Société Elma, Jean Samuel Reynaud reynaud@elma.fr 1 Qui sommes nous? Jean Samuel Reynaud, Administrateur systèmes et réseaux Société Elma,

Plus en détail

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

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

Plus en détail

Description et illustration du processus unifié

Description et illustration du processus unifié USDP Description et illustration du processus unifié Définit un enchaînement d activités Est réalisé par un ensemble de travailleurs Avec des rôles, des métiers Avec pour objectifs de passer des besoins

Plus en détail

Construisez des applications autonomes et fiables avec LabVIEW Real Time

Construisez des applications autonomes et fiables avec LabVIEW Real Time Construisez des applications autonomes et fiables avec LabVIEW Real Time Victor FOURNIER National Instruments, Ingénieur d applications Sommaire Qu est-ce que le temps réel? Domaines d utilisation du temps

Plus en détail

Soutenance de Thèse. Analyses statistiques des communications sur puce

Soutenance de Thèse. Analyses statistiques des communications sur puce Soutenance de Thèse Analyses statistiques des communications sur puce Antoine Scherrer LIP - ENS Lyon Equipe Compsys 11 décembre 26 A. Scherrer - Analyses statistiques des communications sur puce 1 / 4

Plus en détail

LISTE DES EXIGENCES FONCTIONNELLES. Cahier des charges : Système d Information de Trafic Indice de révision : 1 date : 05/03/08

LISTE DES EXIGENCES FONCTIONNELLES. Cahier des charges : Système d Information de Trafic Indice de révision : 1 date : 05/03/08 Page 1 / 10 N Page Ligne Fonction 1 24 6 et 7 7 8 Le projet SIT intègre les fonctions actuelles de SIREDO et du sous-projet SICOT. Il a pour but de : Satisfaire à la demande technique des utilisateurs

Plus en détail

Systèmes temps réel et logiciel libre

Systèmes temps réel et logiciel libre Systèmes temps réel et logiciel libre Pierre FICHEUX (pierre.ficheux@openwide.fr) Avril 2012 1 Présentation Open Wide SSLL créée en septembre 2001 avec Thales et Schneider => 10 ans d'expérience! 120 collaborateurs

Plus en détail

Cours de Génie Logiciel

Cours de Génie Logiciel Cours de Génie Logiciel Sciences-U Lyon Diagrammes UML (2) http://www.rzo.free.fr Pierre PARREND 1 Avril 2005 Sommaire Les Diagrammes UML Diagrammes de Collaboration Diagrammes d'etats-transitions Diagrammes

Plus en détail

Fiche technique expérimentale 5. Notions sur l acquisition numérique

Fiche technique expérimentale 5. Notions sur l acquisition numérique Fiche technique expérimentale 5 Notions sur l acquisition numérique D.Malka MPSI 2014-2015 Lycée Saint-Exupéry Ce bref guide traite de quelques éléments important sur l acquisition numérique des signaux

Plus en détail

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

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

Plus en détail

Modélisation et simulation du trafic. Christine BUISSON (LICIT) Journée Simulation dynamique du trafic routier ENPC, 9 Mars 2005

Modélisation et simulation du trafic. Christine BUISSON (LICIT) Journée Simulation dynamique du trafic routier ENPC, 9 Mars 2005 Modélisation et simulation du trafic Christine BUISSON (LICIT) Journée Simulation dynamique du trafic routier ENPC, 9 Mars 2005 Plan de la présentation! Introduction : modèles et simulations définition

Plus en détail

Projet OpNet. Spécialité Réseaux 2003/2004 Yannick GRENZINGER Loic JAQUEMET

Projet OpNet. Spécialité Réseaux 2003/2004 Yannick GRENZINGER Loic JAQUEMET Projet OpNet Spécialité Réseaux 2003/2004 Yannick GRENZINGER Loic JAQUEMET 1Présentation...3 1.1Le besoin de mobilité...3 1.2Le protocole IP Mobile...4 1.3Opnet...5 1.4Le projet...6 2La réalisation du

Plus en détail

SÉCURISER EMC VSPEX END-USER COMPUTING AVEC RSA SECURID

SÉCURISER EMC VSPEX END-USER COMPUTING AVEC RSA SECURID GUIDE DE CONCEPTION SÉCURISER EMC VSPEX END-USER COMPUTING AVEC RSA SECURID VMware Horizon View 5.2 et VMware vsphere 5.1 - Jusqu à 2 000 bureaux virtuels EMC VSPEX Résumé Le présent guide décrit les composants

Plus en détail

Rapport de certification

Rapport de certification Rapport de certification NetApp Data ONTAP, version 8.2.1 7-Mode Préparé par le Centre de la sécurité des télécommunications à titre d organisme de certification dans le cadre du Schéma canadien d évaluation

Plus en détail