• Aucun résultat trouvé

[PDF] Top 20 Problèmes de sécurité dans les systèmes embarqués

Has 5679 "Problèmes de sécurité dans les systèmes embarqués" found on our website. Below are the top 20 most common "Problèmes de sécurité dans les systèmes embarqués".

Problèmes de sécurité dans les systèmes embarqués

Problèmes de sécurité dans les systèmes embarqués

... de sécurité et de performance. Les propriétés de sécurité sont prouvées par les outils de AVISPA (Automated Verification Internet Protocol and its Applications), et la propriété de vie privée est vérifiée ... Voir le document complet

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

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

... Afin de d´eterminer l’influence de l’analyse des temps de r´eponse impliqu´ee dans le mod`ele d’activation p´eriodique par rapport `a celle utilis´ee dans le cas d’activations pilot´ees [r] ... Voir le document complet

222

Cours Sécurité des Systèmes d’exploitation

Cours Sécurité des Systèmes d’exploitation

... la sécurité Les problèmes techniques actuels de sécurité informatique peuvent, au moins provisoirement, être classés en deux grandes catégories : • ceux qui concernent la sécurité de ... Voir le document complet

14

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

... de problèmes de coloration des graphes de DIMACS [11] que nous avons modifiés en donnant des coûts aléatoires aux conflits, sauf pour la première qui est une instance réelle provenant d’un problème ... Voir le document complet

10

Etude du canal de propagation radio pour les systèmes embarqués sans fil automobile

Etude du canal de propagation radio pour les systèmes embarqués sans fil automobile

... des systèmes de transmission électromagnétique. L'un des problèmes majeurs de la propagation des ondes électromagnétique réside dans les phénomènes d'évanouissements importants que subit l'enveloppe du ... Voir le document complet

186

PRISE : une plate-forme de simulation distribuée pour l’ingénierie des systèmes embarqués

PRISE : une plate-forme de simulation distribuée pour l’ingénierie des systèmes embarqués

... Pierre Siron, ingénieur ENSEEIHT 1980, DEA informatique de l’Université Paul Sabatier 1980, docteur de l’ENSAE (SUPAERO) 1984, HDR 2003, maître de recherche ONERA, Département Traitement de l’Information et Modélisation, ... Voir le document complet

7

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

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

...  Des fonctions de traitement d’image. Ces réalisations ont fait l’objet de publications internes au Groupe mais n’ont pu être diffusées du fait de leur caractère confidentiel. En conclusion de ce résumé de mes activités ... Voir le document complet

219

Protection du contenu des mémoires externes dans les systèmes embarqués, aspect matériel

Protection du contenu des mémoires externes dans les systèmes embarqués, aspect matériel

... La vérification d’intégrité et la mise à jour sont des opérations itératives qui parcourent une branche d’arbre depuis une feuille jusqu’à ce qu’un nœud de référence sûr soit rencontré. Les arbres de Merkle ont souvent ... Voir le document complet

173

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

... 1.4 | Contexte de la recherche Ce travail s’inscrit dans l’action de recherche (AR) Tifaifai développée au sein du Centre de Recherche en Édu- cation de Nantes (CREN), site du Mans, depuis septembre 2012. La ... Voir le document complet

172

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

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 ...ces problèmes, [Khalfaoui, ... Voir le document complet

175

Assistance au raffinement dans la conception des systèmes embarqués

Assistance au raffinement dans la conception des systèmes embarqués

... de sécurité sur les différents ...de sécurité qu’elle doit vérifier, le second modèle représente l’implémentation de la spécification, et dans le troi- sième modèle, un modèle d’attaques introduit sur le ... Voir le document complet

146

Élements de conception de systèmes embarqués fortement contraints

Élements de conception de systèmes embarqués fortement contraints

... 5.2. Perspectives 71 à une multitude de sondes doit être tolérante aux fautes et aux attaques essayant d’in- duire le système en erreur mais doit également assurer la cohérence des données et être efficace et utilisable ... Voir le document complet

94

Contrôleurs Régulateurs Embarqués pour des Systèmes Utilisant l'énergie Solaire

Contrôleurs Régulateurs Embarqués pour des Systèmes Utilisant l'énergie Solaire

... Installation des régulateurs et instrumentation 2.3 Le choix s’est porté sur le modèle Vitosolic200 SD4 .C’est une version OEM de la société RESOL développée pour VIESSMANN. Elle permet à l’aide d’un bus de donnée VBUS ... Voir le document complet

102

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 ...plusieurs problèmes difficiles (dimensionnement, allocation de ressource spatiale ... Voir le document complet

146

É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

... Des problèmes peuvent également survenir dans le purgeur gaz / eau (en sortie de stack) ou bien dans le vase d'expansion du circuit de refroidissement. En effet, lors d'une inclinaison trop importante, de l'eau ... Voir le document complet

232

Partitionnement matériel/logiciel et systèmes multi Agents  application aux systèmes embarqués

Partitionnement matériel/logiciel et systèmes multi Agents application aux systèmes embarqués

... des problèmes distribués ou multi-agnts étend des techniques de résolution des problèmes classiques, où plusieurs agents peuvent planifier et agir ...les problèmes NP-complet ... Voir le document complet

94

Évaluation de la validité de la simulation dans le cadre du développement des systèmes embarqués

Évaluation de la validité de la simulation dans le cadre du développement des systèmes embarqués

... 4.1.1.2 Validité d’une composition dans le domaine de la M&S E.W Weisel, M.D. Petty et R.R. Mielke [ Weisel 03 ] traitent le problème de la préservation de la validité d’une composition de modèles valides. Pour ce ... Voir le document complet

152

Marte, le nouveau standard UML pour les systèmes temps réel embarqués

Marte, le nouveau standard UML pour les systèmes temps réel embarqués

... réseaux embarqués avec plusieurs dizaines de calculateurs répartis, mais aussi dans les architectures de processeurs à plusieurs cœurs où chacun peut avoir son propre domaine ...des systèmes sur puce est ... Voir le document complet

10

Objets distribués pour systèmes embarqués

Objets distribués pour systèmes embarqués

... Adapter incluent : la création et la destruction de l ’objet serveur; l ’appel des opérations; la gestion de la sécurité des interractions; l’enregistrement de la classe d ’objet auprès du Messenger. L ’adaptateur ... Voir le document complet

255

Diagnostic dans les systèmes embarqués

Diagnostic dans les systèmes embarqués

... Figure ‎3-4 Diagramme du module ″Receiver″. Le firmware du tag est développé en utilisant le langage C en conjonction avec l‘assembleur pour produire un programme optimal. Ce dernier est organisé en 20 fonctions en plus ... Voir le document complet

130

Show all 5679 documents...