systèmes en 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] ...
34
Méthodologie de conception de systèmes temps réel et distribués en contexte UML/SysML
... des systèmes temps réel, le profil UML SPT [OMG 05] (Schedulability, Performance and Time) ne considère qu’un temps métrique qui fait implicitement référence au temps physique ...
140
Traçage de systèmes linux multi-coeurs en temps réel
... des systèmes et appli- cations temps réel, il s’agit d’un traceur à faible surcharge de latence : les points de trace inactifs ne provoquent l’exécution que d’une instruction – un saut inconditionnel ...
79
Détection de problèmes dans les systèmes temps réel par l'analyse de traces
... de systèmes temps réel avec l’application npt (Beamonte, ...des systèmes temps ...tâches temps réel sur des coeurs ...un temps trop petit, cela demande beaucoup de ...
91
SPÉCIFICATION ET VÉRIFICATION DES SYSTÈMES EMBARQUÉS TEMPS RÉEL EN UTILISANT LA LOGIQUE DE RÉÉCRITURE
... applications temps-réel embarquées constitue de nos jours une tâche très ...ces systèmes est di fficile du fait qu’il est nécessaire de respecter non seulement l’exactitude des résultats, mais aussi ...
171
Conception basée modèle des systèmes temps réel et distribués
... de systèmes temps réel et embarqués, nous pouvons mentionner le projet OMEGA [OME] et son profil UML temps réel : OMEGA-RT [GOO ...
103
Conception basée modèle des systèmes temps réel et distribués
... de systèmes temps réel et embarqués, nous pouvons mentionner le projet OMEGA [OME] et son profil UML temps réel : OMEGA-RT [GOO ...
102
Modélisation, évaluation et validation des systèmes temps réel distribués
... réseaux temps réel. Cependant, RTC est une méthode d’analyse des systèmes temps réel qui traitent les événements de flux de données (une tâche est générée par un ...
163
Génération stratégique de code pour la maîtrise des performances de systèmes temps-réel embarqués
... l’embarqué temps-réel nécessite d’assurer le respect de certaines contraintes telles que les contraintes de temps et de ...des systèmes synchrones contrairement à ...
140
Test de systèmes temps réel à l'aide du forçage en ligne
... 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 ...
110
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 importante que le ...
10
Test de systèmes temps réel à l’aide du forçage en ligne
... 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 comportement ...
109
Efficacité énergétique et ordonnancement des systèmes temps-réel multiprocesseurs.
... les systèmes temps-réel ...les systèmes élec- troniques embarqués en changeant le profil de consommation du système c’est-à-dire en plaçant les composants dans des modes faible consommation ...
202
Supervision en ligne de propriétés temporelles dans les systèmes distribués temps-réel
... de systèmes distribuées, qu’ils soient temps réel [CJ] ou asynrones [FBHJ ; BHFJ], sur la base des réseaux de Petri temporisés a aussi été ...
119
Systèmes de localisation en temps réel basés sur les réseaux de communication sans fil
... aux systèmes de localisation en temps réel (RTLS) basés sur les technologies de communication sans-fil ...en temps réel, la technique d’acquisition comprimée (CS) est appliquée pour ...
208
Ordonnancement temps réel multiprocesseur pour la réduction de la consommation énergétique des systèmes embarqués
... de systèmes multiprocesseurs Cette section propose un résumé non exhaustif des algorithmes d’ordonnancement multi- processeurs ...des systèmes temps réel multiprocesseurs ne peut être ...
124
Sûreté temporelle pour les systèmes temps réel multiprocesseurs
... tâches temps réel a conduit à plu- sieurs approches algorithmiques pour décider de l’ordre d’exécution des ...l’ordonnancement temps réel ...des systèmes d’exploitation comme Linux ...
130
Surveillance temps-réel des systèmes Homme-Machine. Application à l'assistance à la conduite automobile
... tems réel est l’analyse visuelle du battement des paupières, témoin quasi direct de l’état physique du conducteur, ...fonctionnement temps réel (50 ...de systèmes de vision, devenus ...
195
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 à sa ...
173
Stratégie de réduction des cycles thermiques pour systèmes temps-réel multiprocesseurs sur puce
... applications temps réel ...des systèmes électroniques et cet effet est d’autant plus marqué que la technologie des transistors utilisée est avancée et que les conditions d’utilisation des circuits ...
134