MASTER 2 PROFESSIONNEL INFORMATIQUE Génie Logiciel, Logiciels Répartis et Embarqués Secrétariat Pédagogique Téléphone :(+33)(0)561558639 Brigitte BÉCHU Email : secm2info@adm.ups-tlse.fr Bât 1TP1 - B6 bis Porte 10 Responsables C. Maurel, maurel@irit.fr, 05 61 55 62 46 J.-P. Arcangeli, arcangel@irit.fr, 05 61 55 63 49 B. Cherbonneau, cherbonn@irit.fr, 05 61 55 63 52 Site : http://www.irit.fr/personnel/smac/arcangeli/m2glre.html/
FINALITE L'objectif est de former des informaticiens hautement qualifiés qui peuvent être intégrés efficacement dans les processus de réalisation et de maintenance de systèmes à forte composante logicielle. Les logiciels ciblés sont en particulier les logiciels répartis ou embarqués. La formation s'attache à présenter des concepts fondamentaux, méthodes, outils et techniques pour concevoir, réaliser, intégrer, vérifier (ou faire concevoir, réaliser, intégrer, vérifier) des produits à base de logiciels, en favorisant une approche globale «système». ORGANISATION La formation est organisée en 12 unités d enseignement (UE) sur 2 semestres. 30 ECTS sont délivrés par semestre. Un tronc commun présente les concepts généraux. Il est complété par deux parcours, proposant respectivement des spécialisations techniques vers les logiciels répartis et vers les logiciels embarqués. Les deux parcours se différentient par 2 UE au second semestre (UE9 et UE10). La formation s effectue en alternance au rythme de 3 jours de stage et 2 jours de cours par semaine, sur une année universitaire. Le stage en entreprise dure 8 mois, de novembre à juin, sous convention de stage ou contrat de professionnalisation. Dans le cadre du stage, la formation met en situation professionnelle les étudiants, en particulier ceux n'ayant pas ou peu d'expérience sur le terrain. Entreprises partenaires La formation s'appuie sur un partenariat établi de longue date avec des entreprises régionales de différents domaines, en particulier, l'espace, l'aéronautique, les systèmes embarqués, les transports, les télécommunications, la santé. Les différents partenaires industriels participent à l'élaboration des programmes et interviennent dans le cadre d'enseignements académiques ou de conférences, ou dans l'encadrement des stagiaires qu ils accueillent. DEBOUCHES 1 Postes de cadre spécialisé en spécification, conception, codage, test et intégration de logiciel, en qualité et en management de projets, et postes de consultant dans ces domaines. Les débouchés sont ciblés vers les sociétés de service et les donneurs d'ordre (grands comptes, administrations...). 1 Les données relatives à l insertion professionnelle des diplômés sont disponibles sur le site Web de la formation. 2
INSCRIPTION EN M2 POUR L ANNEE 2011-2012 Niveau de recrutement : Peuvent candidater les étudiants titulaires d une première année (M1) d un Master en informatique ou d un titre d ingénieur en informatique ou d un titre équivalent. Admission sur dossier Toute demande d admission passe obligatoirement par un dépôt de candidature sur le site web de l UPS http://interdig.ups-tlse.fr/fr/syspo.htm Sélectionner les rubriques suivantes : Domaine : DM07 STS Sciences, Technologies, Santé Mention : MM012 Informatique S affiche la liste des spécialités parmi lesquelles se trouve le M2P GLRE Le Master 2 GLRE peut également accueillir des étudiants en formation continue ou titulaires d un autre Master, après examen détaillé de leur cursus et/ou de leurs acquis professionnels. Le diplôme est aussi accessible en VAE. 3
Description synthétique par semestre SEMESTRE 1 Parcours ECTS Vol. horaire Approche Système et Management de Projets Informatiques 6 60 Modèle d Ingénierie du Processus de Développement 3 20 Vérification Formelle de Systèmes 3 20 Architecture Logicielle et Ingénierie des Modèles 6 72 Ergonomie et Interaction Homme-Machine 3 36 Culture Générale et Scientifique 6 60 Stage 1 3 SEMESTRE 2 Parcours ECTS Vol. horaire Ingénierie du Test et de l Intégration 3 36 Conception d Applications Réparties LR 6 72 Technologies pour la Répartition LR 6 72 Conception d Applications Temps-Réel et Embarquées LE 6 72 Programmation Avancée et Optimisation LE 6 72 Travaux d Etudes et de Recherche 3 Stage 2 12 4
UE1 Approche Système et Management de Projets Informatiques Semestre 1 6 ECTS Volume horaire : 60H (32h cours, 28h TD) Responsable : B. Cherbonneau, cherbonn@irit.fr Intervenants : B. Cherbonneau, X Acquérir les techniques modernes de management des projets traditionnels Cycles de vie (client, sous-traitant, maintenance) Décompositions (WBS, PBS, OBS) Maîtrise des risques Estimations Planification Pilotage Mise en œuvre des concepts durant le stage, exercices, recherche documentaire, rédaction de rapports de synthèse UE2 Modèle d Ingénierie du Processus de Développement Semestre 1 3 ECTS Volume horaire : 20h Responsable : B. Coulette, Bernard.Coulette@univ-tlse2.fr Intervenants : B. Coulette, P.-J. Charrel Connaître les principaux modèles, techniques et outils pour la modélisation du processus de développement du logiciel, en focalisant l attention sur l ingénierie des exigences Ingénierie des exigences Introduction aux procédés logiciels Modélisation de procédés par une approche fonctionnelle hiérarchique (formalisme et démarche SADT) Modélisation des procédés avec le standard SPEM : présentation du méta-modèle, démarche de construction d un procédé Modèles du procédé d'ingénierie des exigences Etude de cas : modélisation en SADT et SPEM d un procédé d ingénierie des exigences 5
UE3 Vérification Formelle de Systèmes Semestre 1 3 ECTS Volume horaire : 20h Responsable : J.-P. Bodeveix, bodeveix@irit.fr Intervenants : J.-P. Bahsoun, J.-P. Bodeveix Acquérir les techniques de modélisation formelle et connaître les principes et outils de vérification de modèles Notion de système réactif Expression de propriétés comportementales Logique temporelle linéaire Description de comportements (langage Promela), Etats accessibles Méthode des tableaux et automates de Büchi Application à la vérification de modèles Expression de protocoles en Spin (exclusion mutuelle, bit alterné,...), définition de propriétés. Etude de l'outil Spin. Modélisation des systèmes réactifs, logique temporelle. UE4 Architecture Logicielle et Ingénierie des Modèles Semestre 1 6 ECTS Volume horaire : 72h (40h cours, 24h TD, 8h TP) Responsable : J.-P. Arcangeli, arcangel@irit.fr Intervenants : J.-P. Arcangeli, C. Chaudet, L. Féraud, F. Migeon 1) Architecture Logicielle Connaître les techniques, les méthodes et les outils permettant d organiser au mieux les constituants d un logiciel compte tenu des exigences fonctionnelles et non fonctionnelles Style d'architecture Langages de description d'architecture Qualité et évolution des architectures Design patterns Composants logiciels, réutilisation Modèles de composants (OSGi, Fractal...) Architectures orientées service 6
Conception à base de design patterns. Mise en œuvre de l approche composant avec Fractal/AOKell et OSGi 2) Principes et Fondements de la Méta-modélisation Connaître les principes et les fondements de la méta-modélisation Ingénierie des modèles Transformation de modèles Méta-modèles Conception de méta-modèles UE5 Ergonomie et Interaction Homme-Machine Semestre 1 3 ECTS Volume horaire : 36h (24h cours, 12h TD) Responsable : P. Truillet, truillet@irit.fr Intervenants : C. Bach, P. Truillet, X Connaître les possibilités et les limites d un opérateur humain. Comprendre les différents modèles de l humain en situation d interaction. Acquérir les différentes connaissances ergonomiques dédiées aux informaticiens (règles ergonomiques, standard, etc.). Savoir prendre en compte le point de vue des utilisateurs dans un projet de conception d IHM. Modèles de l utilisateur Critères et règles ergonomiques Conception centrée utilisateur Mise en œuvre des concepts au travers d'exercices pratiques au niveau de l'analyse de logiciels ou de leur conception UE6 Culture Générale et Scientifique Semestre 1 6 ECTS Volume horaire : 60h (8h cours, 40h TD, 12h conférences) Responsable : C. Maurel, maurel@irit.fr Intervenants : C. Birochau, N. Grenier, X 1) Anglais 7
2) Communication Identifier les facteurs influençant la communication. Savoir faire une présentation orale. Etre en mesure de rédiger un rapport de stage et une présentation visuelle. Connaître les fondamentaux de la conduite de réunion Principes de la communication verbale et non verbale, études des différents facteurs Prise de parole en public : structure du discours et prise en compte de l auditoire (analyse des techniques) Structuration d un rapport de stage : fond et forme Etudes de présentations orales : plan, contenu, communication, diaporama Travail en groupe et conduite de réunion : objectifs, outils et moyens Exercices de communication Mises en situation : présentations orales de chaque étudiant sur le stage Etudes de rapports de stage existants Jeu de rôle sur la conduite de réunion 3) Préparation aux entretiens de recrutement Appréhender les enjeux du recrutement. Bien préparer sa recherche de stage et d emploi, savoir se présenter et mettre son potentiel en valeur. Panorama du marché et des tendances de recrutement Conception de CV et lettre de motivation Préparation d entretien (téléphonique et face à face) avec un fort appui sur la communication (verbale, attitude-comportement, intonation ) Mise en situation par réalisation de séances en groupes de jeux de rôle (séance de recrutement) 4) Conférences Au moyen de conférences à caractère informant plutôt que formant données par des industriels (éventuellement d anciens étudiants), acquérir une connaissance actualisée de l activité et des préoccupations de l industrie du logiciel, ainsi que des métiers. Technologies innovantes Retour d expériences Perspectives et orientations stratégiques Les différents métiers 8
UE7 Stage 1 (en entreprise) Semestre 1 3 ECTS Responsable : B. Cherbonneau, cherbonn@irit.fr Mise en situation professionnelle. Réalisation d un travail utile à l entreprise. Acquisition d expérience Stage en milieu professionnel de novembre à juin. Les premiers mois en entreprise donnent lieu, en fin de semestre, à une présentation orale des objectifs du stage, du périmètre et des technologies manipulées. UE8 Ingénierie du Test et de l Intégration Semestre 2 3 ECTS Volume horaire : 36h (24h cours, 12H TD) Responsable : B. Cherbonneau, cherbonn@irit.fr Intervenants : D. Prun, X Comprendre les enjeux des phases d IVVQ (Intégration, Vérification, Validation, Qualification). Maîtriser les processus, méthodes et outils d IVVQ. Mettre en œuvre concrètement les activités d IVVQ. Définition et mise en place du processus d IVVQ (contexte, objectifs, étapes, testware, aspects normatifs ) Techniques de test (stratégie de test, définition et utilisation d objectif de test, spécification de test ) Organisation d une phase de test (tâches, planification, suivi, contrôle, gestion des ressources, risques ) Infrastructures de test (les types d environnements, les différents outils de test ) Mise en œuvre par des exercices d application (TD) ainsi que par la mise en pratique sur des cas concrets (TP) 9
Parcours «Logiciels Répartis» UE9R Conception d Applications Réparties Semestre 2 6 ECTS Volume horaire : 72h (40h cours, 20h TD, 12h TP) Responsable : J.-P. Arcangeli, arcangel@irit.fr Intervenants : J.-P. Arcangeli, P.-Y. Bonnetain, F. Migeon, V. Noël 1) Modèles et middleware Connaître et comprendre les principaux modèles et mécanismes de programmation répartie, ainsi que les technologies du middleware. Pouvoir concevoir et mettre en œuvre des applications réparties au moyen de ces modèles et technologies Problématique de la répartition Design patterns pour la répartition Modèles de programmation : procédures distantes, objets répartis, acteurs, agents et agents mobiles Middleware Mise en œuvre d applications en Java (TP) 2) Sécurité Etre capable d intervenir dans un projet en prenant en compte la dimension sécurité en interaction avec des spécialistes. Avoir une vue des problèmes de sécurité et des risques, connaître les grandes familles d'incidents. Connaître les principes de la gestion des risques et de la sécurisation d'un système d'information Environnement général - Environnement technique - Environnement juridique et règlementaire - Environnement humain et économique Exemples et contre-exemples de sécurité - Analyse des risques sur l'information - Taxonomie d'incidents de sécurité - Attitudes de sécurité Stratégies de sécurité - Défense en profondeur - Détection, contingentement - Gestion post-mortem L'ensemble du cours est illustré par de nombreux exemples détaillés issus du monde réel 10
Parcours «Logiciels Répartis» UE10R Technologies pour la Répartition Semestre 2 6 ECTS Volume horaire : 72h (30h cours, 16h TD, 14h TP, 12h conférences) Responsable : J.-P. Arcangeli, arcangel@irit.fr Intervenants : E. Bonnet, F. Colin, O. Nicolas, J. Tricoire, M. Véra, X 1) Architecture Multicouche Web et Outillage Java Comprendre et savoir mettre en œuvre les architectures multi-couches Internet et Intranet avec Java JEE Architectures N-tiers Client : Servlet/JSP Client : Struts JMS Persistance : JPA EJB : architecture, session, MDB OSGi Web Services Sécurité JSSE Règles métier Mise en œuvre des technologies étudiées dans le cadre d un projet en groupe 2) Technologie.Net Connaître les technologies de développement Microsoft.Net et être capable de participer à un projet dans lequel elles sont utilisées. Langage C# et environnement de développement Visual Studio 2010 Conception d un site Web en ASP.NET 4.0, enrichissement d un site Web avec Silverlight Architectures orientées service via Windows Communication Foundation 3) Conférences Cf. UE6. Ici, les conférences ciblent le domaine des applications réparties. 11
Parcours «Logiciels Embarqués» UE9E Conception d Applications Temps-Réel et Embarquées Semestre 2 6 ECTS Volume horaire : 72h Responsable : X Intervenants : X Connaître les principaux problèmes liés à la prise en compte des contraintes de temps réel dans la conception des applications embarquées Introduction générale au cycle de développement des applications temps réel Contraintes de temps (sources et modes de spécification) Automates à états finis et automates temporisés pour la description de comportement des objets Spécification de propriétés temporelles Modélisation de comportements en UML Parcours «Logiciels Embarqués» UE10E Programmation Avancée et Optimisation Semestre 2 6 ECTS Volume horaire : 72h (30h cours, 16h TD, 14h TP, 12h conférences) Responsable : J.-M. Pierson, pierson@irit.fr Intervenants : J.-M. Pierson, G. Da Costa, X 1) Programmation des applications embarquées Comprendre les applications embarquées, les contraintes spécifiques, leur impact sur les méthodes de développement. Connaitre les principaux aspects techniques de la réalisation. Principes de conception des applications embarquées Rapide introduction aux couches basses Etude en profondeur par une vision haut niveau Paradigmes de conception Outils : Java-RT, LinuxRT, CorbaRT, FPGA, SoC Programmation de capteurs (Wii-mote, énergie). Programmation sur smartphone (HTC-Android). 12
2) SCADE Connaître les fondements théoriques du langage et de découvrir par la pratique l atelier SCADE Conception de systèmes critiques Génération automatique de code à partir de modèles 3) Conférences Cf. UE6. Ici, les conférences ciblent le domaine des applications embarquées. UE11 Travaux d Etudes et de Recherche Semestre 2 3 ECTS Responsable : J.-P. Arcangeli, arcangel@irit.fr, 05 61 55 63 49 Savoir approfondir un sujet (méthode, technique, outil), abordé (mais non étudié) en cours ou durant le stage. Etre capable d exposer oralement les résultats de son travail. Améliorer sa capacité à travailler en groupe Etude bibliographique ou expérimentale Présentation orale UE12 Stage 2 (en entreprise) Semestre 2 12 ECTS Responsable : B. Cherbonneau, cherbonn@irit.fr, 05 61 55 63 52 Mise en situation professionnelle. Réalisation d un travail utile à l entreprise. Acquisition d expérience Stage en milieu professionnel de novembre à juin. Le stage donne lieu à la rédaction d un rapport écrit et à une présentation du travail réalisé dans le cadre d une soutenance orale. 13