Surveillance comportementale de systèmes et logiciels embarqués par signature disjointe

Surveillance comportementale de systèmes et logiciels embarqués par signature disjointe

Show other versions (1)

Les systèmes critiques, parmi lesquels les systèmes embarqués construits autour d'un microprocesseur mono-cœur exécutant un logiciel d'application, ne sont pas à l'abri d'interférences naturelles ou malveillantes qui peuvent provoquer des fautes transitoires. Cette thèse porte su...

Full description

Bibliographic Details
Main Author:	Bergaoui, Selma
Language:	fra
Published:	Université de Grenoble 2013
Subjects:	[SPI:NANO] Engineering Sciences/Micro and nanotechnologies/Microelectronics [SPI:NANO] Sciences de l'ingénieur/Micro et nanotechnologies/Microélectronique Vérification de flot de contrôle Watchdog GCC Criticité des variables Fautes transitoires Effet de la compilation sur la robustesse
Online Access:	http://tel.archives-ouvertes.fr/tel-00877476 http://tel.archives-ouvertes.fr/docs/00/93/48/18/PDF/32147_BERGAOUI_2013_archivage.pdf

Similar Items

Surveillance comportementale de systèmes et logiciels embarqués par signature disjointe
by: Bergaoui, Selma
Published: (2013)

Robustesse par conception de circuits implantés sur FPGA SRAM et validation par injection de fautes
by: Ben jrad, Mohamed
Published: (2013)

Développement d'un biocapteur associant dispositif à onde de Love et polymères à empreintes moléculaires, caractérisation sous gaz
by: Omar-Aouled, Nima
Published: (2013)

Systèmes Complexes, Outils de CAO et Nanotechnologies
by: Kolonis, E.
Published: (2006)

Etude de la robustesse d'amplificateurs embarqués dans des applications portables soumis à des décharges électrostatiques (ESD) au niveau système
by: Giraldo Torres, Sandra
Published: (2013)

Modèles d'intégration d'outils et de composants logiciels/matériels pour la conception des systèmes hétérogènes embarqués
by: DZIRI, A.
Published: (2004)

Méthodologie de prédiction du niveau de robustesse d'une structure de protection ESD à l'aide de la simulation TCAD
by: Salamero, Christophe
Published: (2005)

Contribution à la micro vision robotique.
by: Dembélé, Sounkalo
Published: (2013)

Génération Automatique de circuits durcis aux rayonnements au niveau transistor
by: C., Lazzari
Published: (2007)

Conception et réalisation d'un microsystème d'initiation pyrotechnique intelligent et sécurisé pour applications spatiales
by: Taton, Guillaume
Published: (2013)

Caractérisation Électrique et Modélisation du Transport dans les Dispositifs CMOS Avancés
by: Cassé, Mikaël
Published: (2014)

Étude transitoire du déclenchement de protections haute tension contre les décharges électrostatiques
by: Delmas, Antoine
Published: (2012)

Vers le déploiement d'un réseau de capteurs enfouis dans des multi-plis carbone-epoxy pour l'instrumentation in-situ de structures composites pour l'avionique
by: Lubin, Jérôme
Published: (2012)

Techniques d'Auto Réparation pour les Mémoires à Grandes Densités de Défauts
by: Achouri, N.
Published: (2004)

Microfluidique diphasique : réseaux de micro-bulles à défauts contrôlés pour la photonique
by: Allouch, Alaa
Published: (2011)

Manipulation et adressage grande échelle de nanofils semiconducteurs pour la réalisation de nanosystèmes Innovants
by: Collet, Maeva
Published: (2013)

Gestion thermique des composants d'électronique de puissance- Utilisation du diamant CVD
by: Zhang, Zhongda
Published: (2012)

Réseaux de capteurs sans fils à faible consommation avec services de synchronisation haute précision et localisation
by: Beluch, Thomas
Published: (2013)

Architecture de traitement du signal pour les couches physiques très haut débit pour les réseaux de capteur : Application à la métrologie dans un contexte aéronautique et spatial
by: Henaut, Julien
Published: (2013)

Applications des technologies mémoires MRAM appliquées aux processeurs embarqués
by: Cargnini, Luis Vitorio
Published: (2013)

Découpage transformationnel pour la conception de systèmes mixtes logiciel/matériel
by: Marchioro, G.F.
Published: (1998)

Conception Robuste dans les Technologies CMOS et post-CMOS
by: Anghel, L.
Published: (2007)

Systèmes Robustes aux Fautes Transitoires Exploitant la Logique Asynchrone Quasi-Insensible aux Délais
by: Possamai Bastos, R.
Published: (2010)

Modélisation de fautes et diagnostic pour les circuits mixtes/RF nanométriques
by: Huang, Ke
Published: (2011)

Optimisation de dispositifs FDSOI pour la gestion de la consommation et de la vitesse : application aux mémoires et fonctions logiques
by: Noel, Jean-philippe
Published: (2011)

Élaboration et étude de vannes de spin organiques : vers le transport de spin à température ambiante
by: Palosse, Mathieu
Published: (2013)

Calibration of micro and nanorobotic systems : Contribution of influential parameters to the geometric accuracy.
by: Tan, Ning
Published: (2013)

Architecture de puissance distribuée reconfigurable dédiée à l'optimisation de l'énergie photovoltaïque
by: El Basri, Youssef
Published: (2013)

Résistance des circuits cryptographiques aux attaques en faute
by: Bousselam, Kaouthar
Published: (2012)

Microsupercondensateurs sur puce à base de carbones nanostructurés
by: Huang, Peihua
Published: (2013)

Efficient large electromagnetic simulation based on hybrid TLM and modal approach on grid computing and supercomputer
by: Alexandru, Mihai
Published: (2012)

Millimeter-wave UWB architecture for wireless sensor networks
by: Ercoli, Mariano
Published: (2012)

Analyse de sûreté par injection de fautes dans un environnement de prototypage à base de FPGA
by: Vanhauwaert, P.
Published: (2008)

Développement de procédés micro et nano fluidiques pour la manipulation de micro et nano objets et biomolécules
by: He, Qihao
Published: (2012)

Miniaturisation d'antennes en bande VHF pour applications spatiales
by: Ripoche, Olivier
Published: (2013)

Graphene: FET and Metal Contact Modeling. Graphène : modélisation du FET et du contact métallique
by: Vincenzi, Giancarlo
Published: (2014)

Vision et asservissement visuel pour nanomanipulation et nanocaractérisation en utilisant un microscope électronique à balayage.
by: Marturi, Naresh
Published: (2013)

Méthodes et outils pour l'analyse tôt dans le flot de conception de la sensibilité aux soft-erreurs des applications et des circuits intégrés
by: Mansour, Wassim
Published: (2012)

Gestion de l'activité et de la consommation dans les architectures multi-coeurs massivement parallèles
by: Bizot, Gilles
Published: (2012)

Méthodologie pour l'application industrielle de la synthèse comportementale
by: Berrebi, E.
Published: (1997)