SYSTEMES INFORMATIQUES EN TEMPS REEL

• Les principes généraux du Temps-Réel • Caractéristiques et spécification des applications et systèmes d'exploitation TR
• Conceptions des systèmes d'exploitation TR • Gestion des communications et des entrées/sorties • Gestion de la synchronisation, du temps, d'accès aux ressources
• Modèles d'architecture de systèmes d'exploitation TR • Le Temps-Réel et la sûreté de fonctionnement • La problématique COTS (guide de choix) • Le Temps-Réel et les langages
• Interface compilateurs, run-time...ex C, Ada • Propriétés des chaînes de production
• Compilation, édition de lien, chargeur... • Analyse d'un problème de contrôle commande pour sa traduction en Temps-Réel “safety déterministe”
• Mise en évidence des problèmes Temps-Réel affectant la safety • Influence du groupe compilateur/éditeur de lien/chargeur, sur le Temps-Réel déterministe • Gestion des interruptions et des exceptions langages • Gestion de la coupure secteur - Gestion des mémoires • Extensions Temps-Réel des systèmes UNIX et LINUX
• Architecture du noyau Linux • Ordonnanceur et gestion de la mémoire sous UNIX • Architectures supportées par Linux: RISC/CISC,... • La chasse au temps de latence • Linux pour le Temps-Réel à fortes contraintes: RT Linux et RTAI • Principes. Avantages et inconvénients • Environnements de développement • Linux et l'informatique répartie • Parallélisme - Du multiprocesseur au multi-hôte • Bureau d'études
• Exemples et études de cas (gestion d'un central téléphonique) --> spécification/conception préliminaire et détaillée de l'application TR, activités de vérification • Analyse critique de différentes solutions - Recommandations sur la démarche générale • Analyse bibliographique • Principaux sites internet sur le TR et les produits
• Evaluation du stage