Systèmes temps-réel embarqués
Marte, le nouveau standard UML pour les systèmes temps réel embarqués
... Modélisation de plates-formes d’exécution Marte s’inscrit pleinement dans une démarche de type « ingénierie dirigée par les modèles » pour le développement des systèmes temps réel embarqués. ...
10
Adaptabilité et reconfiguration des systèmes temps-réel embarqués
... des systèmes temps réel embarqués (STRE) pose des défis importants pour les ...tels systèmes, l’exactitude des résultats ne dépend pas seulement de l’exactitude logique des calculs, ...
145
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
Modélisation des systèmes temps-réel répartis embarqués pour la génération automatique d'applications formellement vérifiées
... La première étape consiste à extraire les caractéristiques de l’application que nous devons prendre en compte pour spécifier l’intergiciel. Il est pour cela nécessaire de recourir à un forma- lisme permettant de décrire ...
204
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 ...
173
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
Génération stratégique de code pour la maîtrise des performances de systèmes temps-réel embarqués
... est important. Ainsi, faciliter la conception et obtenir une validation fiable sont des objectifs qui semblent incompatibles. Les approches de l’Ingénierie Dirigée par les Modèles (IDM) proposent des techniques in- ...
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
Contribution à la robustesse des systèmes temps réel embarqués - Approches de dimensionnement du mécanisme de protection temporelle d'AUTOSAR OS
... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ...
197
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 et `a une augmentation du co ...syst`emes temps r´eel embarqu´es, il existe plusieurs alternatives pour l’int´egration d’un mod`ele fonctionnel dans un mod`ele de plateforme d’ex´ecution et chaque ...
222
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
Mise en oeuvre de notations standardisées, formelles et semi-formelles dans un processus de développement de systèmes embarqués temps-réel répartis.
... les systèmes TR 2 E : elle nous permettra de produire des modèles formels sur lesquels nous pourrons effectuer des ...premier temps, nous exposons nos critères d’analyse des ADLs existants, puis nous les ...
202
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
Architectures logicielles pour les systèmes embarqués temps réel
... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ...
20
SPÉCIFICATION ET VÉRIFICATION DES SYSTÈMES EMBARQUÉS TEMPS RÉEL EN UTILISANT LA LOGIQUE DE RÉÉCRITURE
... les systèmes logiciels comme une collection de classes (les entités à abstraire et l’encapsulation des fonctionnalités) qui peuvent avoir des objets ou instances et communiquent entre eux, via des ...
171
Conception d'un générateur d'intergiciels temps réel embarqués dans l'automobile.
... exécutifs temps réel pour l’intergiciel Le domaine des systèmes temps réel embarqués dans l’automobile est très large, et beaucoup de langages de programmation peuvent êtres plus ...
144
Ordonnancement non préemptif et condition d'ordonnançabilité pour systèmes<br />embarqués à contraintes temps réel
... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ...
145
[PDF] Formation Développement de systèmes embarqués temps réel avec Ada | Cours informatique
... Un agrégat est la forme littérale d'une valeur de type tableau (un élément de l'ensemble de valeurs du type tableau).Il existe deux formes d'agrégats qui ne doivent pas être mélangées[r] ...
290
Sûreté temporelle pour les systèmes temps réel multiprocesseurs
... des systèmes temps réel*, il convient de présenter un ...des systèmes embarqués dans les automobiles ...des systèmes de correc- tion électronique de trajectoire sur ces véhicules ...
130
Efficacité énergétique et ordonnancement des systèmes temps-réel multiprocesseurs.
... 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 ...
202