DÉPARTEMENT INFORMATION ET SYSTEMES

PARCOURS ARCHITECTURE DES SYSTEMES SURS

Responsable(s)p

#rpCoordonnées:

Crédits ECTS : Durée:

Mots clés : Pré requis:

ãßëÛ×êí ÚÛèÙçßåéßäãp#rp}#‡ #jpKT$‡ƒr„KGG#†j

ÙKGGƒ>r‡#p

ÙKCT‡#G‡#

×TT†„]w#‡

×Gƒ†ˆj#‡

r#jrp#‡„r ÙKGr‡M†#p ÙKGr„Gw

K‡ƒ†

jKwr#GƒG# T‡K…#r ‡ƒTTK‡r

jˆGr:$r„j#‡

;j[i#Y'¢8¢lhkY

l;'lh44SY[Y;8[8`S

ÌÊÓÕÎÙÎÔÌÎØ

Û}ƒ†w#‡

Îbhk`h[i;8S

Exposer et expérimenter les concepts avancés de programmation et des réseaux dynamiques pour permettre de concevoir des architectures complexes, sûres et évolutives, et de les administrer et de développer des applications d'informatique ambiante.

Le cours présente les concepts nécessaires pour pouvoir comprendre les architectures réseaux modernes en les mettant ensuite en pratique sous 2 formes différentes : la simulation et l’expérimentation réelle par le

développement d'applications "mobiles"/ambiantes. Les divers éléments d’un réseau en tant qu’entités autonomes mais également inter-dépendantes seront donc étudiés et expérimentés. De plus, dans ces nouveaux systèmes, le

"design" des objets numériques en interaction avec des utilisateurs très différents dans des contextes variables doit être pris en compte.

• Architectures réseaux avancées, routage dynamique, inter et intra domaine

• Modélisation, simulation/émulation de réseaux

• Programmation clients/serveurs mobiles (Android)

• Design d'objets et de systèmes numériques

• Programmation d'applications interactives (Plateforme Arduino) en lien avec le cours sur les systèmes embarqués

• Intégration aux réseaux sociaux 2

Architectures réseaux, routage avancé, simulation, émulation, systèmes embarqués, ambiants

21 heures

Programmation orientée objet, réseau et système

Laurent CIARLETTA, Maître de Conférences laurent.ciarletta@univ-lorraine.fr

S8

les mécanismes avancés de routage et les protocoles mis en oeuvre dans les réseaux dynamiques et les applications mobiles

les implications de la forte dynamicité des entités , des utilisateurs, des usages de ces nouvelles technologies de communication, les enjeux liés aux projets sur des technologies émergentes et possiblement intrusives Simulation de réseaux dynamiques (adhoc, mesh, P2P), développement d'applications ambiantes

Les contraintes et les performances de tels systèmes, les besoins et les ressources pour la mise en oeuvre

Ambiant systems

SI142-6ICI182A

✔ ✔ ✔

Designer des objets et des systèmes d'informatique ambiante

Les faiblesses et risques des choix technologiques et de conception, leur implication sur les coûts de développement

Réseaux dynamiques, applications distribuées et mobiles d'informatique ambiante

PARCOURS ARCHITECTURE DES SYSTEMES SURS

Responsable(s)p

#rpCoordonnées:

Crédits ECTS : Durée:

Mots clés : Pré requis:

ãßëÛ×êí ÚÛèÙçßåéßäãp#rp}#‡ #jpKT$‡ƒr„KGG#†j

ÙKGGƒ>r‡#p

ÙKCT‡#G‡#

×TT†„]w#‡

×Gƒ†ˆj#‡

jˆGr:$r„j#‡

;j[i#Y'¢8¢lhkY

l;'lh44SY[Y;8[8`S

ÌÊÓÕÎÙÎÔÌÎØ

Û}ƒ†w#‡

L’objectif de ce module est de fournir les compétences sur les supports exécutifs des systèmes embarqués (protocoles et systèmes d’exploitation) de type véhicules, robots ou smart devices.

Systèmes d’exploitation embarqués temps réel

- Problématique spécifique au temps réel et les besoins de garantie, de détection de fautes, de tolérance aux fautes - Gestion du temps

- Gestion des défaillances

Politiques d’ordonnancement à priorités statiques et dynamiques Etude de cas de systèmes embarqués (OSEK, Symbian, …) - Réseaux locaux embarqués temps réel

• Classe des réseaux à accès priorisés (CAN)

• Classe des réseaux à accès temporisés (TTP/C, FlexRay) - Intergiciels embarqués

• Services spécifiques à l’embarqué

• Etude d’un service de communication (exemple dans l’automobile) 2

exécutifs embarqués, event/time triggered protocols, ordonnancement, robotique

21 heures

Laurent CIARLETTA, Maître de Conférences laurent.ciarletta@univ-lorraine.fr

S8

les concepts de base des systèmes embarqués et du temps réel

les techniques qui permettent de répondre aux problématiques de ces systèmes, les enjeux

application au monde de l'automobile, de la robotique

les contraintes, leurs implications et les choix technologiques qu'ils impliquent

Embedded Systems

SI144-6ICI184A

préconiser une solution qui réponde aux besoins de l'application, des usagers et aux contraintes réglementaires

Fournir les compétences sur les supports excutifs des systèmes embarqués

PARCOURS ARCHITECTURE DES SYSTEMES SURS

Responsable(s)p

#rpCoordonnées:

Crédits ECTS : Durée:

Mots clés : Pré requis:

ãßëÛ×êí ÚÛèÙçßåéßäãp#rp}#‡ #jpKT$‡ƒr„KGG#†j

ÙKGGƒ>r‡#p

ÙKCT‡#G‡#

×TT†„]w#‡

×Gƒ†ˆj#‡

r#jrp#‡„r ÙKGr‡M†#p ÙKGr„Gw

K‡ƒ†

jKwr#GƒG# T‡K…#r ‡ƒTTK‡r

jˆGr:$r„j#‡

;j[i#Y'¢8¢lhkY

l;'lh44SY[Y;8[8`S

ÌÊÓÕÎÙÎÔÌÎØ

Û}ƒ†w#‡

Îbhk`h[i;8S

Il s’agit de développer les compétences spécifiques sur les plate-formes qui apportent des solutions en termes de portabilité, flexibilité et interopérabilité des applications.

Ce cours présente les technologies de middleware actuelles, les différents standards et également celles qui émergent.

On désigne généralement par Middleware des plateformes logicielles intermédiaires entre le système d’exploitation et les applications ayant pour but d’augmenter les possibilités de mobilité, l’interopérabilité et l’indépendance par rapport aux architectures physiques de ces dernières.

Il s’agit de présenter les technologies qui sont au coeur des applications distribuées actuelles, en allant de

l’embarqué avec les middleware temps-réel, jusqu’aux Web Services ou aux architectures orientées service (SOA).

Les différents cours, travaux pratiques et interventions d’industriels permettront aux élèves de connaître les enjeux, les solutions d’aujourd’hui, les besoins des entreprises et leur évolution.

Les points abordés portent donc notamment sur : les technologies, les solutions et architectures génériques et les middleware spécifiques pour le temps-réel.

2

interopérabilité, intergiciels, systèmes distribués, SOA

21 heures

Software engineering, réseaux avancés

Laurent CIARLETTA, Maître de Conférences laurent.ciarletta@univ-lorraine.fr

S9

les concepts de base liés aux applications distribuées développées sur middleware, les contraintes de développement et ed déploiement

les avantages et les limites de ces systèmes, les bonnes pratiques et les enjeux

Mettre en oeuvre les solutions exposées sur une application

les problématiques de performance, de déploiement

Middleware - Intergiciel

SI151 - 6ICI191

✔ ✔ ✔

Valider les choix effectués et les performances

Développement de compétences sur les plateformes d'intergiciel

PARCOURS ARCHITECTURE DES SYSTEMES SURS

Responsable(s)p

#rpCoordonnées:

Crédits ECTS : Durée:

Mots clés : Pré requis:

;j[i#Y'¢8¢lhkY

l;'lh44SY[Y;8[8`S

Objectifs pédagogiques

Ce module montrera les moyens et approches disponibles pour abstraire et analyser le comportement d’un système sous l’angle de plusieurs composants communicants.

Contenu - Programme

Mots clés : langages synchrones, techniques de description formelle, automates, validation de comportement Contenu :

• Approches synchrones - l’hypothèse synchrone - le langage Esterel

- analyse d’applications Esterel - mise en oeuvre sur des exemples

• Approches asynchrones – les techniques de description formelle (FDT) - généralités sur les FDT

- le langage SDL - techniques d’analyse - simulation de modèles

- mise en oeuvre sur des exemples de protocoles applicatifs 2

langages synchrones, techniques de description formelle, automates, validation de comportement

21 heures

Aucun

Laurent CIARLETTA, Maître de Conférences laurent.ciarletta@univ-lorraine.fr

Modeling of Critical Systems S9

SI153 - 6ICI193A

Modeling of Critical Systems

PARCOURS ARCHITECTURE DES SYSTEMES SURS

Responsable(s)p

#rpCoordonnées:

Crédits ECTS : Durée:

Mots clés : Pré requis:

r#jrp#‡„r ÙKGr‡M†#p ÙKGr„Gw

K‡ƒ†

jKwr#GƒG# T‡K…#r ‡ƒTTK‡r

;j[i#Y'¢8¢lhkY

l;'lh44SY[Y;8[8`S

Îbhk`h[i;8S

Le métier de chef de projet et les relations avec les décisionnaires. Travail du DSI et obligation de l'alignement de la stratégie informatique sur celle de l'entreprise. Mise en œuvre d’un plan stratégique SI, comment celui-ci est au centre de l’entreprise servant d’interface entre les métiers et le système d’information ? Rôle et implication des équipes de Production.

Faire de l’informatique c’est la nécessité de relations contractuelles avec des clients et fournisseurs : nécessité d’une bonne définition juridique des contrats, les obligations de cahiers des charges, recettes, de conseils et bonnes pratiques au sens du droit. Aspect social de la relation managériale : présentation des organisations patronales, de leurs mandats sociaux et de l’interaction avec les organisations syndicales dans la gestion de ces mandats.

Les gros projets doivent être encadrés par une méthodologie : présentation de la norme CMMI et plus généralement des référentiels à utiliser suivant les objectifs.

4

système d'information, métiers de l’ingénieur, métiers de l'entreprise

42 heures

Aucun

Pascal VAXIVIERE, Maître de Conférences pascal.vaxiviaire@univ-lorraine.fr

Information Systems Lifecycle S9

SI052 - 6ICI092A

Couvrir différents aspects des métiers de l'ingénieur

PARCOURS ARCHITECTURE DES SYSTEMES SURS

Responsable(s)p

#rpCoordonnées:

Crédits ECTS : Durée:

Mots clés : Pré requis:

ãßëÛ×êí ÚÛèÙçßåéßäãp#rp}#‡ #jpKT$‡ƒr„KGG#†j

ÙKGGƒ>r‡#p

ÙKCT‡#G‡#

×TT†„]w#‡

×Gƒ†ˆj#‡

jˆGr:$r„j#‡

;j[i#Y'¢8¢lhkY

l;'lh44SY[Y;8[8`S

ÌÊÓÕÎÙÎÔÌÎØ

Û}ƒ†w#‡

Sécurité informatique - Crytographie, - Controle d'accès, - Protocoles

- Codes malveillants Sûreté du logiciel

- Etat de l'art de la discipline - Model-Checking

- TLA

-Preuve automatisée

Un projet en sécurité et un projet en sûreté du logiciel 4

sécurité, confidentialité, intégrité, cryptographie, model-checking, sûreté, logique temporelle

42 heures

Guillaume BONFANTE, Maître de Conférences guillaume.bonfante@univ-lorraine.fr

S9

les risques des systèmes informatiques, les différents types d'attaque de ces systèmes, les méthodes de protection, leur limite, la question de la sûreté, le lien avec la sécurité

Comprendre les enjeux de la sécurité et comprendre les méthodes de protection Le model-checking, le langage TLA, le lien entre modélisation et sûreté

Analyse et mise en oeuvre des méthodes liées à la sécurité informatique Vérification de systèmes

Risques d'attaque, la fragilité des systèmes, les portes d'entrées, les coûts des défaillances

Risques des systèmes d'information

SI053 - 6ICI093A

Modèles de systèmes informatiques, spécifications algébriques et vérification La question de la sécurité et de la sûreté des systèmes informatiques

PARCOURS ARCHITECTURE DES SYSTEMES SURS

DÉPARTEMENT INFORMATION ET SYSTEMES

PARCOURS Organisation de l’information et des processus

> PARCOURS ORGANISATION DE L'INFORMATION ET DES PROCESSUS

> PARCOURS ORGANISATION DE L'INFORMATION ET DES PROCESSUS

Responsable(s)p

#rpCoordonnées:

Crédits ECTS : Durée:

Mots clés : Pré requis:

ãßëÛ×êí ÚÛèÙçßåéßäãp#rp}#‡ #jpKT$‡ƒr„KGG#†j

ÙKGGƒ>r‡#p

ÙKCT‡#G‡#

×TT†„]w#‡

×Gƒ†ˆj#‡

r#jrp#‡„r ÙKGr‡M†#p ÙKGr„Gw

K‡ƒ†

jKwr#GƒG# T‡K…#r ‡ƒTTK‡r

jˆGr:$r„j#‡

;j[i#Y'¢8¢lhkY

l;'lh44SY[Y;8[8`S

ÌÊÓÕÎÙÎÔÌÎØ

Û}ƒ†w#‡

Îbhk`h[i;8S

Ce cours aborde la notion d’architecture logicielle par assemblage de composants logiciels pour réaliser des applications complexes, des applications d'entreprises.

Il montre principalement comment assembler des composants logiciels et construire des interfaces au-dessus de ces assemblages. On arrive ainsi à une approche architecturale des logiciels, ainsi que des aspects d’interfaçage.

Les travaux dirigés permettent d’aborder principalement deux environnements de déploiement de composants logiciels : l’environnement .NET, et les composants logiciels en Java, incluant à la fois les JavaBeans pour la programmation visuelle, et l’environnement Java 2 J2EE (EJB). La présentation des concepts en regard des technologies telles que CORBA et la programmation de services Web, ainsi que les MDA / MDE (Model Driven Archtiecture / Engineering) et l'intégration d'applications depuis les mobiles jusqu'au Cloud élargiront les perspectives de ce cours.

2

Assemblage de composants, architecture logicielle, J2EE, .NET, Web Services, MDA/MDE

21 heures

Programmation orientée objet, Software Engineering, Réseau

Laurent CIARLETTA, Maître de Conférences

laurent.ciarletta@univ-lorraine.fr

S8

les concepts liés à l'architecture logicielle, à la programmation par composant, les technologies dominantes

les différentes architectures et solutions mises en oeuvre, leurs différences, leurs similarités et leur complémentarité

Mise en oeuvre sur des questins ponctuelles et sur une application fil-rouge

Besoins et solutions pertinentes, utilisation d'outils de débogage et de mesures de performances distribués

Advanced Software Engineering

SI242-6ICI282A

✔ ✔ ✔

Conception, réalisation et évaluation d'une application par asemblage de composants existant et réalisation d'un ensemble de composants différentiant.

Les choix de frameworks, de middleware, de langages de plateformes

Conception des systèmes et logiciels complexes par assemblage de composants

> PARCOURS ORGANISATION DE L'INFORMATION ET DES PROCESSUS

Responsable(s)p

#rpCoordonnées:

Crédits ECTS : Durée:

Mots clés : Pré requis:

ãßëÛ×êí ÚÛèÙçßåéßäãp#rp}#‡ #jpKT$‡ƒr„KGG#†j

ÙKGGƒ>r‡#p

ÙKCT‡#G‡#

×TT†„]w#‡

×Gƒ†ˆj#‡

jˆGr:$r„j#‡

;j[i#Y'¢8¢lhkY

l;'lh44SY[Y;8[8`S

ÌÊÓÕÎÙÎÔÌÎØ

Û}ƒ†w#‡

acquérir les bases de la modélisation de systèmes de données complexes à travers le modèle entité-association, et de connaître les mécanismes de leur expression en modèle relation et implantation et utilisation dans une base de données relationnelle, tout en en appréhendant les limites et de connaître des alternatives à travers des approches NoSQL.

1. introduction, enjeux, entité-association

2. modèle relationnel, transition entité-association vers relationnel 3. formes normales et cohérence de bases de données

4. modèle transactionnel, ACID

5. procédures stockées, triggers et PL/SQL 6. bases de données réparties

7. NoSQL 2

bases de données relationnelles, SQL, modèle relationnel, formes normales, PL/SQL, NoSQL

21 heures

algorithmique élémentaire, programmation impérative, quelques notions de SQL sont un plus

Bart LAMIROY, Maître de Conférences

bart.lamiroy@univ-lorraine.fr

S8

les mécanismes sous-tendant la modélisation, la gestion, le stockage et l'utilisation de grandes masses de données, et les relations les liant.

les différences et la complémentarité de la modélisation orientée « données » avec les modélisations orientées « processus » (ou algorithmique)

des modélisations et des scénarios d'utilisation sur des cas concrets, avec des contraintes provenant de situations réelles.

des problèmes de modélisation de données avec les outils du modèle relationnel

Database Essentials

SI244 - 6ICI284B

l'adéquation des solutions développées, leur qualité, leurs limites et leurs contraintes d'usage et/ou de performance, ainsi que la pertinence de modélisations alternatives et complémentaires

Acquérir les bases de la modélisation de systèmes de données

> PARCOURS ORGANISATION DE L'INFORMATION ET DES PROCESSUS

Responsable(s)p

#rpCoordonnées:

Crédits ECTS : Durée:

Mots clés : Pré requis:

ãßëÛ×êí ÚÛèÙçßåéßäãp#rp}#‡ #jpKT$‡ƒr„KGG#†j

ÙKGGƒ>r‡#p

ÙKCT‡#G‡#

×TT†„]w#‡

×Gƒ†ˆj#‡

r#jrp#‡„r ÙKGr‡M†#p ÙKGr„Gw

K‡ƒ†

jKwr#GƒG# T‡K…#r ‡ƒTTK‡r

jˆGr:$r„j#‡

;j[i#Y'¢8¢lhkY

l;'lh44SY[Y;8[8`S

ÌÊÓÕÎÙÎÔÌÎØ

Û}ƒ†w#‡

Îbhk`h[i;8S

Acquérir une culture générale large dans des approches traitant soit des grandes masses de données (Big Data) soit de données complexes, par différents biais : tant par les approches technologiques de stockage et d'accès aux données que par les outils informatiques d'apprentissage automatique et d'inférence de connaissances.

Première Partie (Données Complexes)

1. Représentation de connaissances par ontologies 2. Inférence et raisonnement par logique de description 3. Analyse formelle de concepts

Seconde Partie (Big Data)

1. NoSQL : Introduction et BASE vs. ACID, théorème CAP 2. Solutions techniques au passage à l'échelle, Map-Reduce 3. Études de cas 1 : key-value store, document databases

4. Études de cas 2 : column-oriented databases, graph databases 2

big data, apprentissage formel, NoSQL, Map-Reduce, Ontologies, Analyse formelle de concepts.

21 heures

algorithmique, programmation impérative, SQL, modèle transactionnel, SGDB-R

Bart LAMIROY, Maître de Conférences

bart.lamiroy@univ-lorraine.fr

S9

les mécanismes d'optimisation d'accès à des données massivement réparties;

les approches principales d'extraction de connaissances non-statistiques à p artir de données brutes les socles technologiques permettant l'exploitation de données massivement réparties ;

le lien entre solutions technologiques, enjeux sociétaux et économiques des réseaux sociaux et cloud des modélisations et des scénarios d'utilisation sur des cas concrets, avec des contraintes provenant de situations réelles.

des schémas de connaissances complexes et les modalités d'extraction de nouvelles connaissances ; des problèmes de modélisation d'architectures de données massivement réparties avec les outils étudiés

Modèles Avancés pour Masses de Données Complexes

Dans le document Syllabus Formation Ingénieur civil des mines de nancy (Page 141-153)