Fault-tolerant strategies and their design methods for application software | IEEE Conference Publication | IEEE Xplore