Skip to Main content Skip to Navigation
Theses

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

Abstract : Critical systems, including embedded systems built around a single core microprocessor running a software application, can be the target of natural or malicious interferences that may cause transient faults. This work focuses on protections that can be implemented to detect the effects of such transient faults without any assumption about the multiplicity of generated errors. In addition, those errors can be either control flow errors or data errors. A new control flow checking method is first proposed. It monitors, without modifying the original system, that the instructions of the microprocessor application program are read without error and in the proper order. Data errors are also taken into account by an extension of the control flow checking. The proposed method offers a good compromise between overheads, latency detection and errors coverage. Trade-offs can also be tuned according to the application constraints. The methodology is demonstrated on a prototype built around a Sparc v8 microprocessor. Criticality evaluation functions developed in the frame of the proposed methodology are also used to evaluate the impact of compilation options on the intrinsic robustness of the application software.
Document type :
Theses
Complete list of metadatas

Cited literature [49 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00877476
Contributor : Abes Star :  Contact
Submitted on : Wednesday, January 22, 2014 - 4:03:53 PM
Last modification on : Friday, December 11, 2020 - 8:28:05 AM
Long-term archiving on: : Wednesday, April 23, 2014 - 9:10:11 AM

File

32147_BERGAOUI_2013_archivage....
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-00877476, version 2

Collections

STAR | CNRS | TIMA | UGA

Citation

Selma Bergaoui. Surveillance comportementale de systèmes et logiciels embarqués par signature disjointe. Autre. Université de Grenoble, 2013. Français. ⟨NNT : 2013GRENT012⟩. ⟨tel-00877476v2⟩

Share

Metrics

Record views

475

Files downloads

671