Exemple d’exécutif ADA
Systèmes d’exploitation temps réel - Exemples d’exécutifs industriels

On s’appuie dans cette partie sur un exécutif de la société AONIX. Il fournit un support d’exécution pour ADA, mais surtout est associé à une méthode de développement des applications basée sur les techniques RMA (Rate Monotonic Analysis ). La description qui suit tient donc compte de cette exigence. Ce produit, T-SMART (Tasking - SMall Ada Run Time [Systèmes d’exploitation temps réel- Principes, § 8]), est destiné à la conception d’applications certifiables au niveau A de la DO-178B ; il est disponible pour des processeurs Motorola 68040 et Power PC604.

T-SMART offre un support pour la gestion des tâches avec seulement trois catégories de tâches, toutes statiques : les tâches périodiques, les tâches de synchronisation à structure cyclique et les serveurs pour la prise en compte des événements apériodiques. Des restrictions existent sur le contenu des tâches. En ce qui concerne l’ordonnancement, il est préemptif à priorité (246 niveaux). Les tâches ont une priorité statique non modifiable, chacune différente. La priorité d’une tâche de synchronisation doit être fixée une unité au-dessus de la plus forte priorité parmi les tâches susceptibles de faire un appel sur l’une de ces entrées. Compte tenu de la finalité du produit (systèmes très critiques certifiés), il n’y a pas de composant logiciel associé pour la gestion de fichiers, la mémoire virtuelle, la gestion d’un réseau...

Sous ces conditions (et d’autres non précisées ici) l’application est analysable du point de vue de son ordonnançabilité par les méthodes RMA [6], et le développement des applications s’appuie sur trois outils : PerfoRMAx, ADACover et ADASchedule.

PerfoRMAx est destiné à faire une analyse RMA à priori (cela nécessite donc une estimation des temps d’exécution) par une analyse d’ordonnancement. On peut l’utiliser à postériori après des mesures du pire cas sur la cible pour revérifier l’ordonnançabilité.

ADACover...