Logiciels et Systèmes Embarqués :

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

Download "Logiciels et Systèmes Embarqués :"

Transcription

1 Logiciels et Systèmes Embarqués : Enjeux Economiques Défis Scientifiques et Directions de Travail Joseph Sifakis Laboratoire Verimag novembre 2002

2 plan Les Systèmes Embarqués L approche Centrée Système et les Grands Défis Directions de Travail

3 Systèmes Embarqués Un Système Embarqué intègre des logiciels et des matériels conjointement et spécifiquement conçus pour assurer des fonctionnalités souvent critiques.

4 Systèmes Embarqués : Enjeux Économiques Les Systèmes Embarqués sont d une importance stratégique pour l économie! Facteur d innovation et de différentiation : nouvelles fonctionnalités et nouveaux services dans les produits existants, nouveaux produits et services! Source principale de valeur ajoutée : surtout les logiciels embarqués! Amélioration de la compétitivité Forte croissance du secteur taux annuel prévu pour la période ( source: Venture Development Corp. )! 7,3% des développeurs de matériels et de logiciels pour systèmes embarqués! 8,7% du nombre des développeurs de logiciels! 18,9% du marché mondial des OS pour systèmes embarqués " D une importance vitale pour l économie Européenne.

5 Systèmes Embarqués : Besoins! Intégration massive de composants embarqués répartis - systèmes de systèmes communicants pour bâtir la société de l information : téléphones cellulaires PDA machines programmables automobile - appareils médicaux photo/vidéo/hifi électroménager avionique - spatial jouets! Outils théoriques et pratiques pour l intégration permettant de prendre en compte tous ces critères à la fois (recherche d optimalité, par rapport au marché ciblé) Fonctionnalité Qualité : Robustesse et Performances Contraintes matérielles (poids, encombrement,.. ) Coût global, consommation électrique Délai de mise sur le marché Construire des systèmes de fonctionnalité et qualité déterminée et garantie, à coût acceptable, est un défi technologique et scientifique majeur.

6 Systèmes Embarqués : L État de l Art Aujourd hui, nous savons faire à un coût élevé : - Systèmes Contrôle/commande Critiques " Atterrissage automatique Haute Réactivité + Haute Fiabilité - Systèmes complexes à réactivité «souple» " Téléphonie 2G Répartition + Bonne Réactivité + Bonne Fiabilité Technologies trop chères pour l automobile Technologies pas assez matures pour l UMTS Demain, la vision à atteindre : Systèmes Réactifs Répartis Hétérogènes et Complexes - Autoroutes automatiques - Control de trafic aérien du futur - «Intelligence Ambiante» Réactivité + Répartition + Haute Fiabilité + Autonomie + Sécurité + Sûreté +. + Intelligence

7 Contrôle du Trafic Aérien - Nouvelle Génération Un pari impossible? 1984 Début du projet 25 avril 1994 Air traffic takes another turn FAA weighs fixes for automation project By Gary H. Anthes - April 25, 1994 The Federal Aviation Administration is considering major changes in its troubled Advanced Automation System (AAS) project, now billions of dollars over budget and years behind schedule. FAA administrator David R. Hinson told a congressional panel that the agency might scrap the project entirely, although he said some scaling back was more likely. The FAA has spent about $1.5 billion to date on the estimated $6.9 billion air traffic control system. 9 avril 2002 The FAA's Course Correction The Ugly History of Tool Development at the FAA By David Carr and Edward Cone April 9, 2002 Online exclusive: The agency wrote off $1.5 billion of its $2.6 billion investment to overhaul the nation's air traffic control computer systems. What went wrong? (Just about everything.) One participant says, "It may have been the greatest failure in the history of organized work." Certainly the Federal Aviation Administration's Advanced Automation System (AAS) project dwarfs even the largest corporate information technology fiascoes in terms of dollars wasted. Kmart's $130 million write-off last year on its supply chain systems is chump change compared to the AAS. The FAA ultimately declared that $1.5 billion worth of hardware and software out of the $2.6 billion spent was useless.

8 plan Les Systèmes Embarqués L approche Centrée Système et les Grands Défis Directions de Travail

9 Systèmes Embarqués : Approche Centrée Système Aspects : Techniques : Conception conjointe (Matériel, Logiciel, Environnement) Économiques : Optimisation par rapport au marché, entre coût et qualité (efficacité, flexibilité) Multi-compétence : Combinaison de compétences en logiciel, contrôle, réseaux, ingénierie en électronique, IHM, usages. => FORMATION

10 Approche Centrée Système Cette approche soulève des problèmes de recherche fondamentale difficiles, à la base d'une théorie émergente qui doit rapprocher les sciences de l information et les sciences physiques. Aujourd hui : Les systèmes complexes sont construits comme les cathédrales au moyen-age : Pas de théorie unifiée pour les logiciels et les propriétés dynamiques de leur exécution sur un matériel donné Construction des systèmes complexes par «patch» successifs Explosion des coûts de validation!

11 Grand Défi 1: Hétérogénéité Construire des systèmes complexes par intégration de composants hétérogènes Hétérogénéité : mécanismes de communication, vitesse de fonctionnement, granularité des calculs, variété des médias, Normes pour garantir l interopérabilité Modèle unifié supportant l intégration hétérogène (parallélisme, temps, gestion des ressources, performances )

12 Grand Défi 2: Complexité L effort de validation augmente exponentiellement avec le nombre de composants intégrés. " Remplacer les méthodes de validation a posteriori par des méthodes de validation incrémentale. Composabilité : Préserver la fonctionnalité et la qualité des composants le long de l intégration $ Compositionalité : Inférer les propriétés d un systèmes à partir des propriétés de ses composants Développer des outils théoriques et techniques pour la validation incrémentale

13 Grand Défi 3: Intelligence Moyen d améliorer la qualité (robustesse et la performance) des systèmes : Réflexivité : capacité d analyser, d auto-diagnostiquer son état Adaptabilité: capacité d adapter (auto-organiser+planifier) son comportement en fonction d objectifs de robustesse et de performance Deux propriétés de robustesse : Sûreté : résistance aux mauvais fonctionnements (pannes, erreurs) et aux aléas de l environnement Sécurité : résistance aux attaques et actes de malveillance Développer des outils théoriques et pratiques pour l ingénierie des systèmes intelligents

14 plan Les Systèmes Embarqués L approche Centrée Système et les Grands Défis Directions de Travail

15 Le Développement des Systèmes Niveaux d Abstraction abstraction Modèle (exigences) Conception (logiciels) V&V Système Plate-forme intégration

16 Développement Fondé sur les Modèles Passer du prototypage physique au prototypage virtuel (modélisation): Avantages : minimiser les coûts, souplesse, généricité, possibilité de validation formelle Environnements de modélisation et de validation pour systèmes temps-réel complexes ex. Intégration d outils Matlab, UML, SDL. Bibliothèques de composants ex. HW, SW, modèles de systèmes dynamiques continus Environnement de Modélisation Langages et outils d assemblage de composants Outils de Validation Synthèse de logiciels embarqués à partir de modèles spécifiques à des domaines ex. Matlab

17 Technologies de programmation Application SW Architecture model Timing QoS Security Compiler Compiler Compiler Scheduler Event Handler Task1 Task2 Task3 Task4 Synchronization and resource management Platform

18 Systèmes d exploitation Les systèmes d exploitation sont souvent : beaucoup plus complexes que nécessaire peu fiables à fonctionnalités cachées difficiles à gérer et à utiliser de façon efficace Il faut aller vers des OS légers, dédiés à un domaine d application ex. OSEK, ARINC, JavaCard, TinyOS Architectures minimales, reconfigurables, adaptatives, avec aspects pour la sûreté et la sécurité Donner le contrôle à l application pousser la gestion des ressources hors du noyau Fournir et permettre des politiques d ordonnancement adaptatives qui tiennent compte du contexte d environnement (ex: disponibilité des ressources critiques comme l énergie)

19 Intégration Automatique et Informatique Les applications control/commande sont d une importance stratégique leur conception et implantation soulèvent des problèmes difficiles Intégration d aspects multi-disciplinaires (automatique, analyse numérique, informatique) Modélisation et Vérification des Systèmes Hybrides Combinaison de contrôle/commande continu et discret prise en compte des événements discrets dans les techniques de discrétisation Autres difficultés dues à la répartition et à la tolérance aux fautes (influence des retards de communication, décalage entre horloges, échantillonnage apériodique)

20 Propriétés de Robustesse Les techniques traditionnelles, par redondance ont un intérêt limité Développer avec la préoccupation de la robustesse dès le départ : style de programmation, la traçabilité, les techniques de validation, mécanismes de tolérance aux fautes.. Directions de travail : Méthodologies pour des normes spécifiques aux domaines ex. - DO178B Process Control Software Safety Certification (temps-réeel avionique) - Common Criteria for Information Technology Security Evaluation Technologie de Vérification (résistance à certaines classes de mauvais fonctionnements et aux attaques) technologie de certification Nouvelles approches pour la tolérance aux fautes ex. auto-monitoring, techniques de reconfiguration en ligne

21 Intégration de Technologies MO PR MW NW OS SoC SystemC Matrix-X, UML Metropolis Matlab/Simulink SDL MetaH Rapide VHDL Lustre-Esterel ADA RT-Java C C++ C# Java.NET Jini Corba TTP CAN SafeBus Bluetooth Wireless OSEK Prot. ARINC Ravenscar JavaCard EPOC TinyOS VxWorks POSIX RT-Linux µcontroller DSP RISC FPGA

22 Intégration de Technologies : Automobile MO PR MW NW OS SystemC Matrix-X, UML Metropolis Matlab/Simulink SDL MetaH Rapide VHDL Lustre-Esterel ADA RT-Java C C++ C# Java.NET Jini Corba TTP CAN SafeBus Bluetooth Wireless OSEK Prot. ARINC Ravenscar JavaCard EPOC TinyOS VxWorks POSIX RT-Linux

23 Intégration de Technologies : Avionique et Espace MO PR MW NW OS SystemC Matrix-X, UML Metropolis Matlab/Simulink SDL MetaH Rapide VHDL Lustre-Esterel ADA RT-Java C C++ C# Java.NET Jini Corba TTP CAN SafeBus Bluetooth Wireless OSEK Prot. ARINC Ravenscar JavaCard EPOC TinyOS VxWorks POSIX RT-Linux

L Informatique aujourd hui : Nouveaux défis scientifiques et réflexions sur la recherche

L Informatique aujourd hui : Nouveaux défis scientifiques et réflexions sur la recherche L Informatique aujourd hui : Nouveaux défis scientifiques et réflexions sur la recherche Joseph Sifakis Directeur de Recherche CNRS Laboratoire VERIMAG Paris, 23 juin 2008 L évolution de l Informatique

Plus en détail

Industrialisation du logiciel Temps Réel Critique

Industrialisation du logiciel Temps Réel Critique Industrialisation du logiciel Temps Réel Critique Sommaire Projets opérationnels Les outils du marché utilisés et les contraintes associées CS et les méthodes CS et la R&D Conclusion RdV de l'innovation

Plus en détail

Chapitre 1. Introduction aux systèmes embarqués et temps réel

Chapitre 1. Introduction aux systèmes embarqués et temps réel Chapitre 1 Introduction aux systèmes embarqués et temps réel 1 1. Notions et caractéristiques des systèmes embarqués Domaines d application des systèmes embarqués Domaines «traditionnels» -Avionique -

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

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

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

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

Plus en détail

10 Prototypage rapide de logiciel pour les systèmes avioniques

10 Prototypage rapide de logiciel pour les systèmes avioniques Introduction Le contexte aéronautique 1 a depuis plusieurs années mis en évidence le besoin croissant de technologies de sécurité permettant d éviter des utilisations malveillantes des matériels ou services

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

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

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

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

SYSTEMES ELECTRONIQUES SYSTEMES INFORMATIQUES. http://www-master.ufr-info-p6.jussieu.fr/lmd/specialite/sesi/

SYSTEMES ELECTRONIQUES SYSTEMES INFORMATIQUES. http://www-master.ufr-info-p6.jussieu.fr/lmd/specialite/sesi/ http://www-master.ufr-info-p6.jussieu.fr/lmd/specialite/sesi/ SYSTEMES ELECTRONIQUES & SYSTEMES INFORMATIQUES RESPONSABLES: Julien Denoulet: julien.denoulet@upmc.fr Jean-Lou Desbarbieux: jean-lou.desbarbieux@upmc.fr

Plus en détail

Système reconfigurable et durci pour la surveillance et le contrôle

Système reconfigurable et durci pour la surveillance et le contrôle Système reconfigurable et durci pour la surveillance et le contrôle Sabri JATLAOUI, Ingénieur avant-vente. Des challenges récurrents Le contrôle haute vitesse (numérique/compteur à 1MHz, PID analogique/

Plus en détail

Tivoli Endpoint Manager Introduction. 2011 IBM Corporation

Tivoli Endpoint Manager Introduction. 2011 IBM Corporation Tivoli Endpoint Manager Introduction Enjeux pour les départements IT Comment gérer : l inventaire la mise à jour la sécurité la conformité Sur des environnements hétérogènes OS : Windows, Mac, UNIX, Linux,

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

Module : Méthodes et Spécifications Formelles (Approche orientée modèle) Christian Attiogbé UFR Sciences Nantes Dpt. Informatique

Module : Méthodes et Spécifications Formelles (Approche orientée modèle) Christian Attiogbé UFR Sciences Nantes Dpt. Informatique Méthodes formelles 1 Module : Méthodes et Spécifications Formelles (Approche orientée modèle) Slide 1 Christian Attiogbé UFR Sciences Nantes Dpt. Informatique Christian.Attiogbe@univ-nantes.fr maj. janvier

Plus en détail

Systèmes Répartis. Pr. Slimane Bah, ing. PhD. Ecole Mohammadia d Ingénieurs. G. Informatique. Semaine 24.2. Slimane.bah@emi.ac.ma

Systèmes Répartis. Pr. Slimane Bah, ing. PhD. Ecole Mohammadia d Ingénieurs. G. Informatique. Semaine 24.2. Slimane.bah@emi.ac.ma Ecole Mohammadia d Ingénieurs Systèmes Répartis Pr. Slimane Bah, ing. PhD G. Informatique Semaine 24.2 1 Semestre 4 : Fev. 2015 Grid : exemple SETI@home 2 Semestre 4 : Fev. 2015 Grid : exemple SETI@home

Plus en détail

Stéphane Lefebvre. CAE s Chief Financial Officer. CAE announces Government of Canada participation in Project Innovate.

Stéphane Lefebvre. CAE s Chief Financial Officer. CAE announces Government of Canada participation in Project Innovate. Stéphane Lefebvre CAE s Chief Financial Officer CAE announces Government of Canada participation in Project Innovate Montreal, Canada, February 27, 2014 Monsieur le ministre Lebel, Mesdames et messieurs,

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

Moteur d idées pour véhicules spécifiques. Le Pôle de compétitivité Véhicules et Mobilités du grand Ouest

Moteur d idées pour véhicules spécifiques. Le Pôle de compétitivité Véhicules et Mobilités du grand Ouest ] Moteur d idées pour véhicules spécifiques [ Le Pôle de compétitivité Véhicules et Mobilités du grand Ouest ] [Notre mission] Développer la compétitivité des entreprises par le biais de l innovation :

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

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

Introduction à SCADE. F. Touchard Polytech Marseille Département d'informatique SICA 5ème année 2015-16 1

Introduction à SCADE. F. Touchard Polytech Marseille Département d'informatique SICA 5ème année 2015-16 1 Introduction à SCADE F. Touchard Polytech Marseille Département d'informatique SICA 5ème année 2015-16 1 Introduction SCADE : Safety-Critical Application Development Environment environnement de développement

Plus en détail

Modélisation: outillage et intégration

Modélisation: outillage et intégration Modélisation: outillage et intégration Emmanuel Gaudin emmanuel.gaudin@pragmadev.com Un réel besoin Le logiciel double tous les deux ans. Le volume final rend extrêmement difficile de garantir le niveau

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

«Vers le véhicule connecté»

«Vers le véhicule connecté» «Vers le véhicule connecté» Le cercle des idées Quimper Technopole-Cornouaille Jeudi 26 septembre 2013 Philippe COSQUER : Chargé de Projets ] Moteur d idées pour véhicules spécifiques [ Le Pôle de compétitivité

Plus en détail

Demandez le programme! La 7 ème édition du congrès ERTS, au cœur des enjeux du marché mondial des systèmes embarqués

Demandez le programme! La 7 ème édition du congrès ERTS, au cœur des enjeux du marché mondial des systèmes embarqués Demandez le programme! Communiqué de presse Toulouse, le 9 janvier 2014 La 7 ème édition du congrès ERTS, au cœur des enjeux du marché mondial des systèmes embarqués Evènement de référence pour les industriels

Plus en détail

Logiciel libre et systèmes critiques hérésie ou réalité de demain? Philippe David European Space Agency

Logiciel libre et systèmes critiques hérésie ou réalité de demain? Philippe David European Space Agency Logiciel libre et systèmes critiques hérésie ou réalité de demain? Philippe David European Space Agency Premiers constats! Les fonctions nécessaires aux systèmes critiques sont implémentées par les LL:

Plus en détail

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

Conception et Intégration. d Architectures Industrielles. Systèmes d'exploitation Avancés. Jean-Philippe Babau

Conception et Intégration. d Architectures Industrielles. Systèmes d'exploitation Avancés. Jean-Philippe Babau Conception et Intégration d Architectures Industrielles / Systèmes d'exploitation Avancés Jean-Philippe Babau Département Informatique, INSA Lyon 1 Domaine Plan des enseignements SEA et CIAI Spécification

Plus en détail

I L AS «Compilation pour les systèmes embarqués» II Méthodes d analyse et d optimisation de programmes

I L AS «Compilation pour les systèmes embarqués» II Méthodes d analyse et d optimisation de programmes I L AS «Compilation pour les systèmes embarqués»...situation et problématique II Méthodes d analyse et d optimisation de programmes...approche collaborative et exemples de techniques Philippe Clauss ICPS-LSIIT,

Plus en détail

GPC Computer Science

GPC Computer Science CYCLE ISMIN P2015 GPC Computer Science P LALEVÉE lalevee@emse.fr @p_lalevee A3.01 0442616715 C YUGMA yugma@emse.fr A3.01 0442616715 01/09/2014 Présentation GPC CS - Ph. Lalevée - C Yugma 1 Scolarité Site

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

L Internet des objets

L Internet des objets L Internet des objets Une technologie déjà présente dans notre quotidien et «silencieuse» HISTORIQUE De nombreux termes pour une même technologie L Internet des objets La communication machine-to-machine

Plus en détail

Groupe de Discussion - IoT Enjeux de l adoption de réseaux de capteurs IPv6. Sébastien Dawans 06/06/2012

Groupe de Discussion - IoT Enjeux de l adoption de réseaux de capteurs IPv6. Sébastien Dawans 06/06/2012 Groupe de Discussion - IoT Enjeux de l adoption de réseaux de capteurs IPv6 Sébastien Dawans 06/06/2012 Le CETIC en quelques mots Software & Services Technologies Helping industry to exploit faster distributed,

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

Pôle éolien en Picardie : Contribution du pôle universitaire de Saint-Quentin

Pôle éolien en Picardie : Contribution du pôle universitaire de Saint-Quentin Pôle éolien en Picardie : Contribution du pôle universitaire de Saint-Quentin Valéry BOURNY INSSET, 48 Rue Raspail, 02100 Saint-Quentin valery.bourny@u-picardie.fr Jeudi 21 octobre 2010, Région Picardie

Plus en détail

AADL. un langage pour la modélisation et la génération d applications. Thomas Vergnaud, thomas.vergnaud@enst.fr

AADL. un langage pour la modélisation et la génération d applications. Thomas Vergnaud, thomas.vergnaud@enst.fr AADL un langage pour la modélisation et la génération d applications, thomas.vergnaud@enst.fr Les langages de description d architecture la conception des systèmes devient complexe difficulté de compréhension

Plus en détail

Résultats des projets CARROLL. Bilan et perspectives. Validation et Vérification

Résultats des projets CARROLL. Bilan et perspectives. Validation et Vérification Résultats des projets CARROLL Bilan et perspectives Validation et Vérification Paul Le Guernic, INRIA Workshop CARROLL 23 septembre 2005 Contexte Validation & Vérification dans CARROLL Perspectives Contexte

Plus en détail

développement logiciel dirigé

développement logiciel dirigé Nouvelles technologies de développement logiciel dirigé par les modèles PauWare Research Group Netfective Technology Le développement logiciel, une industrie immature Première «industrie» dans le monde

Plus en détail

Les solutions National Instruments pour le Model In-The-Loop (MIL) et le prototypage rapide (RCP)

Les solutions National Instruments pour le Model In-The-Loop (MIL) et le prototypage rapide (RCP) Les solutions National Instruments pour le Model In-The-Loop (MIL) et le prototypage rapide (RCP) Karine Rouelle Business Development Manager Real-Time Testing Au programme Mise en œuvre du Model-In-the-Loop

Plus en détail

Architecture Reconfigurable Hétérogène à Gestion Hiérarchique Distribuée pour la Reconfiguration et la Prise de Décision

Architecture Reconfigurable Hétérogène à Gestion Hiérarchique Distribuée pour la Reconfiguration et la Prise de Décision INSTITUT D ÉLECTRONIQUE ET DE TÉLÉCOMMUNICATIONS DE RENNES Architecture Reconfigurable Hétérogène à Gestion Hiérarchique Distribuée pour la Reconfiguration et la Prise de Décision dans les systèmes de

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

Master (filière Réseau) Parcours Recherche: Systèmes Informatiques et Réseaux (RTS)

Master (filière Réseau) Parcours Recherche: Systèmes Informatiques et Réseaux (RTS) Master (filière Réseau) Parcours Recherche: Systèmes Informatiques et Réseaux (RTS) Responsables: Tanguy Risset & Marine Minier Tanguy.Risset@insa-lyon.fr Marine.minier@insa-lyon.fr http://master-info.univ-lyon1.fr/m2rts/

Plus en détail

B : Une méthode de développement de logiciels sûrs

B : Une méthode de développement de logiciels sûrs B : Une méthode de développement de logiciels sûrs Loïc PELHATE, Responsable de l Atelier des Logiciels de Sécurité de l Ingénierie du Transport Ferroviaire loic.pelhate@ratp.fr 9/11/01 1 1 Plan Contexte

Plus en détail

Prise en compte des ressources dans les composants logiciels parallèles

Prise en compte des ressources dans les composants logiciels parallèles Prise en compte des ressources dans les composants logiciels parallèles Aperçus de l action RASC et du projet Concerto F. Guidec Frederic.Guidec@univ-ubs.fr Action RASC Plan de cet exposé Contexte Motivations

Plus en détail

Tronc Commun. Premier Semestre

Tronc Commun. Premier Semestre PLAN D ÉTUDE Programme de la Première année Tronc Commun Mathématiques Discrètes Probabilités et Statistiques Réseaux et Systèmes Transmissions de Données Fondements de Système d Exploitation Réseaux Informatiques

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

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

SUPPLY CHAIN MANAGEMENT Eléa 27 janvier 2011

SUPPLY CHAIN MANAGEMENT Eléa 27 janvier 2011 SUPPLY CHAIN MANAGEMENT Eléa 27 janvier 2011 Agenda Eléa : qui sommes-nous? Les enjeux et défis de la Supply Chain Quelles compétences / savoirs sont-ils nécessaires? Questions - réponses Agenda Eléa :

Plus en détail

Langages de programmation: approche scientifique

Langages de programmation: approche scientifique IGE 2004 - ENS 29 juin 2004 Présentation au CGTI 1 Informatique théorique 2 3 Une science? Informatique théorique Chaque science repose un dogme fondamental. Les mathématiques Les raisonnements formels

Plus en détail

Résultats des projets CARROLL. Bilan et perspectives. Ingénierie logicielle orientée modèle MDD

Résultats des projets CARROLL. Bilan et perspectives. Ingénierie logicielle orientée modèle MDD Résultats des projets CARROLL Bilan et perspectives Ingénierie logicielle orientée modèle MDD Serge Salicki, THALES Workshop CARROLL 23 septembre 2005 THALES et le MDE Le MDE est dans la strategie de THALES

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

Une approche modèle dans la conception de systèmes sur puce hétérogènes

Une approche modèle dans la conception de systèmes sur puce hétérogènes Une approche modèle dans la conception de systèmes sur puce hétérogènes Jean-Luc Dekeyser et Lossan Bondé FETCH 07 IP dans le SoC 100% Réutilisé 80% Spécifique 60% 40% 20% 0% 1999 2002 2005 2008 2011 2014

Plus en détail

ACI Sécurité ALIDECS:

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

Plus en détail

TECHNOLOGIES Innover et vous accompagner dans les Technologies

TECHNOLOGIES Innover et vous accompagner dans les Technologies Présentation France 2014 www.anthemis-technologies.com ANTHEMIS TECHNOLOGIES Innover et vous accompagner dans les Technologies L électronique, notre métier depuis 2006 CARTE D IDENTITE Une société de prestations

Plus en détail

La place de l informatique dans l enseignement des logiciels et systèmes embarqués

La place de l informatique dans l enseignement des logiciels et systèmes embarqués La place de l informatique dans l enseignement des logiciels et systèmes embarqués Florence Maraninchi et Paul Caspi Laboratoire Verimag (UJF, CNRS, INPG) http://www-verimag.imag.fr Avril 2003 Les systèmes

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 PragmaDev Dédiée au développement d un outil de modélisation pour le développement des systèmes communicants. TPE Française Bénéficiaire

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

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

Scicos et Modelica. Ramine Nikoukhah

Scicos et Modelica. Ramine Nikoukhah Scicos et Modelica Ramine Nikoukhah 1 C est quoi Scicos? Editeur, simulateur et générateur du code pour les systèmes dynamiques hybrides Objectif : Utilisations industrielles mais aussi l enseignement

Plus en détail

Testing : A Roadmap. Mary Jean Harrold. Présentation de Olivier Tissot

Testing : A Roadmap. Mary Jean Harrold. Présentation de Olivier Tissot Testing : A Roadmap Mary Jean Harrold Présentation de Olivier Tissot Testing : A Roadmap I. L auteur II. Introduction sur les test : les enjeux, la problématique III. Les tests : roadmap IV. Conclusion

Plus en détail

Optimisez vos processus informatiques, maximisez le taux de rendement de vos actifs et améliorez les niveaux de service

Optimisez vos processus informatiques, maximisez le taux de rendement de vos actifs et améliorez les niveaux de service Solutions de gestion des actifs et services Au service de vos objectifs d entreprise Optimisez vos processus informatiques, maximisez le taux de rendement de vos actifs et améliorez les niveaux de service

Plus en détail

Module Génie Logiciel à Objet

Module Génie Logiciel à Objet Module Génie Logiciel à Objet Chapitre 1 - Introduction Mohamed Bakhouya - Benoît Delahaye Université Internationale de Rabat - Université de Nantes Remerciements Pascal André Gerson Sunyé 2013 Jacques

Plus en détail

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

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

Plus en détail

Le cloud,c est quoi au juste?

Le cloud,c est quoi au juste? Le cloud,c est quoi au juste? Yves LE ROUX Principal Consultant CA technologies Yves.leroux@ca.com Colloque «Cloud computing: Théorie et pratique» du 29 novembre 2012 Yves LE ROUX Yves Le Roux capitalise

Plus en détail

Fabien BONNEFOI. Vérification Formelle des Spécifications de Systèmes Complexes Application aux Systèmes de Transport Intelligents 1/31

Fabien BONNEFOI. Vérification Formelle des Spécifications de Systèmes Complexes Application aux Systèmes de Transport Intelligents 1/31 Fabien BONNEFOI Vérification Formelle des Spécifications de Systèmes Complexes Application aux Systèmes de Transport Intelligents Soutenance de Thèse sous la direction de M. Fabrice KORDON Jury Mme. Béatrice

Plus en détail

AXES DE RECHERCHE - DOMAINE D'INTERET MAJEUR LOGICIELS ET SYSTEMES COMPLEXES

AXES DE RECHERCHE - DOMAINE D'INTERET MAJEUR LOGICIELS ET SYSTEMES COMPLEXES 1 AXES DE RECHERCHE - DOMAINE D'INTERET MAJEUR LOGICIELS ET SYSTEMES COMPLEXES 2 Axes de recherche L activité du DIM LSC concerne la méthodologie de la conception et le développement de systèmes à forte

Plus en détail

Software Design Description

Software Design Description Software Design Description ABSTRACT: KEYWORDS: APPROVED: AUTHOR PROJECT MANAGER PRODUCT OWNER General information/recommendations A SDD provides a representation of a software system created to facilitate

Plus en détail

Introduction aux problématiques. du développement de. systèmes embarqués. Jean-Philippe Babau

Introduction aux problématiques. du développement de. systèmes embarqués. Jean-Philippe Babau labsticc.univ-brest.fr/pages_perso/babau/ Introduction aux problématiques du développement de systèmes embarqués Jean-Philippe Babau Département Informatique, UFR Sciences, UBO Laboratoire Lab-STICC 1

Plus en détail

Cloud Computing Concepts de base Année académique 2014/15

Cloud Computing Concepts de base Année académique 2014/15 Concepts de base Année académique 2014/15 Qu'est que le? online 2 Qu'est que le? Cela s'est-il produit auparavant? Innovation Produit Service 3 Qu'est que le? Considérons-le comme-ça... Crée ta propre

Plus en détail

smart M2M interconnectez machines et objets pour développer votre activité et accroître l efficience de vos processus métiers

smart M2M interconnectez machines et objets pour développer votre activité et accroître l efficience de vos processus métiers smart M2M interconnectez machines et objets pour développer votre activité et accroître l efficience de vos processus métiers smart M2M créer de nouveaux usages industriels, logistiques, urbains, domestiques,

Plus en détail

THALES et le Logiciel Libre

THALES et le Logiciel Libre THALES industrialise l utilisation du logiciel libre Industry Services Public Sector Finance THALES et le Logiciel Libre «Contribution» Grégory Lopez Version 2.0 Sommaire Le logiciel libre et les enjeux

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

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

Cloud computing Votre informatique à la demande

Cloud computing Votre informatique à la demande Cloud computing Votre informatique à la demande Thomas RULMONT Définition du Cloud Computing L'informatique dans le nuage (en anglais, cloud computing) est un concept ( ) faisant référence à l'utilisation

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

Objectifs du cours Modèles et Approches Formels de Systèmes Distribués

Objectifs du cours Modèles et Approches Formels de Systèmes Distribués Objectifs du cours Modèles et Approches Formels de Systèmes Distribués Mohamed Mosbah LaBRI ENSEIRB - Université Bordeaux 1 mosbah@labri.fr dept-info.labri.fr/~mosbah/mafsd.html Connaître les caractéristiques

Plus en détail

MANAGEMENT DES SYSTEMES D INFORMATION ET DE PRODUCTION MSIP

MANAGEMENT DES SYSTEMES D INFORMATION ET DE PRODUCTION MSIP MANAGEMENT DES SYSTEMES D INFORMATION ET DE PRODUCTION MSIP METHODES & CONCEPTS POUR UNE INGENIERIE INNOVANTE Ecole Nationale Supérieure des Mines de Rabat Département INFORMATIQUE www.enim.ac.ma MANAGEMENT

Plus en détail

Supports d exécution matériels pour l embarqué. Jean-Philippe Babau

Supports d exécution matériels pour l embarqué. Jean-Philippe Babau Supports d exécution matériels pour l embarqué Jean-Philippe Babau Département Informatique, INSA Lyon Les contraintes Coût de quelques euros à quelques centaines d'euros Contraintes d énergie (mobilité,

Plus en détail

Orientations stratégiques IBM Software. Philippe Bournhonesque Stratégie Software France

Orientations stratégiques IBM Software. Philippe Bournhonesque Stratégie Software France Orientations stratégiques IBM Software Philippe Bournhonesque Stratégie Software France Des clients désireux de changer 98% des CEOs envisagent des changements de leurs business models 3X de la difficulté

Plus en détail

M a c h i n e V i r t u e l l e R a d i o

M a c h i n e V i r t u e l l e R a d i o M a c h i n e V i r t u e l l e R a d i o Riadh Ben Abdallah riadh.ben-abdallah@inria.fr Laboratoire CITI, Équipe Systèmes Embarqués Séminaire des thésards, 20 Mars 2008 1 Le Contexte radio logicielle

Plus en détail

Séminaire «Développement Agile Collaboratif et Modélisation UML», 18 mars 2010 Du modèle au code - techniques de transformation de modèle

Séminaire «Développement Agile Collaboratif et Modélisation UML», 18 mars 2010 Du modèle au code - techniques de transformation de modèle } } Séminaire «Développement Agile Collaboratif et Modélisation UML», 18 mars 2010 Du modèle au code - techniques de transformation de modèle Michel VACHER, Business development Paris November 2009 / Sodius.

Plus en détail

Conception d Applications Réparties

Conception d Applications Réparties Jean-François Roos LIFL - équipe GOAL- bâtiment M3 Extension - bureau 206 -Jean-Francois.Roos@lifl.fr 1 Objectifs du Cours Appréhender la conception d applications réparties motivations et concepts architectures

Plus en détail

Petit traité de performances à l usage de tous

Petit traité de performances à l usage de tous Petit traité de performances à l usage de tous Drupal Petit traité de performances à l usage de tous Intégrateur, architecte, développeur, tous concernés Pierre Rineau Makina Corpus pierre.rineau@makina-corpus.com

Plus en détail

Objectifs. Maîtriser. Pratiquer

Objectifs. Maîtriser. Pratiquer 1 Bases de Données Objectifs Maîtriser les concepts d un SGBD relationnel Les modèles de représentations de données Les modèles de représentations de données La conception d une base de données Pratiquer

Plus en détail

Vérification, Validation virtuelle. La Plate-forme d Intégration Virtuelle (PIV), un outil au service de la Validation

Vérification, Validation virtuelle. La Plate-forme d Intégration Virtuelle (PIV), un outil au service de la Validation Vérification, Validation virtuelle La Plate-forme d Intégration Virtuelle (PIV), un outil au service de la Validation Evolution de l électronique automobile 80 % des innovations dans l automobile sont

Plus en détail

Estimated SMB instances 1-499 PC (Physical and Virtual) 125,000 Total instances: SMB 1-24 PC. 392,000 Total instances: SMB 25-499 PC

Estimated SMB instances 1-499 PC (Physical and Virtual) 125,000 Total instances: SMB 1-24 PC. 392,000 Total instances: SMB 25-499 PC 35 zettabytes Geography: France 832,000 Estimated Windows Server 2003 instances (Physical and Virtual) 10% 3% 40% 47% 342,000 Physical instances 490,000 Virtual instances 1 sur 6 SQL Server 2005 refonte

Plus en détail

ACADiE : Assistance à la Certification d Applications Distribuées et Embarquées

ACADiE : Assistance à la Certification d Applications Distribuées et Embarquées ACADiE : Assistance à la Certification d Applications Distribuées et Embarquées Permanents (11) Doctorants (10) Permanents Doctorants Jean-Paul Bodeveix Julien Brunel Xavier Crégut Benoît Combemale Mamoun

Plus en détail

Transformez votre supply chain en atout compétitif

Transformez votre supply chain en atout compétitif Industrie Transformez votre supply chain en atout compétitif Votre marque est unique, votre supply chain aussi Quand il s agit de stratégie supply chain, chaque industriel est unique. Chaque organisation

Plus en détail

Managements des risques industriels : quelques verrous scientifiques et techniques à résoudre pour le futur. Le point de vue d'un industriel.

Managements des risques industriels : quelques verrous scientifiques et techniques à résoudre pour le futur. Le point de vue d'un industriel. Managements des risques industriels : quelques verrous scientifiques et techniques à résoudre pour le futur. Le point de vue d'un industriel. Workshop du GIS 3SGS Reims, 29 septembre 2010 Sommaire Missions

Plus en détail

PLATEFORME MÉTIER DÉDIÉE À LA PERFORMANCE DES INSTALLATIONS DE PRODUCTION

PLATEFORME MÉTIER DÉDIÉE À LA PERFORMANCE DES INSTALLATIONS DE PRODUCTION PLATEFORME MÉTIER DÉDIÉE À LA PERFORMANCE DES INSTALLATIONS DE PRODUCTION KEOPS Automation Espace Performance 2B, rue du Professeur Jean Rouxel BP 30747 44481 CARQUEFOU Cedex Tel. +33 (0)2 28 232 555 -

Plus en détail

Contributions à l'apprentissage automatique de réseau de contraintes et à la constitution automatique de comportements sensorimoteurs en robotique.

Contributions à l'apprentissage automatique de réseau de contraintes et à la constitution automatique de comportements sensorimoteurs en robotique. Contributions à l'apprentissage automatique de réseau de contraintes et à la constitution automatique de comportements sensorimoteurs en robotique. Mathias PAULIN LIRMM (CNRS, Univ. Montpellier II) 161

Plus en détail

SUPPLY CHAIN MANAGEMENT Eléa 30 mars 2011

SUPPLY CHAIN MANAGEMENT Eléa 30 mars 2011 SUPPLY CHAIN MANAGEMENT Eléa 30 mars 2011 Agenda Généralités sur les systèmes d information logistique Les opérations logistiques Les SI logistiques, du pilotage (long terme) à l informatique industrielle

Plus en détail

J O U R N E E S NEPTUNE

J O U R N E E S NEPTUNE J O U R N E E S NEPTUNE Les journées NEPTUNE ont eu lieu le 6 et 7 Juin 2012 à Télécom ParisTech. Cette conférence est un lieu de rencontre des acteurs du génie logiciel et de l ingénierie des systèmes.

Plus en détail

UN NOUVEL ASSISTANT DE PREUVE POUR REVISITER THÉORIE DES TYPES HOMOTOPIQUES LA THÉORIE SUPPORTANT COQ AVEC LA NICOLAS TABAREAU

UN NOUVEL ASSISTANT DE PREUVE POUR REVISITER THÉORIE DES TYPES HOMOTOPIQUES LA THÉORIE SUPPORTANT COQ AVEC LA NICOLAS TABAREAU COQHOTT UN NOUVEL ASSISTANT DE PREUVE POUR REVISITER LA THÉORIE SUPPORTANT COQ AVEC LA THÉORIE DES TYPES HOMOTOPIQUES NICOLAS TABAREAU Le projet 2 The CoqHoTT project Design and implement a brand-new proof

Plus en détail

Modèles et algorithmes pour la reconfiguration de systèmes répartis utilisés en téléphonie mobile

Modèles et algorithmes pour la reconfiguration de systèmes répartis utilisés en téléphonie mobile Modèles et algorithmes pour la reconfiguration de systèmes répartis utilisés en téléphonie mobile Renaud Sirdey Chercheur au CEA / Ex-architecte système Nortel Journée du prix de thèse Guy Deniélou, 4

Plus en détail

OSIATISBIZ UN SERVICE DESK HORS DU COMMUN EQUANT SOLUTIONBIZ PARTAGEONS NOS SAVOIRS EXTRAIT DU Nº9

OSIATISBIZ UN SERVICE DESK HORS DU COMMUN EQUANT SOLUTIONBIZ PARTAGEONS NOS SAVOIRS EXTRAIT DU Nº9 OSIATISBIZ PARTAGEONS NOS SAVOIRS EXTRAIT DU Nº9 SOLUTIONBIZ EQUANT UN SERVICE DESK HORS DU COMMUN Gilles Deprost, responsable Knowledge Management & Tools d Equant 2F LES PHASES CLÉS DU PROJET SYNERGY

Plus en détail

Expert ou chef de projet en contrôle-commande

Expert ou chef de projet en contrôle-commande Expert ou chef de projet en contrôle-commande C1C25 Electronique, électrotechnique ou contrôle-commande - IR Spécialités L expert ou chef de projet en contrôle-commande peut être amené à se spécialiser

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