Bibliographie & annexes
Présentation
RÉSUMÉ
Actuellement, l'offre industrielle pour les systèmes d'exploitation temps réel est importante et variée. Pour autant, même si la tendance est à l’utilisation de produits standards, il n’existe pas de leader à proprement parlé. Les exécutifs sont conçus pour une architecture monoprocesseur, multiprocesseur à mémoire partagée (partiellement ou totalement), ou encore multiprocesseur sans mémoire commune (utilisation d'un réseau de communication). Cet article présente tout d’abord quelques exécutifs généralistes, puis le domaine des exécutifs UNIX® temps réel, à la fois au travers du standard POSIX® et des développements LINUX® temps réel. Sont exposées ensuite les principales caractéristiques du standard OSEK/VDX, complété par quelques indications sur AUTOSAR, avant d’évoquer le standard ARINC 653.
Lire cet article issu d'une ressource documentaire complète, actualisée et validée par des comités scientifiques.
Lire l’articleABSTRACT
At this time, the industrial offer for real-time operating systems is large and varied. However, although standard products are widely used, there is no market leader. Operating systems are designed for an architecture based on a single processor, a multiprocessor with partially or totally shared memory, or a multiprocessor without shared memory (use a communication network). This article presents several general-purpose operating systems as well as the domain of UNIX ® real-time operating systems, via the POSIX ® standard and the real time Linux ® development. The major characteristics of the OSEK / VDX standard are then dealt with, along with certain information on the AUTOSAR; the ARINC 653 standard is finally mentioned.
Auteur(s)
-
Yvon TRINQUET : Professeur à l'Université de Nantes (IUT de Nantes) - Responsable de l'Équipe « Systèmes Temps Réel » de l'Institut de Recherche en Communications et Cybernétique de Nantes (IRCCyN)
-
Jean-Pierre ELLOY : Professeur à l'École Centrale de Nantes - Responsable de la valorisation à l'Institut de Recherche en Communications et Cybernétique de Nantes (IRCCyN)
INTRODUCTION
L'expertise technique et scientifique de référence
DOI (Digital Object Identifier)
CET ARTICLE SE TROUVE ÉGALEMENT DANS :
Accueil > Ressources documentaires > Technologies de l'information > Technologies logicielles Architectures des systèmes > Systèmes embarqués > Systèmes d'exploitation temps réel – Exemples d'exécutifs industriels > Le standard ARINC 653
Cet article fait partie de l’offre
Automatique et ingénierie système
(141 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
Présentation
Situation de l'offre5. Le standard ARINC 653
5.1 Aperçu du standard
Ce standard est né dans le domaine de l’aéronautique, donc un cadre applicatif avec des contraintes extrêmement fortes quant aux aspects sûreté de fonctionnement. Ceci explique le modèle d’exécution retenu comme on le verra. Il est la définition d’une interface entre un système d’exploitation (forcément temps réel) d’un support d’exécution avionique et les logiciels applicatifs, d’où le nom APEX (Application/excutive). Il s’intègre naturellement dans le cadre des travaux sur les architectures modulaires utilisées en avionique : AMI (Avionique modulaire intégrée) ou IMA (Integrated modular avionics). Les travaux sur le standard ont débuté en 1991, un premier standard étant publié en 1996. Ils peuvent être trouvés sur le site http://www.aviation-ia.com/aeec/projects/apex mais ils sont payants. Il s’agit au minimum de ARINC 653P1-2 (Partie 1) et ARINC 653P2-1 (Partie 2).
-
Notion de partition
Le principe majeur est l’utilisation de la notion de « partition » pour la mise en œuvre des applications avioniques. Une application, réalisation logicielle d’une fonction avionique comme un pilote automatique va être conçue comme une ou plusieurs partitions. La partition est l’unité d’exécution de tout ou partie d’une application. Elle est constituée d’ensemble de processus coopérants et concurrents (notion de tâche et pas de processus UNIX®) et ne peut s’exécuter que sur un seul processeur. Elle est séparée des autres partitions à la fois dans l’espace (isolation mémoire) et dans le temps (attribution de slots temporels) ; on parle de ségrégation entre les partitions. L’architecture matérielle d’un système est constituée de plusieurs processeurs interconnectés et l’architecture logicielle d’un ensemble de fonctions avioniques. Hors-ligne, l’exécution des partitions des fonctions est répartie dans le temps à l’intérieur d’un cycle de durée fixe MAF (Major time frame), de manière à ce que les contraintes applicatives soient respectées (figure 3). Cette allocation est déterministe et cyclique, elle n’est pas modifiable dynamiquement.
Le rôle du système d’exploitation d’un calculateur est donc d’allouer...
L'expertise technique et scientifique de référence
Cet article fait partie de l’offre
Automatique et ingénierie système
(141 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
Le standard ARINC 653
BIBLIOGRAPHIE
-
(1) - ANDERSON (J.), SRINAVASAN (A.) - Early-Release fair scheduling - Proceedings of the 12th Euromicro Conf. On Real-Time Systems, p. 35-43 (2000).
-
(2) - ANDERSON (J.), SRINAVASAN (A.) - Mixed Pfair/ERfair scheduling of asynchronous periodic tasks - Journal of Computer and System Sciences. 68(1), p. 157-204 (2004).
-
(3) - ANDRE (C.) - L’approche synchrone pour le développement des systèmes temps réel - Chapitre 4 de la section « Systèmes Temps Réel », Encyclopédie de l’informatique et des systèmes d’information, p. 774-789, Vuibert (2006).
-
(4) - BAKER (T.P.) - Stack-based scheduling of real-time processes - Journal of Real-Time Systems, 2 (1991).
-
(5) - BARUAH (S.), GEHRKE (J.), PLAXTON (C.G.) - Fast scheduling of periodic tasks on multiple resources - Proceedings of the 9th Int. Parallel Processing Symposium, p. 280-288 (1995).
-
...
DANS NOS BASES DOCUMENTAIRES
ANNEXES
-
Consortium Flexray (réseau)
-
DDCI, RTOS
-
FreeRTOS, RTOS
-
FSMLabs, Linux temps réel
-
Green Hills Software Inc.
-
Infos Linux temps réel
-
LynuxXorkw, Linux temps réel et RTOS
-
MICRIUM, RTOS
-
Microsoft
-
MontaVista, Linux temps réel
-
OSEK Group. Standard RTOS automobile
-
Projet ADEOS
-
Projet RTAI, Linux temps réel
-
Projet Xenomai,...
L'expertise technique et scientifique de référence
Cet article fait partie de l’offre
Automatique et ingénierie système
(141 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
