Reliability-oriented software engineering: design, testing and ...

13 downloads 176275 Views 617KB Size Report
examined, and some application results are described. 1 Introduction and overview. Software has become the bottleneck of system develop- ment, and its delays and .... mented fault tolerance (SWIFT), which includes a set of reusable software ...