Présentation

Article

1 - SITUATION DE L’OFFRE INDUSTRIELLE

2 - EXEMPLES D’EXÉCUTIFS GÉNÉRALISTES

  • 2.1 - RTC (Real Time Craft ) de GSI-TECSI
  • 2.2 - pSOS+ de Integrated Systems Inc. (ISI)
  • 2.3 - VRTXsa de Microtec Research
  • 2.4 - VxWorks de Wind River Systems

3 - EXEMPLES D’EXÉCUTIFS UNIX TEMPS RÉEL

  • 3.1 - Aperçu sur les produits
  • 3.2 - Aperçu des interfaces POSIX (1003.1b et 1003.1c)

4 - EXEMPLE D’EXÉCUTIF ADA

| Réf : R8052 v1

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

Auteur(s) : Yvon TRINQUET, Jean-Pierre ELLOY

Date de publication : 10 mars 1999

Pour explorer cet article
Télécharger l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !

Sommaire

Présentation

Auteur(s)

  • Yvon TRINQUET : Maître de Conférences à l’IUT de Nantes - Responsable de l’Équipe Temps Réel de l’Institut de Recherche en Cybernétique de Nantes (IRCyN)

  • Jean-Pierre ELLOY : Professeur à l’École centrale de Nantes - Responsable de la division Productique de l’Institut de Recherche en Cybernétique de Nantes (IRCyN)

Lire cet article issu d'une ressource documentaire complète, actualisée et validée par des comités scientifiques.

Lire l’article

INTRODUCTION

Cet article présente certains produits bien représentatifs de leur catégorie. Nous avons respecté la classification utilisée dans l’article Systèmes d’exploitation temps réel- Principes : exécutifs généralistes, exécutifs UNIX temps réel et enfin les exécutifs spécialisés pour ADA.

Chaque présentation est succincte et illustre, pour le produit choisi, la mise en œuvre des concepts abordés en Systèmes d’exploitation temps réel- Principes.

Cet article est réservé aux abonnés.
Il vous reste 92% à découvrir.

Pour explorer cet article
Téléchargez l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !


L'expertise technique et scientifique de référence

La plus importante ressource documentaire technique et scientifique en langue française, avec + de 1 200 auteurs et 100 conseillers scientifiques.
+ de 10 000 articles et 1 000 fiches pratiques opérationnelles, + de 800 articles nouveaux ou mis à jours chaque année.
De la conception au prototypage, jusqu'à l'industrialisation, la référence pour sécuriser le développement de vos projets industriels.

DOI (Digital Object Identifier)

https://doi.org/10.51257/a-v1-r8052


Cet article fait partie de l’offre

Automatique et ingénierie système

(140 articles en ce moment)

Cette offre vous donne accès à :

Une base complète d’articles

Actualisée et enrichie d’articles validés par nos comités scientifiques

Des services

Un ensemble d'outils exclusifs en complément des ressources

Un Parcours Pratique

Opérationnel et didactique, pour garantir l'acquisition des compétences transverses

Doc & Quiz

Des articles interactifs avec des quiz, pour une lecture constructive

ABONNEZ-VOUS

Lecture en cours
Présentation

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 [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...

Cet article est réservé aux abonnés.
Il vous reste 92% à découvrir.

Pour explorer cet article
Téléchargez l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !


L'expertise technique et scientifique de référence

La plus importante ressource documentaire technique et scientifique en langue française, avec + de 1 200 auteurs et 100 conseillers scientifiques.
+ de 10 000 articles et 1 000 fiches pratiques opérationnelles, + de 800 articles nouveaux ou mis à jours chaque année.
De la conception au prototypage, jusqu'à l'industrialisation, la référence pour sécuriser le développement de vos projets industriels.

Cet article fait partie de l’offre

Automatique et ingénierie système

(140 articles en ce moment)

Cette offre vous donne accès à :

Une base complète d’articles

Actualisée et enrichie d’articles validés par nos comités scientifiques

Des services

Un ensemble d'outils exclusifs en complément des ressources

Un Parcours Pratique

Opérationnel et didactique, pour garantir l'acquisition des compétences transverses

Doc & Quiz

Des articles interactifs avec des quiz, pour une lecture constructive

ABONNEZ-VOUS

Lecture en cours
Exemple d’exécutif ADA
Sommaire
Sommaire

Cet article est réservé aux abonnés.
Il vous reste 94% à découvrir.

Pour explorer cet article
Téléchargez l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !


L'expertise technique et scientifique de référence

La plus importante ressource documentaire technique et scientifique en langue française, avec + de 1 200 auteurs et 100 conseillers scientifiques.
+ de 10 000 articles et 1 000 fiches pratiques opérationnelles, + de 800 articles nouveaux ou mis à jours chaque année.
De la conception au prototypage, jusqu'à l'industrialisation, la référence pour sécuriser le développement de vos projets industriels.

Cet article fait partie de l’offre

Automatique et ingénierie système

(140 articles en ce moment)

Cette offre vous donne accès à :

Une base complète d’articles

Actualisée et enrichie d’articles validés par nos comités scientifiques

Des services

Un ensemble d'outils exclusifs en complément des ressources

Un Parcours Pratique

Opérationnel et didactique, pour garantir l'acquisition des compétences transverses

Doc & Quiz

Des articles interactifs avec des quiz, pour une lecture constructive

ABONNEZ-VOUS