The DIR net (detection-isolation-recovery net) is the main module of a software framework fi)r the development of embedded supercornputing applications. This framework provides a set of functional elements, collected in a library, to improve the dependability attributes of the applications (especially the availability) . The DIR net enables these functional elements to cooperate and enhances th...