Nouvelles architectures informatiques embarquées à base de COTS. Retour d expérience, étude des contraintes de Portage d un Logiciel Bord Lanceur

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

Download "Nouvelles architectures informatiques embarquées à base de COTS. Retour d expérience, étude des contraintes de Portage d un Logiciel Bord Lanceur"

Transcription

1 Nouvelles architectures informatiques embarquées à base de COTS Retour d expérience, étude des contraintes de Portage d un Logiciel Bord Lanceur EADS Launch Vehicles Patrick CORMERY - Le Vinh Quy RIBAL

2 Applicabilité des COTS aux systèmes spatiaux? Principaux objectifs nécessité de réduction de coûts amélioration des performances (limitation des performances des composants durcis pour les évolutions futures) solutions alternatives de pérennité en regard de l obsolescence rapide des technologies spécifiques de composants durcis

3 ALF (Avionique Lanceurs Futurs) : nouvelle architecture à base de COTS (ASIC, FPGA, CPU, runtime logiciel) Architectures candidates : - duplex à redondance chaude - duplex à redondance tiède - duplication temporelle des traitements - triplex (masquage d erreur)

4 Premiers éléments de réflexion sur l utilisation des architectures à base de COTS Analyse des contraintes de «portage» d une application logicielle Bord existante vis à vis : de l architecture logicielle de la sûreté de fonctionnement (détection de panne par surveillances HW et SW, taux de fiabilité, taux de disponibilité, sécurité de la mise en œuvre au sol) des moyens, méthodes et processus de développement logiciel

5 Contraintes sur l architecture logicielle (1/3) Contraintes temps réel vis à vis des flux de données et aux interfaces d entrées / sorties : ordonnancement et synchronisation des traitements applicatifs mécanismes d échange entre l unité de traitement applicatif et l unité d entrée sortie (principe de traitement des interruptions, gestion du temps bord, déterminisme des échanges, gestion des ressources partagées, )

6 Contraintes sur l architecture logicielle (2/3) Mécanismes logiciels / matériels de redondance pour la tolérance aux pannes : détection de panne (observation bus, votes, ) isolation de panne, recouvrement, réinsertion de la chaîne défaillante ==> respect des contraintes de performance et de réactivité

7 Contraintes sur l architecture logicielle (3/3) En résumé : contraintes de portage d une application existante avec limitation des impacts ==> conservation de l interface du système électrique ==> conservation de l architecture temps réel du logiciel applicatif ==> conservation des interfaces fonctionnelles, et des performances entre la couche applicative et les logiciels de base qui assurent l interface avec le matériel et les entrées / sorties

8 Contraintes sur les moyens, méthodes et processus de développement logiciel (1/3) Choix du SDE (Software Developpement Environment) lié au processeur COTS : langages de programmation RTOS (Real Time Operating System) bibliothèque mathématique outils de production sur machines hôte et cible (compilateur, éditeur de liens) outils de validation (débuggers symboliques, émulateurs, )

9 Contraintes sur les moyens, méthodes et processus de développement logiciel (2/3) Critères de choix SDE : (moyens) performance du code généré par le compilateur performance des COTS logiciels (RTOS, mathlib) richesse de l offre d outils de développement & validation facilité d intégration du SDE dans l environnement existant coûts d utilisation (matériel, licences, hotline, maintenance) pérennité (politique de gel / maintenance) maturité industrielle des fournisseurs maturité industrielle du SDE

10 Impacts sur les moyens, méthodes et processus de développement logiciel (3/3) Critères de choix SDE : (méthodes/processus de développement) effort de portage logiciel (I/F avec runtime, logiciels de base, mathlib) stratégie de validation méthode de fabrication logicielle effort de formation aux technologies nouvelles

11 CONCLUSIONS Retour d expérience sur l étude de «portage» d une application logicielle Bord existante, principales contraintes : minimisation des impacts sur l architecture Temps réel existante (synchronisation des tâches et mécanismes entrées/sorties) minimisation des impacts sur les moyens, méthodes et processus de développement en place. respect des exigences de sûreté de fonctionnement,

12 CONCLUSIONS Axe d étude pour l utilisation de COTS sur les architectures informatiques embarquées futures : standardisation des interfaces entre le logiciel d application, le logiciel bas niveau et l avionique

Les systèmes embarqués Introduction. Richard Grisel Professeur des Universités Université de Rouen Nacer Abouchi Professeur ESCPE Lyon

Les systèmes embarqués Introduction. Richard Grisel Professeur des Universités Université de Rouen Nacer Abouchi Professeur ESCPE Lyon Les systèmes embarqués Introduction Richard Grisel Professeur des Universités Université de Rouen Nacer Abouchi Professeur ESCPE Lyon Introduction aux systèmes embarqués Définition. Caractéristiques d

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

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

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

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

Technologies SOC (System On Chip) (Système sur une seule puce)

Technologies SOC (System On Chip) (Système sur une seule puce) Technologies SOC (System On Chip) (Système sur une seule puce) Pierre LERAY et Jacques WEISS Équipe de recherche ETSN Supélec Campus de Rennes février, 02 Technologies SoC ; P. Leray, J. Weiss 1 Évolution

Plus en détail

QUELQUES CONCEPTS INTRODUCTIFS

QUELQUES CONCEPTS INTRODUCTIFS ESIEE Unité d'informatique IN101 Albin Morelle (et Denis Bureau) QUELQUES CONCEPTS INTRODUCTIFS 1- ARCHITECTURE ET FONCTIONNEMENT D UN ORDINATEUR Processeur Mémoire centrale Clavier Unité d échange BUS

Plus en détail

Etude et mise en oeuvre de PREEMPT-RT et Xenomai sur cible DSP Blackfin BF537

Etude et mise en oeuvre de PREEMPT-RT et Xenomai sur cible DSP Blackfin BF537 ENSEIRB-MATMECA Rapport de projet avancé 3 ème année électronique Etude et mise en oeuvre de PREEMPT-RT et Xenomai sur cible DSP Blackfin BF537 Etudiants : Alexandre Braconnier Axel Chevalier Jean-Marc

Plus en détail

Les OS embarqués. B. Miramond UCP

Les OS embarqués. B. Miramond UCP Les OS embarqués B. Miramond UCP Les OS embarqués VxWorks : noyau RT le plus utilisé dans l'industrie. Supporte TCP/IP et une API socket. Coût des licences important. QNX : noyau RT de type UNIX. Intègre

Plus en détail

Les moyens de calcul scientifique du CNES architecture et outils

Les moyens de calcul scientifique du CNES architecture et outils Les moyens de calcul scientifique du CNES architecture et outils JOSY, 13 septembre 2007 Le CNES en bref... Le CNES est un EPIC. Il propose et met en oeuvre la politique spatiale de la France, au service

Plus en détail

CH.3 SYSTÈMES D'EXPLOITATION

CH.3 SYSTÈMES D'EXPLOITATION CH.3 SYSTÈMES D'EXPLOITATION 3.1 Un historique 3.2 Une vue générale 3.3 Les principaux aspects Info S4 ch3 1 3.1 Un historique Quatre générations. Préhistoire 1944 1950 ENIAC (1944) militaire : 20000 tubes,

Plus en détail

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

Eléments de spécification des systèmes temps réel Pierre-Yves Duval (cppm) 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 2002 - Evénements et architectures - Spécifications de performances

Plus en détail

Retour commission technique

Retour commission technique Retour commission technique ODJ: Projet IceBound (visibilité satellitaire) Groupe de travail «Flux techniques pour l échange de données» ArcGIS Online Présentations SITG, Comité directeur, 12/03/2015 Nathalie

Plus en détail

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

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

Plus en détail

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

PROGRAMME DU CONCOURS DE RÉDACTEUR INFORMATICIEN

PROGRAMME 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é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

Introduction. Mes coordonnées. Module Systèmes Embarqués. Systèmes embarqués. Systèmes embarqués Sylvain Tisserant

Introduction. Mes coordonnées. Module Systèmes Embarqués. Systèmes embarqués. Systèmes embarqués Sylvain Tisserant Mes coordonnées Introduction Systèmes embarqués Sylvain Tisserant Enseignant-Chercheur Professeur à l ESIL depuis sa création Recherche en physique des particules Acquisition et traitement de données Contrôle

Plus en détail

WP2T23 «APPLICATION de de REFERENCE» Prototypage rapide d une application de traitement d images avec SynDEx EADS

WP2T23 «APPLICATION de de REFERENCE» Prototypage rapide d une application de traitement d images avec SynDEx EADS WP2T23 «APPLICATION de de REFERENCE» Prototypage rapide d une application de traitement d images avec SynDEx EADS Avec l appui de l INRIA www-rocq.inria.fr/syndex 1 PLAN I. Présentation du sujet II. Présentation

Plus en détail

Proposition d un plan d étude pour l option «informatique embarquée»

Proposition d un plan d étude pour l option «informatique embarquée» Proposition d un plan d étude pour l option «informatique embarquée» Motivation : L informatique embarquée est un sous ensemble de l informatique qui est en pleine croissance. Elle intègre plusieurs aspects

Plus en détail

Présentation de la gamme des PGI/ERP modulaires Wavesoft

Présentation de la gamme des PGI/ERP modulaires Wavesoft Solutions ouvertes pour esprits ouverts Présentation de la gamme des PGI/ERP modulaires Wavesoft Sommaire WaveSoft en quelques chiffres Positionnement des Éditions (Gammes) Standard Professionnelle Entreprise

Plus en détail

Systèmes distribués Introduction

Systèmes distribués Introduction Systèmes distribués Introduction Nabil Abdennadher nabil.abdennadher@hesge.ch http://lsds.hesge.ch/distributed-systems/ 2015/2016 Semestre d Automne 1 Aujourd hui les réseaux et les SDI sont partout! Réseaux

Plus en détail

Chapitre 1 : Introduction aux méthodologies de conception et de vérification pour SE

Chapitre 1 : Introduction aux méthodologies de conception et de vérification pour SE Chapitre 1 : Introduction aux méthodologies de conception et de vérification pour SE 1. Rappel de ce qu est un SE 2. Conception au niveau système (ESL) Méthodologie de conception (codesign logiciel/matériel)

Plus en détail

1.2 Unité responsable Département d informatique, Faculté des sciences

1.2 Unité responsable Département d informatique, Faculté des sciences 1. Identification du programme 1.1 Titre du programme Maîtrise ès sciences (informatique) 1.2 Unité responsable Département d informatique, Faculté des sciences 1.3 Diplôme accordé M. Sc. (Informatique)

Plus en détail

Conception et microprocesseurs

Conception et microprocesseurs Electronique embarquée Conception et microprocesseurs Richard Grisel Professeur des Universités Université de Rouen Conception et microprocesseurs Architectures et composants: Logiciel; Matériel. Test

Plus en détail

Automation Days 2015 Diffusion non restreinte / Siemens AG 2015. All Rights Reserved.

Automation Days 2015 Diffusion non restreinte / Siemens AG 2015. All Rights Reserved. Contrôleurs SIMATIC Nouvelle génération de contrôleurs SIMATIC Toujours la bonne commande, sans compromis sur les fonctionnalités! Engineered avec le TIA Portal Performances système Advanced Controller

Plus en détail

Annexe : La Programmation Informatique

Annexe : La Programmation Informatique GLOSSAIRE Table des matières La Programmation...2 Les langages de programmation...2 Java...2 La programmation orientée objet...2 Classe et Objet...3 API et Bibliothèque Logicielle...3 Environnement de

Plus en détail

EADS TEST & SERVICES PERENNISATION SYSTÈME VIRTUALISATION

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

Plus en détail

Conception de circuits numériques et architecture des ordinateurs

Conception de circuits numériques et architecture des ordinateurs Conception de circuits numériques et architecture des ordinateurs Frédéric Pétrot Année universitaire 2013-2014 Structure du cours C1 C2 C3 C4 C5 C6 C7 C8 C9 C10 C11 C12 Codage des nombres en base 2, logique

Plus en détail

Modélisation des interfaces matériel/logiciel

Modélisation des interfaces matériel/logiciel Modélisation des interfaces matériel/logiciel Présenté par Frédéric Pétrot Patrice Gerin Alexandre Chureau Hao Shen Aimen Bouchhima Ahmed Jerraya 1/28 TIMA Laboratory SLS Group 46 Avenue Félix VIALLET

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

Les systèmes embarqués et les tendances technologiques: une évolution constante, une innovation continue!

Les systèmes embarqués et les tendances technologiques: une évolution constante, une innovation continue! Les systèmes embarqués et les tendances technologiques: une évolution constante, une innovation continue! Vasiliki Sfyrla Une approche des systèmes embarqués Les systèmes embarqués existent depuis longtemps.

Plus en détail

UNIVERSITÉ DE MONTRÉAL

UNIVERSITÉ DE MONTRÉAL UNIVERSITÉ DE MONTRÉAL MÉTHODE DE CONCEPTION DIRIGÉE PAR LES MODÈLES POUR LES SYSTÈMES AVIONIQUES MODULAIRES INTÉGRÉS BASÉE SUR UNE APPROCHE DE COSIMULATION LIN BAO DÉPARTEMENT DE GÉNIE INFORMATIQUE ET

Plus en détail

SDL: 20 ans de programmation basée modèle

SDL: 20 ans de programmation basée modèle SDL: 20 ans de programmation basée modèle Emmanuel Gaudin emmanuel.gaudin @ pragmadev.com Principes MDE, MDA et MDD: Approche orienté modèle PIM: Platform Independant Model PDM: Platform Definition Model

Plus en détail

Conception de SoPC pour applications multimédia

Conception de SoPC pour applications multimédia Conception de SoPC pour applications multimédia Auteurs : Michael Guarisco, Nicolas Marques, Eric Dabellani, Yves Berviller, Hassan Rabah, Serge Weber Laboratoire d Instrumentation Electronique de Nancy.

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

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

La place des logiciels Open Source à ASTRIUM Philippe DAVID/Jean-Paul BLANQUART- 14 Décembre 2000. astrium

La place des logiciels Open Source à ASTRIUM Philippe DAVID/Jean-Paul BLANQUART- 14 Décembre 2000. astrium La place des logiciels Open Source à ASTRIUM Philippe DAVID/Jean-Paul BLANQUART- 14 Décembre 2000 astrium Expérience à ASTRIUM-F! Open Source Software : Peu d utilisation explicite dans les sytèmes spatiaux

Plus en détail

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

Développement de moyens matériels pour la protection des couches basses du logiciel 1 / 45

Développement de moyens matériels pour la protection des couches basses du logiciel 1 / 45 Développement de moyens matériels pour la protection des couches basses du logiciel Benoît Morgan, Éric Alata, Vincent Nicomette Réunion du groupe RéSIST LAAS-CNRS, INSA Toulouse 15 décembre 2014 Développement

Plus en détail

The job scheduling company. The job scheduling Company. Visual TOM V5

The job scheduling company. The job scheduling Company. Visual TOM V5 The job scheduling Company Visual TOM V5 0 Fonctionnalités actuelles Fonctionnel Planification et ordonnancement évolués permettant de concevoir des modèles complexes Intégration aux systèmes et logiciels

Plus en détail

Intégration d un processeur spécialisé et de la logique Programmable au sein d un FPGA

Intégration d un processeur spécialisé et de la logique Programmable au sein d un FPGA Intégration d un processeur spécialisé et de la logique Programmable au sein d un FPGA 1) Problématique et objectifs L objectif de cette séance est d intégrer un processeur spécialisé (PS) avec la logique

Plus en détail

CESI Bases de données

CESI Bases de données CESI Bases de données Introduction septembre 2006 Bertrand LIAUDET EPF - BASE DE DONNÉES - septembre 2005 - page 1 PRÉSENTATION GÉNÉRALE 1. Objectifs généraux L objectif de ce document est de faire comprendre

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

4. Utilisation d un SGBD : le langage SQL. 5. Normalisation

4. Utilisation d un SGBD : le langage SQL. 5. Normalisation Base de données S. Lèbre slebre@unistra.fr Université de Strasbourg, département d informatique. Présentation du module Contenu général Notion de bases de données Fondements / Conception Utilisation :

Plus en détail

Capteurs de déplacement LVDT

Capteurs de déplacement LVDT Capteurs de déplacement LVDT Source d'innovation smart engineering for extreme environments Technologies Avantages Concurrentiels Sensorex, leader EUROPÉEN dans le domaine des capteurs LVDT, vous propose

Plus en détail

UC4 effectue tout l ordonnancement batch pour Allianz en Allemagne

UC4 effectue tout l ordonnancement batch pour Allianz en Allemagne UC4 effectue tout l ordonnancement batch pour Allianz en Allemagne La société Le groupe Allianz est un des principaux fournisseurs de services globaux dans les domaines de l assurance, de la banque et

Plus en détail

M1101 : Introduction aux Systèmes d Exploitation (OS - Operating Systems)

M1101 : Introduction aux Systèmes d Exploitation (OS - Operating Systems) M1101 : Introduction aux Systèmes d Exploitation (OS - Operating Systems) Guillaume Urvoy-Keller Source : A. Tannenbaum "Modern Operating Systems", Pearson Guillaume Urvoy-Keller Source : A. Tannenbaum

Plus en détail

Programme de la licence informatique, université de Caen http://www.info.unicaen.fr

Programme de la licence informatique, université de Caen http://www.info.unicaen.fr Programme de la licence informatique, université de Caen http://www.info.unicaen.fr Unité Systèmes d'information CM : 45h - TD : 60h - TP : 12h - Coeff 2 Systèmes de Gestion de Bases de Données Modéliser

Plus en détail

Configuration et Déploiement d Applications Réparties par Intégration de l Hétérogénéité des Implémentations dans un Langage de Description d

Configuration et Déploiement d Applications Réparties par Intégration de l Hétérogénéité des Implémentations dans un Langage de Description d Configuration et Déploiement d Applications Réparties par Intégration de l Hétérogénéité des Implémentations dans un Langage de Description d Architecture Doctorant: Directeurs de thèse: Bechir ZALILA

Plus en détail

Migrer vers un environnement open source

Migrer vers un environnement open source Migrer vers un environnement open source Pierre Ficheux (pierre.ficheux@openwide.fr) Octobre 2012 1 Objectifs de la présentation Présenter les «meilleurs» choix possibles lors de la migration d'un système

Plus en détail

Présentation de SILICOM

Présentation de SILICOM Présentation de SILICOM PRÉSENTATION GÉNÉRALE En quelques chiffres 31 ans d existence 200 Collaborateurs 8 M de capital Plus de 14 M de CA Plus de 15 clients grands comptes 3 établissements pour couvrir

Plus en détail

CATALOGUE. Vidéosurveillance. Numéro.20. 20 ième SOMMAIRE. Introduction DVR / DVS Caméra Speed Dôme Fibre Optique Caisson/Objectif/Micro Carte DVR PC

CATALOGUE. Vidéosurveillance. Numéro.20. 20 ième SOMMAIRE. Introduction DVR / DVS Caméra Speed Dôme Fibre Optique Caisson/Objectif/Micro Carte DVR PC Numéro.20 20 ième anniversaire CATALOGUE Vidéosurveillance SOMMAIRE Introduction DVR / DVS Caméra Speed Dôme Fibre Optique Caisson/Objectif/Micro Carte DVR PC 01 02 08 17 18 19 20 22 INTRODUCTION 20 ième

Plus en détail

Projet ROSCOV Robuste Ordonnancement de Systèmes de Contrôle de Vol

Projet ROSCOV Robuste Ordonnancement de Systèmes de Contrôle de Vol Journée de l Institut Farman ENS Cachan 26 novembre 2013 Projet ROSCOV Robuste Ordonnancement de Systèmes de Contrôle de Vol L. Fribourg, D. Lesens, P. Moro, R. Soulat L. Fribourg, D. Lesens, R. Soulat

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

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

Résumé CONCEPTEUR, INTEGRATEUR, OPERATEUR DE SYSTEMES CRITIQUES

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

Mise en place d un Site de Secours Backup à Koléa

Mise en place d un Site de Secours Backup à Koléa REPUBLIQUE ALGERIENNE DEMOCRATIQUE ET POPULAIRE MINISTERE DE LA JUSTICE Mise en place d un Site de Secours Backup à Koléa Monsieur AKKA Abdelhakim Avec la mise en place de la duplication : «PKI : Public

Plus en détail

SIG 2012 - Conférence francophone Esri Versailles, France. ArcGIS Runtime SDK. Olivier Rossini Fernando Pereira

SIG 2012 - Conférence francophone Esri Versailles, France. ArcGIS Runtime SDK. Olivier Rossini Fernando Pereira SIG 2012 - Conférence francophone Esri Versailles, France Atelier Technique - 4 Oct. 2012 ArcGIS Runtime SDK Olivier Rossini Fernando Pereira Agenda Qu est-ce qu ArcGIS Runtime? Par où commencer? Quelques

Plus en détail

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

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

Plus en détail

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

Environnements de développement (intégrés)

Environnements de développement (intégrés) Environnements de développement (intégrés) Développement de greffons Patrick Labatut labatut@di.ens.fr http://www.di.ens.fr/~labatut/ Département d informatique École normale supérieure Centre d enseignement

Plus en détail

Notes de mise à jour du logiciel Dynamic Reconfiguration sur les systèmes Sun Fire 15K/12K

Notes de mise à jour du logiciel Dynamic Reconfiguration sur les systèmes Sun Fire 15K/12K Notes de mise à jour du logiciel Dynamic Reconfiguration sur les systèmes Sun Fire 15K/12K Solaris 9 Sun Microsystems, Inc. 4150 Network Circle Santa Clara, CA 95054 U.S.A. +650-960-1300 Référence n 816-7245-10

Plus en détail

Eco-conception logicielle. Frédéric Bordage expert green IT et éco-conception logicielle

Eco-conception logicielle. Frédéric Bordage expert green IT et éco-conception logicielle Eco-conception logicielle Frédéric Bordage expert green IT et éco-conception logicielle Clé du green IT: allonger la durée de vie active Fabrication et fin de vie des composants électroniques Réduire les

Plus en détail

Les PGI. A l origine, un progiciel était un logiciel adapté aux besoins d un client.

Les PGI. A l origine, un progiciel était un logiciel adapté aux besoins d un client. Les PGI Les Progiciels de Gestion Intégrés sont devenus en quelques années une des pierres angulaire du SI de l organisation. Le Système d Information (SI) est composé de 3 domaines : - Organisationnel

Plus en détail

ACTIVITÉ DE PROGRAMMATION

ACTIVITÉ DE PROGRAMMATION ACTIVITÉ DE PROGRAMMATION The purpose of the Implementation Process is to realize a specified system element. ISO/IEC 12207 Sébastien Adam Une introduction 2 Introduction Ø Contenu Utilité de l ordinateur,

Plus en détail

ACQUISITION DE MATERIEL INFORMATIQUE

ACQUISITION DE MATERIEL INFORMATIQUE ACQUISITION DE MATERIEL INFORMATIQUE MARCHE A PROCEDURE ADAPTEE (ARTICLE 28 DU CODE DES MARCHES PUBLICS) CAHIER DES CLAUSES TECHNIQUE PARTICULIERES VALANT REGLEMENT DE LA CONSULTATION 2/03/2015 Le présent

Plus en détail

Virtualisation des Serveurs et du Poste de Travail

Virtualisation des Serveurs et du Poste de Travail Virtualisation des Serveurs et du Poste de Travail Les enjeux de la virtualisation Les acteurs du segment La virtualisation de serveurs Les concepts Les technologies d architectures L offre La virtualisation

Plus en détail

Equilibrage de charge (Load

Equilibrage de charge (Load Equilibrage de charge (Load balancing) dans les MPSoCs Présenté Le : 02 Décembre 2013 Par : A. AROUI Encadreur : A.E. BENYAMINA 01/12/2013 1 Problématique Comportement dynamique des applications et la

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

Automazione Direzione Progetto Progettazione HSRIO

Automazione Direzione Progetto Progettazione HSRIO HSRIO_BROCHURE.DOC HSRIO HIGH SPEED REMOTE INPUT OUTPUT Nome documento: Hsrio_Brochure.doc Responsabile: Bassignana Luigi Data: 27/07/2015 1 DESCRIPTION Système modulaire de IO lointain à la haute vitesse,

Plus en détail

Andrei Doncescu. Introduc)on aux Systèmes Embarqués et Microcontrôleurs

Andrei Doncescu. Introduc)on aux Systèmes Embarqués et Microcontrôleurs + Andrei Doncescu Introduc)on aux Systèmes Embarqués et Microcontrôleurs + Systèmes Mécatroniques 2 Système temps réel Système embarqué Système sur puce + Systèmes Temps Réel 3 Un système temps réel est

Plus en détail

Le contrat SID-Hébergement

Le contrat SID-Hébergement Version : 2.4 Revu le : 09/10/2008 Auteur : Jérôme PREVOT Le contrat SID-Hébergement Objectif : Fournir au client une solution complètement hébergée de son système d information et des ses applications,

Plus en détail

WEB15 IBM Software for Business Process Management. un offre complète et modulaire. Alain DARMON consultant avant-vente BPM alain.darmon@fr.ibm.

WEB15 IBM Software for Business Process Management. un offre complète et modulaire. Alain DARMON consultant avant-vente BPM alain.darmon@fr.ibm. WEB15 IBM Software for Business Process Management un offre complète et modulaire Alain DARMON consultant avant-vente BPM alain.darmon@fr.ibm.com Claude Perrin ECM Client Technical Professional Manager

Plus en détail

Architecture complète de protection du stockage et des données pour VMware vsphere

Architecture complète de protection du stockage et des données pour VMware vsphere Architecture complète de protection du stockage et des données pour VMware vsphere Synthèse Les économies de coûts et les avantages en termes de flexibilité de la virtualisation des serveurs ont fait leurs

Plus en détail

Les services d accompagnement. pour les éditeurs

Les services d accompagnement. pour les éditeurs Les services d accompagnement pour les éditeurs Jean-Pierre Descamps Business dev mgr Copyright Frame 2009 - www.frame.fr Plan Communication Frame Fort partenariat avec IBM Accompagnement technique Assistance

Plus en détail

RTDS G3. Emmanuel Gaudin emmanuel.gaudin@pragmadev.com

RTDS G3. Emmanuel Gaudin emmanuel.gaudin@pragmadev.com RTDS G3 Emmanuel Gaudin emmanuel.gaudin@pragmadev.com PragmaDev Dédiée au développement d un AGL pour le développement des applications temps réel et embarquées. Réseau de partenaires: Formations, Service,

Plus en détail

Etre capable de réaliser et simuler avec Quartus II un compteur en mode schématique Logiciels QuartusII Logique de base, architecture de FPGA

Etre capable de réaliser et simuler avec Quartus II un compteur en mode schématique Logiciels QuartusII Logique de base, architecture de FPGA Cyclone QuartusII design Cyclone Quartus base Quartus II - Schematic Objectif Moyens Préliminaire Théorie Matériel Durée Etre capable de réaliser et simuler avec Quartus II un compteur en mode schématique

Plus en détail

Une interface graphique de modélisation basée sur le formalisme de Forrester

Une interface graphique de modélisation basée sur le formalisme de Forrester Une interface graphique de modélisation basée sur le formalisme de Forrester un plugin de modélisation GVLE Patrick Chabrier INRA (Institut National de la Recherche Agronomique) (INRA) Stage Forrester

Plus en détail

GRID : Overview ANR-05-CIGC «GCPMF» 8 juin 2006 Stéphane Vialle

GRID : Overview ANR-05-CIGC «GCPMF» 8 juin 2006 Stéphane Vialle GRID : Overview ANR-05-CIGC «GCPMF» 8 juin 2006 Stéphane Vialle Stephane.Vialle@supelec.fr http://www.metz.supelec.fr/~vialle Grid : Overview 1. Définition et composition 2. Exemple de Middleware 3. Interconnexion

Plus en détail

ERTS² 2012 Liste des prestataires inscrits

ERTS² 2012 Liste des prestataires inscrits ABSINT ANGEWANDTE INFORMATIK GMBH ADACORE Réalisation et exploitation de logiciels temps réels embarqués / Software products and advanced services in the areas of compiler technology Développement de logiciels

Plus en détail

GESTION DE PROJETS Spécifications conception. 05/09/2007 V2.0 Gestion de Projets T. Fricheteau 1

GESTION DE PROJETS Spécifications conception. 05/09/2007 V2.0 Gestion de Projets T. Fricheteau 1 GESTION DE PROJETS Spécifications conception 05/09/2007 V2.0 Gestion de Projets T. Fricheteau 1 GESTION DE PROJETS Plan du cours: - Synchronisation des phases d Etude, - Dossier de Spécifications Générales,

Plus en détail

Potentiels de la technologie FPGA dans la conception des systèmes. Avantages des FPGAs pour la conception de systèmes optimisés

Potentiels de la technologie FPGA dans la conception des systèmes. Avantages des FPGAs pour la conception de systèmes optimisés Potentiels de la technologie FPGA dans la conception des systèmes Avantages des FPGAs pour la conception de systèmes optimisés Gérard FLORENCE Lotfi Guedria Agenda 1. Le CETIC en quelques mots 2. Générateur

Plus en détail

M2-ESECURE. Virtualisation : XEN. Pierre BLONDEAU

M2-ESECURE. Virtualisation : XEN. Pierre BLONDEAU M2-ESECURE Virtualisation : XEN Pierre BLONDEAU La virtualisation Wikipedia : La virtualisation consiste à faire fonctionner un ou plusieurs systèmes d'exploitation1 / applications (comme un navigateur),

Plus en détail

GT Architecture Technique d Entreprise. Le Métier d ATE : définitions, contributions, compétences, outils, dimensionnement.

GT Architecture Technique d Entreprise. Le Métier d ATE : définitions, contributions, compétences, outils, dimensionnement. GT Architecture Technique d Entreprise Le Métier d ATE : définitions, contributions, compétences, outils, dimensionnement. LE GT ATE du CRiP Se réunit depuis trois ans Ses membres : des Architectes Techniques

Plus en détail

Redondance du routeur ZyXel

Redondance du routeur ZyXel Redondance du routeur ZyXel Table des matières I) Introduction... 3 II) Pratique... 4 1) Configuration routeur «Master»... 4 2) Configuration routeur «backup»... 6 3) Mise en place de la synchronisation

Plus en détail

Linux Embarqué - Linux Temps Réel. Projet Soft PLC sur Linux / RTAI

Linux Embarqué - Linux Temps Réel. Projet Soft PLC sur Linux / RTAI Linux Embarqué - Linux Temps Réel Projet Soft PLC sur Linux / RTAI CIO Informatique Industrielle Société d'ingénierie en informatique industrielle et technique Au service de nos clients depuis 1990 Une

Plus en détail

ViewPAC. API + Contrôle/Commande + IHM

ViewPAC. API + Contrôle/Commande + IHM INTRODUCTION ViewPAC, est la nouvelle IHM intelligente «Trois-en-un» d ICP DAS, elle rassemble dans un seul et même boîtier l affichage, le traitement et le contrôle/commande. La série ViewPAC est la solution

Plus en détail

CAHIER DES CHARGES D IMPLANTATION

CAHIER DES CHARGES D IMPLANTATION CAHIER DES CHARGES D IMPLANTATION Tableau de diffusion du document Document : Cahier des Charges d Implantation EVRP Version 6 Etabli par DCSI Vérifié par Validé par Destinataires Pour information Création

Plus en détail

Real Time Developer Studio. Emmanuel Gaudin emmanuel.gaudin@pragmadev.com

Real Time Developer Studio. Emmanuel Gaudin emmanuel.gaudin@pragmadev.com Real Time Developer Studio Emmanuel Gaudin emmanuel.gaudin@pragmadev.com TPE Française PragmaDev Dédiée au développement d un outil de modélisation pour le développement des systèmes communicants. Bénéficiaire

Plus en détail

Eléments essentiels de NGN. Kamel HJAIEJ SUP COM

Eléments essentiels de NGN. Kamel HJAIEJ SUP COM Kamel HJAIEJ SUP COM Eléments essentiels de NGN Un cœur de réseau unique et mutualisé dont l architecture est en 3 couches : Transport, Contrôle et Services. Une évolution du transport en mode paquet (IP,

Plus en détail

DS AGILE MAITRISER LE POSTE NUMERIQUE

DS AGILE MAITRISER LE POSTE NUMERIQUE DS AGILE MAITRISER LE POSTE NUMERIQUE La nouvelle génération de Smart Grids Intelligents a besoin de systèmes d automatisation toujours plus sophistiqués permettant aux opérateurs du secteur énergétique

Plus en détail

RAPPORT DE STAGE Calcul parallèle sur GPU

RAPPORT DE STAGE Calcul parallèle sur GPU Université Joseph Fourier Département Licence Sciences & Technologie RAPPORT DE STAGE Calcul parallèle sur GPU D Aguanno Carlotta Laboratoire d accueil : INRIA Directeur du laboratoire : GROS Patrick Responsable

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

Base de l'informatique. Généralité et Architecture Le système d'exploitation Les logiciels Le réseau et l'extérieur (WEB)

Base de l'informatique. Généralité et Architecture Le système d'exploitation Les logiciels Le réseau et l'extérieur (WEB) Base de l'informatique Généralité et Architecture Le système d'exploitation Les logiciels Le réseau et l'extérieur (WEB) Généralité Comment fonctionne un ordinateur? Nous définirons 3 couches Le matériel

Plus en détail

Présentation du module. Base de données spatio-temporelles. Exemple. Introduction Exemple. Plan. Plan

Présentation du module. Base de données spatio-temporelles. Exemple. Introduction Exemple. Plan. Plan Base de données spatio-temporelles S. Lèbre slebre@unistra.fr Université de Strasbourg, département d informatique. Présentation du module Contenu général Partie 1 : Notion de bases de données (Conception

Plus en détail

VMWare Infrastructure 3

VMWare Infrastructure 3 Ingénieurs 2000 Filière Informatique et réseaux Université de Marne-la-Vallée VMWare Infrastructure 3 Exposé système et nouvelles technologies réseau. Christophe KELLER Sommaire Sommaire... 2 Introduction...

Plus en détail

Le projet Modistarc : un outil de test de conformité de composants OSEK/VDX pour l l automobile

Le projet Modistarc : un outil de test de conformité de composants OSEK/VDX pour l l automobile : un outil de test de conformité de composants OSEK/VDX pour l l automobile Benoît Caillaud, IRISA/INRIA Rennes MODISTARC = Methods and tools for the validation of OSEK/VDX DIStributed ARChitectures Projet

Plus en détail

La gouvernance au cœur de la Transformation des systèmes d information Renault

La gouvernance au cœur de la Transformation des systèmes d information Renault La gouvernance au cœur de la Transformation des systèmes d information Renault DIRECTION DES TECHNOLOGIES & SYSTEMES D INFORMATION 18/06/05 Trigger performance drivers Make better, more transparent & accountable:

Plus en détail