Le coût exact de l'OS dans les systèmes temps réel durs » książka
Le coût exact de l'OS dans les systèmes temps réel durs
ISBN-13: 9786131500992 / Francuski / Miękka / 2010 / 240 str.
Nous nous interessons aux problemes d'ordonnancement de taches periodiques dans les systemes temps reel durs. L'approximation du cout de la preemption, qui est la partie variable du cout du systeme d'exploitation (OS), dans le WCET des taches conduit a faire un compromis entre gaspillage et surete de l'ordonnancabilite, ce qui n'est pas satisfaisant. Les travaux proposes pour resoudre ce probleme conduisent a la prise en compte soit d'un nombre minimal soit d'un nombre maximal de preemptions. Par consequent, il n'est pas possible de garantir de facon sure l'ordonnancabilite d'un systeme temps reel critique. Dans ce livre, nous introduisons un nouveau modele pour resoudre le probleme general de l'ordonnancement de systemes temps reel durs avec des contraintes multiples telles que la precedence, la periodicite stricte, la latence et la gigue, tout en tenant compte du cout exact de la preemption. Fonde sur ce nouveau modele, nous proposons une analyse d'ordonnancabilite qui utilise la definition d'une operation binaire d'ordonnancement.
Nous nous intéressons aux problèmes dordonnancement de tâches périodiques dans les systèmes temps réel durs. Lapproximation du coût de la préemption, qui est la partie variable du coût du système dexploitation (OS), dans le WCET des tâches conduit à faire un compromis entre gaspillage et sûreté de lordonnançabilité, ce qui nest pas satisfaisant. Les travaux proposés pour résoudre ce problème conduisent à la prise en compte soit dun nombre minimal soit dun nombre maximal de préemptions. Par conséquent, il nest pas possible de garantir de façon sûre lordonnançabilité dun système temps réel critique. Dans ce livre, nous introduisons un nouveau modèle pour résoudre le problème général de lordonnancement de systèmes temps réel durs avec des contraintes multiples telles que la précédence, la périodicité stricte, la latence et la gigue, tout en tenant compte du coût exact de la préemption. Fondé sur ce nouveau modèle, nous proposons une analyse dordonnançabilité qui utilise la définition dune opération binaire dordonnancement.
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
