Formation: RT Linux

Toute personne interessée par les systèmes temps réel sur Linux

Connaître les principes de fonctionnement et savoir installer un système RT Linux.

Bonnes connaissances du système Linux.

Définition d'un système temps réel. Les services offerts. Solutions Temps Réel sur Linux. Architectures et caractéristiques. Critères de choix: coût.

Interruptions. Horloge, Entrées/Sorties, automate, séquenceur. Contexte d'exécution. Interruptions d'horloge. Alarmes. Timer cycliques et non cycliques. Automate à états. TP: mise en place d'un mini-moniteur réparti.

Notion de processus, de ressource, de thread. Analyse et découpage des tâches dans RT Linux. Modification de l'ordonnanceur. Concurrence et coopération. Stratégies d'ordonnancement Impact sur la gestion de contexte. Mesure de la charge. TP: Mise en évidence du fonctionnement de l'ordonnanceur de RT Linux

Communication synchrone entre tâches, verrous. Section critique. Sémaphores. Communications entre le noyau RT et le noyau Linux. Utilisation de mémoire partagée ou de canaux fifos.

Mappées, accès direct. Pré traitement d'E/S. Alarmes sur seuil. Accès direct aux entrées/sorties de bas niveau. E/S série Temps réel. Structure des pilotes de périphériques. TP: mise en place d'une communication inter-processus sur lien série

Installation des procédures d'interruption RT Linux (ISR). Emulation des interruptions Linux. Partage des interruptions

Horloges matérielles et logicielles. Alarme POSIX. Mesure de la résolution des horloges RT Linux