Methods, Models And Tools For Fault Tolerance