Bibliographie & annexes
Présentation
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
(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
Introduction aux systèmes temps réel et répartis5. Conclusion
La répartition est souvent indispensable pour maîtriser et garantir les contraintes temporelles dans les systèmes temps réel complexes. Mais une telle répartition conduit à de nouveaux problèmes qu’il faut résoudre. Parmi ces problèmes, on trouve celui de l’ordonnancement temps réel. En effet, le respect des contraintes temporelles globales d’une application temps réel et répartie implique le respect, à la fois, des contraintes temporelles des tâches et de celles des messages échangés entre ces tâches.
La prise en compte des contraintes temporelles de messages doit se faire à tous les niveaux de la communication. Par conséquent, les profils de communication temps réel sont d’une importance capitale pour garantir le bon fonctionnement des applications temps réel et réparties. Nous avons traité un des aspects de la communication temps réel, et non des moindres, à savoir la prise en compte des contraintes de temps au niveau MAC. En effet, c’est au niveau MAC qu’apparaît le problème de partage du médium entre les stations où s’exécutent les tâches communicantes. Deux des principales techniques MAC ont été présentées dans le paragraphe 2.
Nous nous sommes ensuite intéressés aux méthodes de validation de l’ordonnancement réparti. Plus précisément nous avons présenté une méthode, l’analyse holistique, permettant l’analyse conjointe des tâches et des messages. Cette technique est particulièrement appropriée lorsqu’il s’agit d’étudier un système dont on a la connaissance complète, c’est-à-dire tâches, placement des tâches et communications. Dans le cas où seules les contraintes temporelles de communication doivent être validées, nous avons présenté la méthode du Network Calculus. Pour ces deux méthodes, des exemples de mise en œuvre ont été traités.
Le placement des tâches sur les différents nœuds d’un système réparti impacte fortement la charge de communication et, par-là,...
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
Conclusion
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
(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
