SIListra Compiler: Building Reliable Systems with Unreliable Hardware
On one hand, hardware is expected to become more unreliable in future. On the other hand, more and more applications become safety critical, i.e., rely on the correct function of the underlying hardware. To close this gap the authors proposed to add error detection capabilities to the application with their SIListra Compiler. Their compiler automatically transforms C applications based on the well-known principle of Coded Processing. Their evaluation demonstrates that applications compiled with their SIListra Compiler reliably detect hardware errors as requested by various safety standards.