Variable-structure coherent systems^†

References

• Afek , Y. , Attiya , H. , Fekete , A. , Fischer , M. , Lynch , M. , Mansour , Y. , Wang , D.W. and Zuck , L. 1994 . Reliable communication over unreliable channels . J. ACM , 41 ( 6 ) : 1267 – 1297 .
   Google Scholar
• Barlow , R.E. 1985 . Mathematical theory of reliability: a historical perspective . IEEE Trans. Reliability , R-34 ( 5 ) : 473 – 479 .
   Google Scholar
• Barlow , R.E. and Proschan , F. 1965 . Mathematical Theory of Reliability , New York : Wiley .
   Google Scholar
• Barlow , R.E. and Proschan , F. 1975 . Statistical Theory of Reliability and Life Testing: Probability Models , Holt : Rinbart and Winston .
   Google Scholar
• Bazzi , R.A. and Neihger , G. 2001 . Simplifying fault-tolerance: proving the abstraction of crash failures . J. ACM , 48 ( 3 ) : 499 – 554 .
   Google Scholar
• Bondavalli , A. , Chiaradonna , S. , Di Giandomenico , F. and Mura , I. 2004 . Dependability modeling and evaluation of multiple-phased systems using DEEM . IEEE Trans. Reliability , 53 ( 4 ) : 509 – 522 .
   Web of Science ®Google Scholar
• Brunelle , B. and Kapur , K. 1998 . Continuous-state system-reliability: an interpolation approach . IEEE Trans. Reliability , 47 ( 2 ) : 181 – 187 .
   Google Scholar
• Cai , K.Y. 1996 . Introduction to Fuzzy Reliability , Dordrecht : Kluwer Academic Publishers .
   Google Scholar
• Cai , K.Y. 1998 . Software Defect and Operational Profile Modeling , Dordrecht : Kluwer Academic Publishers .
   Google Scholar
• K.Y. Cai, “Software systems as a variable-structure coherent systems”, submitted.
   Google Scholar
• Cai , K.Y. and Wen , C.Y. 1990 . Street-lighting lamps replacement: a fuzzy viewpoint . Fuzzy Sets Systems , 37 : 161 – 172 .
   Web of Science ®Google Scholar
• Goseva-Popstojanova , K. and Trivedi , K.S. 2001 . Architecture-based approach to reliability assessment of software systems . Performance Eval , 45 : 179 – 204 .
   Google Scholar
• A. Hoyland , M. Rausand . 1994 . System Reliability Theory: Models and Statistical Methods , New York : Wiley . Chapter 4
   Google Scholar
• Kijima , M. 1997 . Markov Processes for Stochastic Modeling , 229 – 235 . London : Chapman & Hall . Section 4.9
   Google Scholar
• Kim , K. and Park , K.S. 1994 . Phased-mission system reliability under markov environment . IEEE Trans. Reliability , 43 ( 2 ) : 301 – 309 .
   Web of Science ®Google Scholar
• Kulkarni , V.G. 1995 . Modeling and Analysis of Stochastic Systems , London : Chapman & Hall . Chapter 8
   Google Scholar
• Lalli , V.R. 1998 . Space-system reliability: a historical perspective . IEEE Trans. Reliability , 47 ( 3-SP ) : SP-355 – SP-360 .
   Google Scholar
• Laprie , J.C. and Kanoun , K. 1992 . X-ware reliability and availability modeling . IEEE Trans. Software Eng. , 18 ( 2 ) : 159 – 168 .
   Google Scholar
• Littlewood , B. 1975 . A reliability model for systems with Markov structures . Appl. Stat. , 24 ( 2 ) : 172 – 177 .
   Google Scholar
• Liu , H. 1998 . Reliability of a load-sharing k-out-of-n: G system: non-idd components with arbitrary distributions . IEEE Trans. Reliability , 47 ( 3 ) : 279 – 284 .
   Web of Science ®Google Scholar
• Ma , Y. and Trivedi , K.S. 1999 . An algorithm for reliability analysis of phased-mission systems . Reliability Eng. Syst Safety , 66 : 157 – 170 .
   Web of Science ®Google Scholar
• Mitra , S. , Saxena , N.R. and McCluskey , E.J. 2002 . A Design Diversity metric and analysis of redundant systems . IEEE Trans. Comput , 51 ( 5 ) : 498 – 510 .
   Google Scholar
• Mohan , G. , Murthy , S.R. and Somani , A.K. 2001 . Efficient algorithms for rounting dependable connections in WDM optical networks . IEEE/ACM Trans. Networking , 9 ( 5 ) : 553 – 566 .
   Web of Science ®Google Scholar
• Mura , I. and Bondavalli , A. 1999 . Hierarchical modeling & evaluation of phased-mission systems . IEEE Trans. Reliability , 48 ( 4 ) : 360 – 368 .
   Google Scholar
• Pasquini , A. , Pistolesi , G. and Rizzo , A. 2001 . Reliability analysis of systems based on software and human resources . IEEE Trans. Reliability , 50 ( 4 ) : 337 – 345 .
   Google Scholar
• Snow , A.P. 2001 . Network reliability: the concurrent challenges of innovation, competition, and complexity . IEEE Trans. Reliability , 5 ( 4 ) : 38 – 40 .
   Google Scholar
• Voas , J.M. 1998 . Certifying off-the-shelf software components . IEEE Comput , 31 ( 6 ) : 53 – 59 .
   Google Scholar
• Xing , L. and Dugan , J.B. 2002 . Analysis of generalized phased mission system reliability, performance and sensitivity . IEEE Trans. Reliability , 51 ( 2 ) : 199 – 211 .
   Web of Science ®Google Scholar
• Yu , K. , Koren , I. and Guo , Y. 1994 . Generalized multi-state monotone coherent systems . IEEE Trans. Reliability , 43 ( 2 ) : 242 – 250 .
   Google Scholar