Se connecter
Logo

Fiche Module

FISE

STI

Sécurité et Technologies Informatiques


Unité d'Enseignement :


Semestre : 8
Crédits ECTS : 6

EA Mobilité

Elément Constitutif :


Coefficient : 1

Spécification et test des applications

EA IoT



L'UE EA Mobilité : 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 : 3

Enseignant Type
Abdallah Ahmad Responsable
Blanchard Allan 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