Petri-nets based availability model of fault-tolerant server system

2008 IEEE International Conference on Robotics, Automation and Mechatronics, RAM 2008

Volumn , Issue , 2008, Pages 444-449

  Jian, Shi ^a   Shaoping, Wang ^a   Yaoxing, Shang ^a  

^a BEIHANG UNIVERSITY   (China)

Author keywords

Availability model; Cluster technique; Redundant server system; Stochastic Petri net

Indexed keywords

DATA STORAGE EQUIPMENT; GRAPH THEORY; MARINE BIOLOGY; MECHATRONICS; PETRI NETS; RANDOM ACCESS STORAGE; ROBOTICS; STOCHASTIC CONTROL SYSTEMS; TELECOMMUNICATION NETWORKS;

AVAILABILITY ANALYSES; AVAILABILITY MODEL; CLUSTER SYSTEMS; CLUSTER TECHNIQUE; DATA MEMORIES; FAULT-TOLERANT; MODEL PROCESSING; NETWORK SYSTEMS; PETRI NET; REDUNDANT SERVER SYSTEM; RESTORABILITY; SERVER SYSTEMS; STOCHASTIC PETRI NET; SYSTEM AVAILABILITIES; WORK PROCESSES;

STOCHASTIC MODELS;

EID: 58049118344     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RAMECH.2008.4681434     Document Type: Conference Paper

References (11)

1. Karama Kanoun, "Fault-Tolerant System Dependability - Explicit Modeling of Hardware and Software Component-interactions", IEEE Trans. Rel., vol. 49, pp. 363-375, 2000.
2. Karama Kanoun, Marie Borrel. "Availability of CAUTRA, a Subset of the French Air Traffic Control System", IEEE Transaction on Reliability Vol. 48, pp. 528-535, 1999.
3. Singpurwalla ND, Kong CW. Specifying interdependence in networked systems. IEEE TRANSACTIONS ON RELIABILITY 2004, 53: 401-401.
4. Wang Shaoping. Engineering Reliability. Beijing University of aeronautics and Astronautics Press, 2000.
5. Liu Weiming, "Fault Tolerant Analysis for Computer Networks", Microcomputer & Its Applications, vol. 8, pp. 34-35.1992
6. Dai YS, Xie M, Poh KL. Modeling and analysis of correlated software failures of multiple types. IEEE TRANSACTIONS ON RELIABILITY 2005, 54: 100-106.
7. Manish Malhostra, Kishor S. Trivedi, "Dependability Modeling Using Petri-Nets", IEEE Trans. Rel. vol. 44, pp. 428-440, 1995.
8. Winfrid G. Schneeweiss, "Tutorial: Petri Nets as a Graphical Description Medium for Many Reliability Scenarios", IEEE Transactions on Reliability, Vol. 50, pp: 159-164, 2001
9. Ming-Lei Yin, Craig L. Hyde, Larry E. James, "A Petri-Net Approach for Earl-Stage System-Level Software Reliability Estimation", IEEE 2000 Proceedings Annual Reliability and Maintainability Symposium, pp: 100-105, 2000.
10. Lianzhang Zhu, Yanchen Li, "Reliability Analysis of Component Software based on Stochastic Petri Nets", International Conference on Computer and Information Science, 2007.
11. Vitali Volovoi, "Modeling Multiphased Missions Using Stochastic Petri Nets with Aging Tokens", RAMS2004, pp: 232-236, 2004.