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