𝔖 Scriptorium
✦   LIBER   ✦

πŸ“

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

⬇  Acquire This Volume

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


Dependability of networked computer-base
✍ Verma, Ajit Kumar;Ajit, Srividya;Kumar, Manoj πŸ“‚ Library πŸ“… 2011 πŸ› Springer 🌐 English

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.

Dependable Systems: Software, Computing,
✍ Bertrand Meyer (auth.), JΓΌrg Kohlas, Bertrand Meyer, AndrΓ© Schiper (eds.) πŸ“‚ Library πŸ“… 2006 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<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

Dependable Systems: Software, Computing,
✍ Bertrand Meyer (auth.), JΓΌrg Kohlas, Bertrand Meyer, AndrΓ© Schiper (eds.) πŸ“‚ Library πŸ“… 2006 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<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

Dependable Network Computing
✍ Jean-Claude Laprie (auth.), Dimiter R. Avresky (eds.) πŸ“‚ Library πŸ“… 2000 πŸ› Springer US 🌐 English

<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

Justifying the Dependability of Computer
✍ Pierre-Jacques Courtois (auth.) πŸ“‚ Library πŸ“… 2008 πŸ› Springer-Verlag London 🌐 English

<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

Communication-Protocol-Based Filtering a
✍ Lei Zou, Zidong Wang, Jinling Liang πŸ“‚ Library πŸ“… 2022 πŸ› Springer 🌐 English

<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