Présentation du Master 2 Logiciels pour les Systèmes. Jalil Boukhobza resp. M2LSE

Transcription

1 Présentation du Master 2 Logiciels pour les Systèmes Embarqués (LSE) Jalil Boukhobza resp. M2LSE

2 Logiciel pour les Systèmes Embarqués Responsable: Jalil Boukhobza (mail: Vice Resp. Pr. Reinhardt Euler Master mixte: Professionnel ET Recherche Contexte Général: Domaine porteur SYNTEC: créations nettes d emplois attendues Marché en croissance de 5% en 2009 (malgré la crise) Contexte Local: Expertise reconnue: Laboratoire Lab-STICC CNRS UMR 3192 (plus de 300 chercheurs) Adossement aux activités de recherche (projets européens, nationaux et locaux)

3 Logiciel pour les Systèmes Embarqués Partenariats du Master: Académiques Internationaux (Allemagne, Pays Bas, Etats Unis, Algérie, etc.) et nationaux (Lorient, Lannion, Rennes, Montpellier, Grenoble, Bordeaux, Versailles, Paris, etc.) Industriels: CEA (Saclay), STMicroelectronics (Grenoble), Ixsea (Brest), IFREMER (Brest), Thales (Palaiseau, Brest), Eurogiciel (Brest, Rennes), Exascale computing (Intel), Mentor Graphics, Altran Brest), IRIS RFID (Brest), etc. Moyens (subvention du CG29 et de la ville): Plusieurs types de plateformes embarqués (Celoxica, Armadeus, Xilinx V5, HTC/Android), salles micro + salle MAC L ensemble des supports en ligne (Moodle)

4 Enseignements Formation orientée vers l ingénierie et la recherche dans le domaine des systèmes embarqués.. L objectif de ce master est de: Former les étudiants aux outils et techniques logicielles nécessaires à l élaboration d applications embarquées, Donner aux étudiants la capacité de concevoir des méthodes et outils de développement pour ce domaine dans les secteurs clés : développement d applications système d exploitation, compilateur, optimisation, test et vérification...

5 Compétences développées À l issue de leur formation, les diplômés sont capables de: Concevoir, mettre en œuvre et optimiser des applications spécifiques (traitement d image et multimédia, géolocalisation ) pour systèmes embarqués en s appuyant sur des méthodes performantes telle que la conception agile. Tester, simuler et valider des architectures matérielles pour systèmes embarqués. Réaliser et utiliser des outils de synthèse d architecture, tout en s appuyant sur des connaissances algorithmiques et théoriques solides. Conditionner et porter des applications ou des systèmes pour l embarqué (terminaux mobiles, systèmes sur puces)

6 Domaines professionnels et débouchés Domaines professionnels: Développeur logiciel d applications mobiles et pour l embarqué, architecte de plateforme embarquée, architecte d application embarquée, spécialiste d intégration, spécialiste du test, expert en technologies embarquées, enseignant-chercheur,... Secteurs d activité : l industrie des composants et applications électroniques, l industrie du logiciel pour l embarqué, la recherche fondamentale et appliquée. Débouchés Services R&D des grands groupes, PMe/PMi, SSii, ainsi que les organismes publics de recherche.

7 Par rapport au M1

8 Calendrier du M2 LSE Semestre 1 Semestre 2 (janvier juil/sept) Semestre de cours (théorique et pratique) 3,5 mois Projet recherche + conférences 1,5 mois Stage 4-6 mois

9 1 er semestre UEs Resp. Description Nb h AO (Adaptation et Ouverture) Pr. R.Euler Remise à niveau en: conception objet théorie des graphes architecture/parallelisme 24 ARO (Architectures Reconfigurables et Outils de conception) MCf L.Lagadec Architectures reconfigurables Outils (utilisation et réalisation) Modèles de programmation 48 CML (Compilation, Modèles et langages pour les architectures parallèles) MCf E.Fabiani Modèles de programmation et architectures parallèles Codesign Techniques de compilation et de synthèse pour architectures parallèle pour circuit spécialisable 48 SEE (Systèmes d Exploitation pour l Embarqué) MCf J.Boukhobza Systèmes d'exploitation pour l'embarqué programmation et de mise en œuvre Linux embarqué 48

10 1 er semestre (suite) UEs Resp. Description Nb h SNS (Synthèses Numériques et Symboliques) MCfC.Dezan Représentation logique des nombres et des symboles. Techniques optimisées de compilation et de synthèses. 48 VES (Vérification, Émulation et Simulation) MCf A.Bounceur Architectures tolérante aux fautes langage d assertion, génération de tests, simulation. 48 CAM (Communication numérique et Applications Mobiles) PVP (Préparation à la Vie Professionnelle) MCf A.Bounceur Développement d application Java embarqué/android: Géolocalisation, Communication numérique N. Le Guilcher Communication et anglais. Connaissance de l entreprise 72 24

11 2 ème semestre UEs Resp. Description Nb h TEM (Technologies Émergentes et Méthodologies) L.Lagadec Cycle de conférences conférences techniques et méthodologiques, initiation à la recherche, Gestion de projet, retour d expérience en entreprise, etc. (voir transaprents suivants) 48 Projet A. Bounceur ~1,5 mois en laboratoire Stage J.Boukhobza Entre 4-6 mois dans un laboratoire de recherche/chez un (partenaire) industriel Plus de 25 propositions venant de partenaires en

12 Conférenciers et partenaires Nom Entreprise ou organisme d origine UE concernée Nature des enseignements dispensés JT. Acquaviva Exascale Computing CML-TEM Modèles de calcul parallèle et optimisation de code T. Goubier CEA CML Modèles de calcul parallèle et optimisation de code S. Hamdioui TU Delft TEM Design and Test in Nano area: who will gain and who will pay tap D. Heller Lab-STICC/UBS TEM Conception d'outils de Synthèse, l'exemple de GAUT M. Hübner KIT Karlsruhe TEM New Dimensions for HW/SW codesign through reconfigurable computing N. Iassamen Lab-STICC/UBO TEM Les interconnexions C. Jégo Telecom Bretagne CAM Turbo codes JC. Lelann ENSIETA/Thomson TEM Retour sur 10 ans d'expériences en conception de puces pour applications multimédias E. LePors Thalès TEM Approche composant et Embarqué

13 Conférenciers et partenaires (suite) Nom Entreprise ou organisme d origine UE concernée Nature des enseignements dispensés F. Leroy ENSIETA TEM La radio logicielle: principes, enjeux et mise en œuvre H. Ould Ali Ixsea TEM Systèmes embarqués sous marin aspect métier, programmation DSP et proc embarqué P. Pelleau IFREMER TEM Embarqué sous-marin bruit/décodage toute la chaine de conception P. Ficheux OpenWide SEE QEMU et Linux embarqué L. Plassart Altran TEM OS temps réel et contrôle distribué M. Renovell LIRMM CNRS VES-TEM Le test: application aux circuits analogiques et digitaux F. Rivard IST TEM Java embarqué D. Spenato UBO TEM Les dispositifs de stockage: du matériau au dispositif logique

14 Conclusions Des enseignements spécialisés (discipline informatique) Des thématiques adossées aux travaux de recherche de l équipe (appuyés par des projets internationaux et nationaux) Des débouchés ciblés dans un domaine en expansion Des partenariats nombreux: académiques/industriels, nationaux/internationaux Plus d infos: Passer me voir OU envoi de mail.

15 Quelques mots clés Génie logiciel Android Compilation Langages d assertion Hardware/software Codesign Test logiciel Développement Objet Simulation Modèles Tolérance aux fautes Architectures reconfigurables Systèmes d exploitation Représentation des nombres Parallélisme Linux Embarqué Synthèse Communications numériques Optimisation de performance FPGA