[article] 
inTechniques de l'ingénieur S > Vol. S4 (Trimestriel) . - pp. 1-23

Titre :	Ordonnancement temps réel : ordonnancement réparti
Type de document :	texte imprimé
Auteurs :	Emmanuel Grolleau, Auteur ; Michaël Richard, Auteur ; Pascal Richard, Auteur
Année de publication :	2010
Article en page(s) :	pp. 1-23
Note générale :	Ingénierie des systèmes et robotique
Langues :	Français (fre)
Mots-clés :	panorama--problématiques--techniques de base--informatique temps réel--systèmes critiques embarqués et distribués--réseaux
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 des systèmes répartis 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.
Note de contenu :	Bibiogr. Doc S 8 059
REFERENCE :	S 8 059
Date :	Novembre 2013
En ligne :	http://www.techniques-ingenieur.fr/base-documentaire/electronique-automatique-th [...]

[article] Ordonnancement temps réel : ordonnancement réparti [texte imprimé] / Emmanuel Grolleau, Auteur ; Michaël Richard, Auteur ; Pascal Richard, Auteur . - 2010 . - pp. 1-23.
Ingénierie des systèmes et robotique
Langues : Français (fre)
in Techniques de l'ingénieur S > Vol. S4 (Trimestriel) . - pp. 1-23

Mots-clés :	panorama--problématiques--techniques de base--informatique temps réel--systèmes critiques embarqués et distribués--réseaux
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 des systèmes répartis 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.
Note de contenu :	Bibiogr. Doc S 8 059
REFERENCE :	S 8 059
Date :	Novembre 2013
En ligne :	http://www.techniques-ingenieur.fr/base-documentaire/electronique-automatique-th [...]