CoRed: Experimental Stage
Overview
Hamming Distance
| Description | Ancillary Information | Raw Data (csv) | Visualization (plotted with R script) |
|---|---|---|---|
| A: 8-bit all Code: 16-bit | Experiments: 8.2×106 CPU time*: <<1min | Download |  |
| A: 8-bit primes Code: 16-bit | Download |  |
|
| A: 16-bit all Code: 32-bit | Experiments: 1.4×1014 CPU time*: 70h | Download |  |
| A: 16-bit primes Code: 32-bit | Download |  |
Fault Simulation
Residual error probability vs. size of A
| Description | Ancillary Information | Raw Data | Visualization |
|---|---|---|---|
| A: 8-bit all Code: 16-bit Faults: 1 to 16-bit | Experiments: 4.2×109 CPU time*: <5min | Download |  (R script) |
| A: 8-bit primes Code: 16-bit Faults: 1 to 16-bit | Download |  (R script) |
|
| A: 16-bit all Code: 32-bit Faults: 1 to 8-bit | Experiments: 6.5×1016 CPU time*: 8.4years | Download |  (R script) |
| A: 16-bit primes Code: 32-bit Faults: 1 to 8-bit | Download |  (R script) |
Residual error probability distribution (A vs. # bit errors)
| Description | Raw Data | Visualization |
|---|---|---|
| A: 8-bit all Code: 16-bit Faults: 1 to 16 bit | (see visualisation) |  Download |
| A: 16-bit Super As Code: 32-bit Faults: 1 to 32-bit | Download |  (R script) |
Fault Injection
In-system fault-injection experiments using the Fail* framework.| Description | Link |
|---|---|
| A (dh = 6): 58659 Code: 32-bit Faults: 1-bit | Coming soon... |
| Sufficient A (dh = 6): 58659 Insufficient A (dh = 2): 58368, 34346, 12288, 2404, 1202, 152, 76, 44, 22 Code: 32-bit Faults: 2-bit | Fail* Result Browser (BETA) |
| A (dh = 6): 58659 Code: 32-bit Faults: 3-bit | Coming soon... |
| A (dh = 6): 58659 Code: 32-bit Faults: 4-bit | Coming soon... |
| A (dh = 6): 58659 Code: 32-bit Faults: 5-bit | Coming soon... |
Fail silent = OK, OK_WRONG_CONTROL_FLOW
CoRed detected = OK_DETECTED_ERROR
DUE = ERR_TRAP, ERR_OUTSIDE_TEXT, ERR_OUTSIDE_DATA
SDC = ERR_WRONG_RESULT
Implementation
| Description | Link |
|---|---|
| CoRed Dependable Voter (Example Code) | voter.zip |
| Hamming Distance Test (Single Machine) | hamming.zip |
| Fault-Simulation (Single Machine) | simmulation.zip |
| Fault-Simulation (HPC Cluster) | HPC.zip |
| FAIL* Fault-Injection (Single Machine) | Waiting for community version of FAIL*, see developers' homepage |
