|
 Objectifs
Développer l'aptitude à la conception de systèmes informatiques temps-réel, tant sur le plan matériel que logiciel.
Cahier des charges
* Spécificité du logiciel pour systèmes temps-réel: concepts particuliers, méthode de conception, fonctions spécifiques des systèmes d'exploitation, tolérance aux fautes.
* Réalisation de petits systèmes informatiques sur base de microprocesseurs.
Résumé
* Aspects logiciels
- Introduction aux systèmes temps-réel
- Introduction aux réseaux de Petri
- Méthode de conception et de production de logiciel pour systèmes temps-réel
- Systèmes d'exploitation pour systèmes temps-réel
- Tolérance aux fautes.
* Aspects matériels
- Introduction aux systèmes électroniques digitaux (familles logiques, circuits programmables, mémoires, ...)
- Architecture des microprocesseurs
- Etude des principaux périphériques d'un système informatique (gestionnaire des interruptions, contrôleur d'accès direct en mémoire, ...)
- Systèmes de communication : étude du bus PCI.
Autres informations du cahier des charges
- Pré-requis:
* FSA 2716: Informatique 3 ou {INGI 2116: Organisation et structure des systèmes informatiques (2me partie) et INGI 2600: Exercices de programmation: langages algorithmiques}
* FSA 2752: Electronique ou ELEC 2531: Electronique II.
- Références
Ouvrage(s) recommandé(s)
* D.A. Patterson, J.L. Hennessy, "Computer organization & design. The hardware/software interface" , Morgan Kaufmann, 1994, 1-55860-282-8.
* P.A. Laplante, "Real-time systems design and analysis. An engineer's handbook" , IEEE Press, 1993, 0-7803-0402-0.
* A. Burns, A. Wellings, "Real-Time Systems and Programming Languages" , Addison Wesley, 1997, 0-201-40365-X. * A. M. van Tilborg, "Foundations of Real-Time Computing: Formal Specifications and Methods" , Kluwer, 1991, 0-7923-9167-5.
* A. M. van Tilborg, G. M. Koob, "Foundations of Real-Time Computing: Scheduling and Resource management" , Kluwer, 1991, 0-7923-9166-7.
- Modalités d'organisation
* Travaux pratiques préparés en salle et à domicile, à réaliser en groupe: ils consistent principalement à concevoir, réaliser et tester des logiciels temps-réel; les tests se font dans un environnement "hôte-cible".
* Les travaux pratiques sont cotés; leur cote intervient largement dans la cote finale.
* Examen écrit avec possibilité de présentation orale de ses réponses au cours de l'écrit.
Le cours INGI2695 est mentionné dans les programmes suivants :
|
ELME2
|
Ingénieur civil électromécanicien
|
| |
|
FSA3DS
|
Diplôme d'études spécialisées en sciences appliquées
|
| |
Valeurs ECTS de l'activité
|
ELEC22
|
Deuxième année du programme conduisant au grade d'ingénieur civil électricien
|
(5 ECTS)
| |
|
ELEC23
|
Troisième année du programme conduisant au grade d'ingénieur civil électricien
|
(5 ECTS)
| |
|
ELME22/M
|
Deuxième année du programme conduisant au grade d'ingénieur civil électro-mécanicien (mécatronique)
|
(5 ECTS)
|
Obligatoire
|
|
FSA3DS/IN
|
Diplôme d'études spécialisées en sciences appliquées (informatique)
|
(5 ECTS)
| |
|
FSA3DS/TL
|
Diplôme d'études spécialisées en sciences appliquées (télécommunications)
|
(5 ECTS)
| |
|
INFO22
|
Deuxième année du programme conduisant au grade d'ingénieur civil informaticien
|
(5 ECTS)
| |
|
INFO23
|
Troisième année du programme conduisant au grade d'ingénieur civil informaticien
|
(5 ECTS)
| |
|
Valeur ECTS par défaut
|
(5 ECTS)
| |
|
