An electronic copy of book is available for Library Members Sign in to view the book
This book provides a comprehensive guide to modeling and analyzing the dependability (reliability, availability, safety, timeliness) of networked computer-based systems — especially those deployed in safety- or life-critical domains (e.g., avionics, nuclear power, automotive, chemical processing). It introduces fundamental probabilistic and stochastic-process methods, and describes modeling techniques such as Markov and semi-Markov models, stochastic Petri nets, response-time distributions, and Monte Carlo simulation. The text is intended for researchers, engineers and students who need to evaluate or design dependable systems, offering methods applicable at design, operation, or maintenance stages.
Sub Title:
Edition:
Volume:
Publisher: Springer London
Publishing Year: 2011
ISBN: 978-0-85729-317-6
Pages: 202