La filière SLE : Différence entre versions

De Ensiwiki
Aller à : navigation, rechercher
(Filière Systèmes et Logiciels Embarqués (SLE))
(mise en page)
 
(26 révisions intermédiaires par 3 utilisateurs non affichées)
Ligne 1 : Ligne 1 :
 
[[Catégorie: Troisième Année]]
 
[[Catégorie: Troisième Année]]
 
[[Catégorie: SLE]]
 
[[Catégorie: SLE]]
 
  
 
= '''Filière Systèmes et Logiciels Embarqués (SLE)''' =
 
= '''Filière Systèmes et Logiciels Embarqués (SLE)''' =
  
Responsables: Florence Maraninchi (Ensimag) et Régis Leveugle (Phelma) [mailto:Florence.Maraninchi@imag.fr,Regis.Leveugle@imag.fr]
+
Responsables: Florence Maraninchi (Ensimag) et Michele Portolan (Phelma) [mailto:Florence.Maraninchi@imag.fr,Michele.Portolan@imag.fr]
  
 
News  
 
News  
 +
* NOUVEAU SEP 2014 - [http://binaire.blog.lemonde.fr/2014/09/26/gerard-berry-traqueur-de-bugs/ 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]
 +
* [http://www.fafiec.fr/81-l-observatoire-opiiec/etudes/metiers-de-l-ingenierie/211-evolution-metiers-besoins-systemes-embarques.html Etude sur l'embarqué]
 +
* [http://www.lembarque.com/embedded-france-va-favoriser-lemploi-et-la-competitivite-des-entreprises-dans-lembarque_001180 Embedded France va favoriser l’emploi et la compétitivité des entreprises dans l’embarqué]
 +
* [http://pro.01net.com/editorial/603306/la-filiere-du-logiciel-embarque-lance-l-association-embedded-france/ La filière du logiciel embarqué lance l’association Embedded France]
 
* [http://www.transworldnews.com/NewsStory.aspx?storyid=1381586 Global embedded systems market: $222 billion industry by 2018]
 
* [http://www.transworldnews.com/NewsStory.aspx?storyid=1381586 Global embedded systems market: $222 billion industry by 2018]
 
* [http://investissement-avenir.gouvernement.fr/content/investissements-d%E2%80%99avenir-lancement-de-deux-appels-%C3%A0-projets-le-premier-sur-le-logiciel-embar 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]
 
* [http://investissement-avenir.gouvernement.fr/content/investissements-d%E2%80%99avenir-lancement-de-deux-appels-%C3%A0-projets-le-premier-sur-le-logiciel-embar 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]
Ligne 14 : Ligne 17 :
 
* [http://ht.ly/fHB9H Systèmes embarqués : un secteur dynamique qui brave la crise]
 
* [http://ht.ly/fHB9H Systèmes embarqués : un secteur dynamique qui brave la crise]
  
 
+
== Conférences technologiques 3A SLE ==
=== Planning 2013-2014 ===
+
 
+
{{Attention|Il reste une conférence à fixer, qui peut tomber n'importe où dans les créneaux non fixés ci-dessous. Consultez ce calendrier régulièrement.}}
+
 
+
* 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'''
+
* '''18 octobre : Guillaume Charvet, CEA : dispositifs médicaux implantés'''
+
* '''16 octobre (attention, c'est un mercredi matin) : Julien Duquenne, Thalès Avionique Valence : normes de l'avionique, logiciel critique et méthodes agiles'''
+
* '''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
+
  
 
=== Evaluation ===  
 
=== Evaluation ===  
  
 
+
cf. http://chamilo2.grenet.fr/inp/main/document/showinframes.php?cidReq=ENSIMAG5MMCTSL0&id_session=0&gidReq=0&id=55
Pendant les conférences, vous devez prendre des notes, et poser des questions à l'orateur, soit pendant son exposé si ça ne le dérange pas, soit à la fin (nous demanderons à chaque intervenant ce qu'il préfère comme fonctionnement). Vous devez ensuite rédiger un compte-rendu individuel, structuré, de 2 pages en format A4 standard.  Le compte-rendu doit être remis, imprimé recto-verso,
+
à une date fixée (indiquée à chaque conférence). Vous déposerez votre compte-rendu dans la boîte aux lettres de Florence Maraninchi à  la scolarité Ensimag.
+
 
+
Il y aura un nombre <math>n</math> de conférences, chaque compte-rendu étant noté, d'où un ensemble <math>c_1,c_2, ..., c_n</math> de notes. La formule de calcul de la note pour le cours 'Conférences technologiques SLE 3A' est : <math>\frac{\sum_1^n{c_i}}{n}</math>.
+
 
+
 
+
Un compte-rendu manquant ou en retard vaut 0. le fait de ne pas assister à une conférence engendre des pénalités (en plus du fait qu'il est difficile de faire un bon compte-rendu personnel si vous n'avez pas assisté à la conférence). 
+
 
+
En invitant des personnalités dans ce cycle de conférences, nous faisons confiance à votre sens civique. Les personnes qui acceptent nos invitations s'attendent à un public respecteux (on n'arrive pas en retard, on ne part pas en avance, on ne joue pas avec son ordinateur portable, on ne discute pas pendant les conférences).
+
  
 
=== Eléments de notation des comptes-rendus, conseils ===
 
=== Eléments de notation des comptes-rendus, conseils ===
  
La première série de comptes-rendus vous sera rendue très rapidement, pour que vous puissiez tenir compte des commentaires.  
+
cf. http://chamilo2.grenet.fr/inp/main/document/showinframes.php?cidReq=ENSIMAG5MMCTSL0&id_session=0&gidReq=0&id=56
  
Voilà quelques éléments de correction :
+
=== ARCHIVE - Planning des conférences technologiques 3A (Edition 2014-2015) ===
* La rédaction : structure du texte, plan, présence d'une introduction et d'une conclusion, présence d'éléments indispensables comme le rôle de l'orateur dans son entreprise ou organisme, style
+
* La restitution précise des éléments techniques de la conférence
+
* Le caractère synthétique du texte dans son ensemble
+
  
Et quelques conseils, non exhaustifs :
+
* 10 octobre - Laurent Damon, STMicroelectronics - dispositifs basse consommation, smart home
* Struturez votre texte avec une introduction, une conclusion, et quelques paragraphes avec titre entre les deux. Cette structure n'est pas nécessairement celle suivie par l'orateur pendant son exposé,  c'est un "rangement" de ce que '''vous''' avez retenu. De plus, quand vous structurez en paragraphes, veillez à ce qu'il y ait un rapport clair entre le titre du paragraphe et son contenu. Si vous intitulez un paragraphe "le parallélisme est un mal nécessaire", débrouillez-vous pour que le texte du paragraphe soit justement une démonstration de cette affirmation.
+
* 21 novembre - Elsys Design - OS partitionné pour contextes critiques
* Quand vous restituez des éléments techniques, soyez extrêmement '''précis'''.  Reproduire des chiffres sans dire exactement ce qu'ils veulent dire dans le contexte est inutile.
+
* 28 novembre - Thales Avionique Valence - Nicolas Blanpain et Paul De Courcel - normes de l'avionique et méthodes agiles
* Attention à la restitution des raisonnements ou démonstrations de l'orateur. Exemple avec la conférence IBM : si vous écrivez quelque chose du genre : ''la consommation des machines devient un problème, donc il faut passer au parallélisme'', c'est insuffisant. Il faut résumer les éléments qui permettent d'arriver à cette conclusion, et surtout retrouver leur articulation.
+
* 5 décembre - Cyril Prévé, Mathworks/Polyspace - outils d'analyse statique de code
* Pour obtenir un bon niveau de synthèse, vous pouvez procéder comme suit : avant de vous lancer dans la rédaction, imaginez que vous devez raconter oralement à un ami le contenu de la conférence, en 5mn, et concevez dans votre tête ce que vous lui diriez (sur quoi insisteriez-vous, dans quel ordre raconteriez-vous les choses, ...). Ensuite vous pouvez vous lancer dans la rédaction.  Ce n'est pas la seule méthode de travail, mais elle fonctionne assez bien.
+
* 12 décembre - François Dubuc, Ariane - systèmes spatiaux
* Essayer de tirer les 2 ou 3 grandes idées de la conférence. Par exemple pour la conférence IBM, il faut que vous soyiez capable de restituer le raisonnement -- et les éléments chiffrés qui l'appuient --  qui mènent du constat sur les limites en consommation d'énergie à la conclusion ''le parallélisme est un mal nécessaire''.
+
* 9 janvier - Matthieu Antoine, GEMALTO - sécurité
  
Par ailleurs :
+
=== ARCHIVE - Planning des conférences technologiques 3A (Edition 2013-2014) ===
* Si vous utilisez des éléments externes à la conférence pour étayer votre discours, '''CITEZ VOS SOURCES !!!'''. Il n'est pas acceptable de copier des  textes disponibles par exemple sur wikipedia, sans dire où vous les avez trouvés.
+
* Evitez d'utiliser des éléments des transparents de l'orateur (les figures par exemple) dans votre compte-rendu. Si vraiment vous voulez le faire, précisez que les éléments viennent de la conférence.
+
* Si vous incluez des figures,  donnez-leur un titre, et faites-y référence dans le corps du texte (pour expliquer ce que fait la figure à cet  endroit et à quoi elle sert !).
+
* Evitez le "franglish", comme "software" et "core", autant que possible.  En informatique ce n'est pas toujours possible, mais on peut faire quelques efforts quand la traduction existe et est d'un usage naturel en français. Cela dit, si vous préférez tout rédiger en anglais, c'est possible aussi.
+
* Si vous utilisez des sigles, donnez toujours leur sens en clair (il suffit de le noter entre parenthèses à la première occurrence).
+
* Vous pouvez chercher des références sur le web pour aider un lecteur à comprendre votre texte. Par exemple, pour la conférence IBM, ce pourrait être  une bonne idée d'inclure des références à des textes ou pages qui définissent openCL,  MPI, etc. Ce n'est toutefois pas absolument indispensable.
+
* Limitez les fautes d'orthographe, en faisant passer au moins un correcteur orthographique sur votre texte
+
* Relisez-vous pour éviter les phrases non finies, les mots manquants, les virgules placées  au hasard, etc. Pensez aux lecteurs.
+
 
+
 
+
== ARCHIVE - Planning des conférences technologiques 3A (Edition 2012-2013) ==
+
  
 +
* 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  
 
* 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  
 
* 5 octobre - '''EADS Ariane''' Systèmes spaciaux  - compte-rendu pour le 15 octobre  
 
 
* 19 octobre - '''Peugeot''' Systèmes informatiques dans l'automobile, normes  
 
* 19 octobre - '''Peugeot''' Systèmes informatiques dans l'automobile, normes  
 
* 26 octobre - '''Mathworks/polyspace''' Un outil de validation formelle de logiciels embarqués  
 
* 26 octobre - '''Mathworks/polyspace''' Un outil de validation formelle de logiciels embarqués  
Ligne 83 : Ligne 58 :
  
  
== ARCHIVE - Planning des conférences technologiques 3A (Edition 2011-2012) ==  
+
=== 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'''.   
 
* 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
 
* 7 octobre, Orange Labs, Le programme de Recherche Machine-To-Machine des Orange Labs
Ligne 91 : Ligne 66 :
 
* 18 novembre, MathWorks/Polyspace
 
* 18 novembre, MathWorks/Polyspace
  
== ARCHIVE - Planning des conférences technologiques 3A (Edition 2010-2011) ==  
+
=== 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 1 - 24 septembre : Le logiciel embarqué temps réel dans l'aéronautique et les méthodes agiles appliquées. Thalès Valence  
Ligne 100 : Ligne 75 :
 
* CONF no 6 - 14 janvier : Les langages de programmation pour les systèmes embarqués, Thalès Toulouse
 
* 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) ==
+
=== 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 1 -  2 octobre : conférence commune avec la filière ISI, IBM''' 3h
Ligne 112 : Ligne 86 :
  
 
* '''octobre 2011''' : [http://www.esterel-technologies.com/news-events/events/2011/sugc/ Scade User Group Conference, Paris]
 
* '''octobre 2011''' : [http://www.esterel-technologies.com/news-events/events/2011/sugc/ Scade User Group Conference, Paris]
 +
 
* '''octobre 2010 : Parution d'un rapport ministériel sur les briques génériques du logiciel embarqué [http://www.industrie.gouv.fr/logiciel-embarque/]'''
 
* '''octobre 2010 : Parution d'un rapport ministériel sur les briques génériques du logiciel embarqué [http://www.industrie.gouv.fr/logiciel-embarque/]'''
  

Version actuelle en date du 2 octobre 2015 à 08:21


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

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

News

Conférences technologiques 3A SLE

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 2014-2015)

  • 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é

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 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]