Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Recurso digital |
| Lenguaje: | inglés |
| Publicado: |
Zenodo
2026
|
| Materias: | |
| Acceso en línea: | https://doi.org/10.5281/zenodo.19220497 |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866901888220266496 |
|---|---|
| author | Baran, Petro |
| author_facet | Baran, Petro |
| 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> |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_19220497 |
| institution | Zenodo |
| language | eng |
| publishDate | 2026 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | Divergent Multi-Version Execution (DME): Canonical Instruction-Trace Based Fault Detection via Structural Address-Space Decorrelation Baran, Petro fault tolerance multi-version execution embedded systems architectural diversity control-flow integrity safety-critical systems <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> |
| title | Divergent Multi-Version Execution (DME): Canonical Instruction-Trace Based Fault Detection via Structural Address-Space Decorrelation |
| topic | fault tolerance multi-version execution embedded systems architectural diversity control-flow integrity safety-critical systems |
| url | https://doi.org/10.5281/zenodo.19220497 |