Présentation

Article

1 - GÉNÉRALITÉS

  • 1.1 - Cadres et enjeux industriels
  • 1.2 - Systèmes réactifs

2 - APPLICATION TEMPS RÉEL

3 - APPROCHES SYNCHRONE ET ASYNCHRONE

4 - EXÉCUTIF TEMPS RÉEL

5 - ORDONNANCEMENT

6 - SERVICES DE BASE D’UN EXÉCUTIF GÉNÉRALISTE

7 - EXÉCUTIFS UNIX TEMPS RÉEL

8 - EXÉCUTIFS TEMPS RÉEL POUR ADA

9 - PERFORMANCES D’UN EXÉCUTIF TEMPS RÉEL GÉNÉRALISTE

| Réf : R8050 v1

Exécutifs temps réel pour ADA
Systèmes d’exploitation temps réel - Principes

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 les principes de base utilisés dans les exécutifs temps réel. Ce terme désigne les systèmes d’exploitation adaptés au contexte particulier, par ses exigences temporelles, de l’informatique qualifiée de « temps réel ». L’article présente d’abord la problématique de l’informatique temps réel et les approches possibles. Puis la structure de l’exécutif et les politiques d’ordonnancement envisageables sont évoquées, ce qui conduit à présenter les services génériques que l’on peut rencontrer dans les produits industriels. Dans un deuxième fascicule Systèmes d’exploitation temps réel- Exemples d’exécutifs industriels, certains produits, bien représentatifs de leur catégorie seront succinctement décrits.

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-r8050


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

8. Exécutifs temps réel pour ADA

Les systèmes d’exploitation temps réel présentés précédemment s’appuient majoritairement (même si certains offrent une interface partielle ADA) sur les langages C ou C++ pour le codage des applications. En revanche, pour les applications critiques, civiles ou militaires, c’est en général ADA qui est souvent utilisé (voire imposé). Des études [8] ont montré que C comprenait trop de « potentialités dangereuses » pour les systèmes critiques et sûrs, comparé à ADA qui apporte des constructions modulaires, un très fort typage des objets, des possibilités de manipulation d’éléments de base de la cible d’une manière logique etc. Indépendamment de ces considérations techniques, le choix du langage ADA par le Department Of Defense des États-Unis impose pratiquement l’usage de ce langage pour les applications militaires.

On peut cependant remarquer que l’utilisation de toutes les fonctionnalités du langage ADA n’est pas envisageable lorsqu’il s’agit de réaliser des systèmes certifiables, donc très déterministes, car on ne sait pas prouver les propriétés de toutes les constructions du langage. Cela explique la présence, à côté de supports d’exécution complets pour le langage, de produits utilisant des modèles d’application très restrictifs par rapport aux possibilités du langage. Ce sont ceux-ci qui sont exposés dans ce paragraphe.

Garantir un comportement applicatif déterministe n’est pas toujours possible sans prendre certaines précautions, à la fois dans les structures de programmation et dans les services utilisés par l’application. Par exemple, la création dynamique d’objets, ou la présence de structures de répétition dont on ne connaît pas le nombre maximal d’itérations, ou encore de services de coopération entre tâches non précisément définis, sont tous des éléments rendant extrêmement complexe (voir impossible) la prédiction du comportement de l’application et le calcul de ses caractéristiques, comme par exemple les temps d’exécution des tâches.

Il faut donc tout d’abord s’imposer de rendre l’application statique, utiliser un modèle d’application et des services permettant de faire les analyses exigées, par exemple, pour la certification de l’application. Illustrons cette démarche sur l’exemple simplifié de l’exécutif T-SMART (Tasking-SMall Ada Run Time...

Cet article est réservé aux abonnés.
Il vous reste 93% à 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
Exécutifs temps réel pour 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