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

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 ...