Réseaux et télécommunication Internet of Things (IoT)

[21-22]-S60IN3B1 Développement pour systèmes embarqués 1

Peter Niebert, Leonardo Brenner, Damien Imbs

[20-21]-M2 - S60IN4B1 - Bases de données (B. Estellon)

[20-21]-Frameworks IoT

Cours en mode de rédaction

[20-21]-Projet robot suiveur

[20-21]-Sécurité Logicielle pour Systèmes Embarqués

Ce module traite la problématique de systèmes embarqués connectés à internet avec un accent particulier sur la mise à jour de firmware et les mécanismes de protection contre des failles informatique, notamment le sandboxing. 15h de CM, 15h de TP.

  • Problématique de la mise à jour du logiciel embarqué pour l’IoT (responsabilités partagés entre différents fabricants, risques, contre-mesures).

  • Modèle détaillé des espaces d’adresse de microcontrôleurs ARM v7-M et v8-M et du processus de démarrage.

  • Architecture de support matiériel pour la sécurité ARM v7 et ARM v8 : modes de processeur, registres et instructions concernés, MPU (memory protection unit).

  • Mise en œuvre et limites du sandboxing dans MicroVizor. Comprendre la conception de mise-à-jour de firmware ségmenté « over the air » pour l’IoT.

  • Failles de sécurité qui permettent de contourner le sandboxing (débordement de pile, return oriented programming).

  • Rétroingénérie de code embarqué.

[20-21]-S60IN3B1 Développement pour systèmes embarqués 1

Peter Niebert, Leonardo Brenner, Damien Imbs