1 les systèmes embarqués au cea contact : didier juvin didier.juvin@cea.fr 1/ la recherche...

Download 1 Les systèmes embarqués au CEA Contact : Didier JUVIN didier.juvin@cea.fr 1/ La recherche technologique sur les systèmes embarqués 2/ La plate-forme PLATENUM

Post on 03-Apr-2015

106 views

Category:

Documents

0 download

Embed Size (px)

TRANSCRIPT

  • Page 1
  • 1 Les systmes embarqus au CEA Contact : Didier JUVIN didier.juvin@cea.fr 1/ La recherche technologique sur les systmes embarqus 2/ La plate-forme PLATENUM
  • Page 2
  • 2 Les quatre ples du CEA R & D pour lnergie nuclaire programmes pour la dfense Recherche et technologie pour lindustrie Recherche fondamentale Sciences de la matire Sciences du vivant
  • Page 3
  • 3 Le ple DRT La recherche technologique pour lindustrie PAC et Batteries H2 Sys.Photo- voltaques Echangeurs Thermiques Nouvelles technologies de lnergie Matriaux nanostructurs Assemblages Modlisation Matriaux fonctionnels et intelligents Matriaux mergents Technologies de lInformation et de la communication Micro et nano technologies Laboratoire dElectronique, de Technologie et dInstrumentation (LETI, Grenoble) Systmes Logiciel Prpondrant Laboratoire dIntgration des Systmes et des Technologies (LIST, Ile-de-France)
  • Page 4
  • 4 Lenvironnement du citoyen comporte de plus en plus de processeurs enfouis Scurit Qualit des services Sret des systmesPerformance Les besoins : de fortes attentes en Programme Systmes Embarqus
  • Page 5
  • 5 Architectures March SE en G$ 0 10 20 30 40 50 60 70 199619982000 2002 2004 croissance > 20 % Outils Logiciels Capteurs de perception intelligents Systmes embarqus : Axes de recherche 2002 62 salaris CEA 13 Thsards + p- docs Budget : 6,3 M Ressources : 4,8 M Brevets : 26
  • Page 6
  • 6 Proprit Industrielle + RTB Un positionnement stratgique quipementiers - Fondeurs diteurs Logiciels END USER Utilisateurs de Technologies CEA Recherche Technologique Approche Systme Faisabilit sur les verrous technologiques Dveloppement technologique (prototype)
  • Page 7
  • 7 1/ Outils logiciels Objectif : offrir des gains de productivit dans le dveloppement du logiciel et dans la matrise du cycle de vie : passer de ltat artisanal actuel des modes de production industriels, sans rupture de culture 19961998200020022004 Cot des logiciels embarqus M$ (source BCC)
  • Page 8
  • 8 Des comptences issues du Nuclaire le SPIN (Systme de Protection Intgr Numrique) est un systme critique oprationnel depuis 82 Le CEA / LIST a dvelopp CLAIRE, un outil de test systme transfr Duons-Systmes Mthodes et outils pour matriser la complxit et la sret des systmes Outils logiciels
  • Page 9
  • 9 Thmes de recherche : Gnration de scnarii de test partir de langages dautomates communicants, Modlisation de systmes de composants logiciels, Gnration de code excutable, Analyse statique de code, Analyse dynamique de code excutable Matrise de la Sret de fonctionnement des Systmes Complexes Outils logiciels
  • Page 10
  • 10 Excutifs temps rel Srs. Systmes dexploitation rpartis Conception et mise en uvre de systmes critiques de composants temps rel Analyse statique de code Spcification / modlisation de composants temps rel Analyse dynamique de code et systmes Analyse statique et dynamique Mthodes et outils pour la conception et la sret des Systmes CAVEAT CLAIRE AGATHA, GaTeL, TAO ACCORD OASIS AIRBUS PSA DASSAULT AREVA EDF SOFTEAM, TNI, RATIONAL THALES
  • Page 11
  • 11 Du systme au silicium : - Conception de calculateurs embarqus haut niveau dintgration Adquation Architecture Algorithme - Conception de systmes durcis aux environnements extrmes 2/ Architectures Architectures optimises grce aux liens entre le hard le soft et la technologie Calculateur danalyse dimages IR du Rafale Architectures Redondantes, Tolrance aux fautes, Calculateur ddi application SAGEM (Symphonie) BULL (FAME, CryptoSoC) DGA, THALES STM, ATMEL
  • Page 12
  • 12 ICAM STM, ATMEL SAVE-U dtection de pitons, FAURECIA Start-up Mthode : algorithme de localisation sub-pixellique des indices visuels => 3 brevets verrous Calcul de la correspondance entre lindice visuel et la mesure relle sur le capteur 3/ Capteurs de vision intelligents Modlisation 3D prcise de lenvironnement partir de capteur faible cot (prcision 10 -5 partir de capteur faible rsolution 640X480) Enjeux : capteurs de vision intelligents faible cot vido-surveillance, assistance conduite, Biomtrie, Identification
  • Page 13
  • 13 Platenum Plate-forme ouverte de recherche sur les technologies numriques
  • Page 14
  • 14 Nouvelles Technologies RECHERCHE SCIENTIFIQUE RECHERCHE INDUSTRIELLE Nouvelles Connaissances Nouveaux Produits RECHERCHE TECHNOLOGIQUE TROIS RECHERCHES Publications Brevets (Nouveaux composants Technologiques) March
  • Page 15
  • 15 RECHERCHE SCIENTIFIQUE RECHERCHE INDUSTRIELLE RECHERCHE TECHNOLOGIQUE SIGNATURE DE LILE DE FRANCE Source OST 2000 Chercheurs 21 331 Chercheurs 2 126 Chercheurs 34 988
  • Page 16
  • 16 La naissance dun ple europen de technologies numriques en Ile-de-France PCRI - Informatique avance VALCIM - Tera Calcul Simulation Partenaires industriels Partenaires technologiques sectoriels Platenum - Des projets innovants pour lindustrie
  • Page 17
  • 17 Software Intensive Systems : Systmes logiciel prpondrant Embedded Systems : Systmes embarqus Interactive Systems : Systmes interactifs Intelligence Manufacturing Systems : Systmes intelligents de production PLATENUM : Trois thmes de recherche Software Intensive Systems Embedded Systems Intelligent Manufacturing Systems Interactive Systems
  • Page 18
  • 18 Concept de la plate-forme Une plate-forme de recherche technologique pour des projets innovants Ouverte aux acteurs de la recherche et de lindustrie Accueillant des start-up dans un incubateur Accompagnant les PME par des services linnovation Apportant des formations diplmantes et continues
  • Page 19
  • 19 PLATENUM : Espaces de la plate-forme Espace Incubation (2 000m2 ) Maison des Technologies Numriques (2 000 m2) ESPACE R & D (14 000 m) Espace Formation (1 000 m2)
  • Page 20
  • 20 Espace R & D Espace de R&D Acquis: Equipes CEA et LRP (Paris VI et CNRS) Atelier de ralit virtuelle 2003 : acquisition dun visiocube 2004: Accueil des quipes sur intgration et contrle des systmes 2005: Accueil des quipes sur systmes embarqus Planning Dvelopper linnovation industrielle Projets Recherche/ Industrie Verrous technologiques Cration dactivits Brevets
  • Page 21
  • 21 Espace incubation Acquis: partenariat IFSI, 2 start-up en incubation 2003 : financement de 1000 m demand au CG 92, accueil de 4 start-up 2005: financement de1000 m supplmentaire demand au CG92 2006: 6 start-up en incubation par an Planning Dynamiser la cration dentreprises Accueil des start-up Disponibilit de locaux et moyens Proximit avec lespace R & D Accs aux services de lincubateur Formation des crateurs
  • Page 22
  • 22 Observatoire Maison des technologies numriques Espace danimation et daide linnovation Acquis: quipe de spcialistes de linnovation 2003 : reprsentation ANVAR 2005: renforcement de lquipe par les partenaires Planning Accueil Ingnierie de linnovation Communication Club Partenaires
  • Page 23
  • 23 Infrastructures Acquis : Mise en place des btiments provisoires. 2003/2004 : 1 re tranche de travaux 2004/2006 : 2 nde tranche de travaux PLANNING 2002 2003 2 600 m6 500 m12 500 m Btiments provisoires Platenum 2004 2005 2006
  • Page 24
  • 24 Platenum Dates cls 2002 : Conception et ngociations 2003 : Dbut des travaux 2003 - 2005 : Monte en puissance 2006 : Platenum pleinement oprationnel
  • Page 25
  • 25 PLATENUM : Effectifs scientifiques

Recommended

View more >