Université de Rennes 1 - Master Informatique - Ifsic

Savoir et savoir-faire associés

L'unité d'enseignement PROJ complète l'unité d'enseignement GPL. Elle est consacrée au développement effectif d'une application logicielle conséquente (codage, test, déploiement) par groupe d'étudiants. Le projet pourra être mené dans le monde industriel.

Le projet fera l'objet d'un rapport, d'une soutenance orale et possiblement d'une démonstration publique du système réalisé.

Prérequis

Connaissance de méthodes et outils d'analyse et au développement de logiciels (modélisation, planification gestionnaires de version, outils de test) acquises par exemple dans le module GPL. Connaissance du langage de programmation utilisé dans le cadre du projet.

Contenu

Informations pratiques

Savoir et savoir-faire associés

L'objectif pour l'étudiant est :

Prérequis

Compétences acquises en L3

Contenu

Le contenu s'articule autour de deux approches de l'apprentissage complémentaires : présentiel + auto-formation guidée
Présentiel (TDs - 24h) :

Auto-formation guidée (24h - obligatoire)

Informations pratiques

Les étudiants consacrent 48h à l'étude de l'anglais. Un semestre est effectué intégralement en présence d'un enseignant (24h). L'autre semestre (24h étudiant) se déroule en auto-formation, la présence d'un enseignant pendant 6h permettant de guider l'auto-formation.

Objectifs

L’UE ACF vise à initier les étudiants à l’utilisation de méthodes formelles pour la spécification et le développement de logiciels sûrs. L’accent est mis sur la compréhension des formules logiques et sur leur utilisation pour la spécification de propriétés de programmes. Les programmes considérés seront définis dans un style fonctionnel.

Savoir et savoir-faire associés

A l’issue de cette UE, l’étudiant doit être capable de programmer une application dans un langage de type fonctionnel et de définir en logique les propriétés attendues de cette application. Il doit, également, être en mesure de formaliser les programmes et les propriétés à l’aide d’un assistant de preuve et de mener à bien leur démonstration dans cet outil.

Prérequis

Maitrise de la programmation. Connaissances de base en logique.

Bibliographie

Informations pratiques

• Responsable U E : Thomas Genet
• Composante : ISTIC
• Crédits U E : 5
• Capacité d'accueil : 80 étudiants
• Langue d'enseignement : français
• Forme de l'enseignement : (présentiel, visio, à distance,....) : présentiel

 

	Cours	T.P.	T.D	Projet	Stage
Présentiel par étudiant	14h	20h
Travail personnel par étudiant	5h	20h

Savoir et savoir-faire associés

Les réseaux et les applications réparties font partie de notre quotidien. En décortiquant le monde de l'Internet, l'objectif de ce cours est double : d'une part il fournira une vision globale descendante des fonctions et protocoles réseaux (20h de cours, 6h de TP) et d'autre part donnera le bagage technique nécessaire à la programmation d'applications réseaux (10h de cours, 16h de TP).

A l'issue du cours, les étudiants sauront comment fonctionne un réseau et quels sont les concepts et fonctions mis en oeuvre dans l'Internet et le Web.

Contenu

Bibliographie

Informations pratiques

Savoir et savoir-faire associés

Ce module se propose d'étudier les principaux mécanismes et protocoles des réseaux informatiques, en ciblant notamment sur les couches basses. L'architecture Internet est utilisée pour illustrer les mécanismes et protocoles étudiés, ainsi que le fonctionnement des principaux composants des réseaux. Ce cours de base est destiné aux étudiants de M1 qui s'orienteraient vers une spécialisation en systèmes et réseaux.

À l'issue du module REPR, l'étudiant maîtrisera les principaux concepts mécanismes et protocoles liés à l'architecture, les mécanismes généraux et les protocoles des réseaux informatiques (en particulier ceux de l'Internet actuel). Il comprendra le fonctionnement d'un réseau informatique. Il saura utiliser et programmer les communications pour concevoir une application répartie simple de type client-serveur sur l'Internet. Il saura utiliser les principaux outils de contrôle des communications sur Internet.

Contenu

Les travaux pratiques illustreront le cours et les travaux dirigés, via la mise en place progressive d'un protocole de niveau Liaison de Données et gestion de l'interaction avec la couche Réseau ; l'analyse et la simulation de CSMA/CD ; l'analyse de tables de routage ; la programmation de sockets en C ; l'analyse de protocoles Ethernet/IP/(TCP|UDP) via un analyseur de trame ; l'analyse de protocoles du niveau application (http, ftp, telnet) ; l'introduction à l'administration des réseaux.

Bibliographie

Informations pratiques

• mention du master : informatique
• Parcours : « systèmes et réseaux »
• Semestre : (de 1 à 4) : 2

Savoir et savoir-faire associés

Cette unité d'enseignement présente les concepts fondamentaux sur lesquels s'appuie la gestion et l'accès aux informations dans les systèmes d'exploitation multitâches, ainsi que les éléments principaux de sa mise en oeuvre. On y voit en particulier les mécanismes permettant de protéger, de partager et d'accéder rapidement aux informations, quel qu'en soit le support. Des travaux pratiques permettent d'illustrer les concepts présentés en cours.

A l'issue de ce module, l'étudiant maîtrisera la gestion mémoire dans les systèmes d'exploitation (mémoire vive, fichiers, partage, sécurité). Il sera en particulier familier avec l'interface du système d'exploitation Unix en terme de gestion mémoire (gestion de fichiers, pagination, segments de mémoire partagée).

Prérequis

Utilisation d'un système, fonctionnement de base d'un processeur (cycle instruction, adressage mémoire), schémas d'exécution de programmes impératifs (pile, passage de paramètres), pratique d'un langage d'assemblage. Connaissance du langage C. Bonne connaissance des principes d'exécution des programmes et de la gestion des processus (tel que fourni par l'U.E. SGP au premier semestre).

Contenu

Les travaux pratiques permettent d'illustrer les concepts vus en cours : programmation système sous Unix (segments de mémoire partagée, mmap), introduction de pagination à la demande et de fichiers mappés dans un mini système d'exploitation.

Bibliographie

Informations pratiques

Savoir et savoir-faire associés

La plupart des applications et des systèmes sont aujourd'hui formées de sites géographiquement dispersés qui partagent des données ou coopèrent à la réalisation d'un but commun. La maîtrise de ces applications passe par la connaissance de concepts, techniques et méthodes appropriées. Le but du module est d'en présenter les éléments principaux et, au travers de ceux-ci, d'appréhender la nature et les fondements de ce qu'il est convenu d'appeler le "calcul réparti". Le calcul réparti constitue la « valeur ajoutée » offerte au dessus des réseaux.

À l'issue de ce module l'étudiant(e) aura une connaissance des concepts et des mécanismes de base que l'on retrouve dans les systèmes et les applications répartis. Il/elle maitrisera les concepts, techniques et mécanismes qui permettent d'appréhender et de maîtriser le contexte "réparti". Du point de vue méthodologie, il/elle aura acquis les méthodes de base propres au réparti.

Ce module est conseillé aux étudiants désirant s'orienter vers les métiers de la recherche.

Prérequis

Connaissance de base d'algorithmique séquentielle, synchronisation, systèmes et réseau.

Contenu

Bibliographie

Informations pratiques

Savoir et savoir-faire associés

Les systèmes temps-réel embarqués sont caractérisés par leurs fortes interactions avec l'environnement extérieur, et sont de ce fait confrontés à des contraintes de temps réel plus ou moins fortes selon le type d'utilisation du système embarqué. Par ailleurs, ils possèdent le plus souvent des ressources limitées, que ce soit en terme de mémoire, d'énergie ou de capacités de traitement. Ce cours s'intéresse à la conception de systèmes embarqués construits à base de microprocesseurs, en insistant largement sur le respect des contraintes temps réel dans ces systèmes. Les travaux pratiques illustrent les méthodes d'ordonnancement temps réel sur des robots Lego Mindstorm.

A l'issue du module, les étudiants maîtriseront la problématique et la validation temporelle des systèmes temps-réel.

Prérequis

Connaissances de base en systèmes d'exploitation multiprogrammés, programmation dans un langage impératif tel que C.

Contenu

Bibliographie

Informations pratiques

Savoir et savoir-faire associés

Ce module a pour objectif de présenter les techniques proposées par l'Intelligence Artificielle pour résoudre des problèmes qui ne peuvent pas raisonnablement être résolus de manière systématique. Il s'appuie sur la résolution de puzzles et de jeux tels que le sudoku, les jeux d'échiquier et les jeux de cartes. Les techniques présentées sont la recherche heuristique avec l'algorithme A*, les algorithmes dédiés aux jeux avec adversaire de type minmax, les algorithmes de résolution de contraintes (CSP) et les techniques de base pour élaborer des stratégies et des plans.

A l'issue de ce module, l'étudiant sera apte à :

Prérequis

Connaissances d'algorithmique de base

Contenu

Les travaux pratiques consisteront à choisir un jeu et à réaliser un programme de jeu en binôme.

Les cours permettent de présenter les algorithmes de base nécessaires. La partie TD est faite pour l'exploration et la mise en pratique sur des exemples concrets des techniques présentés. Les TP et travail personnel doivent permettre aux étudiants de prendre conscience des problèmes posés par la combinatoire inhérente à certains problèmes et de s'attaquer à la réalisation d'un programme pour le jeu de leur choix. Pour les aider, un ensemble de références bibliographiques leur seront fournies. Une partie de l'évaluation tiendra compte de la réalisation de ce programme et de sa présentation aux autres étudiants lors d'un exposé.

Bibliographie

Informations pratiques

Savoir et savoir-faire associés

Cette unité d'enseignement met en évidence l'utilisation, dans le domaine de l'image numérique, des techniques informatiques et des structures de données présentées aux étudiants au cours de leurs études de licence et de Master d'informatique. Le cours comporte une initiation au vocabulaire et à quelques concepts de base pour les images, et met en évidence les relations entre les techniques développées pour la synthèse et celles développées pour l'analyse.

A l'issue de ce module, les étudiants sauront :

Prérequis

Connaissances de base en algorithmique

Contenu

Bibliographie

Informations pratiques

Savoir et savoir-faire associés

La mise en oeuvre d'une application sur des systèmes embarqués doit souvent satisfaire de nombreuses contraintes : obtention d'un niveau élevé de performance, faible coût unitaire et consommation électrique minimale. Afin de satisfaire toutes ces contraintes, il est souvent nécessaire d'utiliser des architectures matérielles spécialisées très complexes (programmables et/ou dédiées), qui posent de nombreux défis aux concepteurs.

L'objectif de ce cours est double :

Les travaux pratiques se feront sur des cartes de prototypage basées sur des processeurs DSP TMS320C50, et à base de circuits programmables de la société Altera.

Prérequis

Connaissances en architecture de machines, notions de langage machine, et programmation en langage C.

Contenu

Bibliographie

Informations pratiques

Objectifs

Les objectifs du module sont (1) de se familiariser avec la théorie des automates, (2) d'apprendre à utiliser les automates comme représentation mathématique d'un système ou d'une propriété, (3) d'introduire les méthodes de vérification formelles qui utilisent la théorie des automates, (4) d'utiliser des outils qui implémentent ces méthodes. Ce module est conseillé aux étudiants désirant s'orienter vers les métiers de la recherche.

Savoir et savoir-faire associés

Le module se divise en deux parties, l'une sur la théorie des automates et l'autre sur la vérification formelle. La première partie prépare à la seconde.

Partie 1: Modélisation d'un système informatique au moyen d'un système de transitions. Introduction à la concurrence et à sa modélisation par des contraintes sur des automates. Introduction à la théorie des automates sur les mots infinis, plus particulièrement celle des automates de Büchi, et celle des  automates alternants. Etude des propriétés de ces automates (déterminisme, union, intersection, ...) et comparaison avec la théorie des automates sur les mots finis. Interprétation topologique des propriétés exprimables pas ces automates.

Partie 2: Présentation d'algorithmes qui utilisent la théorie des automates pour la vérification formelle de propriétés décrites en LTL ou en CTL. Etude détaillée du concept d’«atteignabilité» et lien avec la notion de point fixe.  Implémentation des algorithmes de vérification: structures de données, concepts de pile de stockage, et de table de hachage. Pratique des logiciels classiques SPIN et NuSM. Le cours se termine par une étude succincte des systèmes à espace d'états infini.

Prérequis

 

Bibliographie

• Automata, logics, and infinite games: A guide to current research. Eds : Grädel E., Thomas W., Wilke T., outcome of a Dagstuhl seminar, February 2001, Springer, ISBN 3-540-00388-6, 2002.
• Principles of Model-checking. C. Baier and J.-P. Katoen. MIT Press, 2009.
• Principles of Spin, M. Ben-Ari, Springer Verlag, 2008.

Informations pratiques

• Responsable U E : Sophie Pinchinat
• Equipe pédagogique : Sophie Pinchinat, Axel Legay
• Composante : ISTIC
• Crédits U E : 5
• Capacité d'accueil : 25 étudiants
• Langue d'enseignement : français
• Forme de l'enseignement : (présentiel, visio, à distance,....) : présentiel

	Cours	TP	TD	Projet	Stage
Présentiel par étudiant	24h	12h	12h
Travail personnel par étudiant	10h	6h	6h

Savoir et savoir-faire associés

Ce module présente la modélisation de problèmes par contraintes et préférences et deux paradigmes qui permettent de les résoudre : la programmation par contraintes et les algorithmes génétiques. Ces deux paradigmes sont plongés dans celui de la programmation logique qui permet une lecture logique des contraintes et préférences.

A l'issue de ce module, l'étudiant saura reconnaître des problèmes pour lesquels une solution algorithmique explicite est hors d'atteinte, et il saura alors appliquer des méthodes basées sur les contraintes et les préférences, les programmer et critiquer les résultats obtenus.

Prérequis

Connaissances élémentaires en algorithmique et programmation. Connaissances élémentaires en logique. Aptitude à la programmation.

Contenu

Bibliographie

Informations pratiques

Savoir et savoir-faire associés

L'objectif de ce module pour les étudiants est, via une expérience de 8 semaines minimum dans le milieu professionnel (entreprises privées, laboratoires de recherche) de mettre en pratique les connaissances et compétences acquises lors de leur cursus.

Informations pratiques

Savoir et savoir-faire associés

Le jeu d'entreprise est destiné à faire la synthèse des différents enseignements de gestion dispensés en « Informatique Appliquée à la Gestion ». Les étudiants se regroupent par trois pour constituer l'équipe dirigeante d'une entreprise fictive en concurrence avec d'autres entreprises. Les joueurs ont à prendre des décisions en matière d'investissements, de gestion des ressources humaines, de gestion des approvisionnements et de la production, etc. ; ils ont à remettre en fin de demi-¬journée une feuille de décisions à l'animateur et reçoivent ultérieurement le résultat de leur prestation (ventes, bénéfice, situation de trésorerie, etc.). Le jeu se déroule sur une période équivalente à huit trimestres.

Contenu

Bibliographie

Informations pratiques

Savoir et savoir-faire associés

Le cours a pour but d'approfondir la démarche entreprise en GPA et en BDD. Il comporte deux parties principales :

Prérequis

GPA, BDD

Contenu

Informations pratiques

Savoir et savoir-faire associés

L'objectif du cours est de présenter les méthodes de prévision à court terme : détermination de la tendance, calcul de la saisonnalité, traitement des données atypiques et exceptionnelles. Les étudiants par groupe de deux, devront trouver un « client » (magasin, administration, association..) qui a des données temporelles , analyser les données, trouver et évaluer le modèle de prévision proposé.

A l'issue de ce cours, l'étudiant saura utiliser des méthodes simples et efficaces de prévision à court terme. Les travaux pratiques se feront sous Excel.

Prérequis

Statistique descriptive, statistique inférentielle : estimation, tests d'hypothèses

Contenu

Bibliographie

Informations pratiques

Savoir et savoir-faire associés

Le cours a pour but d'approfondir le contrôle de gestion.

Ce cours est commun avec la première partie de l'U. E. 8 (contrôle de gestion) délivrée à l'IGR en M1 SICG (Système d'information et contrôle de gestion).

Prérequis

Contenu

Informations pratiques

Savoir et savoir-faire associés

La partie en techniques d'expression est une formation axée :

Le stage quant à lui se déroule de début mai à mi août sur 13 semaines dans une entreprise ou une administration. Il a pour objectifs :

Contenu

Savoir et savoir-faire associés

Les langues vivantes proposées par le SCELVA sont l'Espagnol et l'Allamand (voir contenu du module d'espagnol ci-dessous, le contenu étant similaire pour l'Allemand). Ces U.E. sont mutualisées avec les autres formations de l'université et sont dispensées par groupes de 20 étudiants.

Pour l'espagnol, 2 approches de l'apprentissage complémentaires : présentiel + auto-formation guidée

Travail au Centre de Ressources des Langues (présence de documentalistes et locuteurs natifs)

Activités :

La possibilité d'étudier le Japonais et le Chinois est également offerte à quelques étudiants après sélection de leur dossier sur lettre de motivation. Les effectifs attendus pour l'U.E. LV2 sont de quelques étudiants tous les ans (5 à 10 environ).

Informations pratiques