{Generic software techniques for error detection or fault masking by means of middleware or OS functionality}