Se connecter Anglais Français
Logo

Fiche Module

FISE

STI

Sécurité et Technologies Informatiques


Unité d'Enseignement :


Semestre : 8
Crédits ECTS : 6

EA Internet Of Things


Code UE : S08T_MOB1

Elément Constitutif :


Coefficient : 1

Spécification et test des applications


Code EC :

EA IoT



L'UE EA Internet Of Things : 4


Optimisation d'applications embarquées
OS embarqués
Réseaux informatiques sans fil
Spécification et test des applications


Volume horaire : 21:20

Type Nombre Durée
Cours 8 01:20
TD 8 01:20


Evaluations : 1

Type Coefficient
Examen Final 1


Enseignants : 2

Enseignant Type
Abdallah Ahmad Responsable
Blanchard Allan Intervenant


Lien vers ce module sur celene


Dans ce module, on s'intéresse aux applications qui sont déployées sur les systèmes de type carte à puce. Ces applications s'exécutent directement sur un système à mémoire et puissance limitées. Après avoir étudié la spécification d'un logiciel de ce type

Pré-requis :

UE Semestre Module
Principes de la programmation 5 Programmation Orientée Objet
Principes de la programmation 5 Initiation au Génie Logiciel
Principes de la programmation 5 Modélisation du logiciel


Ce module couvre les aspects suivants : - spécification de logiciels,

  • animation et test des spécifications ,
  • Graphe de flot de contrôle,
  • Sémantique de traces,
  • Analyse statique de programmes par interprétation abstraite,
  • Spécification formelle de programmes,
  • Vérification de programmes par méthodes déductives.




Compétences :

Ref. Verbe Description Niveau