OFFRE DE FORMATION L.M.D.

(1)

Etablissement : Université de Batna Intitulé du master : systèmes embarqués Page 1 Année universitaire : 2010/2011

REPUBLIQUE ALGERIENNE DEMOCRATIQUE ET POPULAIRE MINISTERE DE L’ENSEIGNEMENT SUPERIEUR

ET DE LA RECHERCHE SCIENTIFIQUE

O FFRE DE FORMATION

L.M.D.

MASTER ACADEMIQUE

Etablissement Faculté / Institut Département Université de Batna Sciences de

l'ingénieur D'informatique

Domaine Filière Spécialité

Mathématiques - Informatique

Informatique

Master II Systèmes de

Recherche d’Informations

Responsable de l'équipe du domaine de formation :

Dr. NOUI Lemnaour

(2)

Etablissement : Université de Batna Intitulé du master II : Systèmes de Recherche d’Informations Page 10 Année universitaire : 2010/2011

B-2 : Encadrement Externe :

Nom, prénom Diplôme Etablissement de

rattachement Type d’intervention * Emargement Benzid Redha Doctorat Maître de conférences A C, TD, TP & Encadrement

* = Cours, TD, TP, Encadrement de stage, Encadrement de mémoire, autre ( à préciser)

(3)

B-3 : Synthèse globale des ressources humaines :

Grade Effectif Interne Effectif Externe Total Professeurs

Maîtres de Conférences (A) 1 1 2

Maîtres de Conférences (B) 5 5

Maître Assistant (A) 9 9

Maître Assistant (B) 1 1

Autre (préciser)

Total 16 17

B-4 : Personnel permanent de soutien

(indiquer les différentes catégories)

Grade Effectif

(4)

6 – Moyens matériels disponibles

A- Laboratoires Pédagogiques et Equipements :

Fiche des équipements pédagogiques existants pour les TP de la formation envisagée (1 fiche par laboratoire) Intitulé du laboratoire :

Capacité en étudiants :

N° Intitulé de l’équipement Nombre Observations 01 Data Général machine Bi processeur

30 postes – Opérant sous Unix

01 02 Centre de calcul équipe de 15 PC 02

03 Imprimante réseaux 01

04 Cluster de 8 PC – connexion à

EumedGrid en projet 01

05 Point d’accès internet Wireless 02 06 Serveur Dell Bi-Processeurs 02 07 Bibliothèque spécialisée –200 Ouvrages 01

08 Amphithéâtres 0 3

09 Salle de conférences pour séminaires 01

10 Salles de TD 29

(5)

B- Terrains de stage et formation en entreprise :

Lieu du stage Nombre d’étudiants Durée du stage

Département d'informatique

C- Laboratoire(s) de recherche de soutien à la formation proposée :

Chef du laboratoire N° Agrément du laboratoire

Date :

Avis du chef de laboratoire :

Chef du laboratoire N° Agrément du laboratoire

Date :

Avis du chef de laboratoire:

(6)

D- Projet(s) de recherche de soutien à la formation proposée :

Intitulé du projet de

recherche Code du projet Date du début

du projet Date de fin du projet Indexation et recherche par

le contenu des documents semi-structurés (Projet

CNEPRU)

B*01320090028 01/01/2010 31/12/2012

E- Documentation disponible :

(en rapport avec l’offre de formation proposée)

F- Espaces de travaux personnels et TIC

(7)

II – Fiche d’organisation semestrielle des enseignements

(Prière de présenter les fiches des 4 semestres)

(8)

1- Semestre 1 :

Unité d’Enseignement

VHS V.H hebdomadaire

Coeff Crédits

Mode d'évaluation

14-16 Sem C TD TP

Autres : Travail Personnel

Continu Examen UE fondamentales

UEF1 (P)

Réseaux 42h 1h30 1h30 3 6 √ √

Architecture avancée des

ordinateurs 42h 1h30 1h30 3 6 √ √

Systèmes d’exploitation

avancés 63h 1h30 1h30 1h30 4 6 √ √

UE méthodologie UEM1 (P)

Technologie Objet 63h 1h30 1h30 1h30 2 4 √ √

Sémantique des langages de

programmation 49h 1h30 1h30 30 mn 2 4 √ √

UE découverte UED1 (P)

Ethique académique 21h 1h30 1 2 √

Anglais 28h 1h30 30 mn 1 2 √

Total Semestre 1 308h 10h30 7h30 3h 1h 16 30

(9)

2- Semestre 2 :

Coeff Crédits

14-16 sem C TD TP Autres :

Travail

Personnel Continu Examen

UE fondamentales UEF2 (P)

Programmation concurrente et

parallélisme 42h 1h30 1h30 3 5 √ √

Algorithmique avancée et preuve de

programmes 42h 1h30 1h30 3 5 √ √

Simulation 42h 1h30 1h30 3 4 √ √

OU *

UEF3 (O)

Systèmes sur puce (SoC) 63h 1h30 1h30 1h30 5 6 √ √

Modélisation des systèmes

embarqués 63h 3h 1h30 5 6 √ √

UEF4 (O)

Routage 63h 1h30 1h30 1h30 5 6 √ √

Sécurité des réseaux 63h 3h 1h30 5 6 √ √

UEF5 (O)

Introduction aux systèmes

multi agents 63h 1h30 1h30 1h30 5 6 √ √

Méthodes de résolution de

problèmes 63h 3h 1h30 5 6 √ √

UEF6 (O)

Classification et Analyse de

données 63 h 3h 1h30 5 6 √ √

Cryptographie 63 h 1h30 1h30 1h30 5 6 √ √

UE découverte UED2 (P)

Technologie Web 35h 1h30 1h 1 2 √

Méthodologie de Recherche 21h 1h30 1 2 √

Total Semestre 2 308h 12h 4h30 3h 4h 22 30

* une unité à choisir parmi les trois suivantes : UEF3, UEF4, UEF5, UEF6

(10)

3- Semestre 3 :

Coeff Crédits

14-16 sem C TD TP

Autres Travail personnel

Continu Examen UE fondamentales

UEF7 (P)

Recherche d’information

textuelle 42 1h30 1h30 5 6 √ √

Recherche d’information

multimédia 42 1h30 1h30 5 6 √ √

Apprentissage automatique 42 1h30 1h30 3 4 √ √

UEF8 (P)

Reconnaissance de forme

pour l’image 42 1h30 1h30 3 4 √ √

Ontologies et recherche

d'informations 42 1h30 1h30 3 4 √ √

UE méthodologie UEM2 (P)

Base de données orientée

objets 42 1h30 1h30 2 3 √ √

Parallélisme 42 1h30 1h30 2 3 √ √

Total Semestre 3 294 10,30 10,30 23 30

(11)

4- Semestre 4 :

Domaine : Mathématiques Informatique Filière : Informatique

Spécialité : Systèmes de recherche d’informations

Le semestre S4 est réservé à un stage ou un travail d’initiation à la recherche, sanctionnée par un mémoire et une soutenance

VHS Coeff Crédits

Travail Personnel 30

Stage en entreprise Séminaires

Total Semestre 4 30

5- Récapitulatif global de la formation :

(indiquer le VH global séparé en cours, TD, pour les 04 semestres d’enseignement, pour les différents types d’UE)

UE

VH UEF UEM UED UET Total

Cours 21h 6h 6h 33h

TD 9h00 3h 12h00

TP 4h30 1h30 6h00

Travail personnel 10h30 3h30 1h30 15h30

Total 45h 14h 7h30 66h30

Crédits 68 14 8 120

% en crédits pour

chaque UE 56,66% 11,67% 6,67%

+ Semestre 4 (stage : 30 Crédits et 25% des crédits)

(12)

III – Fiches d’organisation des unités d’enseignement

(Etablir une fiche par UE)

(13)

Libellé de l’UE : UEF1 Filière : Informatique

Spécialité : Systèmes de recherche d’informations Semestre : 1

Répartition du volume horaire global de

l’UE et de ses matières Cours : 4h30 TD : 4h30 TP: 1h30

Travail personnel :

Crédits et coefficients affectés à l’UE et

à ses matières UE : UEF1 18 crédits Matière 1 : Réseaux

Crédits : 6 Coefficient : 3

Matière 2 : Architecture avancée des ordinateurs

Matière 3 : Systèmes d’exploitation avancés

Mode d'évaluation (continu ou examen) continu & examen

Description des matières - Réseaux

Objectifs : Détailler le fonctionnement d'un réseau global tel que l'Internet et étudier les architectures sur lesquelles ce dernier repose.

- Architecture avancée des ordinateurs Objectifs : Comprendre les notions fondamentales des architectures modernes des ordinateurs et les concepts les plus récents mis en œuvre dans ces systèmes afin d’augmenter les performances.

- Systèmes d’exploitation avancés Objectifs : présenter les concepts sous jacent aux systèmes d’exploitation avancés tel les systèmes concurrents et distribués

(14)

Libellé de l’UE : UEM1 Filière : Informatique

l’UE et de ses matières Cours : 3h TD : 3h TP: 1h30

Travail personnel : 30 mn

à ses matières UE : UEM1 8 crédits Matière 1 : Technologie Objet

Matière 2 : Sémantique des langages de programmation

Description des matières - Technologie Objet

Objectifs : permet à l’étudiant d’acquérir les différents aspects relatifs à la technologie objet, en général, et ceux relatifs à Java en particulier.

- Sémantique des langages de programmation

Objectifs : fournir des méthodes pour raisonner sur les programmes et de permettre la programmation sans erreurs

(15)

Libellé de l’UE : UED1 Filière : Informatique

l’UE et de ses matières Cours : 3h TD : TP:

Travail personnel : 30 mn

à ses matières UE : UED1 4 crédits Matière 1 : Ethique académique

Crédits : 2 Coefficient : 1 Matière 2 : Anglais Crédits : 2

Coefficient : 1

Mode d'évaluation (continu ou examen) examen

Description des matières - Ethique académique

Objectifs : Dispenser dans le cadre de ce cours les principes qui régissent le comportement des différents acteurs de l’enseignement supérieurs

- Anglais

Objectifs : Ce module a donc pour objectif de rendre l'étudiant d'avantage autonome dans son expression orale et écrite, ainsi que dans sa capacité à comprendre un document scientifique en langue anglaise.

(16)

l’UE et de ses matières Cours : 4h30 TD : 4h30 TP:

Travail personnel :

à ses matières UE : UEF2 14 crédits Matière 1 : Programmation concurrente et parallélisme

Matière 2 : Algorithmique avancée et preuve de programmes Crédits : 5

Coefficient : 3

Matière 3 : Simulation Crédits : 4

Coefficient : 3

Description des matières - Programmation concurrente et parallélisme

Objectifs : Familiariser les étudiants avec les concepts de base et les différents paradigmes de la programmation parallèle

- Algorithmique avancée et preuve de programmes

Objectifs : Acquérir des nouveaux concepts en algorithmique et en preuve de programmes

- Simulation

Objectifs : initie aux méthodes de conception des modèles de simulation et à l’étude de comportement dynamique des systèmes à travers les techniques d’analyse de résultats.

(17)

l’UE et de ses matières Cours : 4h30 TD :

TP: 1h30

Travail personnel : 3h

à ses matières UE : UEF3 12 crédits Matière 1 : Systèmes sur puce (SoC) Crédits : 6

Coefficient : 5

Matière 2 : Modélisation des systèmes embarqués

Description des matières - Systèmes sur puce (SoC)

Objectifs : présenter les différentes phases de la mise en oeuvre d’un SoC.

- Modélisation des systèmes embarqués Objectifs : montrer les techniques permettant la modélisation des aspects dynamique et temporel des systèmes embarqués

(18)

TP: 1h30

à ses matières UE : UEF4 12 crédits Matière 1 : Routage

Matière 2 : Sécurité des réseaux Crédits : 6

Coefficient : 5

Description des matières - Routage

Objectifs : comprendre les principaux aspects liés au routage dans les réseaux - Sécurité des réseaux

Objectifs : donner une vision globale de la sécurité des réseaux et les technologies les plus à jour en sécurité.

(19)

TP: 1h30

à ses matières UE : UEF5 12 crédits Matière 1 : Introduction aux systèmes multi-agents

Matière 2 : Systèmes Complexes Crédits : 6

Coefficient : 5

Description des matières - Introduction aux systèmes multi- agents

Objectifs : permet à l’étudiant de s’initier aux notions de base des modèles multi- agent

- Méthodes de résolution de problèmes

Objectifs : l’étude de la résolution de problèmes par recherche sur un ensemble d’états est d’approfondir cet aspect vers les méta-heuristiques

(20)

TP: 3h

Travail personnel : 1h30

à ses matières UE : UEF5 12 crédits Matière 1 : classification et analyse des données

Matière 2 : cryptographie Crédits : 6

Coefficient : 5

Description des matières - Classification et analyse des données

Objectifs : Le but de ce cours est de donner aux étudiant(e)s une formation de base en traitement de données

multidimensionnelles.

- Cryptographie

Objectifs : Décrire les principales notions mises en œuvre dans le domaine de la cryptologie.

(21)

Libellé de l’UE : UED2 Filière : Informatique

à ses matières UE : UED2 4 crédits Matière 1 : Technologie Web

Matière 2 : Méthodologie de recherche Crédits : 2

Coefficient : 1

Mode d'évaluation (continu ou examen) examen

Description des matières - Technologie Web

Objectifs : d’apporter aux étudiants les connaissances théoriques et pratiques des technologies Web, et en particulier présenter les principales méthodes, langages et outils dédiés à la conception d'applications Web.

- Méthodologie de recherche

Objectifs : initier l’étudiant aux principales méthodes de recherche, de mener correctement un projet de recherche, et de savoir communiquer les résultats de la recherche.

(22)

Spécialité : Systèmes de Recherche d’Informations Semestre : 3

TP:

Travail personnel : 4h30

à ses matières UE : UEF6 16 crédits Matière 1 : Recherche d’information

textuelle.

Matière 2 : Recherche d’information multimédia.

Matière 3 : Apprentissage automatique Crédits : 4

Coefficient : 3

Description des matières - Recherche d’information textuelle Objectifs : Présentation de la

problématique de la recherche

d’information textuelle et les différentes solutions existantes

- Recherche d’information multimédia Objectifs : étudier les problèmes et les techniques qui apparaissent dans la construction de systèmes de recherche multimédia.

- Apprentissage automatique Objectifs : Découverte des techniques d'apprentissage à partir de données et de leur utilisation potentielle pour la recherche d'informations

(23)

à ses matières UE : UEF7 8 crédits Matière 1 : Reconnaissance de forme

pour l’image

Matière 2 : Ontologies et recherche d'informations

Mode d'évaluation (continu ou examen) Continu & examen

Description des matières - Reconnaissance de forme pour l’image Objectifs : Ce module vise à appréhender les principes généraux relatifs aux chaines classiques de reconnaissance des formes.

- Ontologies et recherche d'informations Objectifs : définir l’objet « ontologie » et son intérêt, les différentes facettes relatives à l’ingénierie ontologique

(24)

Libellé de l’UE : UEM2 Filière : Informatique

à ses matières UE : UEM2 6 crédits Matière 1 : Base de données orientée objets

Matière 2 : Parallélisme Crédits : 3

Coefficient : 2

Description des matières - Base de données orientée objets Objectifs : de faire le lien entre les besoins actuels en recherche d’information et les bases de données orienté objet.

- Parallélisme

Objectifs : Permettre aux étudiants d’acquérir les compétences pratiques nécessaires au développement d’algorithmes parallèles de recherche d’informations

(25)

IV - Programme détaillé par matière

(1 fiche détaillée par matière)

(26)

Intitulé de la matière : Réseaux

Semestre : Semestre S1

Enseignant responsable de l’UE :Riadh HOCINE.

1.

Enseignant responsable de la matière : Chafik ARAR.

Objectifs de l’enseignement (Décrire ce que l’étudiant est censé avoir acquis comme compétences après le succès à cette matière – maximum 3 lignes).

Le module Réseaux s'inscrit dans la continuité du module Introduction aux réseaux de licence (qui est pré-requise). Il a pour but de détailler le fonctionnement d'un réseau global tel que l'Internet et d'étudier les architectures sur lesquelles ce dernier repose.

Connaissances préalables recommandées (descriptif succinct des connaissances requises pour pouvoir suivre cet enseignement – Maximum 2 lignes).

Module Introduction aux réseaux de la formation Licence.

Contenu de la matière : - Applications réseau - Couche transport - Couche réseau - Routage

- Architectures supports - Ethernet - Architectures supports - Point-à-point Mode d’évaluation : continu, examen.

Références (Livres et polycopiés, sites internet, etc).

1. Computer Networking, 3nd edition, de James F. KUROSE et Keith W. ROSS 2. Internetworking with TCP/IP, 4th edition, de Douglas COMER

3. Computer Networks, 4th edition, de Andrew S. TANENBAUM

4. High Speed Networks and Internets, 2nd edition, de William STALLINGS

(27)

Intitulé de la matière : Architecture avancée des ordinateurs

Semestre : 1

Enseignant responsable de l’UE : Riadh HOCINE Enseignant responsable de la matière: Riadh HOCINE

Objectifs de l’enseignement (Décrire ce que l’étudiant est censé avoir acquis comme compétences après le succès à cette matière – maximum 3 lignes).

- Comprendre les notions fondamentales des architectures modernes des ordinateurs et les concepts les plus récents mis en œuvre dans ces systèmes afin d’augmenter les performances (pipelining, ordonnancement dynamique, processeurs superscalaires, vectoriels, VLIW,…).

- Familiariser l’étudiant avec les techniques les plus avancées en architecture des ordinateurs utilisés dans les microprocesseurs actuels et leurs relations avec les phases critiques de compilation.

- Présenter les techniques d’organisation du système, ayant une influence sur les performances de la machine (mémoire cache, mémoire virtuelle, périphériques,…).

- Initier l’étudiant à la vision du parallélisme et des architectures multiprocesseurs

Architecture des ordinateurs (formation licence LMD informatique).

Contenu de la matière :

- Introduction aux architectures avancées (Performance, RISC, …)

- Techniques d’amélioration de performances (Pipelining, superscalaire, VLIW,…) - Techniques de compilation pour architectures avancées

- Systèmes de mémoire et mémoires caches - Entrées/sorties

- Architectures parallèles et systèmes multiprocesseurs (SIMD, MIMD,…) Mode d’évaluation : continu, examen.

- A J. Van de GOOR « Computer Architecture and Design » Wesley Publishing Company.

- A. Mostafa « Fundamentals of Computer Organization and Architecture » Wiley Edition - S. G. SHIVA « Computer Design and Architecture » Marcel dekker 2000

- A. Mostafa « Advanced Computer Architecture and Parallel Processing » Wiley Edition - J. Hennessy, D. Patterson « Architecture des ordinateurs : une approche quantitative » - Nicholas P. CARTER « Architecture de l’ordinateur ». EdiScience Schaum’s.

- F. Cappelo « Une introduction aux architectures parallèles » Université Paris-Sud 1998 - F. Pellegrini « Architectures et systèmes des calculateurs parallèles » Enseirb 2003

(28)

Intitulé de la matière : Systèmes d’exploitation avancés

Semestre : 1

Enseignant responsable de l’UE : Riadh HOCINE

Enseignant responsable de la matière: Nacer Eddine BENABBAS

L’objectif de ce module est de présenter les concepts sous jacent aux systèmes d’exploitation avancés tel les systèmes concurrents et distribués . A l’issue de ce cours l

‘étudiant doit être en mesure de concevoir et implémenter des services de systèmes distribués en Java utilisant les sockets , les appels distants de procédure ou l’invocation distante de méthodes

Rappel sur les processus et threads

1.1 Ordonnancement de processus et threads 1.2 Synchronisation

1.3 L’exclusion mutuelle La concurrence.

2.1 Modélisation d’activité concurrente utilisant les threads Java 2.2 communication

2.3 Etude de cas

Les systèmes distribués.

3.1 Le Modèle client serveur 3.2 Le problème de nommage

3.3 les principes des Appels distants de procédures 3.4 La protection et sécurité

Les RMI

4.1 Principes Généraux des RMI 4.2 Mise en Œuvre des RMI

Mode d’évaluation : continu, examen.

• Modern Operating Systems, A.S. Tanenbaum, Prentice-Hall, 2nd edition, 2001.

• Concurrent Systems, J. Bacon, Addison-Wesley, 2nd edition, 1998.

• Distributed systems: concepts and design, G. Coulouris, J. Dollimore, T. Kindberg, Addison Wesley, 3rd edition,2000.

(29)

Intitulé de la matière : Technologie Objet

Enseignant responsable de l’UE : Ammar LAHLOUHI

Enseignant responsable de la matière: Ammar LAHLOUHI

Ce module permet à l’étudiant d’acquérir les différents aspects relatifs à la technologie objet, en général, et ceux relatifs à Java en particulier.

Les concepts de base du modèle orienté objet

Avoir programmer dans un langage de programmation orientée objet ; de préférence Java.

Chapitre 1. Mise en œuvre (run time) : JVM (Java virtual machine) et interpréteurs Chapitre 2. Architectures à objets distribués (Corba, J2ME, .Net, …)

Chapitre 3. Patterns de conception

Chapitre 4. Méthodologies orientées objets

Chapitre 5. Environnements de développement de systèmes orientés objet (J++, Eclipse, …)

Mode d’évaluation : Examen

Bertrand Meyer, Object-Oriented Software Construction. (2nd Edition). Prentice-Hall International, 2000.

(30)

Intitulé de la matière : Sémantique des langages de programmation

Enseignant responsable de l’UE : Ammar LAHLOUHI

Enseignant responsable de la matière: Mohamed BETTA

L’objectif de ce cours est de fournir des méthodes pour raisonner sur les programmes et de permettre la programmation sans erreurs

Théorie des langages, logique mathématique, paradigmes des langages

• Introduction

• Rappels fondamentaux

• Lambda calcul non typé et typé

• Sémantique Opérationnelle

• Sémantique dénotationnelle

• Sémantique Axiomatique

• Etude d’un langage

Glynn Winskel . The Formal Semantics of Programming Language An Introduction.

MIT Press

Hanne Riis Nielson and Flemming Nielson. SEMANTICS WITH APPLICATION A Formal Introduction. JOHN WILEY & SONS

Fundamental Concepts and Formal Semantics of Programming Languages: An Introductory Course .

Peter D. Mosses. 2002

Kenneth Slonneger , Barry L. Kurtz. Formal Syntax and Semantics of Programming Languages: ALaboratory Based Approach ;. Addison-Wesley 1995

(31)

Intitulé de la matière : Ethique académique

Enseignant responsable de l’UE : Nacer- Eddine BENABBAS

Dispenser dans le cadre de ce cours les principes qui régissent le comportement des différents acteurs de l’enseignement supérieurs. Un accent particulier sera mis sur l’éthique en matière de publication de papiers scientifique.

Introduction

Science et éthique

Ethique dans l’enseignement supérieur

Ethique dans la publication de papiers de recherche

Mode d’évaluation : examen

• IEEE ethics in paper publishing , www.IEEE.org

(32)

Intitulé de la matière : Anglais

Enseignant responsable de l’UE : Nacer- Eddine BENABBAS

Enseignant responsable de la matière: Nacer- Eddine BENABBAS

Ce module a donc pour objectif de rendre l'étudiant d'avantage autonome dans son expression orale et écrite, ainsi que dans sa capacité à comprendre un document scientifique en langue anglaise.

1. La première partie concerne un travail sur des documents récents lui permettent d'être au courant des dernières innovations du domaine de la haute technologie.

2. La deuxième partie du cours est consacrée aux documents déjà présenté. Ceci permet à l'étudiant de parfaire sa production orale. Des revues de presse hebdomadaires sont également présentées.

Mode d’évaluation : Examen.

(33)

Intitulé de la matière : Programmation concurrente et parallélisme

Enseignant responsable de l’UE : Nacer Eddine BENABBAS Enseignant responsable de la matière: Nacer Eddine BENABBAS

Familiariser les étudiants avec les concepts de base et les différents paradigmes de la programmation parallèle. Donner un aperçu de la mise en oeuvre d'algorithmes parallèles sur différents types d'architectures.

Contenu de la matière : Introduction

1.1 Formes de programmation concurrente 1.2 Paradigmes de programmation concurrente Les architectures parallèles

2.1 Classification de Flynn

2.2 Multiprocesseurs et multi-ordinateurs 2.3 Mémoire partagée et mémoire distribuée 2.4 Processeurs multi-coeurs.

Programmation concurrente impérative 3.1 Notions de base

3.2 Communication asynchrone

3.3 Conception d'algorithmes parallèles 3.4 Exemples de langages

Mesures de performance 4.1 Temps d'exécution 4.2 Accélération et efficacité

Mode d’évaluation : continu, examen

• Parallel Programming in C with MPI and Open MP . Michael J. Quinn – 2003 ,Mc Graw Hill.

• Foundations of Multithreaded, Parallel, and Distributed Programming, G.R.

Andrews, Addison-Wesley, 2000.

• Java Threads (Third Edition). S. Oahs, H. Wong – O'Reilly, 2004.

(34)

Intitulé du Matière : Algorithmique avancée et preuve de programmes

Semestre : 2

Enseignant responsable de l’UE : Nacer Eddine Benabbas Enseignant responsable de la matière: Salim Kalla

Acquérir des nouveaux concepts en algorithmique : récursivité et heuristiques et en preuve de programmes. Se familiariser avec les graphes et les algorithmes associés Connaissances préalables recommandées (descriptif succinct des connaissances requises pour pouvoir suivre cet enseignement – Maximum 2 lignes).

Algorithmique générale et structures de donnée Contenu de la matière :

1. Récursivité et paradigme « diviser pour régner » 2. Algorithmes gloutons

3. Algorithmes de tri 4. Graphes et arbres

5. Parcours des arbres et des graphes 6. Plus courts chemins

7. Heuristiques

8. Preuve de programmes

Eléments d’algorithmique D. Beauquier, J. Berstel, P. Chrétienne -

Exercices et problèmes résolus de recherche opérationnelle A. BILLIONNET, J.

CARLIER Dunod 1998.

(35)

Intitulé du Matière : Simulation

Semestre : 2

Enseignant responsable de l’UE : Nacer Eddine Benabbas

Enseignant responsable de la matière: Riadh Hocine

Familiariser l’étudiant avec : les méthodes de simulation, la compréhension des problèmes de construction des modèles de simulation et l’étude du comportement dynamique des systèmes à travers les techniques d’analyse des résultats pour dimensionner et évaluer ces systèmes.

- Mathématique : probabilité et statistiques (Formation licence LMD) - Modélisation (Formation licence LMD)

1. Modélisation des systèmes 2. Principes de simulation 3. Développement de modèles

4. Entrées d’un modèle de simulation (génération des nombres aléatoires) 5. Outils de simulation

6. Analyse et validation des résultats de simulation

- Byron J. T. Morgam « Elements of simulation » CHAPMAN AND HALL - S.V. Hoover and R.F. Perry «SIMULATION: A Problem-Solving Approach » - E. Russell «Building Simulation Models with SIMSCRIPT II.5 »

(36)

Intitulé du Matière : Systèmes sur puce (SoC)

Semestre : 2

Enseignant responsable de l’UE : Hamoudi KALLA

Enseignant responsable de la matière: Hamoudi KALLA

Un système sur puce, System-on-Chip, SoC, est un système hétérogène, composé d'éléments de natures diverses (composant logiciel, matériel, ASIC, ...). Ce cours présente les différentes phases de la mise en oeuvre de tels systèmes.

- Problématique des systèmes embarqués - Introduction au SoC

- Etat de l'art technologique

- Reuse et Les IP (Intellectual Property), composants virtuels - Modélisation des systèmes sur puce :

- Les langages de haut niveau

- Langage pour la conception conjointe (SystemC) - Architecture matérielle des systèmes sur puce

- Les systèmes d’interconnexion - partitionnement logiciel/matériel - outils de simulation et de synthèse

- Support de cours

- OSCI and NC-SystemC. Simulators for systemc. http://www.systemc.org/.

(37)

Intitulé du Matière : Modélisation des systèmes embarqués

Semestre : 2

Enseignant responsable de l’UE : Hamoudi Kalla

Enseignant responsable de la matière: Mohamed Betta

L’objectif de cours est de montrer les techniques permettant la modélisation des aspects dynamique et temporel des systèmes embarqués.

Génie logiciel ,Logique mathématique, Théorie des langages

- Principe de la modélisation :

Présentation des principes de modélisation : qu’est-ce que modéliser, pourquoi modéliser, et comment.

- Approche multi-paradigmes (Objet, Composant, Aspect) à la modélisation des systèmes Embarqués

- Notion de modèle et méta-Modèle - Les techniques de méta-modélisation - Langages de modélisation

- Automates communicants, temporisés, hiérarchiques, hybrides - Réseaux de Petri, réseaux de Petri temporels

- Introduction à UML

E,-R Olderog and H. Dierks. Real-Time Systems formal specification and automatic verification.

CAMBRIDGE UNIVERSITY PRESS 2008

Carol Britton and Jill Doake. A STUDENT GUIDE TO OBJECT-ORIENTED DEVELOPMENT.ELSEVIER 2005

Henri Habrias Marc Frappier. Software Specification Methods. ISTE 2006

Hermann Kopetz. REAL-TIME SYSTEMS Design Principles for Distributed Embedded Applications. KLUWER ACADEMIC PUBLISHERS 1997

(38)

Intitulé de la matière : Routage

Semestre : 2

Enseignant responsable de l’UE : Chafik ARAR.

Enseignant responsable de la matière : Chafik ARAR.

Le routage figure parmi les composants fondamentaux d'un système de communication.

Ce module, couvre les principaux aspects liés au routage dans les réseaux informatiques. Il permettra à l'étudiant de comprendre les décisions techniques prises dans plusieurs propositions existantes et de développer sa propre capacité de conception de nouvelles approches de routage.

Ce cours nécessite des connaissances élémentaires sur les réseaux. (module réseaux)

− Introduction aux principaux aspects liés au routage.

− Protocoles de routage du type unicast et multicast.

− Le monde Internet : adressage, subnetting et supernetting (CIDR). Routage intra et interdomaine.

− Routage dans les réseaux mobiles et de mobiles

− Les techniques modernes de routage.

1. "Réseaux", Andrew Tanenbaum ,Pearson Education.

2. "Computer Networks: A system approach", Larry Peterson and Bruce Dave, Morgan Kaufmann.

3. "Routing in the Internet", Christian Huitema, Prentice Hall.

4. "Internetworking with TCP/IP: Principles, protocols, and architectures", Douglas Comer, Prentice Hall.

(39)

Intitulé de la matière : Sécurité des réseaux

Semestre : 2

Enseignant responsable de l’UE : Chafik ARAR.

Enseignant responsable de la matière : Nora ALLOUI.

Ce module a pour objectif de donner une vision globale et cohérente de la sécurité des réseaux. Il introduit les enjeux, les concepts, les technologies les plus à jour en sécurité. Il permet de se familiariser avec le vocabulaire, les standards et les technologies du domaine

Ce cours nécessite des connaissances élémentaires sur les réseaux. (module réseaux)

− Qu’est ce que la sécurité des réseaux ?

− La cryptographie.

− L’authentification

− L’intégrité.

− Stéganographie

− Certificats et Distribution des clés.

− Secure E-Mail.

− Commerce électronique.

− Network-Layer Security : IPsec.

1. Applied Cryptography. Bruce Schneier. John Wiley & Sons.

2. Les protocoles de sécurité de l'internet. S. Natkin. Dunod.

(40)

Intitulé de la matière :

Introduction aux systèmes multi-agent

Enseignant responsable de l’UE : Ammar LAHLOUHI

Cette matière permet à l’étudiant de s’initier aux notions de base des modèles multi-agent.

Elle lui explique les notions d’autonomie des agents et de coopération et lui donne les premières idées sur les types d’agents.

Notions de base sur l’ingénierie des connaissances Notions de base sur le paradigme orienté objet

Chapitre 1. Aspects individuels des agents

Chapitre 2. Quelques applications des agents individuels Chapitre 3. Des agents individuels aux systèmes multi-agents Chapitre 4. Applications nécessitantes des modèles multi-agents

Chapitre 5. Implémentation multi-agents : Simulation et Génie logiciel orienté agent

Mode d’évaluation : ………Examen………

Références (Livres et polycopiés, sites Internet, etc.).

Russel & Norvig, Artificial Intelligence : A Modern Approach, 2^nd édition, Prentice Hall, 2003

Michael Wooldridge, An Introduction to MultiAgent Systems, John Wiley & Sons, Inc., 2001

(41)

Intitulé de la matière : Méthodes de résolution de problèmes

Semestre : S2

Enseignant responsable de l’UE : Ammar LAHLOUHI Enseignant responsable de la matière: Ammar LAHLOUHI

L’objectif est l’étude de la résolution de problèmes par recherche sur un ensemble d’états est d’approfondir cet aspect vers les méta-heuristiques

Expérience avec des langages de programmation

Chapitre 1. Intelligence artificielle et résolution de problèmes par recherche Chapitre 2. Recherche aveugle,

Chapitre 3. Méthodes heuristiques Chapitre 4. Algorithme A*

Chapitre 5. Méta-heuristiques

Mode d’évaluation : ………Examen………

Russel & Norvig, Artificial Intelligence : A Modern Approach, 2^nd édition, Prentice Hall, 2003

(42)

Intitulé de la matière : Classification et analyse des données

Enseignant responsable de l’UE :BEHLOUL ALI

Enseignant responsable de la matière: BEHLOUL ALI

A l'issue de ce cours, les étudiants doivent être capables de :

- Traiter et décrire l'information contenue dans des grands ensemble de données ; - Comprendre les mécanismes qui justifient l'emploi de telle ou telle méthode ; - Résoudre des problèmes avec données réelles.

Algèbre linéaire et calcul matriciel.

CHAPITRE I : introduction et rappels d'algèbre CHAPITRE I : Méthodes d’analyse factorielle

Méthodes descriptives (ACP, AFC)

Méthodes explicatives (Régression linéaire, Analyse discriminatoire) CHAPITRE III : Méthodes de classification

Rôle et importance des classifications Les méthodes "descendantes"

Méthodes de partitionnement

B.François et B.Jean-Pierre , "Éléments de classification: aspects combinatoires et algorithmiques", édition Lavoisier (2007).

L.Lebart, A.Morineau et J.P. Fenelon , "Traitement des données statistiques".Edition Dunod (1982).

G.Saporta, "Probabilités, analyse des données et statistiques".édition. Tecnip (1990).

Romeder, J.M, "Méthodes et programmes d'analyse discriminante". Edition Dunod (1973).

(43)

Intitulé de la matière : Cryptographie

Enseignant responsable de l’UE :BEHLOUL ALI

Enseignant responsable de la matière: SAADI LEILA

Connaître les principaux algorithmes utilisés en cryptographie. Et savoir manipuler les concepts-clés de la cryptologie : confidentialité, authenticité, intégrité.

Chapitre I : Introduction et rappels mathématiques

Chapitre II : Le chiffrement symétrique, asymétrique et modes opératoires Chapitre III : Echange de clés et authentification

Chapitre IV : Signature électronique Chapitre V : Protocoles interactifs

J. Buchmann, "Introduction à la cryptographie", édition Dunod (2006).

J. Dumas, J. Roch, E. Tannier, S. Varrette, "Théorie des codes", édition Dunod (2007).

(44)

Intitulé du Matière : Technologie web

Semestre : 2

Enseignant responsable de l’UE : Rachid Seghir

Enseignant responsable de la matière: Ali Behloul

Le but de ce cours est d’apporter aux étudiants les connaissances théoriques et pratiques des technologies Web, et en particulier présenter les principales méthodes, langages et outils dédiés à la conception d'applications Web.

- HTML/XHTML, CSS

- Les concepts de la programmation dynamique Web

- Introduction Les langages de programmation Web (PHP, XML, JSP, ASP,...).

- PHP, PHP-MySQL - XML/ XSLT

- JavaScripts et AJAX

- Java Server Pages (JSP) et Servlets.

• PHP professionnel, Ed. Eyrolles, août 2000.

• Java servlets, J. HUNTER, O'Reilly

• XML, R. Eckstein & M. Casabianca, 1ere édition, avril 2000.

• JSP Professionnel – Wrox Tean Eyrolles, février 2001

• JPS – Java Sever Pages Développement de sites wels dynamiques

• XML, le guide de l’utilisateur, Osman Eyrolles, E.R. Harold

(45)

Intitulé du Matière : Méthodologies de Recherche

Semestre : 2

Enseignant responsable de l’UE : Rachid Seghir Enseignant responsable de la matière: Rachid Seghir

Permettre aux étudiants de s’initier aux principales méthodes de recherche, de mener correctement un projet de recherche, et de savoir communiquer les résultats de la recherche.

- La recherche publique et en entreprise - Méthodes de recherche

- L’évaluation de la recherche - Les outils d’un chercheur

- Communication des résultats de la recherche.

- Dalhoumi S. « Cours de méthodologie », support de cours, Formation de formateurs, Cerist, Alger, Février 2004.

- Labasse B., « La communication scientifique ; principes et méthodes », Pôle Universitaire de Lyon, 2001

- Mucchielli A., « La nouvelle communication : épistémologie des sciences de l'information – communication », Armand Collin, 2000

- Salvador Juan. « Méthodes de recherche en sciences socio-humaines : Approche critique des techniques », Presses Universitaires de France (PUF), 1999, p304.

(46)

Intitulé du Matière : Recherche d’information textuelle

Semestre : 3

Enseignant responsable de l’UE : Guezouli Larbi

Enseignant responsable de la matière: Guezouli Larbi

L'objectif de ce cours est de présenter la problématique de la fouille textuelle dans une grande base de données et les différentes solutions existantes. Après ce cours, l’étudiant doit pourvoir décrire les informations non structurées et sera en mesure d’utiliser les techniques classiques de recherche d’informations dans le cadre du développement logiciel et d’activités scientifiques.

Les cours du S2 suivants :

- Algorithmique avancée et preuve de programmes - Analyse de données

- Méthodologies de recherche Contenu de la matière :

Chapitre I : Les systèmes de recherche d’information

Chapitre II : Les modèles de bases de la recherche documentaire Chapitre III : Les principaux systèmes de détection de plagia

R. Baeza-Yates, B. Ribeiro-Neto: “Modern Information Retrieval”. ACM Press, New York (NY), 1999.

G. Salton: “Automatic Text Processing”. Addison-Wesley, Reading (MA), 1989.

W. B. Frakes, R. Baeza-Yates: “Information Retrieval: Data Structures &

Algorithms”. Prentice Hall, Englewood Cliffs (NJ), 1992.

K. van Rijsbergen: “Information Retrieval”. Butterworths, London (UK), 1979.