S1 MI1: Mathématiques Générales - INPT

Des séances de travaux dirigées permettront de traiter des exercices ...... et de
modélisation formelles des protocoles: Automates, réseaux de Petri, UML, SDL, ...

Part of the document


| |
|DESCRIPTIF DE MODULE |
|S5 SQ : |
|Systèmes Temps Réel, |
|Embarqué et Expert | COORDONNATEUR DU MODULE : Professeur EN-NOUAARY Abdeslam Département : RIM
Objectif : L'objectif de ce module est de :
Donner aux étudiants une introduction aux systèmes temps réel et embarqués
ainsi que les techniques utilisées pour leur développement.
Donner une introduction des systèmes experts, Leur enseigner la qualité du logiciel et son importance dans le
processus de développement. PRE-REQUIS PEDAGOGIQUES
Programmation de base et systèmes d'exploitation et cours sur la logique
ELEMENTS DE MODULE
S5 STREE1 : Systèmes temps réel et embarqués S5 STREE2 : Système Expert
S5 STREE3 : Qualité logicielle DIDACTIQUE DU MODULE Les étudiants auront à leur disposition pour toutes les matières de ce
module des polycopiés référenciés par des ouvrages bibliographiques. Démarche pédagogique
Cours magistral (PowerPoint + tableau) EVALUATION Présentations, projets et Examens S5 STREE1 : Systèmes temps réel et embarqués
Département : RIM Volume horaire : Cours : 10H00 TP: 06H00 Objectif:
L'objectif de ce cours est de donner aux étudiants une introduction aux
systèmes temps réel. Ces systèmes sont généralement des systèmes embarqués
(plusieurs composants matériels et logiciel communicants) et sont utilisés
dans des environnements connus par leur nature critique où toute
défaillance peut avoir des conséquences graves sur la vie humaine et
l'environnement. Le cours donne une définition précise des systèmes temps
réel et embarqués et discute leurs caractéristiques ainsi que les
méthodes, mécanismes et langages utilisés pour la conception et le
développement de tels systèmes. Contenu : . Définition et taxonomie des systèmes temps réel.
. Définition et caractéristiques des systèmes embarqués.
. Méthodes de conception des systèmes temps réel et embarqués.
. Programmation temps réel à l'aide d'Ada, C, Posix et Java.
. Exemples des systèmes d'exploitation temps réel.
. Programmation multitâches et synchronisation des composants via des
sémaphores, mémoires partagées, rendez-vous, etc.
. Communication inter-composants, fichiers, signaux, pipes, sockets,
etc.
. Traitement des exceptions d'exécution.
. Protocoles de communication temps réel : RTP, RTCP, etc.
. Techniques de tolérances aux fautes.
. Techniques d'ordonnancement des composants temps réel.
. UML temps réel et embarqué : le framework MARTE.
. Vérification et validation des systèmes temps réel et embarqués
S5 STREE2 : Système Expert Volume horaire : Cours : 14H00 TD: 06H00 TP: 04H00 Objectif :
Ce module a pour objectif la familiarisation et la pratique des paradigmes
de l'intelligence artificielle. Être capable de formuler des hypothèses
pour la modélisation de la connaissance et la résolution des problèmes.
Aussi il permettra de présenter les systèmes à bases de connaissances ou
systèmes experts pour la recherche des raisonnements leur test,
interprétation et présentation.
Des séances de travaux dirigées permettront de traiter des exercices
illustrant ainsi des applications et des problèmes réels dans les domaines
de pointe. Pour plus de pratique, il sera demandé aux étudiants de tester
certaines techniques et de les appliquer à des problèmes maintenance,
ingénierie et modélisation Contenu:
. Introduction de l'IA, domaines d'application et Stratégie de
résolution de problème
. calcul des propositions et calcul des prédicats du premier
ordre :syntaxe, sémantique, règles d'inférence, réfutation,
Introduction de PROLOG (TP 3h)
. Résolution de problème :
- Recherche arborescente (informé et non informée)
- Arbres de jeux à deux joueurs
. Systèmes experts
S5 STREE3 : Qualité logicielle
Volume horaire : Cours : 10H00 TD: 06H00 TP: 06H00 Objectif :
L'objectif de ce cours est d'enseigner aux étudiants la qualité du
logiciel et son importance dans le processus de développement. Il s'agit
d'une part de définir les notions de base de la mesure et son application à
l'évaluation de la qualité du logiciel, et d'autre part de présenter les
techniques de vérification et validation (V&V) du logiciel nécessaires à
l'assurance de la qualité du produit logiciel. Une étude de cas sera
utilisée pour illustrer les concepts et méthodes discutés dans le cadre de
ce cours. Contenu: . Introduction et rappel sur le développement du logiciel.
. Qualité du logiciel : définitions, éléments, audits, évaluations et
certifications, etc.
. Mesure de la qualité du logiciel : Méthodes empiriques et
statistiques, métriques, impacts sur le développement et la
gestion, SQA avec sa composition et ses rôles et responsabilités,
etc.
. Collecte et analyse des métriques
. Vérification, validation et test du logiciel
. Normes et référentiels de qualité du logiciel : ISO9000, CMM, CMMI,
....
| |
|DESCRIPTIF DE MODULE |
|S5 MSI : |
|Management des |
|Systèmes d'Information|
| |
coordonnateur DU MODULE: Professeur MARGHOUBI Rabia Département : RIM Objectif :
L'objectif de ce module est de :
. Analyser l'ensemble des méthodes, des techniques dans le processus
d'élaboration et de suivi d'un schéma directeur
. Donner un panorama complet de l'ensemble des référentiels les plus
modernes pour professionnaliser et manager efficacement l'informatique
et augmenter la valeur ajoutée à l'entreprise.
. Acquérir de bonnes connaissances en matière de gestion de la sécurité
des systèmes d'information. PRE-REQUIS PEDAGOGIQUES Conception et réalisation des systèmes d'information, UML. ELEMENTS DE MODULE S5 MSI1 : Schéma Directeur des systèmes d'informations
S5 MSI2 : Référentiels des Bonnes Pratiques
S5 MSI3 : Sécurité des systèmes d'information DIDACTIQUE DU MODULE Les étudiants auront à leur disposition pour toutes les matières de ce
module des polycopiés référenciés par des ouvrages bibliographiques. Démarche pédagogique
Cours magistral (PowerPoint + tableau)
Exercices d'application EVALUATION Exposés + Examens
S5 MSI1 : Schéma Directeur des systèmes d'informations
Département : RIM Volume horaire : Cours : 10H00 Objectif :
L'objectif de ce cours est d'analyser l'ensemble des méthodes, des
techniques et des outils actuels pour mieux :
. Elaborer le Schéma Directeur des Systèmes d'Information (SDSI)
. Organiser son lancement et pour mener à bien ce projet porteur de
réelle valeur ajoutée pour l'entreprise
. faire le bilan des actions passées, identifier les nouveaux projets,
préparer les budgets et repositionner la DSI en lui donnant une
nouvelle ambition. Contenu : . Intérêt et motivation
. Définition et concepts généraux
. Planification stratégique et bonne gouvernance
. Le schéma directeur vecteur de performance d'entreprise
. Les différentes approches d'élaboration du SDSI
. Les principales méthodes d'élaboration du SDSI
. Les différents types du SDSI
. Élaboration du schéma directeur "idéal"
. La gestion du portefeuille de projets La gestion du portefeuille de
projets
. Etude de cas
S5 MSI2 : Référentiels des Bonnes Pratiques
Volume horaire : Cours : 24H00 Objectif:
L'objectif de ce cours est de donner un panorama complet de l'ensemble des
référentiels les plus modernes pour professionnaliser et manager
efficacement l'informatique et augmenter la valeur ajoutée à l'entreprise.
Le cours examine les meilleures pratiques actuelles en matière de gestion
des systèmes d'information et apporte de nombreux conseils pratiques pour
améliorer l'efficacité - et l'image - de la fonction informatique dans
l'entreprise. Contenu : Gouvernance des systèmes d'Information : COBIT
. Intérêt et motivation
. Définition et concepts généraux
. Structuration de COBIT
. Les piliers de la gouvernance Informatique
. Etude de cas
Management des processus informatiques : ITIL
. Intérêt et motivation
. Définitions et concepts généraux
. Structuration de ITIL
. Les différents types d'accords
. Etude de cas
Evaluation de la maturité du développement : CMMI
. Intérêt et motivation
. Définitions et concepts généraux
. Structuration de CMMI
. Les niveaux de maturité
. Etude de cas
S5 MSI3 : Sécurité des systèmes d'information
Volume horaire : Cours : 24H00 Objectif :
Acquérir de bonnes connaissances en matière de gestion de la sécurité des
systèmes d'information par :
. la prise en compte des risques encourus par les entreprises
. la connaissance des différents services et mécanismes de sécurité
existants
. la maîtrise des démarches permettant de mettre en ?uvre des
dispositifs de sécurité efficaces
. la prise en compte des règles et des pratiques de management
permettant d'améliorer de manière significative le niveau de sécurité
des SI. Contenu : . Etat de la sécurité des SIs
. Attaques réseaux
. Les Besoins de sécurité
. Panorama des moyens de la sécurité des réseaux
. Panorama des moyens de la sécurité informatique
. Analyse des risques et politique de sécurité
. Analyse et gestion des risques informatiques