[PDF] Top 20 Faisabilité des politiques en-ligne dans les systèmes temps-réel

... paper, we compare the feasibility region of four on-line speed selection policies in single-processor real-time systems, namely Optimal Available (OA) [1], Average Rate (AVR) [1], (BKP) [r] ... Voir le document complet

... les systèmes temps-réel : une approche basée sur la vérification en ligne La vérification en ligne de spécifications formelles permet de créer des détecteurs d’er- reur dont le pouvoir ... Voir le document complet

... de systèmes distribuées, qu’ils soient temps réel [CJ] ou asynrones [FBHJ ; BHFJ], sur la base des réseaux de Petri temporisés a aussi été ...en ligne et en présence d’observations ... Voir le document complet

... des systèmes temps réel Comme évoqué en section ...des systèmes temps réel vise à confirmer, par l’observation de son exécution sous des conditions spécifiques, que le ... Voir le document complet

... – Contrôle de la date d’inter-arrivée pour une tâche, c’est à dire la durée entre deux activations d’une même tâche. – Contrôle du temps d’exécution d’une instance d’une tâche. – Contrôle de la durée d’une section ... Voir le document complet

... d’ordonnancement temps r´ eel ont des bornes d’ordonnan¸ cabilit´ e optimales mais au prix d’une complexit´ e en ligne qui peut ˆ etre ´ elev´ ee, avec pour cons´ equence un nombre important de pr´ ... Voir le document complet

... Résumé : Cet article propose d’utiliser la technique des processus de décision markovien (PDM) pour calculer la politique optimale en-ligne de choix de vitesses afin de minimiser l’énergie consommée par un ... Voir le document complet

... car dans les architectures systèmes on trouve plusieurs processeurs et des entités de plus en plus souvent reconfigurables par parties. Parmi les autres travaux qui étudient le problème du partitionnement ... Voir le document complet

... de temps d’exécution selon trois valeurs séparées par une barre oblique, la première concerne l’heure de démarrage du processus léger, la seconde son heure de fin d’exécution, et la dernière fait la différence ... Voir le document complet

... de temps inutilisés qui attribue l’intervalle de temps inutilisé par une tâche précédente à la tâche prête suivante ayant la priorité locale la plus élevée s’exécutant sur le même ...de temps ... Voir le document complet

... de recherche effectuées au cours des dix dernières années. Notre première contribution porte sur les techniques de test de systèmes distribués et adaptables dynamiquement. Notre deuxième contribution consiste à ... Voir le document complet

... 6.2. Positionnement par rapport à UML 2.0 La présentation du profil TURTLE à la conférence UML’2001 [ACL 01] a précédé de trois ans l’adoption par l’OMG d’UML 2.0 qui entérine l’idée d’associer des ports de ... Voir le document complet

... 6.2. Positionnement par rapport à UML 2.0 La présentation du profil TURTLE à la conférence UML’2001 [ACL 01] a précédé de trois ans l’adoption par l’OMG d’UML 2.0 qui entérine l’idée d’associer des ports de ... Voir le document complet

... le temps, l’angle et la phase d’arrivée pour estimer la position d’une cible avec un calcul ...en ligne de vue (Line of Sight, LOS), autrement dit lorsqu’un trajet direct entre l’émetteur et le récepteur ... Voir le document complet

... Sous AbP et GbW a, P R est plus grand que sous GbW p et EDF. Pour la politique EDF , les préemptions se produisent entre toutes les instances en fonction de leur échéance respective. Leur nombre est donc identique à un ... Voir le document complet

... Les algorithmes d’ordonnancement multiprocesseurs ayant pour objectif de r´eduire la consommation ´energ´etique uti- lisent majoritairement un ordonnancement partitionn´e o`u la migration des tˆaches entre processeurs ... Voir le document complet

... aux systèmes multiprocesseurs en utilisant à la fois des algorithmes réduisant la fréquence de fonctionnement et des états basse-consommation par Bhatti et ...les systèmes multiprocesseurs composés de ... Voir le document complet

... Difficulté et avantages d’une implémentation sans verrou La solution précédente est certes simple à implémenter statiquement au sein d’une plate-forme d’exécution, cependant les coûts induits peuvent conduire à ... Voir le document complet

... multimédia temps réel Ce dernier exemple d’applications qui nous permet d’illustrer le concept de « temps réel » se situe dans le contexte du contrôle des grands réseaux de communication à ... Voir le document complet

... CHAPITRE 5 ORDONNANCEMENT À MIGRATIONS RESTREINTES 5.1 Introduction Dans ce chapitre, nous considérons l’ordonnancement de tâches périodiques à échéan- ces contraintes. Il s’agit d’un ordonnancement en ligne, ... Voir le document complet