• Aucun résultat trouvé

Haut PDF Aide à la conception des systèmes embarqués sûrs de fonctionnement

Aide à la conception des systèmes embarqués sûrs de fonctionnement

Aide à la conception des systèmes embarqués sûrs de fonctionnement

... IV.2 Arbre de défaillance haut niveau L’approche par arbres de défaillance (AdD) présentée précédemment a l’avantage d’être facilement compréhensible par des personnes autres que le créateur même de l’arbre. Néanmoins, ...

175

Adaptabilité et reconfiguration des systèmes temps-réel embarqués

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

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

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 fonctionnement (Parler and Macomber, ...de conception préliminaire on préfère disposer d’une relation directe entre le point chaud et la température ...

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

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

Allocation temporelle de systèmes avioniques modulaires embarqués

Allocation temporelle de systèmes avioniques modulaires embarqués

... les systèmes embarqués temps réel sont passés d’archi- tectures centralisées à des architectures distribuées dites ...de conception, relatifs pour la plupart au respect des contraintes temporelles ...

146

Problème d’optimisation de ressources pour systèmes embarqués

Problème d’optimisation de ressources pour systèmes embarqués

... La conception des systèmes embarqués exige des méthodes et outils permettant de prendre en compte dans ses phases amont, non seulement des exigences fonctionnelles concernant la correction du calcul ...

98

Vers une conception de systèmes réactifs synchrones sûrs

Vers une conception de systèmes réactifs synchrones sûrs

... le fonctionnement est bas´ e sur le principe du premier entr´ e, premier sorti, nodans ls suite us utiliserons le terme pipeline pour designer ce type de ...

18

Étude de systèmes pile à combustible hybridés embarqués pour l'aéronautique

Étude de systèmes pile à combustible hybridés embarqués pour l'aéronautique

... Les systèmes PEMFC sont particulièrement complexes. Leur fonctionnement dépend de nombreux éléments et de nombreux ...la conception des systèmes ...les systèmes PEMFC aérobies et ...

232

Métaheuristiques pour l'allocation de mémoire dans les systèmes embarqués

Métaheuristiques pour l'allocation de mémoire dans les systèmes embarqués

... ROADEF 2010 - Toulouse Cet article aborde la problématique de l’optimisation de l’allocation de mémoire cache des pro- cesseurs embarqués. En effet, la gestion de la mémoire cache a un impact significatif sur les ...

10

Une plateforme pour le raffinement des services d'OS pour les systèmes embarqués

Une plateforme pour le raffinement des services d'OS pour les systèmes embarqués

... interprétatif. Cette technique s’avère très mauvaise au point de vue de la performance, du fait que le simulateur doit interpréter chaque instruction.. qui, pour une application de gross[r] ...

123

Les aspects temporels qualitatifs et quantitatifs dans les systèmes embarqués

Les aspects temporels qualitatifs et quantitatifs dans les systèmes embarqués

... Dans le cas d’un r´ eseau de Petri temporel flou, des intervalles flous sont associ´ es aux transitions. du r´ eseau[r] ...

117

Systèmes communicants sans fil pour les réseaux avioniques embarqués

Systèmes communicants sans fil pour les réseaux avioniques embarqués

... de fonctionnement : – Le mode sans ”beacon” 1 , o` u la couche protocolaire utilise le CSMA/CA non slott´ e, – Le mode avec beacon, o` u les trames de beacon sont envoy´ ees p´ eriodiquement par le coordinateur du ...

181

Évolution des Architectures des Systèmes Avioniques Embarqués

Évolution des Architectures des Systèmes Avioniques Embarqués

... Parmi d'autres, nous pouvons citer la variabilité non linéaire de la fiabilité ainsi que la dégradation progressive des caractéristiques électriques des différents nœuds technologiques ainsi que des niveaux de ...

219

Conception d'une aide en ligne

Conception d'une aide en ligne

... voir les reponses identifia voir liens. ~ tache precedente lancement de la reclE modifier un enr. dupliquer un enr. enregistrer rapatrier voirlSBD - panier de selection E cran [[r] ...

106

Intégration des systèmes multi-agents aux systèmes embarqués pour la délégation de tâches

Intégration des systèmes multi-agents aux systèmes embarqués pour la délégation de tâches

... 3.3 . Algorithmes de comportements sociaux des SMA ZY CHAPITRE 3 . Les systèmes multi-agents 3.2.4 Transport des messages FIPA est un standard indépendant du protocole de transport utilisé par la plateforme ...

172

Débruitage vidéo temps réel pour systèmes embarqués

Débruitage vidéo temps réel pour systèmes embarqués

... des systèmes embarqués ...un systèmes d’exploitation généraliste et n’avons pas le contrôle de l’ordonnancement ou des ...de systèmes. Pour nos travaux, nous nous limitons à des ...

173

Architectures logicielles pour les systèmes embarqués temps réel

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

Analyse des systèmes - Sûreté de fonctionnement

Analyse des systèmes - Sûreté de fonctionnement

... de fonctionnement dans l’évaluation des performances La sûreté de fonctionnement regroupe un ensemble de techniques mises en œuvre pour identifier, analyser, gérer et, le cas échéant, réduire les risques ...

29

Apport du filtrage de Kalman aux systèmes de positionnement embarqués et à l’auscultation

Apport du filtrage de Kalman aux systèmes de positionnement embarqués et à l’auscultation

... Conclusion Rappelons tout d’abord que le but de ce TFE est de déterminer les bénéfices du filtrage de Kalman pour les systèmes de navigation embarqués hybrides GNSS/INS, et pour les travaux d’auscultation ...

83

Vers la reconfiguration dynamique dans les systèmes embarqués: de la modélisation à l'implémentation

Vers la reconfiguration dynamique dans les systèmes embarqués: de la modélisation à l'implémentation

... So I concentrated my research effort on three main aspects: high level modeling by providing meta-models and profiles based on the MARTE standard; distributed sim[r] ...

182

Show all 7400 documents...