Haut PDF Détection de problèmes dans les systèmes temps réel par l'analyse de traces
Détection de problèmes dans les systèmes temps réel par l'analyse de traces
... 2.7.2 Avec un index L’article Fatehpuria and Goyal (2014) présente un algorithme simple pour efficacement détec- ter la présence d’un patron. Il itère une fois sur tous les éléments et note dans une structure de données ...
91
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
... de temps, de fiabilit´e et de robustesse ? Le d´efi majeur pour les concepteurs de syst`emes temps r´eel critiques consiste `a analyser de nombreuses possibilit´es de conception afin de pouvoir r´epondre ...
222
Détection d'erreur au plus tôt dans les systèmes temps-réel : une approche basée sur la vérification en ligne
... premier temps, nous avons selectionné un formalisme de spécification de comportements temps réels, les automates ...les traces identifiant la plus petite séquence d’observation prouvant qu’une trace ...
141
Analyse de traces d'exécutions pour les systèmes embarqués : détection d'anomalies par corrélation temporelle
... L’exploitation de traces reste confrontée, néanmoins, à des problèmes de volume de données et de manque de méthodes d’analyse évoluées. En effet, à titre d’exemple, un décodage vidéo de quelques secondes ...
24
Micromembranes résonantes à actionnement et détection piézoélectriques intégrés pour la détection de molécules biologiques en temps réel
... les problèmes nécessitant des données expérimentales pour apporter des éléments de réponse, une manière élégante d’obtenir les informations passe par l’utilisation de ...Ces systèmes offrent la possibilité, ...
148
Détection et suivi de visages en temps Réel sur Flux Vidéo
... de détection Les premiers efforts de détection de visage remontent au début des années 1970, où les techniques heuristiques et anthropométriques ont été utilisées ...ces systèmes, toute modification ...
166
Efficacité énergétique et ordonnancement des systèmes temps-réel multiprocesseurs.
... leur analyse et leur mise en œuvre. Un autre défi pour les systèmes temps réel réside dans le problème de ...l’ordonnancement temps réel pour des systèmes multiprocesseurs ...
202
Détection temps réel de postures humaines par fusion d'images 3D
... environnement a son propre processus de conception. C’est pour cela que l’on commence par un état de l’art sur la méthodologie des systèmes embarqués (section 5.1.1), puis on répartit les architectures existantes ...
141
Analyse de systèmes temps-réel par traçage
... les traces ainsi que pour effectuer ...applications temps r´ eel ` a contraintes dures, il est suffisant dans le cas o` u nous cherchons ` a observer des charges de travail pr´ ecises et non ` a obtenir les ...
77
Mesure et analyse de latences dans les systèmes parallèles en temps réel
... des traces volumineuses sont générées, est qu’il ne pos- sède pas de format de trace compact ; les traces sont exportées sous une forme textuelle et cela impose des appels à une fonction équivalente à ...
125
Traçage de systèmes linux multi-coeurs en temps réel
... administrateurs systèmes et leur fournit des scripts d’instrumentations per- mettant automatiquement d’être interfacés avec l’instrumentation statique fournie par la macro ...
79
Test de systèmes temps réel à l’aide du forçage en ligne
... Chapitre 6 — Principe de mise en œuvre 63 du passage dans une première tâche, tandis que l’autre pourrait vouloir signifier l’ajout de délais dans une seconde tâche. Le choix du polyèdre à utiliser n’a pas d’importance ...
109
Approche formelle pour la spécialisation de systèmes d'exploitation temps réel
... et le comportement. L’application est ´ egalement mod´ elis´ ee et son mod` ele est synchronis´ e avec celui du syst` eme d’exploitation temps r´ eel afin de formaliser le d´ eploiement de l’application sur le ...
15
Modélisation, évaluation et validation des systèmes temps réel distribués
... aux systèmes temps réel distribués car il ne répond pas aux besoins de ce genre de systèmes en ...les systèmes temps réel de nouvelle génération doit garantir le respect ...
163
Test de systèmes temps réel à l'aide du forçage en ligne
... – 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 ...
110
Contrôle supervisé de systèmes à évènements discrets temps-réel
... Tout comme les deux exemples de controle centralise presentes dans la section 5.2, cet exemple simple de controle modulaire fonde sur SetExp illustre les avantages de notre methode de [r] ...
260
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
Réduction de la consommation statique des systèmes temps-réel multiprocesseurs
... syst`emes temps-r´eel. Un syst`eme temps-r´eel a des contraintes temporelles strictes qui ne peuvent ˆetre viol´ees, par cons´equent l’utilisation des ´etats basse-consommation doit ˆetre r´efl´echie pour ...
5
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
Vers une détection de piétons temps réel par apprentissage de forme dans l'image de profondeur
... La détection d’objets et en particulier celle des piétons fait partie des outils de la protection et de la sécurité d’au- ...le temps de traitement des ...des temps d’exécution importants, soit un ...
8