How to capture dynamic behaviours of dependable systems

References

• Barlow , R.E. and Proschan , F. 1965 . “ Mathematical theory of reliability ” . In Classics in Applied Mathematics , New York : Wiley .
   Google Scholar
• Bebbington , M. , Lai , C.-D. and Zitikis , R. 2007 . Reliability of modules with load-sharing components . J. Appl. Math. Decision Sci. , 2007 : 1 – 18 . (Article ID 43565)
   Google Scholar
• Bobbio , A. , Franceschinis , G. , Gaeta , R. and Portinale , L. 2003 . Parametric fault tree for the dependability analysis of redundant systems and its high-level petri net semantics . IEEE Trans. Softw. Eng. , 29 ( 3 ) : 270 – 287 .
   Google Scholar
• Bolch , G. , Greiner , S. , de Meer , H. and Trivedi , K.S. May 2006 . Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications , 2nd ed , New York : Wiley-Interscience .
   Google Scholar
• Bouissou , M. and Bonc , J.-L. 2003 . A new formalism that combines advantages of fault-trees and markov models: Boolean logic driven markov processes . Reliab. Eng. Syst. Safety , 82 ( 2 ) : 149 – 163 .
   Web of Science ®Google Scholar
• M.A. Boyd, Dynamic Fault Tree Models: Techniques for Analysis of Advanced Fault Tolerant Computer Systems, PhD thesis, Duke University, Department of Computer Science, April 1991
   Google Scholar
• Buchacker , K. 2000 . “ Modeling with extended fault trees ” . In IEEE International Symposium on High Assurance Sys. Eng. (HASE)
   Google Scholar
• Clark , G. , Courtney , T. , Daly , D. , Deavours , D. , Derisavi , S. , Doyle , J. , Sanders , W. and Webster , P. 2001 . “ The Möbius modeling tool ” . In Petri Nets and Performance Models (PNPM)
   Google Scholar
• Cox , D.R. 1972 . Regression models and life-tables . J. R. Stat. Soc. Ser. B (Methodol.) , 34 ( 2 ) : 187 – 220 .
   Google Scholar
• Cox , D.R. and Smith , W.L. 1961 . Queues , New York : Wiley .
   Google Scholar
• S. Distefano, System Dependability and Performances: Techniques, Methodologies and Tools, PhD thesis, University of Messina, January 2006
   Google Scholar
• Distefano , S. and Puliafito , A. September 2006 . “ System modeling with dynamic reliability block diagrams ” . In Proceedings of the Safety and Reliability Conference (ESREL06) , Washington : ESRA .
   Google Scholar
• Puliafito , A. 2007 . “ Dependability evaluation using dynamic reliability block diagrams and dynamic fault trees ” . In IEEE Transaction on Dependable Secure Computing in press. Available Online 12 November 2007
   Google Scholar
• Distefano , S. , Scarpa , M. and Puliafito , A. 2006 . “ Modeling distributed computing system reliability with DRBD ” . In Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS'06) , 106 – 118 . Washington, DC : IEEE Computer Society .
   Google Scholar
• Dugan , J.B. , Bavuso , S. and Boyd , M. 1992 . Dynamic fault tree models for fault tolerant computer systems . IEEE Trans. Reliab. , 41 ( 3 ) : 363 – 377 .
   Web of Science ®Google Scholar
• Boyd , M. 1993 . Fault trees and Markov models for reliability analysis of fault tolerant systems . Reliab. Eng. Syst. Safety , 39 : 291 – 307 .
   Google Scholar
• Feller , W. 1968 . An Introduction to Probability Theory and its Applications – Vol. I and II , New York : Wiley .
   Google Scholar
• Geist , R. and Trivedi , K.S. 1990 . Reliability estimation of faul-tolerant systems: Tools and techniques . Computer , 23 ( 7 ) : 52 – 61 .
   Google Scholar
• IEC/EN . 1999–2002 . “ International Standard: 61508, Functional Safety of Electrical Electronic Programmable Electronic Safety Related Systems ” . International Electrotechnical Commission, Geneva, part 4: definitions edition
   Google Scholar
• IEEE . 2000 . The Authoritative Dictionary of IEEE Standards Terms , 7th ed. , Los Alamitos, CA : Institute of Electrical and Electronics Engineers .
   Google Scholar
• Kvam , P.H. and Peña , E.A. 2005 . Estimating load-sharing properties in a dynamic reliability system . J. Am. Stat. Assoc. , 100 ( 469 ) : 262 – 272 .
   PubMed Web of Science ®Google Scholar
• Lewis , E.E. 2001 . A load-capacity interference model for common-mode failures in 1-out-of-2: G systems . IEEE Trans. Reliab. , 50 ( 1 ) : 47 – 51 .
   Google Scholar
• Marseguerra , M. and Zio , E. 2002 . Basics of the MonteCarlo Method with Application to System Reliability , Hagen : LiLoLe Verlag .
   Google Scholar
• Miner , A. , Ciardo , G. , Jones , R. and Siminiceanu , R. 2001 . “ SMART: Stochastic model analyzer for reliability and timing ” . In International Multiconference on Measurement, Modelling and Evaluation of Computer Communication Systems
   Google Scholar
• Monaghan , T. 1994 . “ Military fault tolerant requirements ” . In Foundations of Dependable Computing , 63 – 75 . New York : Springer .
   Google Scholar
• Montani , S. , Portinale , L. , Bobbio , A. and Raiteri , D.C. 2006 . “ Automatically translating dynamic fault trees into dynamic bayesian networks by means of a software tool ” . In Proceedings of the The First International Conference on Availability, Reliability and Security, ARES 2006 , 804 – 809 . Washington : IEEE Computer Society .
   Google Scholar
• Rausand , M. and Høyland , A. November 2003 . System Reliability Theory: Models, Statistical Methods, and Applications , 3rd ed. , Hoboken : Wiley-IEEE .
   Google Scholar
• Reliasoft Corporation . 2003 . System Analysis Reference: Reliability Availability and Optimization , Tucson : Reliasoft Publishing .
   Google Scholar
• Sahner , R.A. and Trivedi , K.S. 1992 . SHARPE: Symbolic Hierarchical Automated Reliability and Performance Evaluator, Introduction and Guide for Users , Durham : Duke University .
   Google Scholar
• Sahner , R. , Trivedi , K.S. and Puliafito , A. 1996 . Performance and Reliability Analysis of Computer Systems: An Example-based Approach Using the SHARPE Software Package , Dordrecht : Kluwer Academic Publisher .
   Google Scholar
• Scarpa , M. , Puliafito , A. and Distefano , S. September/October 2003 . “ A parallel approach for the solution of non Markovian Petri Nets ” . In 10th European PVM/MPI Users' Group Conference (EuroPVM/MPI03) , Edited by: Dongarra , J. , Laforenza , D. and Orlando , S. 196 – 203 . New York : Springer Verlag . LNCS 2840
   Google Scholar
• Shooman , M.L. 2002 . Reliability of Computer Systems and Networks: Fault Tolerance, Analysis, and Design , New York, NY : John Wiley and Sons, Inc. .
   Google Scholar
• Soh , B.C. and Dillon , T.S. January 1997 . “ Related dependability problems in fault-tolerant and secure computer-systems ” . In Proceedings of the 43rd Annual Reliability and Maintainability Symposium , 164 – 170 . IEEE .
   Google Scholar
• Ushakov , I. and Chakravarty , S. 1999 . “ Reliability of redundant and fault-tolerant systems ” . In Wiley Encyclopedia of Electrical and Electronics Engineering , New York : Wiley .
   Google Scholar
• Vesely , W.E. , Goldberg , F.F. , Roberts , N.H. and Haasl , D.F. 1981 . Fault Tree Handbook , Washington DC : U.S. Nuclear Regulatory Commission, NUREG-0492 .
   Google Scholar
• Volovoi , V.V. 2004 . Modeling of system reliability using petri nets with aging tokens . Reliab. Eng. Syst. Safety , 84 ( 2 ) : 149 – 161 .
   Google Scholar
• Walter , M. , Siegle , M. and Bode , A. 2008 . OpenSESAME – The simple but extensive, structured availability modeling environment . Reliab. Eng. Syst. Safety , 93 ( 6 ) : 857 – 873 .
   Google Scholar
• Xie , M. , Dai , Y.-S. and Poh , K.-L. 2004 . Computing System Reliability: Models And Analysis , Dordrecht/New York : Kluwer Academic/Plenum Publishers .
   Google Scholar