Systèmes critiques temps réel
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 ...
176
Ordonnancement de tâches efficace et à complexité maîtrisée pour des systèmes temps-réel
... Chapter 6. Conclusions 124 illustr´ e que l’algorithme RUF est plus performant que MUF vis-` a-vis du nombre de tˆ aches non-critiques ex´ ecut´ ees suivant leurs ´ ech´ eances pendant une hyper-p´ eriode. Dans ...
179
SPÉCIFICATION ET VÉRIFICATION DES SYSTÈMES EMBARQUÉS TEMPS RÉEL EN UTILISANT LA LOGIQUE DE RÉÉCRITURE
... situations critiques (comportement général, mais aussi, des situations bien précises ou ...les systèmes de transitions étiquetées (Labelled Transition Systems), les Statecharts de Harel, les réseaux de ...
171
Systèmes de localisation en temps réel basés sur les réseaux de communication sans fil
... 2.9.1 DSRC Un spectre de fréquences dédié aux communications dans ITS a été attribué dans différentes régions du monde. DSRC œuvre dans la bande de fréquence des 5.9GHz aux États-Unis et en Europe [Jiang, 2006]. Ces ...
208
Comment rendre LOTOS apte à spécifier des systèmes temps réel ?
... Dans LOTOS-T [Miguel 93a], un mécanisme plus simple que ceux que nous venons d’évoquer est proposé. Le préfixage peut être complété aussi par un label temporel, comme notre limiteur d’offre, mais avec une signification ...
19
Modélisation, évaluation et validation des systèmes temps réel distribués
... 6.1 Introduction Dans le chapitre 5 , la méthode FA a été présentée pour des réseaux de paquets utili- sant la politique de service FIFO. Cependant, les industriels souhaitent intégrer des flux avec des contraintes ...
163
Tests en Temps-Réel Basés sur des Modèles de Systèmes Dynamiques et Distribués
... 2 Contexte de recherche et motivation Afin de créer et de fournir des logiciels de qualité garantie et d’éviter les coûts potentiels causés par l’instabilité logiciels, les tests sont une étape incontournable du ...
14
Analyse de systèmes temps-réel par traçage
... R´ ESUM´ E Le tra¸cage est une technique qui permet de r´ ecup´ erer de l’information tr` es pr´ ecise sur l’ex´ ecution d’un syst` eme avec un impact minime. Afin de mieux comprendre l’ex´ ecution d’une application, la ...
77
Supervision en ligne de propriétés temporelles dans les systèmes distribués temps-réel
... tème pour en rejoindre l’extrémité. Le diagnostic sera potentiellement mauvais, la boucle de rétroaction sera lente et les consignes risquent alors de ne pas arriver à temps. ) L’inadéquation au système. La ...
119
Efficacité énergétique et ordonnancement des systèmes temps-réel multiprocesseurs.
... les systèmes temps réel réside dans le problème de ...l’ordonnancement temps réel pour des systèmes multiprocesseurs est très différent et plus complexe que pour des ...
202
Réduction de la consommation statique des systèmes temps-réel multiprocesseurs
... ∀j, X k∈E j w j,k × |I k | = j.c (3) La premi`ere in´egalit´e signifie que l’utilisation sur un inter- valle ne doit pas ˆetre sup´erieure au nombre de processeurs. La seconde in´egalit´e interdit au poids d’un travail ...
5
Configuration et Reconfiguration des Systèmes Temps-Reél Répartis Embarqués Critiques et Adaptatifs
... 4.4.5 Garantir la disponibilité de données cohérentes Les protocoles que nous venons de présenter sont à mettre en relation avec un autre besoin fort dans les systèmes reconfigurables : la disponibilité de données ...
190
Gestion de l'énergie renouvelable et ordonnancement temps réel dans les systèmes embarqués
... La problématique d’ordonnancement sur les systèmes qui récupèrent l’énergie de l’environnement est de trouver des algorithmes performants ainsi que les outils d’analyses d’ordonnançabilité associés. L’algorithme ...
299
Marte, le nouveau standard UML pour les systèmes temps réel embarqués
... des systèmes embarqués (alors que SPT ne supportait principalement que l’étape d’analyse des propriétés temps réel de la partie logicielle d’un ...du temps réel et de l’embarqué, des ...
10
Ordonnancement temps réel multiprocesseur pour la réduction de la consommation énergétique des systèmes embarqués
... d’ordonnancement temps réel multipro- cesseurs optimaux pour des systèmes temps réel dur et des systèmes temps réel à criticité ...des systèmes temps ...
124
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 ...
140
Systèmes temps réel embarqués : spécification, conception, implémentation et validation temporelle
... Chapitre 6 : Programmation des systèmes multitâches 295 6.1 Programmation C, Ada et LabVIEW 295 6.2 Programmation multitâche en langage C 341 6.3 Programmation multitâche en langage Ada 375 6.4 Programmation ...
6
Nouvelle approche TURTLE pour le dimensionnement et la validation de systèmes répartis temps réel
... Open Archive Toulouse Archive Ouverte OATAO OATAO is an open access repository that collects the work of Toulouse researchers and makes it freely available over the web where possible...[r] ...
11
Diagnostic des systèmes temps réel modélisés par des automates à entrées sorties temporisées
... Pour chaque état s considéré, et sous l’hypothèse que s est l’état suivant tk, si les sorties déjà observées et les sorties attendues de cette nouvelle spécification sont égales pour tou[r] ...
112
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