Connaissances en systèmes d'exploitation et en programmation-système.
Objectif:
Etude des principales techniques de conception et de réalisation
de systèmes en temps réel. Le cours s'attache principalement
à la phase d'analyse (méthode SART) et à la description
des moniteurs temps réel, supports de la réalisation.
Programme:
Introduction:
Caractéristiques des applications en temps réel.
Approche industrielle.
Méthodes d'analyse et de conception pour le temps réel:
Différences avec les méthodes classiques.
La méthode SART.
Moniteurs temps réel:
Différences avec les systèmes d'exploitation classiques.
Modèles d'évaluation de performance en temps réel.
Comment rendre Unix temps réel.
Le modèle Sceptre pour les moniteurs temps réel.
Etude d'un moniteur temps réel «du commerce»: OS 9.
Contenu des TD:
Pour la partie sur Sceptre, stations Sun sous Solaris 2 impérativement
(utilisation d'un simulateur de Sceptre).
Les TP sur OS 9 ont lieu à l'ESINSA.
Bibliographie:
D.J. HATLEY and I. A. PIRBHAI,
Strategies for Real-Time Systems Specification, Dorset House, New
York, 1988.
B. FURHT et al., Real-Time Unix Systems,
Kluwer Academic Publishers, 1991.
P. A. LAPLANTE, Real-Time Systems Design and Analysis,
IEEE Press, 1993.