Présentation du Master 2 Logiciels pour les Systèmes Embarqués (LSE)

Jalil Boukhobza resp. M2LSE

Dessine moi un mouton Système embarqué !

Ah! … c’est donc un système électronique et informatique

autonome qui est dédié à une tâche particulière et

contenue dans un système englobant!

Logiciel pour les Systèmes Embarqués

Responsable: Jalil Boukhobza (mail: jalil.boukhobza@univ-brest.fr)Vice Resp. Pr. Reinhardt Euler

Master mixte: Professionnel ET Recherche

Contexte Général: Domaine porteur SYNTEC: 34000 créations nettes d’emplois attendues 2009-2014Marché en croissance de 5% en 2009 (malgré la crise)

Contexte Local: Expertise reconnue: Laboratoire Lab-STICC CNRS UMR 6285 (plus de 300 chercheurs)

Logiciel pour les Systèmes Embarqués

Partenariats du Master: Académiques

• Internationaux (Allemagne, Pays Bas, Suède, Algérie, Maroc, etc.) et nationaux (Lorient, Lannion, Rennes, Montpellier, Grenoble, Bordeaux, Paris, etc.)

Industriels: • CEA (Saclay), STMicroelectronics (Grenoble), iXBlue (Brest),

IFREMER (Brest), Thalès (Palaiseau, Brest), Eurogiciel (Rennes), Exascale computing (Intel), Mentor Graphics, Altran Brest), IRIS RFID (Brest), etc.

Moyens (subventionné par le CG29 et la ville):Plusieurs types de plateformes embarquées (Celoxica, Armadeus, Xilinx V5, HTC/Android), salles micro L’ensemble des supports en ligne (Moodle)

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,• synthèse d’architecture, • test et vérification...

Enseignements

Compétences développées

À l’issue de la formation, vous serez 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)

Exemples de 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é, du transport, la recherche fondamentale et appliquée, etc.

DébouchésServices R&D des grands groupes, PMe/PMi, SSii, ainsi que les organismes publics de recherche.

Qu’est ce que je vais faire ?Dans quels secteurs ?Dans quel type d’organisme ?

Par rapport au L3

Semestre Titre5 Logique et Intelligence Artificielle5 Programmation C avancée5 Logique, algorithmique et microprocesseurs (

compléments)5 Java & Outillage Projet5 Langage C + Système Unix (mise à niveau)5 Introduction aux Bases de Données Relationn

elles6 Architecture & système 26 Réseaux IP - concepts, programmation et appl

ications6 Informatique théorique, mathématiques et systèmes d'exploitation (compléments)6 Projet tutoré (CDA)

6 Applications réparties6 Recherche opérationnelle

Semestre Titre5 Logique et Intelligence Artificielle5 Programmation C avancée5 Systemes d'information5 Java & Outillage Projet6 Projet de synthèse (info)6 Stage L3 (INFO - S6)6 Architecture & système 26 Réseaux IP - concepts, programmation et ap

plications6 Recherche opérationnelle6 IA et robotique (option)6 Administration systeme - option6 Introduction au parallélisme - option6 Complexité - option

Semestre Titre5 Systèmes d'information et Web5 Mise en pratique accompagnée (L3II)5 Programmation C avancée5 Java & Outillage Projet6 Réseaux IP - concepts, programmation et

applications6 Algorithmique sur les graphes6 Stage L3 (II - S6)6 Architecture & système 26 Applications réparties

Parcours II

Parcours CDA Parcours info

Calendrier du M2 LSE

Semestre de cours (théorique et

pratique) 3,5 mois

Projet recherche + conférences 1,5

moisStage 4-6 mois

Semestre 1 Semestre 2 (janvier juil/sept)Mi s

epte

mbr

e

Fin

déce

mbr

e

/déb

ut ja

nvier

12 mois

UEs Resp.AO (Adaptation et Ouverture) R.Euler

ARO (Architectures Reconfigurables et Outils de conception) S. Rubini

CML (Compilation, Modèles et langages pour les architectures parallèles)

E.Fabiani

SEE (Systèmes d’Exploitation pour l’Embarqué) J.Boukhobza

SNS (Synthèses Numériques et Symboliques) C.Dezan

VES (Vérification, Émulation et Simulation) A.Bounceur

CAM (Communication numérique et Applications Mobiles)

A.Bounceur

PVP (Préparation à la Vie Professionnelle) N. Le GuilcherD. UguenA. Higelin

1er semestre

2ème semestre

UEs Resp. Description Nb hTEM (Technologies Émergentes et Méthodologies)

J. Boukhobza 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 2011-2012

Exemple de stage d’étudiants

Déploiement de Linux Redhat MRG (temps réel) sur carte + virtualisation Refonte et évolution d'un outil de mise au point logiciel pour des équipements embarqués destinés au matériel ferroviaireÉtude d'une application de simulation et modélisation acoustiqueDéveloppement de la plate-forme CAN/LIN/FLEXRAYEtude sur l'analyse temporelle d'un système de contrôle/commande Event-based communications in modular robots

• Towards the design of a new hard real-time cross-layer protocol for Wireless Sensor NetworksMesures de consommation des circuits programmables FPGAs

Ou sont nos (ex) étudiants ?Consultant- Ingenieur chez Eurocontrol (transport aérien, embarqué) – Bruxelles, BelgiqueSenior Engineer at Mediatek (multimédia, embarqué), Shangai, ChinaIngénieur système et développement chez Smart Link Communication (réseaux, embarqué), Paris, FranceTechnical Software Engineer, Logica, Grenoble, FranceIngénieur d’étude SSII Teamlog (groupe Open), Lannion

…En thèse,

Université de Linkoping, Suède.LAAS-CNRS ToulouseLab-STICC, Brest…

Conclusions

Des enseignements de développement logiciel pour un domaine ciblé (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 expansionDes partenariats nombreux: académiques/industriels, nationaux/internationauxRéussite des étudiants du L3/M1 local : 100%Plus d’infos:

http://dept-info.univ-brest.fr/master2_lse.php

Passer me voir OU envoi de mail.

Quelques mots clés

Génie logiciel

Systèmes d’exploitation

Développement Objet

Linux Embarqué

Android

Architectures reconfigurables

Parallélisme

Multi-coeurFPGAOptimisation de

performance

Test logicielSimulation

Modèles

Représentation des nombres

Compilation

Synthèse d’architecture

Tolérance aux fautes

Langages d’assertion

Hardware/software Codesign

Conférenciers et partenaires

Nom Entreprise ou organisme d’origine

UE concernée Nature des enseignements dispensés

JT. Acquaviva CML-TEM Modèles de calcul parallèle et optimisation de code

T. Goubier CML Modèles de calcul parallèle et optimisation de code

S. Hamdioui TEM Design and Test in Nano area: who will gain and who will pay tap

D. Heller TEM Conception d'outils de Synthèse, l'exemple de GAUT

M. Hübner TEM New Dimensions for HW/SW codesign through reconfigurable

computingC. Jégo CAM Turbo codes

JC. Lelann TEM Retour sur 10 ans d'expériences en conception de puces pour applications multimédias

E. LePors TEM Approche composant et Embarqué

Conférenciers et partenaires (suite)Nom Entreprise ou organisme

d’origineUE concernée Nature des enseignements

dispensésF. Leroy TEM La radio logicielle: principes,

enjeux et mise en œuvre

H. Ould Ali TEM Systèmes embarqués sous marin aspect métier,

programmation DSP et proc embarqué

P. Pelleau TEM Embarqué sous-marin bruit/décodage toute la chaine de conception

P. Ficheux SEE QEMU et Linux embarqué

L. Plassart TEM OS temps réel et contrôle distribué

M. Renovell VES-TEM Le test: application aux circuits analogiques et

digitauxF. Rivard TEM Java embarqué