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.

Provided by: Dresden University of Technology Topic: Hardware Date Added: Jun 2011 Format: PDF

Find By Topic