L’objectif est d’initier sur le plan théorique et pratique les étudiants au développement de logiciels «corrects par construction»  pour répondre aux besoins des systèmes critique de fonctionnement(secteur du nucléaire, d’armement, de transport,…)

La démarche déroule une méthode formelle (Méthode B, Vdm++, VdmRT) sur un ou plusieurs ateliers de génie logiciel (AGL). La stratégie de développement est incrémentale et procède en trois étapes en s’appuyant successivement sur un modèle fonctionnel (formalisation des événements/actions), un modèle concurrent (synchronisation fonctionnelle et temporelle des événements/actions) et, finalement, un modèle temps réel (formalisation des contraintes critiques de temps).

Voir la page complète

L’enseignement des systèmes concurrents, dispensé en première année du master informatique, TI, traite la synchronisation d’activités concurrentes dans un modèle centralisé synchrone et asynchrone. Ce modèle correspond, de manière pratique, aux applications parallèles s’exécutant sur une architecture à mémoire commune mono ou multiprocesseurs. On y aborde dans une première partie le problème de l’Exclusion Mutuelle, les solutions matérielles : masquage d’interruptions, instruction TAS (Test and Set), ainsi que les solutions logicielles : verrou et sémaphores. Dans la deuxième partie, le problème de la Synchronisation des processus est abordé, ainsi que les solutions par : Evènements, RDV, et Moniteurs de Hoare. Les travaux pratiques de cet enseignement consistent principalement à la mise en œuvre, avec le langage ADA, d’un certain nombre d’exemples types comme le producteur-consommateur et les Lecteurs-rédacteurs, en utilisant deux de ses outils de synchronisation: les RDV ADA et les Objets protégés, qui sont une implémentation des Moniteurs de Hoare.

Voir la page complète

L’UE Ingénierie des Réseaux aborde les aspects fondamentaux des réseaux de communication afin de fournir une base solide de connaissance pour l’étude des réseaux haut-débit et sans-fils qui sont actuellement déployés. Les étudiants découvrent en  travaux pratiques les routeurs et commutateurs communément utilisés dans les entreprises, et réalisent des scénarios d’interconnexion mettant en œuvre le routage dynamique sur des configurations complexes.

Voir la page complète

Le cours Interaction Homme-Machine (IHM) vise à fournir aux étudiants une compréhension approfondie
des principes fondamentaux et des aspects pratiques liés à la conception et développement d'interfaces
utilisateur efficaces. Le cours aborde divers domaines, de l'introduction générale à l'IHM aux concepts
avancés tels que le développement d'interfaces graphiques en JavaFX et l'introduction à l'interaction 3D.

Voir la page complète

• Notions avancées sur les bases de données relationnelles

• Bases de données distribuées

• Cas particuliers de BD distribuées : NoSQL, distributed SQL

Voir la page complète

L’UE Internet des Objets (IoT) présente les nouvelles technologies liées à ce que l’on appelle communément l’Internet des Objets. Derrière ce concept, il y a un ensemble de technologies, d'architectures et de protocoles qui seront donc présentés. Les étudiants découvrent en travaux pratiques les plateformes matérielles programmables qui sont utilisés dans l'Internet des Objets tels que les plateformes de type Arduino, les protocoles de type MQTT, les environnements/outils/librairies logiciels de type Node-Red,...

Voir la page complète

Préparation à la certification en anglais, Test of English for International Communication (TOEIC).

Le TOEIC mesure les compétences de compréhension écrite et orale pour les niveaux débutant à avancé et détermine si une personne peut communiquer en anglais efficacement et avec aisance dans un contexte professionnel.

Voir la page complète

● Introduction et motivations à la spécification formelle et semi-formelle
● Le formalisme des réseaux de Petri
● Présentation des propriétés
● Vérification de propriétés par graphe des marquages
● Réseaux de Petri de Haut niveau

Voir la page complète

Le projet tutoré consiste à réaliser un développement logiciel. Le sujet est généralement donné par des enseignants/chercheurs (informaticiens ou d’autres disciplines) qui dans le cadre de leurs recherches ou de leurs enseignements ont besoin d’un logiciel pour répondre à un problème précis. Il peut également s’agir d’une entreprise extérieure qui souhaite développer un prototype sur un sujet particulier. Les étudiants travaillent en groupe (entre 2 et 4 étudiants par groupe) et chaque groupe a un projet différent.

L’intérêt pour les étudiants est de travailler sur l’implémentation d’un logiciel qui répond à un réel besoin d’un client. Les étudiants devront étudier le problème posé et proposer des solutions en mettant en œuvre leurs compétences acquises pendant leur formation ainsi qu’en se formant sur de nouvelles technologies. A la fin du projet, le développement réalisé doit être opérationnel.

Il s’agit également d’une initiation à la gestion de projet : un professionnel vient leur enseigner la gestion et le management de projet et ils auront à intégrer dans leur projet des éléments de gestion de projet (définition d’un cahier des charges, d’un planning prévisionnel …).

A la fin du projet, les étudiants rendent un rapport et font une présentation orale. Cela permet de les préparer à leur rapport et soutenance de stage qu’ils auront en M2.

Voir la page complète

Ce module s'intéresse aux architectures client/serveur N-tiers orientées Web en Java. Pour la partie serveur, les technologies de génération dynamique de contenu seront étudiées (Servlet/JSP, JSTL, JSF...). Côté client, on s'intéressera également à la génération dynamique de contenu avec des technologies comme AJAX ou les WebSockets. Enfin, le module contiendra une partie de gestion de données avec le mapping objet-relationnel (JPA) ainsi que la sérialisation en XML ou JSON (JAXB et JSON-B).

Voir la page complète

Préparation à la certification en anglais, Test of English for International Communication (TOEIC).

Le TOEIC mesure les compétences de compréhension écrite et orale pour les niveaux débutant à avancé et détermine si une personne peut communiquer en anglais efficacement et avec aisance dans un contexte professionnel.

Voir la page complète

Cet enseignement concerne les différents modèles Cloud, les différents types de virtualisation ainsi que l’utilisation d’un ensemble de plateformes Cloud.

Voir la page complète

L'UE IA pour Systèmes Cyber-Physiques (CPS) a comme objectifs de présenter les principales techniques et méthodes de l'IA moderne (Machine Learning & Deep Learning) ainsi que les environnements/outils/librairies logiciels utilisés dans les traitements et le développement d'applications utilisant l'IA. L'UE mettra plus particulièrement l'accent sur des domaines d'applications liés au systèmes cyber-physiques comme par exemple l'Internet-des-Objets (IoT). Dans ce contexte, l'UE abordera aussi les possibilités d'intégrer des traitements de type IA sur des systèmes embarqués à fortes contraintes de ressources.

Voir la page complète

L'ingénierie systèmes (IS) est une approche globale pour la gestion du cycle de vie des systèmes
complexes, incluant la conception, la réalisation, l'exploitation et la maintenance, jusqu'à leur
livraison. Elle est largement adoptée dans des secteurs comme l'aéronautique, les transports, et la
production de services. L'IS requiert des équipes multidisciplinaires et une collaboration étroite,
s'appuyant sur des principes systémiques, la pensée systémique, des modèles standardisés et des
processus opérationnels adaptés à différents secteurs industriels. Elle complète l'ingénierie
spécialisée, souvent perçue à tort comme l'unique domaine de l'ingénierie. Cette UE vise à
introduire les principes de la systémique, les langages de modélisation classiques et les outils
méthodologiques de base de l'IS, ainsi qu'à enseigner l'application pratique de ces principes dans
l'ingénierie des exigences et l'ingénierie des systèmes.

Voir la page complète

Présenter aux étudiants le paradigme "agent". Cette UE est une introduction aux notions d’agent et de systèmes multi-agents par la pratique. Le programme s’appuie sur des exemples concrets qui permettent d’illustrer l’intérêt et les spécificités de ce paradigme pour la modélisation et la conception d’applications, notamment l’approche Individu-Centrée. En particulier, on s’intéresse aux techniques et aux algorithmes de résolution de certains problèmes qui relèvent du domaine de l’intelligence artificielle. C’est un préambule à un approfondissement de connaissances plus complètes et théoriques qui pourra s’effectuer en M2.

Description :

•  Notion d’agent et de système multi-agents

•  Modèles d’agents (réactif, délibératif, . . . ), approche Individu-Centrée

•  Résolution de problèmes : quelques bases de l’intelligence artificielle pour la résolution de problèmes - méthodes heuristiques et stratégie de résolution par exploration - application aux jeux, algorithmes A*, Minimax et AlphaBéta - méthode stigmergique- algorithmes de type colonie de fourmis

•  Mise en oeuvre sur une plateforme multi-agents.

Voir la page complète

La numérisation de toutes les activités de la société a conduit à la constitution de banques de données de taille conséquente en nombre conséquent.

Si le potentiel que représente l’information contenue dans ces jeux de données ne fait aucun doute, que ce soit pour les entreprises ou pour les institutions étatiques ou tout autre acteur de la société, la mise en œuvre des suites logicielles en permettant une exploitation rapide et efficace constitue un véritable défi.

Celui-ci est souvent désigné sous le simple terme de Big Data, le principal verrou technologique étant la taille des jeux de données.

À ce titre, la visualisation de données, consistant à représenter l’information à l’aide de métaphores visuelles, en s’appuyant sur les formidables aptitudes cognitives de l’être humain associées à la vision, est devenue incontournable et a donné lieu au domaine de l’analyse visuelle de données.

Ce cours a pour objectif de fournir à l’étudiant les notions indispensables sur le domaine, ainsi qu’une introduction à une librairie open source permettant de réaliser des études visuelles de jeux de données.

Il est en effet fort probable que les futurs diplômés seront rapidement confrontés à de telles applications dans leur carrière professionnelle.

Les étudiants du master TI étant censés être des spécialistes des Technologies de l’Internet, et en particulier du développement Web, la librairie utilisée est basée sur JavaScript, ce qui permettra d’intégrer la production de visualisations dans des applications Web.

Voir la page complète

Voir la page complète

Cette UE est à la frontière du génie logiciel et des systèmes distribués. Elle vise à étendre la problématique de la programmation et de la modélisation orientées objet aux paradigmes de « composant » et « service ». Le programme abordé traite des notions de Component-Based Development et Service Computing (concepts, caractérisation, panorama des modèles de composants technologiques, différence/similitude composant/service…). Les technologies Enterprise JavaBeans™ (EJB), Web Services et Node.js servent d'illustration.

Voir la page complète

Cet enseignement a pour objectif de présenter l'ingénierie des modèles (ou ingénierie dirigée par les modèles (IDM), model-driven engineering (MDE), model-driven architecture (MDA)...). L'enseignement commence par poser les bases de l'ingénierie des modèles (but et problématique), se poursuit par la méta-modélisation pour définir des langages (des DSL : Domain Specific Language), les transformations de modèles et la création de syntaxe concrète. Enfin, une partie plus spécifique de l'IDM, en relation avec les travaux de recherche menés dans le cadre du LIUPPA, traitera de l'exécution de modèles.

Voir la page complète

L'UE SSI (Sécurité des Systèmes Informatiques) a pour objectif de sensibiliser les étudiants de 2ème année de Master TI à la sécurité des systèmes d'information qu'ils seront amenés à concevoir et/ou à administrer.

Au-delà des connaissances techniques qu'ils auront acquises individuellement lors de leur cursus (sécurité des réseaux, administration système et réseaux, génie logiciel,...), ce module vise une approche de la sécurité informatique au niveau global de l'entreprise : définition d'une politique de sécurité (modèles, normes), mise en œuvre d'une politique de sécurité (technologies, outils), méthode d'analyse de risques (conception, audit, supervision).

Cette UE SSI est finalement complété par une introduction au droit du numérique. Il y est question du RGPD est des données à caractère personnel, mais également des obligations légales d’un RSSI.

Voir la page complète

Découvrez la conception des applications Android natives prêtes à être déployées sur Google Play Store. Les différents composants et concepts logiciels propres à la programmation mobile sur la plateforme android seront abordés. L’évaluation de cette UE passe par la réalisation d’une app réaliste en mode projet ainsi qu’un examen de connaissances. Des smartphones/tablettes Android peuvent être prêtés pour les étudiant.e.s n’ayant pas leur propre appareil.

Voir la page complète

Dans cette UE, nous présentons les différentes technologies de réseaux sans fil tels que les réseaux 4G & 5G, les réseaux émergent sans fil ad-hoc, les réseaux radio de type mesh, les réseaux de capteurs et les technologies radio émergentes pour l’Internet des Objets.  Les étudiants utilisent en travaux pratiques des microcontrôleurs (Arduino) programmables avec des modules radios permettant d'étudier et de programmer des algorithmes et des protocoles de routage dans les réseaux sans fil.  

Voir la page complète

Les infrastructures Cloud ont fortement évolué pendant les dernières années. Partant de la virtualisation basée sur des hyperviseurs, l’industrie s’oriente fortement aujourd’hui vers des systèmes de containerisation et d’orchestration des services. Nous présentons dans cette UE une introduction aux composants et technologies qui sont déployés dans les infrastructures Cloud actuelles, en particulier les systèmes IaaS (Infrastructure as a Service) et PaaS (Platform as a Service).

Voir la page complète

L’objectif de cette UE est d’expliquer la notion du numérique responsable et de l’informatique verte (Green IT), et de comprendre et pratiquer les principaux concepts et approches liés à la mesure énergétique multi-plateformes (PC, serveurs, IoT, mobile), l’éco-conception logicielle, et les data centers et cloud verts.

Voir la page complète

Les réseaux de communication ont vu leur capacité augmenter de manière considérable avec l’évolution des technologies liées à la fiche optique et à ceux liées aux méthodes de commutation. Dans le domaine sans fils, les nouvelles technologies radio permettent des débits de plus en plus élevés mais aussi des portée de plus en plus grande pour supporter un large spectre d'applications. Nous présentons dans cette UE les technologies qui sont déployées dans les réseaux actuels pour offrir performance et qualité de service à l’utilisateur.  

Voir la page complète

L’objectif de ce cours est de modéliser et de vérifier les interactions dans les Systèmes Multi-Agents (SMA) dans lesquelles plusieurs agents logiciels interagissent. Les agents (entités logicielles) peuvent communiquer, coopérer, se coordonner, négocier les uns avec les autres, à travers des protocoles pour requérir ou fournir des services, tant pour poursuivre leurs propres buts que pour atteindre ensemble un but global.

Description :

1. Rappels : définitions d’agent et de systèmes multi-agents ;
2. Communication, Interaction et Planification ;
3. Coordination par protocoles d’interaction ;
4. Modélisation et vérification par modèles des protocoles d’interaction (automates, réseaux de Petri de Haut niveau et Logique Temporelle).

Voir la page complète

Le stage est réalisé dans une entreprise ou un laboratoire dans les domaines de compétence dispensés dans la formation de master. Il permet de faciliter le passage du monde de l’enseignement supérieur à celui de l’entreprise ou du laboratoire. La durée du stage est de 5 à 6 mois faisant l’objet d’un rapport écrit et d’une soutenance orale devant jury.    

Voir la page complète