• Aucun résultat trouvé

[PDF] Top 20 Techniques de réduction de la consommation dans les systèmes embarqués temps-réel

Has 10000 "Techniques de réduction de la consommation dans les systèmes embarqués temps-réel" found on our website. Below are the top 20 most common "Techniques de réduction de la consommation dans les systèmes embarqués temps-réel".

Techniques de réduction de la consommation dans les systèmes embarqués temps-réel

Techniques de réduction de la consommation dans les systèmes embarqués temps-réel

... Techniques de réduction de la consommation dans les systèmes embarqués temps-réel Frédéric Parain — Michel Banâtre — Gilbert Cabillic — Teresa Higuera — Valérie Issarny — Jean-Philippe L[r] ... Voir le document complet

34

Ordonnancement temps réel multiprocesseur pour la réduction de la consommation énergétique des systèmes embarqués

Ordonnancement temps réel multiprocesseur pour la réduction de la consommation énergétique des systèmes embarqués

... la réduction de la consommation énergétique ont été publiées ...la consommation énergétique ayant ...d’ordonnancement temps réel dont l’objectif est de réduire la consommation ... Voir le document complet

124

Caractérisation de la performance temporelle et de la consommation  électrique de systèmes embarqués basés sur des plates-formes multiprocesseurs/coeurs et mettant en oeuvre du logiciel temps réel : FORECAST : perFORmance and Energy Consumption AnalysiS T

Caractérisation de la performance temporelle et de la consommation électrique de systèmes embarqués basés sur des plates-formes multiprocesseurs/coeurs et mettant en oeuvre du logiciel temps réel : FORECAST : perFORmance and Energy Consumption AnalysiS Tool

... du temps maximum d’ex´ecution de chaque tˆ ache au cours des it´erations de l’explo- ...premier temps, une estimation est effectu´ee dans le cas o` u un seul coeur de la plate- forme est ...en temps ... Voir le document complet

145

Techniques d'analyse et d'optimisation pour la synthèse architecturale de systèmes temps réel embarqués distribués : problèmes de placement, de partitionnement et d'ordonnancement

Techniques d'analyse et d'optimisation pour la synthèse architecturale de systèmes temps réel embarqués distribués : problèmes de placement, de partitionnement et d'ordonnancement

... les techniques d’exploration automatique font r´ef´erence aux techniques ...ces techniques pour l’exploration de tout l’espace des solutions ne garantisse pas que des solutions satisfaisantes soient ... Voir le document complet

222

Réduction de la consommation statique des systèmes temps-réel multiprocesseurs

Réduction de la consommation statique des systèmes temps-réel multiprocesseurs

... II. M OD ELE ` Nous faisons l’hypoth`ese que le syst`eme poss`ede m pro- cesseurs homog`enes et doit ordonnancer un ensemble Γ de n tˆaches ind´ependantes, pr´eemptibles, synchrones et p´eriodiques. Nous utilisons une ... Voir le document complet

5

Stratégie de réduction des cycles thermiques pour systèmes temps-réel multiprocesseurs sur puce

Stratégie de réduction des cycles thermiques pour systèmes temps-réel multiprocesseurs sur puce

... donne le résultat non pas pour chaque pixel mais par blocs carrés de 10x10 pixels. Cette matrice de valeurs de puissance est en relation directe avec la puissance dissipée par le composant. En sommant les puissances ... Voir le document complet

134

Evaluation des performances temps réel de réseaux embarqués avioniques

Evaluation des performances temps réel de réseaux embarqués avioniques

... des techniques des réseaux locaux de transmission de données (Ethernet commuté, ATM, …) a permis d’apporter de nouvelles réponses aux avionneurs et d’envisager leur utilisation dans ce contexte, même si le ... Voir le document complet

125

Modélisation des systèmes temps-réel répartis embarqués pour la génération automatique d'applications formellement vérifiées

Modélisation des systèmes temps-réel répartis embarqués pour la génération automatique d'applications formellement vérifiées

... F IG . II.2 – Construction d’un exécutif pour une approche par composants L’approche proposée par DSA est très intéressante : elle offre à l’utilisateur la possibilité de programmer sans prendre en compte les aspects ... Voir le document complet

204

Vers une prise en compte fine de la plate-forme cible dans la construction des systèmes temps réel embarqués critiques par ingénierie des modèles

Vers une prise en compte fine de la plate-forme cible dans la construction des systèmes temps réel embarqués critiques par ingénierie des modèles

... des systèmes temps-réel embarqués cri- tiques, ainsi que celui du cycle de développement de ses systèmes, dans lequel nous avons inséré notre ...et techniques dont nous nous ... Voir le document complet

176

Optimisation de la précision de calcul pour la réduction d'énergie des systèmes embarqués

Optimisation de la précision de calcul pour la réduction d'énergie des systèmes embarqués

... La probl´ematique est de rechercher la meilleure ad´equation algorithme architecture d’un point de vue du codage des donn´ees en virgule fixe. L’utilisation de l’arithm´etique ` a virgule fixe conduit ` a une ... Voir le document complet

176

Génération stratégique de code pour la maîtrise des performances de systèmes temps-réel embarqués

Génération stratégique de code pour la maîtrise des performances de systèmes temps-réel embarqués

... La spécification d’un SETRC est ainsi traduite en un ensemble d’éléments de mise en œuvre qui vont avoir un impact particulier sur les performances et sur les contraintes du système. Nous l’avons illustré dans le cas des ... Voir le document complet

140

Débruitage vidéo temps réel pour systèmes embarqués

Débruitage vidéo temps réel pour systèmes embarqués

... en temps réel sur des systèmes embarqués ...débruitage temps réel embarqué de vidéos fortement ...de temps réel est ici employé comme un abus de langage par rapport ... Voir le document complet

173

Marte, le nouveau standard UML pour les systèmes temps réel embarqués

Marte, le nouveau standard UML pour les systèmes temps réel embarqués

... des systèmes temps réel embarqués, la prise en compte des propriétés non fonctionnelles (durée d’exécution, consommation électrique, empreinte mémoire…) est généralement aussi ... Voir le document complet

10

Adaptabilité et reconfiguration des systèmes temps-réel embarqués

Adaptabilité et reconfiguration des systèmes temps-réel embarqués

... des systèmes temps réel ...des techniques de reconfiguration orientées composant (safe state) en exécution, car dans ce cas le thread du composant ne sera activé que lors du traitement de ... Voir le document complet

145

Gestion de l'énergie renouvelable et ordonnancement temps réel dans les systèmes embarqués

Gestion de l'énergie renouvelable et ordonnancement temps réel dans les systèmes embarqués

... HS00 ; Zie14 ]. To cope with this difficulty, fault tolerance techniques have been used by introducing redundancy. Zhu et al. in [ ZA06 ] proposed a heuristic that uses slack-time to perform DVFS and reserve time ... Voir le document complet

299

SPÉCIFICATION ET VÉRIFICATION DES SYSTÈMES
EMBARQUÉS TEMPS RÉEL EN UTILISANT LA
LOGIQUE DE RÉÉCRITURE

SPÉCIFICATION ET VÉRIFICATION DES SYSTÈMES EMBARQUÉS TEMPS RÉEL EN UTILISANT LA LOGIQUE DE RÉÉCRITURE

... des techniques mixtes respectant le plus possible des quatre propriétés ...les techniques, ce qui conduit inéluctablement à des techniques complexes et difficiles à appréhender et à mettre en ...le ... Voir le document complet

171

Réduction de modèle par PGD appliqué la simulation en temps réel de solide déformables

Réduction de modèle par PGD appliqué la simulation en temps réel de solide déformables

... Les techniques de réduction de modèles ont démontré être des solutions viables pour la simulation en temps réel de solides ...le temps réel impose des contraintes très lourdes, ... Voir le document complet

3

Configuration et Reconfiguration des Systèmes Temps-Reél Répartis Embarqués Critiques et Adaptatifs

Configuration et Reconfiguration des Systèmes Temps-Reél Répartis Embarqués Critiques et Adaptatifs

... Présentons les bénéfices de chacune de ces méthodes dans le but d’adapter une méthode de génie logiciel dirigée par les modèles à de nouvelles exigences non-fonctionnelles. Génération de l’analyseur syntaxique Adapter ... Voir le document complet

190

Modélisation, évaluation et validation des systèmes temps réel distribués

Modélisation, évaluation et validation des systèmes temps réel distribués

... 4.2 Problématique Déterminer le délai de bout en bout de traversée d’un réseau temps réel comme l’AFDX ou l’AVB est un problème complexe. En effet, en fonction des différents scéna- rios possibles, les ... Voir le document complet

163

Test de systèmes temps réel à l'aide du forçage en ligne

Test de systèmes temps réel à l'aide du forçage en ligne

... L’objectif de test est la propriété du système à tester. Il décrit les conditions du test ainsi que le résultat attendu. Lorsqu’il est formalisé, c’est la spécification du cas de test. Afin de pouvoir donner un verdict ... Voir le document complet

110

Show all 10000 documents...