La filière SLE

Filière Systèmes et Logiciels Embarqués (SLE)

Responsables: Florence Maraninchi (Ensimag) et Michele Portolan (Phelma) [1]

News

• NOUVEAU SEP 2014 - Article sur Gérard Berry, médaille d'or du CNRS 2014, et qui mentionne les langages synchrones étudiés dans la filière SLE
• Etude sur l'embarqué
• Embedded France va favoriser l’emploi et la compétitivité des entreprises dans l’embarqué
• La filière du logiciel embarqué lance l’association Embedded France
• Global embedded systems market: $222 billion industry by 2018
• Investissements d’avenir : lancement de deux appels à projets, le premier sur le logiciel embarqué et les objets connectés, le second sur la sécurité numérique
• 30 milliards de dispositifs sans fil pourraient être connectés à l’Internet en 2020
• Le nombre de « choses » connectées à Internet va plus que quintupler d’ici à 2020
• Systèmes embarqués : un secteur dynamique qui brave la crise

Planning des conférences technologiques 3A (Edition 2014-2015)

Le planning est complet pour ce semestre :

• 10 octobre - Laurent Damon, STMicroelectronics - dispositifs basse consommation, smart home
• 21 novembre - Elsys Design - OS partitionné pour contextes critiques
• 28 novembre - Thales Avionique Valence - Nicolas Blanpain et Paul De Courcel - normes de l'avionique et méthodes agiles
• 5 décembre - Cyril Prévé, Mathworks/Polyspace - outils d'analyse statique de code
• 12 décembre - François Dubuc, Ariane - systèmes spatiaux
• 9 janvier - Matthieu Antoine, GEMALTO - sécurité

Evaluation

cf. http://chamilo2.grenet.fr/inp/main/document/showinframes.php?cidReq=ENSIMAG5MMCTSL0&id_session=0&gidReq=0&id=55

Eléments de notation des comptes-rendus, conseils

cf. http://chamilo2.grenet.fr/inp/main/document/showinframes.php?cidReq=ENSIMAG5MMCTSL0&id_session=0&gidReq=0&id=56

ARCHIVE - Planning des conférences technologiques 3A (Edition 2013-2014)

• 20 septembre : pas de conférence
• 27 septembre : Laurent Damon, STMicroelectronics : systèmes embarqués peu gourmands en énergie
• 11 octobre : Stéphane Brouste, Peugeot : développement embarqué dans l'automobile
• 16 octobre (attention, c'est un mercredi matin) : Julien Duquenne, Thalès Avionique Valence : normes de l'avionique, logiciel critique et méthodes agiles
• 18 octobre : Guillaume Charvet, CEA : dispositifs médicaux implantés
• 8 novembre : Cyril Prévé, Mathworks/Polyspace, outils d'analyse statique de code
• 29 novembre : Bruno Jegu, Airbus, systèmes embarqués dans l'avionique et multicoeurs
• 6 décembre : pas de conférence
• 13 décembre : pas de conférence

ARCHIVE - Planning des conférences technologiques 3A (Edition 2012-2013)

• 21 septembre D211 Thalès Avionique Logiciels critiques et méthodes agiles - compte-rendu pour le 1er octobre

• 5 octobre - EADS Ariane Systèmes spaciaux - compte-rendu pour le 15 octobre

• 19 octobre - Peugeot Systèmes informatiques dans l'automobile, normes
• 26 octobre - Mathworks/polyspace Un outil de validation formelle de logiciels embarqués
• 30 novembre - CEA Dispositifs médicaux implantés
• 7 décembre - Kalray - impact des multicoeurs sur l'embarqué

ARCHIVE - Planning des conférences technologiques 3A (Edition 2011-2012)

• 23 septembre, Thales Aerospace, Valence, Le logiciel embarqué temps réel dans l'aéronautique et les méthodes agiles appliquées.
• 7 octobre, Orange Labs, Le programme de Recherche Machine-To-Machine des Orange Labs
• 14 octobre, HP, Vision du futur du HPC : programmes Exascale et CeNSE
• 21 octobre, CEA LETI, Dispositifs médicaux implantés
• 4 novembre, DOCEA Power, Méthodologie de modélisation pour l'optimisation d'énergie au niveau architectural.
• 18 novembre, MathWorks/Polyspace

ARCHIVE - Planning des conférences technologiques 3A (Edition 2010-2011)

• CONF no 1 - 24 septembre : Le logiciel embarqué temps réel dans l'aéronautique et les méthodes agiles appliquées. Thalès Valence
• CONF no 2 - 15 octobre : logiciel embarqué spatial - EADS Astrium
• CONF no 3 - 5 novembre : Dispositifs médicaux implantés et applications pour la neurologie, CEA LETI Grenoble
• CONF no 4 - 19 novembre : Les outils Polyspace pour la validation du logiciel embarqué - MathWorks/Polyspace
• CONF no 5 - 10 décembre : cartes à puce, cartes SIM, conf. commune avec Telecom, DNA Conseil
• CONF no 6 - 14 janvier : Les langages de programmation pour les systèmes embarqués, Thalès Toulouse

ARCHIVE - Planning des conférences technologiques 3A (Edition 2009-2010)

• CONFERENCE No 1 - 2 octobre : conférence commune avec la filière ISI, IBM 3h
• CONFERENCE No 2 - 13 novembre : Emmanuel Dufour, Orange IT&L@abs [2]
• CONFERENCE No 3 - 20 novembre : Raymond CAMPAGNOLO, CEA-LETI. Systèmes embarqués pour le médical.
• CONFERENCE No 4 - 11 décembre : Patrick Munier, the MathWorks / Polyspace [3]
• CONFERENCE No 5 - 15 janvier : Alain COUVREUX, Renault DIESE (Direction de l'Ingénierie Electrique et des Systèmes Electroniques)

Quelques pointeurs intéressants

• octobre 2011 : Scade User Group Conference, Paris
• octobre 2010 : Parution d'un rapport ministériel sur les briques génériques du logiciel embarqué [4]

• SCADE User Group Conference October 21 - 22, 2010 [5]

• Troisièmes Assises Franco-allemandes de l'Embarqué - 7 octobre 2010 [6]

• Le site Common Technical Baseline (Embedded System Guide) [7]

• 22-23 octobre 2009 : SCADE User Group Conference. Le programme est intéressant, pour une liste d'entreprises du domaine [8]

• 17 septembre 2009 : lancement d'un projet collaboratif sur le nucléaire (Atos Origin, Rolls Royce, Corys Tess, Verimag). Plus d'information ici [9]

• 11 au 16 octobre 2009, Grenoble, Embedded Systems Week (ensemble de conférences) [10] et Embedded Systems Exhibition [11]