TY - GEN
T1 - Testing-resource allocation for redundant software systems
AU - Yang, Bo
AU - Xie, Min
PY - 1999/12
Y1 - 1999/12
N2 - For many safety critical systems, redundancy is the only acceptable method to achieve high operational reliability as individual modules can hardly be certified to have reached that level. When limited resources are available in the testing of a redundant software system, it is important to allocate the testing-time efficiently so that the maximum reliability of the complete system is achieved. In this paper, this problem is investigated in detail. A general formulation is presented and a specific case is used to illustrate the procedure. The case where individual module reliability requirements are given is also considered.
AB - For many safety critical systems, redundancy is the only acceptable method to achieve high operational reliability as individual modules can hardly be certified to have reached that level. When limited resources are available in the testing of a redundant software system, it is important to allocate the testing-time efficiently so that the maximum reliability of the complete system is achieved. In this paper, this problem is investigated in detail. A general formulation is presented and a specific case is used to illustrate the procedure. The case where individual module reliability requirements are given is also considered.
UR - https://www.scopus.com/pages/publications/34250189844
UR - https://www.scopus.com/record/pubmetrics.uri?eid=2-s2.0-34250189844&origin=recordpage
U2 - 10.1109/PRDC.1999.816215
DO - 10.1109/PRDC.1999.816215
M3 - RGC 32 - Refereed conference paper (with host publication)
SN - 0769503713
SN - 9780769503714
T3 - Proceedings ... 1999 Pacific Rim International Symposium on Dependable Computing
SP - 78
EP - 83
BT - Proceedings: 1999 Pacific Rim International Symposium on Dependable Computing
PB - IEEE
T2 - 1999 Pacific Rim International Symposium on Dependable Computing (PRDC 1999)
Y2 - 16 December 1999 through 17 December 1999
ER -