Vous êtes ici : FIL > Portail > Master Informatique > M2 IAGL > CLE

Conception des Logiciels Embarqués

Description

L'objectif de cette UE est de former les étudiants aux méthodologies de programmation spécifiques aux systèmes embarqués. Le systèmes embarqués son aujourd'hui très repandus dans les objets de la vie quotidienne comme les Objets Connéctés (IoT), les systèmes des transports (avions, trains, voitures, …), les systèmes de contrôle dans l'industrie. Ces systèmes sont soumis à des contraintes (ressources limités en terme de puissance de calcul, de memoire, d'énergie) et il intéragissent avec l'environnement avec de capteurs et des actionneurs en temps réel.

Objectifs

À l'issue de l'enseignement, l'étudiant est capable de :

  • Modéliser un système embarqué en tenant compte de contraintes de l'environnement, des ressources limitées et des exigences du client ;
  • Choisir et mettre en place un méthodologie de développement adaptée à la conception d'un système embarqué avec ressources limitées ;
  • Sélectionner une technologie de développement (langage, système d'exploitation, pile de protocole, etc.) ;
  • Mettre en place une solution logicielle fiable et vérifiée ;
  • Justifier des choix architecturaux et des orientations technologiques au regard des besoins exprimés et des contraintes.

Contenu

L'UE démarre avec une introduction sur les spécificités des systèmes embarqués et des systèmes cyberphysiques (mémoire réduite, basse consommation énergétique, interaction avec l'environnement, contraintes temps réel). Ensuite, on analyse le cycle de conception et de vie d'un logiciel embarqué, et on fait une comparison avec les méthodes de développement agiles.

Ensuite, on aborde les langages et le patrons de développement pour les systèmes embarqués :

  • le automates à états finis ;
  • UML Statecharts et génération de code ;
  • Dataflow et langages synchrones ;
  • une introduction au model checking.

L'UE se termine avec quelques études de cas issues de l'industrie :

  • Toyota Brake Failure
  • Arianne V
  • Mars pathfinder

Intervenants

Giuseppe Lipari
dernière modification : 05/07/2018 à 11:42:45

Emploi du temps

À COMPLETER

Séance Date Créneau Intervenant Contenu Slides TP
1 Lun 10/09/2018 8:30 - 12:00 G. Grimaud      
2 Lun 17/09/2018 8:30 - 12:00 G. Grimaud      
3 Lun 24/09/2018 8:30 - 12:00 G. Grimaud      
4 Lun 01/10/2018 8:30 - 12:00 G. Grimaud      
Giuseppe Lipari
dernière modification : 05/07/2018 à 11:46:17
TO BE DONE
Giuseppe Lipari
dernière modification : 05/07/2018 à 11:37:17
Page en cours de construction