This detailed book 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
β Scribed by Ajit Kumar Verma, Srividya Ajit, Manoj Kumar (auth.)
- Publisher
- Springer-Verlag London
- Year
- 2011
- Tongue
- English
- Leaves
- 219
- Series
- Springer Series in Reliability Engineering
- Edition
- 1
- Category
- Library
No coin nor oath required. For personal study only.
β¦ Synopsis
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.
β¦ Table of Contents
Front Matter....Pages i-xviii
Introduction....Pages 1-13
Probability Theory....Pages 15-35
Stochastic Processes and Models....Pages 37-58
Dependability Models of Computer-Based Systems....Pages 59-104
Network Technologies for Real-Time Systems....Pages 105-129
Response-Time Models and Timeliness Hazard Rate....Pages 131-168
Dependability of Networked Computer-Based Systems....Pages 169-183
Back Matter....Pages 185-200
β¦ Subjects
Quality Control, Reliability, Safety and Risk; Performance and Reliability; Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Sciences; Communications Engineering, Networks; System Performance and Evaluation; Mod
π SIMILAR VOLUMES
<p><P>Modern civilization relies on a functioning information infrastructure. As a result, dependability has become a central issue in all disciplines of systems engineering and software architecture.Theories, methods and tools that help to master the problems encountered in the design process and t
<p><P>Modern civilization relies on a functioning information infrastructure. As a result, dependability has become a central issue in all disciplines of systems engineering and software architecture.Theories, methods and tools that help to master the problems encountered in the design process and t
<p><em>Dependable Network Computing</em> provides insights into various problems facing millions of global users resulting from the `internet revolution'. It covers real-time problems involving software, servers, and large-scale storage systems with adaptive fault-tolerant routing and dynamic reconf
<p><P>What evidence is sufficient to justify the release of a computer-based safety critical system? How should this evidence be presented to certification bodies or regulatory authorities? What best practices should be applied? These are just a few of the questions addressed by <EM>Justifying the D
<p><span>Communication-Protocol-Based Filtering and Control of Networked Systems</span><span> is a self-contained treatment of</span></p><ul><li><span><span>the state of the art in communication-protocol-based filtering and control;</span></span></li><li><span><span>recent advances in networked syst