Saved in:
| Main Author: | |
|---|---|
| Format: | Recurso digital |
| Language: | English |
| Published: |
Zenodo
2026
|
| Subjects: | |
| Online Access: | https://doi.org/10.5281/zenodo.19220497 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- <div>A formal presentation of the <strong>Divergent Multi-Version Execution (DME)</strong> framework for robust fault detection in embedded systems.</div> <div>DME replaces physical state comparison with <strong>canonical instruction-trace hashing</strong>. By enforcing diversity through compiler-driven address-space decorrelation, the system amplifies transient faults into detectable execution divergences. The model is implementation-agnostic and scales from lightweight block-level protection to fine-grained, single-instruction fault coverage.</div> <div><strong>Key Topics:</strong></div> <ul> <li><span>Structural Address-Space Decorrelation (ASLR-inspired fault tolerance).</span></li> <li><span>Canonical Trace Alignment Property.</span></li> <li><span>Fault Amplification through NOP-padding asymmetry.</span></li> <li><span>Experimental validation on ARM Cortex-M hardware.</span></li> </ul>