Muutke küpsiste eelistusi

Dependability of Networked Computer-based Systems 2011 [Kõva köide]

, ,
  • Formaat: Hardback, 202 pages, kõrgus x laius: 235x155 mm, kaal: 500 g, XVIII, 202 p., 1 Hardback
  • Sari: Springer Series in Reliability Engineering
  • Ilmumisaeg: 21-Jul-2011
  • Kirjastus: Springer London Ltd
  • ISBN-10: 0857293176
  • ISBN-13: 9780857293176
Teised raamatud teemal:
  • Kõva köide
  • Hind: 141,35 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 166,29 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
Dependability of Networked Computer-based Systems 2011Suurem pilt
  • Formaat: Hardback, 202 pages, kõrgus x laius: 235x155 mm, kaal: 500 g, XVIII, 202 p., 1 Hardback
  • Sari: Springer Series in Reliability Engineering
  • Ilmumisaeg: 21-Jul-2011
  • Kirjastus: Springer London Ltd
  • ISBN-10: 0857293176
  • ISBN-13: 9780857293176
Teised raamatud teemal:
Püsilink: https://www.kriso.ee/db/9780857293176.html
Märksõnad:

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.



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.

1 Introduction
1(14)
1.1 Evolution of computer based systems
2(1)
1.2 Application areas: safety-critical, life-critical
3(1)
1.3 A review of system failures
4(1)
1.4 Example: Comparison of system reliability
5(1)
1.5 Dependability
6(4)
1.5.1 Basic concepts
6(2)
1.5.2 Basic Definitions and Terminology
8(2)
1.6 Motivation
10(1)
1.7 Summary
11(4)
References
11(4)
2 Probability Theory
15(22)
2.1 Probability Models
15(1)
2.2 Sample Space, Events and Algebra of Events
16(2)
2.3 Conditional Probability
18(1)
2.4 Independence of Events
18(1)
2.5 Exclusive Events
19(1)
2.6 Bayes' Rule
19(1)
2.7 Random Variables
20(10)
2.7.1 Discrete Random Variables
20(6)
2.7.2 Continuous Random Variables
26(4)
2.8 Transforms
30(2)
2.8.1 Probability Generating Function
30(1)
2.8.2 Laplace Transform
31(1)
2.9 Expectations
32(1)
2.10 Operations on Random Variables
33(1)
2.11 Moments
34(1)
2.12 Summary
35(2)
3 Stochastic Processes and Models
37(22)
3.1 Introduction
37(1)
3.2 Classification of Stochastic Processes
38(1)
3.3 The Random Walk
39(1)
3.4 Markov Chain
40(4)
3.4.1 Markov Processes with Discrete State in discrete time
41(1)
3.4.2 Markov Processes with Discrete States in Continuous Time
42(2)
3.5 Non-Markovian Processes
44(2)
3.5.1 Markov Renewal Sequence
44(1)
3.5.2 Markov Regenerative Processes
45(1)
3.6 Higher Level Modeling Formalisms
46(10)
3.6.1 Petri Nets
47(1)
3.6.2 Structural Extensions
48(1)
3.6.3 Stochastic Petti Nets
49(2)
3.6.4 Generalized Stochastic Petti Nets
51(1)
3.6.5 Stochastic Reward Nets (SRN)
51(2)
3.6.6 Deterministic and Stochastic Petri Net (DSPN)
53(1)
3.6.7 Queueing Networks
53(2)
3.6.8 Stochastic Process Algebra (SPA)
55(1)
3.7 Tools
56(1)
3.7.1 SPNP
56(1)
3.7.2 TimeNet
57(1)
3.8 Summary
57(2)
References
57(2)
4 Dependability Models of Computer-Based Systems
59(46)
4.1 Introduction
59(1)
4.2 Dependability Attributes
60(1)
4.3 Reliability Models
61(5)
4.3.1 Combinatorial Models
61(1)
4.3.2 Dynamic Models
62(3)
4.3.3 Software Reliability
65(1)
4.4 Availability Models
66(1)
4.5 Safety Models
67(11)
4.5.1 Modeling of Common Cause Failures (CCF)
68(2)
4.5.2 Safety Model of IEC 61508
70(1)
4.5.3 System Model
71(3)
4.5.4 Performance Based Safety and Availability Indices
74(4)
4.6 Examples
78(20)
4.6.1 Example
178(4)
4.6.2 Example
82(16)
4.7 Advantage of Modeling Safe Failures
98(1)
4.8 DSPN Based Safely Models
99(1)
4.9 Summary
100(5)
References
102(3)
5 Network Technologies for Real-Time Systems
105(26)
5.1 Introduction
105(1)
5.2 Network Basics
105(1)
5.3 Medium Access Control (MAC) Protocols
106(3)
5.3.1 Carrier Sense Multiple Access/Collision Detection (CSMA/CD)
106(1)
5.3.2 Carrier Sense Multiple Access/Collision Resolution (CSMA/CR)
107(1)
5.3.3 Carrier Sense Multiple Access/Collision Avoidance (CSMA/CA)
107(1)
5.3.4 Time Division Multiple Access (TDMA)
107(1)
5.3.5 Flexible Time Division Multiple Access (FTDMA)
108(1)
5.3.6 Distributed Solutions Relying on Tokens
108(1)
5.3.7 Master/Slave
108(1)
5.4 Networks
109(6)
5.4.1 Ethernet
109(3)
5.4.2 Controller Area Network (CAN)
112(1)
5.4.3 MIL-STD-1553B
113(2)
5.5 Real-Time Scheduling
115(5)
5.5.1 Time-Driven Scheduling
116(1)
5.5.2 Priority-Driven Scheduling
117(1)
5.5.3 Share-Driven Scheduling
118(2)
5.6 Real-Time Analysis
120(7)
5.6.1 Task Model
120(1)
5.6.2 Utilisation-Based Tests
121(1)
5.6.3 Demand-Based Tests
122(1)
5.6.4 Response-Time Tests
123(4)
5.7 Comparison of Networks
127(1)
5.8 Summary
127(4)
References
127(4)
6 Response-Time Models and Timeliness Hazard Rate
131(38)
6.1 Introduction
131(1)
6.2 Review of Response-Time Models
131(7)
6.2.1 Tagged Customer Approach
131(5)
6.2.2 Probabilistic Response-Time Model
136(2)
6.3 Response-Time Models
138(14)
6.3.1 CAN
138(11)
6.3.2 MIL-STD-1553B
149(2)
6.3.3 Ethernet
151(1)
6.4 System Response-Time Models
152(9)
6.4.1 Sample to Actuation Delay and Response-Time
152(5)
6.4.2 Effect of Node Redundancy
157(2)
6.4.3 Dependence of Response-Time Between Consecutive Cycles
159(1)
6.4.4 Failure/Repair Within the System
160(1)
6.5 Timeliness Hazard Rale
161(6)
6.5.1 Example 1
162(2)
6.5.2 Example 2
164(3)
6.6 Summary
167(2)
References
167(2)
7 Dependability of Networked Computer-Based Systems
169(16)
7.1 Introduction
169(1)
7.2 Background
169(1)
7.3 Reliability Modeling
170(3)
7.3.1 System Model
170(2)
7.3.2 Analysis
172(1)
7.4 Safety Modeling
173(3)
7.4.1 Assumptions
173(1)
7.4.2 System Model
174(2)
7.5 Availability Modeling
176(2)
7.5.1 Timeliness Hazard Rate
177(1)
7.6 Example
178(2)
7.7 Summary
180(5)
References
182(3)
Appendix A MATLAB Codes 185
Prof. Ajit Kumar Verma He is a professor in the Department of Electrical Engineering at the Indian Institute of Technology, Bombay, with a research focus on reliability engineering and quality management. He was the Director of the International Institute of Information Technology, Pune, India from August 2009 to September 2010. He has over 200 papers in journals and in conference proceedings. He is the Editor-in-Chief of OPSEARCH (published by Springer) and of the International Journal of Systems Assurance Engineering and Management (also published by Springer). He is on the editorial boards of various international journals. He has been a guest editor of IJRQSE, IJPE, CDQM, IJAC, etc., and has supervised 25 PhDs. His area of research is reliability and maintainability engineering.

Prof. Srividya Ajit She has been with IIT Bombay since 1988 and is currently a professor in the Department of Civil Engineering with a research focus on reliability in engineering design, structural reliability and environmental effects on system reliability. Over 50 of her papers have been published in various national and international journals, and over 100 have been part of national or international conferences. She has also co-authored books titled Fuzzy Reliability Engineering: Concepts and Applications and Reliability and Safety Engineering published by Springer. She was conference chairperson of the International Conference on Reliability, Safety & Hazard 2005 (Advances in Risk Informed Technology), for which she also edited the proceedings; the International Conference on Quality, Reliability and Infocom Technology 2006; and the International Conference on Reliability, Safety and Quality Engineering 2008 (for which she also edited the proceedings). She has been instrumental in editing and reviewing the proceedings of various international conferences, such as the International Conference on Quality Reliability and Control 2001, the International Conference on Multimedia and Design 2002, and the International Conference on Quality Reliability and Information Technology 2003. She is a recipient of SREQOM's Leadership in Reliability Engineering Education & Research award.

Dr. Manoj Kumar He has been working as Scientific Officer at Control Instrumentation Division of Bhabha Atomic Research Centre, Mumbai, India, since 1998. He has been associated with the design and development of embedded/computer-based control systems for critical applications. He is also actively involved in dependability modeling and analysis of these systems. He has around 15 papers in journals and in conference proceedings.