conception de systèmes embarqués
Mise en œuvre du MDE pour la conception de systèmes embarqués: premiers résultats et perspectives du projet Lambda
... Résumé : Démarré en juin 2008, Lambda est un projet de recherche collaboratif rassemblant 14 partenaires industriels, PME et académiques. Le projet se focalise sur la modélisation de plateformes d’exécutions dans le ...
7
2014 — Élaboration d'une méthodologie de conception des systèmes embarqués basée sur la transformation du modèle fonctionnel de haut niveau vers le prototype virtuel
... Dans le cadre du premier objectif, la revue de la littérature a mis en évidence deux travaux de recherche démontrant la pertinence des approches basées sur les modèles pour les futures méthodologies de conception ...
124
Génération de modèles analytiques pour la conception préliminaire de systèmes multi-physiques : application à la thermique des actionneurs et des systèmes électriques embarqués
... la conception préliminaire de systèmes multi-physiques, avec une attention particulière quant à l’évaluation des transferts thermiques mis en jeu dans les actionneurs et les systèmes électriques ...
273
Génération de modèles analytiques pour la conception préliminaire de systèmes multi-physiques : application à la thermique des actionneurs et des systèmes électriques embarqués
... de conception, notamment thermiques. La thématique « actionneurs embarqués » du laboratoire Institut Clément Ader (ICA) travaille à apporter des outils et méthodes dédiés à la conception préliminaire ...
274
Assistance au raffinement dans la conception des systèmes embarqués
... des systèmes en UPAAL se base sur les automates temporisés, il utilise un sous-ensemble de la logique temporelle arborescente CTL pour la description des proprié- ...de conception des systèmes ...
146
Méthodologie et outil de conception de systèmes embarqués basés sur le cadre d'applications .NET
... Le CLI est composé principalement du Virtitctt Execution System, le système qui gère l’exécution des programmes écrits pour le CLI; du Common Type Svstein, un ensemble de types de donnée[r] ...
165
Profilage, caractérisation et partitionnement fonctionnel dans une plate-forme de conception de systèmes embarqués
... Le syst`eme de guidage du rover, le d´ecodeur JPEG avec d´etection de la peau et le codec WiMAX ont ´et´e simul´es `a trois niveaux diff´erents : au niveau de la sp´ecification ex´ecutab[r] ...
272
Élements de conception de systèmes embarqués fortement contraints
... de systèmes forte- ment contraints, basés sur des micro-contrôleurs ou des circuits ...les systèmes temps réel de contrôle dans l’avionique par exemple, je désignerai dans ce document les systèmes ...
94
Allocation temporelle de systèmes avioniques modulaires embarqués
... porelle du système. Cet asynchronisme permet d’éviter la vulnérabilité du système à la perte de l’horloge. Par contre, il complexifie la validation du système qui doit être fiable pour tous les scénarios de lancement et ...
146
Aide à la conception des systèmes embarqués sûrs de fonctionnement
... les systèmes à événements discrets répondent bien à la problématique d’ordre entre événements (réseau de Petri, automates) mais sont limitées par le problème de l’explosion ...
175
Systèmes temps réel embarqués : spécification, conception, implémentation et validation temporelle
... Chapitre 7 : Traitement complet d’une application industrielle 413 7.1 Cahier des charges 413 7.2 Spécification 415 7.3 Conception 422 7.4 Implémentation sur simulateur 425 7.5 Spécification et conception ...
6
Nouvelles approches pour la conception d'outils CAO pour le domaine des systèmes embarqués
... There is no option which allows the nesting of a set of elements (order not important) and that allows the specification of occurrence using minimum and maximum constraints. As a c[r] ...
171
Métaheuristiques pour l'allocation de mémoire dans les systèmes embarqués
... Mots-Clés : Allocation de mémoire, métaheuristiques, coloration de graphes 1 Introduction Les progrès continus des technologies en microélectronique ont rendu possible le développement de puces miniatures permettant ...
10
Évolution des Architectures des Systèmes Avioniques Embarqués
... En 2008, deux divisions ont fusionné pour donner naissance à la Division Aéronautique ou DAé. Les deux Départements de Conception Numérique, militaire pour TSA et Civil pour Thales Avionics l’ont été également. ...
219
Intégration des systèmes multi-agents aux systèmes embarqués pour la délégation de tâches
... la conception de nouveaux espaces d’interactions adaptatifs, mobiles et connectés entre eux dans des contextes éduca- ...des systèmes embarqués de type Set-Top ...
172
Optimisation de la précision de calcul pour la réduction d'énergie des systèmes embarqués
... Contributions Ce travail de recherche s’articule autour de deux axes principaux. Dans un premier temps, le concept d’adaptation dynamique de la pr´ecision a ´et´e propos´e [108, 110]. Celui- ci permet d’adapter la ...
176
Adaptabilité et reconfiguration des systèmes temps-réel embarqués
... des systèmes adaptatifs sans avoir à énumérer toutes leurs possibles configurations d’une manière statique, c’est-à-dire que les configurations ne sont pas énumérées à la phase de conception, mais en ...la ...
145
Étude de systèmes pile à combustible hybridés embarqués pour l'aéronautique
... Les systèmes PEMFC sont particulièrement ...la conception des systèmes ...les systèmes PEMFC aérobies et anaérobies peuvent être comparés en termes de rendements, de consommations et de ...
232
Partitionnement matériel/logiciel et systèmes multi Agents application aux systèmes embarqués
... Pour les spécifications d‟entrée d‟un partitionnement, trois niveaux de granularité du partitionnement sont habituellement utilisés: le niveau tâche, le niveau procédure et le niveau instruction. Pour le niveau tâche ...
94
Agents mobiles natifs pour systèmes embarqués
... La conception orientée agent permet de mettre en œuvre des agents qui seront autonomes, adaptant leurs déplacements en fonction de l’environnement et pouvant moduler leurs fonctionnalités en cours ...la ...
322