4. Exemple d’exécutif ADA
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 [, § 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...
Cet article est réservé aux abonnés
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ?
Se connecter
Lecture en cours
Exemple d’exécutif ADA