Code
IGFE NET 7332
Niveau
MSc
Graduate
PostGraduate
Domaine
Réseaux
Programme
Master of Science
Langue
Anglais/English
Crédits ECTS
5
Heures programmées
42
Coordonnateur(s)
Département
- Direction des Relations Internationales
Organisation
Cours/TD/TP/projet/examen :Acquis d'apprentissage
The main objective of this course is to provide students with some knowledge in Modeling, Verification and Validation aspects. Testing techniques applied to functional or non functional aspects (e.g. security) on new generation protocols (e.g. ad hoc routing protocols) are emphasized.
A first step is to present what a protocol’s formal model is and how to obtain it. Therefore, languages and modeling industrial tools are introduced. The second step is to verify this model in order to finally, in a third phase, derive some tests to validate the real protocols.
Prérequis
Students are required to have good knowledge in networks protocols, general networking, network architectures and protocol development process.