Titre: Systèmes temps-réel
Auteurs: Matthieu Herrb
Ecole: Université Fédérale Toulouse
Résumé:
Système d’exploitation
(Operating System)
Programme particulier qui gère la machine :
Exécution des autres programmes
Protection contre les fautes
Gestion des ressources
Propriétés :
Réactif
Permanent
Interfaces standard
Économe
Temps Réel : Le temps intervient dans la correction (validité) du programme : réagir en un temps adapté aux événements externes, fonctionnement en continu sans réduire le débit du flot d’informations traité, temps de calculs connus et modélisables pour permettre l’analyse de la réactivité. Latence maitrisée. Outils : horloges matérielles, interruptions, etc. style de programmation adaptés : multi-tâches, évenements, langages spécifiques (langages synchrones, etc.) outils de modélisation : logique temporelle, réseaux de Petri, etc.
Extrait du sommaire:
1 Introduction – concepts généraux
2 Processus
3 Synchronisation
4 Gestion de la mémoire
5 Gestion du temps
6 Conclusion
7 Exercices
Télécharger le fichier PDF: Systèmes temps-réel