Protecting Booleans against Soft Errors

Booleans represent the simplest and one of the most common data types. Although they are often critical, the traditional representation is ill-protected against transient faults, even though it already carries space overhead. Flipsafe is a C++ library of different Boolean types with improved fault tolerance and little performance overhead.

  • Download here
  • Usage
    #include <epbool>                // include Boolean type
    void control_app()
      epbool<> secure = 0;           // changed variable declaration
      while (wait_for_input()) {
        if (is_button_pressed() && secure) {
        else if (is_switch_pressed()) {
          secure = !secure;
Using Flipsafe it is possible for Booleans with different degree of protection to coexist in one application; one can also freely experiment with Booleans of different fault-tolerance levels, even in existing applications, without compilation or compatibility problems.