Dependability of Networked Computer-based Systems

  • Ajit Kumar Verma
  • Srividya Ajit
  • Manoj Kumar
Part of the Springer Series in Reliability Engineering book series (RELIABILITY)

Table of contents

  1. Front Matter
    Pages i-xviii
  2. Ajit Kumar Verma, Srividya Ajit, Manoj Kumar
    Pages 1-13
  3. Ajit Kumar Verma, Srividya Ajit, Manoj Kumar
    Pages 15-35
  4. Ajit Kumar Verma, Srividya Ajit, Manoj Kumar
    Pages 37-58
  5. Ajit Kumar Verma, Srividya Ajit, Manoj Kumar
    Pages 59-104
  6. Ajit Kumar Verma, Srividya Ajit, Manoj Kumar
    Pages 105-129
  7. Ajit Kumar Verma, Srividya Ajit, Manoj Kumar
    Pages 131-168
  8. Ajit Kumar Verma, Srividya Ajit, Manoj Kumar
    Pages 169-183
  9. Back Matter
    Pages 185-200

About this book

Introduction

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.

Keywords

CP6917 Dependability Modeling Real-Time Systems Response-Time Distribution Safety Modeling Timeliness

Authors and affiliations

  • Ajit Kumar Verma
    • 1
  • Srividya Ajit
    • 2
  • Manoj Kumar
    • 3
  1. 1., Department of Electrical EngineeringIndian Institute of Technology Bombay (IMumbaiIndia
  2. 2., Department of Civil EngineeringIndian Institute of Technology Bombay (IMumbaiIndia
  3. 3., System Engineering SectionBhabha Atomic Research Centre (BARC)MumbaiIndia

Bibliographic information

  • DOI https://doi.org/10.1007/978-0-85729-318-3
  • Copyright Information Springer-Verlag London Limited 2011
  • Publisher Name Springer, London
  • eBook Packages Engineering
  • Print ISBN 978-0-85729-317-6
  • Online ISBN 978-0-85729-318-3
  • Series Print ISSN 1614-7839