Springer Dependability of Networked Computer-based Systems (Springer Series in Reliability Engineering)

The measurement of dependability attributes on real systems is a very time-consuming and costly affair, making analytical or simulation modeling the only viable solutions. Dependability of Networked Computer-based Systems explores reliability, availability and safety modeling of networked computer-based systems used in life-critical applications such as avionics, nuclear power plants, automobiles and chemical process industries. Dependability of Networked Computer-based Systems gives an overview of basic dependability modeling concepts and addresses new challenges in dependability modeling of networked computer-based systems, as well as new trends, their capabilities and limitations. It covers a variety of dependability modeling methods: stochastic processes, Markov and semi-Markov models, response-time distribution, stochastic Petri-net-based modeling formalisms, and Monte Carlo simulation models. Dependability of Networked Computer-based Systems provides students and researchers with a detailed overview of dependability models and analysis techniques. Practicing engineers will also find this text a useful guide to decision-making based on system dependability at the design, operation and maintenance stages. From the Back Cover The measurement of dependability attributes on real systems is a very time-consuming and costly affair, making analytical or simulation modeling the only viable solutions. Dependability of Networked Computer-based Systems explores reliability, availability and safety modeling of networked computer-based systems used in life-critical applications such as avionics, nuclear power plants, automobiles and chemical process industries. Dependability of Networked Computer-based Systems gives an overview of basic dependability modeling concepts and addresses new challenges in dependability modeling of networked computer-based systems, as well as new trends, their capabilities and limitations. It covers a variety of dependability modeling methods: stochastic processes, Markov and semi-Markov models, response-time distribution, stochastic Petri-net-based modeling formalisms, and Monte Carlo simulation models. Dependability of Networked Computer-based Systems provides students and researchers with a detailed overview of dependability models and analysis techniques. Practicing engineers will also find this text a useful guide to decision-making based on system dependability at the design, operation and maintenance stages. About the Author Prof. Ajit Kumar VermaHe is a professor in the Department of Electrical Engineering at the Indian Institute of Technology, Bombay, with a research focus on reliability engineering and quality management. He was the Director of the International Institute of Information Technology, Pune, India from August 2009 to September 2010. He has over 200 papers in journals and in conference proceedings. He is the Editor-in-Chief of OPSEARCH (published by Springer) and of the International Journal of Systems Assurance Engineering and Management (also published by Springer). He is on the editorial boards of various international journals. He has been a guest editor of IJRQSE, IJPE, CDQM, IJAC, etc., and has supervised 25 PhDs. His area of research is reliability and maintainability engineering. Prof. Srividya AjitShe has been with IIT Bombay since 1988 and is currently a professor in the Department of Civil Engineering with a research focus on reliability in engineering design, structural reliability and environmental effects on system reliability. Over 50 of her papers have been published in various national and international journals, and over 100 have been part of national or international conferences. She has also co-authored books titled Fuzzy Reliability Engineering: Concepts and Applications and Reliability and Safety Engineering published by Springer. She was conference chairperson of the International Conference on Reliability, S