Abstract
As the widely use of complex and large computer system in diverse industries, the demand for achieving a system with high reliability is increasing as well. System reliability is summarized as a sub-concept of system dependability, which is measured by the Mean Time to Fail. The performance of a system is achieved by the quantities, qualities and arrangement of system’s components that construct the system. The reliability model should be constructed with reference to life distributions and maintenance policies of components, and sub-assemblies and assemblies of system components. In this situation, a number of system reliability modelling tools are proposed to model the system reliability. Current research shows that excluding Dynamic Reliability Block Diagrams (DRBD), none alternatives can adequately model dynamic behaviors of a system such as dynamics, dependencies, redundancy and load sharing. In order to guarantee the correctness of the designed DRBD model, verification methodology Colored Petri Nets (CPN) is introduced to verify the DRBD model. Multiprocessor Peripheral Component Interconnect (PCI) system is one of the most widely used computer system. Accurately model its system reliability contributes to establish a computer system with high reliability.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Distefano, S., Puliafito, A.: Dynamic reliability block diagrams: overview of a methodology. ESREL 7 (2007)
Rausand, M., Hoyland, A.: System reliability theory: Models and statistical methods (2003)
Vesely, W.E., et al.: Fault Tree Handbook. No. NUREG-0492. Nuclear Regulatory Commission Washington DC (1981)
Distefano, S., Xing, L.: A new approach to modeling the system reliability: dynamic reliability block diagrams. In: RAMS’06 Proceedings, pp. 189–195 (2006)
Robidoux, R., Xu, H.P., Xing, L.D., Zhou, M.C.: Automated modelling of dynamic reliability block diagrams using coloured Petri nets. IEEE Trans. Syst. Man Cybern. A, Syst. Hum. 40(2), 137–351 (2010)
Manian, R., Dugan, J., Coppit, D., Sullivan, K.: Combining various solution techniques for dynamic fault tree analysis of computer systems. In: Proceedings of 3rd International Symposium on High-Assurance Systems Engineering (HASE’98), Washington, D.C., USA, pp. 21–28 (1998)
Distefano, S., Puliafito, A.: Dynamic reliability block diagrams: overview of a methodology. In: Proceedings of the Safety and Reliability Conference (ESREL07) (2007)
Xing, L., Xu, H., Amari, S.V., Wang, W.: A new framework for complex system reliability analysis: modeling, verification, and evaluation
Stallings, W.: Computer Organization and Architecture: Designing for Performance. Pearson Education, India (2000)
Rusling, D.A.: The PCI system. http://www.tldp.org/LDP/tlk/dd/pci.html
Ullman, J.D.: Elements of ML Programming. Prentice-Hall (1998)
Xing, L.: Efficient analysis of systems with multiple states. In: Proceedings of the IEEE 21st International Conference on Advanced Information Networking and Applications, 21–23 May 2007, Niagara Falls, Canada, pp. 666–672 (2007)
Dugan, J.B., Doyle, S.A.: New results in fault-tree analysis. In: Tutorial Notes of the Annual Reliability and Maintainability Symposium (1997)
Abd-Allah, A.: Extending reliability block diagrams to software architectures. Technical Report USC-CSE-97-501, Department of Computer Science, University of Southern California (1997)
Duke, R., Rose, G., Smith, G.: Object-Z: a specification language advocated for the description of standards. Comput. Stand. Interfaces 17, 511–513 (1995)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Yi, G., Jiacong, Z. (2019). Reliability Modelling of a Typical Peripheral Component Interconnect (PCI) System with Dynamic Reliability Modelling Diagram. In: Hung, J., Yen, N., Hui, L. (eds) Frontier Computing. FC 2018. Lecture Notes in Electrical Engineering, vol 542. Springer, Singapore. https://doi.org/10.1007/978-981-13-3648-5_203
Download citation
DOI: https://doi.org/10.1007/978-981-13-3648-5_203
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-13-3647-8
Online ISBN: 978-981-13-3648-5
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)