Upload
vudiep
View
214
Download
0
Embed Size (px)
Citation preview
Présentation du Master 2
Logiciels pour les Systèmes Embarqués (LSE)Embarqués (LSE)
Jalil Boukhobza resp. M2LSE
Logiciel pour les Systèmes Embarqués
Responsable: Jalil Boukhobza (mail: [email protected])
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-2014
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)
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), • 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)
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,
Enseignements
� 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...
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.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)
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,...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ésServices R&D des grands groupes, PMe/PMi, SSii, ainsi que les organismes publics de recherche.
Par rapport au M1…
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
moisStage � 4-6 mois
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
MCf
L.Lagadec
• Architectures reconfigurables
• Outils (utilisation et réalisation)
• Modèles de programmation
48
1er semestre
Outils de conception)
• Modèles de programmation
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
UEs Resp. Description Nb h
SNS (Synthèses Numériques et Symboliques)
MCf C.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
1er semestre (suite)
Simulation) • simulation.
CAM (Communication numérique et Applications Mobiles)
MCf
A.Bounceur
• Développement d’application Java embarqué/Android:
Géolocalisation,
• Communication numérique
24
PVP (Préparation à la Vie Professionnelle)
N. Le Guilcher Communication et anglais. Connaissance de l’entreprise 72
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 laboratoireProjet 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
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é
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 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
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:http://dept-info.univ-brest.fr/pages/master-systeme-embarque.htm
Passer me voir OU envoi de mail.
Quelques mots clés
Génie logiciel
Développement Objet
Android
Modèles
Compilation
Tolérance aux
Langages
d’assertion
Hardware/software
Codesign
Systèmes
d’exploitationLinux Embarqué
Architectures
reconfigurables
Parallélisme
Communications
numériques
FPGAOptimisation de
performance
Test logicielSimulation
Représentation
des nombres
Synthèse
Tolérance aux
fautes