Systèmes embarqués temps réel
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
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
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 ...
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
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
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
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.
... ありがとうございます。Jérôme H UGUES qui m’a encadré, supporté, abondamment conseillé (et fouetté) pendant ces 3 années de thèse. Ce fut à la fois un réel plaisir et une expérience très enrichissante que de travailler avec ...
202
[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
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
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
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
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
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
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
Ordonnancement temps réel multiprocesseur pour la réduction de la consommation énergétique des systèmes embarqués
... rapport à une solution en-ligne. En effet, il suffit lors de l’exécution de reproduire les décisions d’ordonnancement prises hors-ligne. En-ligne, lors de l’exécution du système, le principal facteur limitant est la ...
124
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
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.
... 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 ...
202
Configuration et Reconfiguration des Systèmes Temps-Reél Répartis Embarqués Critiques et Adaptatifs
... les systèmes temps réel ignorent la présence de synchronisation des processus, excepté dans des cas simples de précédence de tâches ou d’accès à des ressources partagées et ...
190