Bibliographie & annexes
Présentation
En anglais
RÉSUMÉ
La validation des systèmes temps réel répartis nécessite une analyse des traitements parallèles sur les processeurs (tâches), ainsi que des messages échangés par ces processeurs via le réseau. Cet article présente l'ordonnancement des systèmes temps réel répartis, afin de valider les contraintes temporelles des tâches et des messages échangés sur le réseau. Deux méthodes de validation sont présentées : l'une analysant conjointement les messages et les tâches, l'autre validant les messages indépendamment de l'exécution des tâches.
Lire cet article issu d'une ressource documentaire complète, actualisée et validée par des comités scientifiques.
Lire l’articleABSTRACT
The validation of real-time distributed systems requires an analysis of tasks on processors and of messages exchanged by the processor via the network. This article presents the scheduling of real-time distributed systems, in order to validate the temporal constraints of tasks and messages exchanged on the network. Two validation methods are presented: one for the simultaneous analysis of messages and tasks, another for the validation of messages independently of tasks.
Auteur(s)
-
Emmanuel GROLLEAU : Professeur des universités en Informatique à l’ISAE-ENSMA (Chasseneuil du Poitou)
-
Michaël RICHARD : Maître de conférences en Informatique à l’ISAE-ENSMA (Chasseneuil du Poitou)
-
Pascal RICHARD : Professeur des universités en Informatique à l’Université de Poitiers
-
Frédéric RIDOUARD : Maître de conférences en Informatique à l’Université de Poitiers
INTRODUCTION
La complexité des procédés temps réel à commander ou à superviser, le nombre élevé de données et d’événements à traiter, la répartition topologique des procédés, d’une part, et l’apparition depuis plusieurs années de réseaux dédiés aux systèmes embarqués, d’autre part, sont tous des facteurs qui ont conduit à repenser les applications temps réel centralisées. Aujourd’hui, la notion d’architecture répartie, ou distribuée, est très utilisée dans le milieu industriel, notamment dans l’industrie du transport. À titre d’exemple, les domaines d’applications faisant couramment appel aux architectures réparties sont :
-
le contrôle d’équipements dans les transports (avionique, automobile, ferroviaire...) ;
-
le contrôle et la régulation de trafic en milieu urbain ;
-
les industries (contrôle/commande de procédés...) ;
-
le domaine militaire (suivi de trajectoires de missiles...) ;
-
le domaine aérospatial (suivi de satellites, pilotage automatique...) ;
-
la domotique (sécurité d’habitations...) ;
-
les télécommunications (systèmes de commutation...) ;
-
le domaine médical (assistance et contrôle de malades...).
Un système informatique destiné à commander ou à superviser des opérations est composé, le plus souvent, de plusieurs unités de traitement (ordinateurs, automates programmables, ECU [Electronic Control Unit]...), des capteurs, des actionneurs, des périphériques de visualisation et de dialogue avec les opérateurs. L’ensemble de ces éléments est interconnecté par un réseau ou par plusieurs réseaux interconnectés entre eux (des réseaux industriels, des réseaux bureautiques, des bus de terrain, etc.). Ce type de système est qualifié de système temps réel et réparti (ou distribué ou encore décentralisé).
Dans ce type de système, l’ordonnancement des tâches et des messages joue un rôle fondamental dans le processus de validation temporelle de ceux-ci. Nous présentons dans cet article les différentes techniques d’analyse d’ordonnançabilité des tâches, en fonction de leur type, et des messages en fonction du type de réseau utilisé (CAN, AFDX...).
L'expertise technique et scientifique de référence
MOTS-CLÉS
panorama problématiques techniques de base informatique temps réel systèmes critiques embarqués et distribués réseaux
KEYWORDS
survey | problems | solving technics | real-time systems | embedded and critical ditributed systems | network
DOI (Digital Object Identifier)
Cet article fait partie de l’offre
Automatique et ingénierie système
(137 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
Placement
En anglais
3. Ordonnancement et validation
La validation temporelle d’un système temps réel passe par une analyse d’ordonnançabilité. Effectuer une analyse d’ordonnançabilité, c’est vérifier que, dans n’importe quel scénario, l’ensemble des tâches est ordonnançable par une politique (algorithme) d’ordonnancement choisie, c’est-à-dire qu’elles respectent toutes leurs contraintes temporelles. Or, comme présentée dans le paragraphe 1.3.2, les communications entre tâches au sein d’un système réparti impactent l’ordonnancement de celles-ci. Deux grands types d’analyse peuvent être envisagés :
-
l’analyse conjointe de l’ordonnancement des tâches et des messages ; dans ce cas, l’idée est de prendre en compte au plus tôt dans l’analyse les délais de communications. Ce type de méthode permet d’analyser le système de manière globale et assez fine ;
-
l’analyse séparée de l’ordonnancement des tâches et des temps de communication ; ici, le principe est d’étudier le système de communication de manière indépendante. Une borne synchrone des temps de communication peut ainsi être obtenue et utilisée sous la forme d’une gigue sur l’activation dans les techniques d’analyse de type monoprocesseur sur chacun des sites du système réparti, permettant de valider l’ordonnançabilité des tâches sur ceux-ci. Ce type d’analyse permet une validation du système lorsque l’on n’a pas accès à la composition des différents nœuds.
Après avoir présenté le modèle de tâches utilisé pour ces analyses, nous présentons une méthode d’analyse conjointe dans le paragraphe 3.2 et une méthode d’analyse indépendante dans le paragraphe ...
L'expertise technique et scientifique de référence
Cet article fait partie de l’offre
Automatique et ingénierie système
(137 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
Ordonnancement et validation
BIBLIOGRAPHIE
-
(1) - BURNS (A.), WELLINGS (A.) - Real-time systems and their programming languages - Addison Wesley editions (1991).
-
(2) - LANN (G.L.) - Designing real-time dependable distributed systems - Computer Communications, vol. 15, n° % 14, pp. 225-234 (1992).
-
(3) - STANKOVIC (J.) - Distriubuted real-time computing : the next generation - TR92-01. Dept. of computer science, University of Massachusetts (1992).
-
(4) - LAPRIE (J.-C.) - Dependability : basic concepts and terminology - Springer-Verlag editions (1992).
-
(5) - CNRS - Le temps réel – Groupe de réflexion sur le temps réel - Techniques et Sciences Informatiques, vol. 8, pp. 493-500 (1988).
-
(6) - DORSEUIL (A.), PILLOT (P.) - * - . – Le temps réel en milieu industriel : Concepts, environnements,...
DANS NOS BASES DOCUMENTAIRES
L'expertise technique et scientifique de référence
Cet article fait partie de l’offre
Automatique et ingénierie système
(137 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
