|
|
|
|
|
|
-
Acquérir des compétences avancées en
réseau,
-
Connaître les problèmes liés à
l'intégration de système
|
|
-
Technologies de transport de l'information à travers les
interfaces cuivre, fibre optique, air,
-
Qualité de service, les aspects temps réel, le traitement
en mode Multicast
-
Architectures et principes de fonctionnement des réseaux
à valeur ajoutée
|
|
|
|
|
|
|
|
L'objectif de ce cours est d'étudier des
mécanismes permettant d'améliorer le problème de
passage à l'échelle des spécifications (techniques
d'importation, structuration et raffinement des
spécifications), composants formels et de définir des
liens entre notations semi formelles d'usage industriel et
spécifications formelles. |
|
-
Sémantique des diagrammes de classe
-
Sémantique des diagrammes d'états
-
Problématique de l'intégration de données dans les
comportements
-
Intégration de données formelles dans les diagrammes
d'états
- Langages
d'architecture logicielle et les composants formels
|
|
|
|
|
|
|
|
L' objectif du cours est d'étudier une
approche multi- paradigmes pour le développement et la
conception de systèmes informatiques en général et
des systèmes embarqués en particulier.
La diversité du domaine d'application des
systèmes embarqués et leur complexité croissante
accentuent le besoin de combiner des outils et méthodes
offrant les meilleurs mécanismes de structuration,
d'abstraction et de réutilisation et permettant l'expression
de plusieurs modèles de traitement.
Le cours est organisé en deux parties. La première partie
présente l'approche objet, l' approche orientée
composant, l'approche aspect et les langages de description
d'architectures (ADLs).
Dans la seconde partie, une application des approches Objet,
Composant et Aspect aux systèmes embarqués sera
étudiée après une présentation et une
définition des différents systèmes temps réel,
réactifs et embarqués. |
|
1) Les Approches Objet, Composant et Aspect
Rappel de
l'approche Objet
L'approche
Composant
L'approche
Aspect
Introduction aux
ADLs
2) Application d'une approche
muti-paradigmes (Objet, Composant, Aspect) à la
Modélisation et la Conception des Systèmes
Embarqués
Définition des systèmes temps réel,
réactifs et embarqués
Caractéristiques des systèmes embarqués
-
Contraintes temporelles
-
Modèles de traitement (Models of Computation)
-
Modélisation des systèmes embarqués
- notion
de modèle et méta-Modèle
-
approches de modélisation
- langages
de modélisation.
|
|
|
|
|
|
|
|
Compétences originales dans le
développement d'applications liées à la
coopération d'entités distinctes et communicantes (aussi
bien agents que BD) |
|
-
Coopération d'entités artificielles autonomes pour la
réalisation d'une tâche collective
- Concepts
d'agents, d'interaction, d'organisation
- Approche
cognitive et approche réactive
-
Techniques et outils correspondants permettant la réalisation
concrète de systèmes multi-agents.
|
|
|
|
|
|
|
|
-
Acquérir le réflexe de la sécurité dans tout ce
qui touche aux systèmes d'informations
-
Appréhender les différentes méthodologies en
matière de sûreté
|
|
-
Présentation des principales propriétés de
sécurité des systèmes d'informations
-
Modélisation des règlements de sécurité dans
les organisations
- Etudes
des différents types de contrôles d'accès :
discrétionnaires, obligatoires, à base de rôles
-
Sécurité dans les systèmes de gestion de bases de
données
|
|
|
|
|
|
|
|
Acquérir une parfaite maîtrise des
langages orientés objet et de leurs aspects les plus
avancés |
|
-
Création d'interface graphique avec JFC/Swing
-
Structures de données orientés objet
-
Programmation concurrente
- Concepts
avancés
|
|
|
|
|
|
|
|
Acquérir les fondements de base et les
méthodes de mise en œuvre de la sécurité dans
les systèmes et les réseaux |
|
-
Principes et mises en œuvre de systèmes de protection des
réseaux et systèmes
-
Prévention et évaluation des risques, mises en œuvre
de politiques de sécurité
-
Utilisation de méthodes d'authentification, de chiffrement,
gestion de clés
|
|
|
|
|
|
|
|
Acquérir une vision globale et transverse
sur l'environnement de la monétique bancaire et privative
(niveaux organisationnels et fonctionnels, aspects juridiques,
…). |
|
-
-
L'environnement de la monétique : le moyen de paiement
carte, le vocabulaire monétique, les acteurs, les
caractéristiques ;
-
L'organisation des systèmes de paiement carte : exemples
de réseaux domestiques et internationaux, interbancaires et
privatifs ;
- Les
produits : la carte, les terminaux d'acceptation paiement et
retrait, les nouvelles solutions de paiement
sécurisé ;
- Le
fonctionnement du système monétique : le principe
d'une transaction, les fonctions émetteur et acquéreur
paiement/retrait, les systèmes front-office et
back-office ;
-
L'équilibre financier : le système des
commissions ;
- La
gestion des incidents
- La
fraude
- La
sécurité de l'information
- La
sécurisation des transactions avec EMV : enjeux,
principes de base, architectures à clés publiques,
application au monde bancaire EMV, apports de EMV en matière
de sécurité
|
|
|
|
|
|
|
|
Acquérir une vision globale et transverse
sur l'environnement de la monétique bancaire et privative
(niveaux organisationnels et fonctionnels, aspects juridiques,
…). |
|
-
- Phases
d'un projet, découpage, planification
-
Estimation des temps et des coûts, gestion des ressources
-
Animation et pilotage des intervenants, travail d'équipe,
motivation
- Revues
régulières, capitalisation des connaissances,
- Tableau
de bord pour le pilotage,
- Aspects
juridiques, évaluation et gestion des risques
- Plan
d'assurance qualité,
-
Aperçus sur les outils d'aide à la planification et
à l'évaluation
|
|
|
|
|
|
|
|
1. MOPS
