Détection dynamique d’attaques logicielles et matérielles basée sur l’analyse de signaux microarchitecturaux

Détection dynamique d’attaques logicielles et matérielles basée sur l’analyse de signaux microarchitecturaux Terminologie de la sécurité informatique Le terme de sécurité en français est ambigu. Il peut désigner aussi bien la sécurité-innocuité (en anglais safety) que la sécurité-immunité (en anglais...

Adaptation en ligne de mécanismes de tolérance aux fautes par une approche à composants ouverts

Adaptation en ligne de mécanismes de tolérance aux fautes par une approche à composants ouverts SURETE DE FONCTIONNEMENT ET TOLERANCE AUX FAUTES  Ces travaux s’intéressent aux systèmes informatiques. Bien que la sûreté de fonctionnement ne soit pas spécifique à ce...

Les modèles de prédiction de fautes

La prédiction de fautes est un sujet important dans le domaine d'étude du génie logiciel. L'importance de ce sujet d'étude réside dans l'aide qu'il peut apporter aux développeurs et testeurs de systèmes logiciels, en identifiant les parties du code source...

Caractérisation de systèmes d’exploitation en présence de pilotes défaillants

Caractérisation de systèmes d’exploitation en présence de pilotes défaillants Origines des fautes liées aux pilotes ou aux matériels  Nous allons dans cette section établir les principales causes de la présence de fautes dans les pilotes et des extensions en général....

Validations CPVV sur les versions du Système ANT

ÉTAT DE L'ART La suggestion des composants candidats au test est un sujet qui a été exploré sous beaucoup d'angles et au cours de nombreuses études. Dans leur article, Toure et al. [11,12] ont étudié une approche basée sur l'historique...

Relation entre métriques de code et effort de test

Relation entre métriques de code et effort de test Les quelques travaux publiés sur le sujet dans la littérature démontrent le lien entre les métriques logicielles et le test logiciel [7, 29-32]. Les métriques logicielles existent depuis l'aube du génie...

Algorithme hybride pour la génération de scénarios redoutés

Fiabilité dynamique Un système embarqué combine généralement plusieurs technologies : hydraulique, mécanique, électrique, et électronique. Il présente également des aspects continus et événementiels qui lui donnent un caractère hybride. La dynamique continue représente la partie énergétique du système et la...

Contribution à la surveillance distribuée des systèmes à événements discrets complexes

Les fonctions de supervision-surveillance Dans ce paragraphe, nous définissons les fonctions élémentaires du système de supervision et de surveillance. Les lettres M, S ou C indiquent à quel système précédemment étudié (surveillance (M), Supervision (S), Commande (C)) est rattachée la...

Ordonnancement temps réel pour architectures hétérogènes reconfigurables basé sur des structures de réseaux de neurones

Architectures reconfigurables Cette section présente les architectures reconfigurables de manière chronologique. En commençant par les prémisses de ce type de composants, leurs différentes fonctionnalités et spécificités sont introduites au fur et à mesure pour finalement présenter les architectures hétérogènes reconfigurables...

Analyses Automatiques pour le Test de Programmes Orientés Aspec

Analyses Automatiques pour le Test de Programmes Orientés Aspect Analyse de l’impact des aspects sur les cas de test Lors du test d’un programme orienté aspect, deux stratégies sont possibles. La première consiste à tester le programme dans sa globalité,...