Ressource pédagogique : Ordonnancement pour systèmes temps réel : conception et vérification
Un système informatique est dit "temps réel" dès qu'il doit répondre à un stimulus dans un délai donné. Les système informatiques embarqués dans les avions et les voitures sont ainsi soumis à des contraintes temps réel. Pour de tels systèmes, il faut concevoir et vérifier des techniques d'arbitrage ...
cours / présentation - Date de création : 13-02-2019
Présentation de: Ordonnancement pour systèmes temps réel : conception et vérification
Informations pratiques sur cette ressource
Français
Type pédagogique : cours / présentation
Niveau : formation continue
Durée d'exécution : 30 minutes 42 secondes
Contenu : image en mouvement
Document : video/mp4
Taille : 2.21 Go
Droits : libre de droits, gratuit
Droits réservés à l'éditeur et aux auteurs. Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)
Droits réservés à l'éditeur et aux auteurs. Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)
Description de la ressource pédagogique
Description (résumé)
Un système informatique est dit "temps réel" dès qu'il doit répondre à un stimulus dans un délai donné. Les système informatiques embarqués dans les avions et les voitures sont ainsi soumis à des contraintes temps réel. Pour de tels systèmes, il faut concevoir et vérifier des techniques d'arbitrage de l'utilisation des ressources (processeurs, bus, mémoires, etc.) entre les différentes opérations à effectuer en concurrence (calcul, communication, etc.). C'est l'objet de l'ordonnancement temps réel, et nous donnerons un aperçu des problèmes de recherche actuels en lien avec l'évolution des besoins dans l'industrie.
"Domaine(s)" et indice(s) Dewey
- système embarqué (006.22)
Intervenants, édition et diffusion
Intervenants
Fournisseur(s) de contenus : INRIA (Institut national de recherche en informatique et automatique), Académie de Grenoble
Diffusion
-
Canal-u.fr
Voir toutes les ressources pédagogiques
AUTEUR(S)
-
Sophie QUINTON
EN SAVOIR PLUS
-
Identifiant de la fiche
48989 -
Identifiant
oai:canal-u.fr:48989 -
Schéma de la métadonnée
- LOMv1.0
- LOMFRv1.0
- Voir la fiche XML
-
Entrepôt d'origine
Canal-u.fr