Saved in:
| 主要作者: | |
|---|---|
| 格式: | Recurso digital |
| 語言: | 英语 |
| 出版: |
Zenodo
2026
|
| 主題: | |
| 在線閱讀: | https://doi.org/10.5281/zenodo.19220497 |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
書本目錄:
- <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>