An electronic copy of book is available for Library Members Sign in to view the book
This book offers a systematic treatment of dependability modelling for networked computer-based systems, especially those used in safety-critical or life-critical domains (such as avionics, nuclear power, automotive, chemical processing). It introduces foundational probability theory and stochastic processes, then explores reliability, availability, safety, response-time and timeliness models — using techniques such as Markov / semi-Markov models, stochastic Petri nets, and Monte Carlo simulation — intended for use at design, operation, or maintenance stages to analyse and predict system dependability.
Sub Title:
Edition:
Volume:
Publisher: Springer London
Publishing Year: 2011
ISBN: 978-0-85729-317-6
Pages: 202