Preface |
|
xix | |
|
Part 1 Systems and Software Engineering Models, Methods, Tools, and Standards |
|
|
|
Chapter 1 Quantitative Methods to Ensure the Reliability, Maintainability, and Availability of Computer Hardware and Software |
|
|
1 | (44) |
|
Probability and Statistics |
|
|
2 | (7) |
|
Design of Experiments: ANOVA Randomized Block Model |
|
|
9 | (1) |
|
|
10 | (5) |
|
Design of Experiments: One-way ANOVA |
|
|
15 | (3) |
|
Chebyshev's Theorem: The Rarity of Outliers |
|
|
18 | (1) |
|
Reliability and Failure Analysis |
|
|
19 | (6) |
|
|
25 | (2) |
|
Multiple Component Reliability Analysis |
|
|
27 | (4) |
|
Computer System Availability and Maintenance |
|
|
31 | (3) |
|
|
34 | (4) |
|
Confidence Intervals Model |
|
|
38 | (7) |
|
Chapter 2 Overview of Software Reliability Engineering |
|
|
45 | (18) |
|
Scope of Software Reliability Problem |
|
|
45 | (2) |
|
What Is Software Reliability Engineering? |
|
|
47 | (1) |
|
Principles of Software Reliability Engineering |
|
|
48 | (1) |
|
Software Reliability Modeling |
|
|
49 | (5) |
|
Software Reliability Applications |
|
|
54 | (1) |
|
Software Reliability Data and Failure Scenarios |
|
|
54 | (2) |
|
Interpreting Software Reliability Predictions |
|
|
56 | (2) |
|
Failure Mode Effects Analysis |
|
|
58 | (2) |
|
|
60 | (3) |
|
Chapter 3 Statistical Quality Control |
|
|
63 | (14) |
|
Statistical Quality Control |
|
|
63 | (8) |
|
|
71 | (2) |
|
Binomial Distribution Method for Acceptance Sampling |
|
|
73 | (1) |
|
Single Sampling Plans for Consumer and Producer |
|
|
74 | (1) |
|
Double Sampling Plans for Consumer and Producer |
|
|
75 | (2) |
|
Chapter 4 Risk, Reliability, and Testing Case Study |
|
|
77 | (26) |
|
Overview of the Principles of Risk-Driven Reliability Model and Test Process |
|
|
77 | (1) |
|
|
78 | (1) |
|
Safety Critical Software Considerations |
|
|
78 | (2) |
|
|
80 | (2) |
|
|
82 | (1) |
|
Predictions and Prediction Accuracy |
|
|
83 | (1) |
|
Tradeoff between Consumer's Risk and Producer's Risk |
|
|
84 | (4) |
|
Example Poisson Process Problem: First and Second Tests |
|
|
88 | (11) |
|
NASA Space Shuttle Application 94 |
|
|
99 | (4) |
|
Chapter 5 Models for Systems and Software Engineering |
|
|
103 | (26) |
|
|
103 | (5) |
|
Learning Curve Exponential Model |
|
|
108 | (3) |
|
Software Production Time Model |
|
|
111 | (1) |
|
Software Production Regression Model |
|
|
112 | (4) |
|
Assessing the Effect of Defects and Complexity of Learning |
|
|
116 | (1) |
|
|
117 | (2) |
|
Single-Server Fault Detection and Correction Model with Exponentially Distributed Time between Arrivals and Service Times |
|
|
119 | (3) |
|
Multiple-Server Fault Detection and Correction Model with Exponentially Distributed Time between Arrivals and Service Times, and Finite Server Capacity |
|
|
122 | (5) |
|
Assessing Effectiveness of Fault Correction |
|
|
127 | (2) |
|
Chapter 6 Software Reliability Metrics |
|
|
129 | (24) |
|
Reliability Metric Assumptions |
|
|
131 | (1) |
|
New Software Reliability Metrics |
|
|
132 | (5) |
|
Modified Software Reliability Metrics |
|
|
137 | (10) |
|
Summary of Reliability Metric Results |
|
|
147 | (1) |
|
|
147 | (2) |
|
|
149 | (4) |
|
Chapter 7 Software Reliability and Metrics Tools |
|
|
153 | (34) |
|
Background that Supports the Use of Tools |
|
|
153 | (8) |
|
Software Reliability Tools |
|
|
161 | (2) |
|
Software Reliability Prediction Results |
|
|
163 | (5) |
|
Software Metrics and Metrics Tools |
|
|
168 | (4) |
|
|
172 | (15) |
|
Chapter 8 Integrating Testing with Reliability |
|
|
187 | (24) |
|
|
188 | (1) |
|
Challenges to Efficient Testing |
|
|
188 | (2) |
|
|
190 | (1) |
|
|
191 | (3) |
|
Integrated Testing and Reliability Model |
|
|
194 | (1) |
|
Constructing the Directed Graphs of Example Programs |
|
|
195 | (1) |
|
|
196 | (1) |
|
|
197 | (1) |
|
Results of Test Strategies Evaluation |
|
|
198 | (2) |
|
|
200 | (4) |
|
Black-Box Testing Analysis |
|
|
204 | (1) |
|
Answers to Practical Questions |
|
|
204 | (2) |
|
Reliability Models that Combine Fault Correction with Testing |
|
|
206 | (1) |
|
Empirical Approaches to Testing |
|
|
207 | (1) |
|
|
208 | (3) |
|
Chapter 9 Architecture, Performance, Reliability, and Availability |
|
|
211 | (16) |
|
|
211 | (1) |
|
Non-Parallel Computer Availability Model |
|
|
212 | (1) |
|
Parallel Computer Architectural Model |
|
|
213 | (1) |
|
Architectural Characteristics |
|
|
214 | (1) |
|
Integrating Reliability, Availability, and Performance |
|
|
214 | (4) |
|
Processor Performance Specifications and Architectural Data Values |
|
|
218 | (1) |
|
Comparing Computer Architectures |
|
|
219 | (3) |
|
Comparing Hardware and Software Reliability and Analyzing Incremental Performance |
|
|
222 | (5) |
|
Chapter 10 Internet Fault Tree Analysis for Reliability Estimation |
|
|
227 | (18) |
|
|
227 | (1) |
|
|
228 | (2) |
|
Model of FTA for Internet Services |
|
|
230 | (4) |
|
|
234 | (5) |
|
Fault Tree for Analyzing Internet Service Failures |
|
|
239 | (2) |
|
Predicting Failure Rates with Fault Correction |
|
|
241 | (4) |
|
Chapter 11 Standard for Software Reliability |
|
|
245 | (18) |
|
|
245 | (1) |
|
|
246 | (1) |
|
|
247 | (1) |
|
Software Reliability Engineering Risk Analysis |
|
|
248 | (6) |
|
Software Reliability Model Parameter Analysis |
|
|
254 | (1) |
|
Overview of Recommended Software Reliability Models |
|
|
255 | (8) |
|
Part 2 Applications of Systems and Software Engineering |
|
|
|
Chapter 12 Simulation and Analytical Models: A Comparison |
|
|
263 | (26) |
|
|
263 | (3) |
|
Queuing Models f or Software Development |
|
|
266 | (7) |
|
|
273 | (5) |
|
|
278 | (11) |
|
Chapter 13 Object-Oriented Methods for Modeling Software Reliability |
|
|
289 | (16) |
|
Background on Object-Oriented Design |
|
|
289 | (2) |
|
O-O Concepts Applied to Software Reliability Model |
|
|
291 | (5) |
|
What Do O-O Designers say is Good Practice? |
|
|
296 | (1) |
|
|
297 | (1) |
|
|
298 | (1) |
|
Object-Oriented Design Process |
|
|
299 | (1) |
|
|
300 | (1) |
|
Conclusions About Applicability of O-O and UML to Mathematical Software |
|
|
301 | (1) |
|
|
302 | (3) |
|
Chapter 14 Cyber Security Prediction Models |
|
|
305 | (28) |
|
|
306 | (1) |
|
Cyber Security Strategies |
|
|
306 | (1) |
|
Cyber Security Threat to the Internet |
|
|
307 | (1) |
|
|
308 | (2) |
|
Cyber Security Threat to Critical Infrastructure |
|
|
310 | (1) |
|
|
311 | (1) |
|
|
311 | (1) |
|
Importance of Cyber Security Models |
|
|
311 | (1) |
|
Cyber Security Model Validation |
|
|
312 | (1) |
|
|
312 | (1) |
|
Relationship of Availability and Security |
|
|
312 | (1) |
|
Measurements in Cyber Security |
|
|
312 | (1) |
|
|
313 | (3) |
|
|
316 | (1) |
|
|
316 | (4) |
|
|
320 | (1) |
|
Development of Confidence Intervals for CERT Vulnerability Count |
|
|
321 | (2) |
|
|
323 | (2) |
|
Relative Measures of Effectiveness |
|
|
325 | (1) |
|
Time Duration of Intrusions Model |
|
|
326 | (7) |
|
Part 3 Systems and Software Engineering in the Workplace |
|
|
|
Chapter 15 Ergonomics and Safety in the Workplace |
|
|
333 | (12) |
|
Application of the National Institute of Occupational Safety and Health (NIOSH) Formula |
|
|
334 | (2) |
|
|
336 | (2) |
|
OSHA Permissible Noise Levels (PELS) |
|
|
338 | (1) |
|
Cumulative Trauma Disorders of the Upper Extremities |
|
|
339 | (1) |
|
Rapid Upper Limb Assessment (RULA) |
|
|
339 | (1) |
|
Definition of Anthropometric |
|
|
340 | (1) |
|
Human-Machine Interface (HMI) |
|
|
340 | (1) |
|
|
341 | (4) |
|
Chapter 16 Facility Layout and Location Models |
|
|
345 | (30) |
|
|
346 | (1) |
|
Determinants of Facility Layout and Location |
|
|
346 | (2) |
|
Facility Layout and Location Model Development |
|
|
348 | (6) |
|
Heuristic for Achieving Closeness of Facilities |
|
|
354 | (1) |
|
Complexity of Connectivity |
|
|
355 | (4) |
|
Centroid Method for Facility Location Analysis |
|
|
359 | (4) |
|
REL Chart for Layout and Location Design |
|
|
363 | (1) |
|
From To Charts for Layout Design |
|
|
364 | (1) |
|
Component Routing and Assignment Analysis |
|
|
365 | (2) |
|
Facility Location Analysis with Weighted Scoring |
|
|
367 | (1) |
|
Facility Capacity Analysis |
|
|
368 | (3) |
|
Least-Cost Assignment Methods |
|
|
371 | (4) |
|
Chapter 17 Inventory Control |
|
|
375 | (14) |
|
Basic Economic Order Quantity (EOQ) Model |
|
|
375 | (2) |
|
Inventory with Demand and Production Runs But No Safety Stock (Case Study) |
|
|
377 | (5) |
|
Inventory with Demand, Production Runs, and Safety Stock |
|
|
382 | (7) |
|
Part 4 Scheduling and Cost Control in Systems and Software |
|
|
|
|
389 | (16) |
|
|
389 | (4) |
|
|
393 | (6) |
|
Critical-Path Method (CPM) of Scheduling |
|
|
399 | (2) |
|
Program Evaluation and Review Technique (PERT) |
|
|
401 | (4) |
|
Chapter 19 Forecasting Models |
|
|
405 | (10) |
|
Exponential Smoothing Forecasting Model (ESM) |
|
|
405 | (2) |
|
Moving Average Model (MAM) |
|
|
407 | (1) |
|
|
407 | (1) |
|
|
408 | (1) |
|
|
408 | (1) |
|
Failure Data Used in Examples |
|
|
408 | (1) |
|
|
409 | (1) |
|
|
409 | (1) |
|
NASA Space Shuttle Software Release OI5 |
|
|
410 | (5) |
|
|
415 | (16) |
|
|
415 | (1) |
|
Present Value Model: Exponential Growth |
|
|
416 | (2) |
|
Finding the Rate of Return on an Investment |
|
|
418 | (3) |
|
Identifying the Payback Period |
|
|
421 | (1) |
|
|
422 | (3) |
|
Computing Annual Benefits |
|
|
425 | (1) |
|
Maintenance and Salvage Costs Calculations |
|
|
426 | (1) |
|
Activity-Based Costing (ABC) |
|
|
426 | (1) |
|
|
427 | (2) |
|
|
429 | (1) |
|
Product and Standard Costing |
|
|
429 | (1) |
|
Lagging and Leading Indicators |
|
|
429 | (1) |
|
|
429 | (1) |
|
|
430 | (1) |
Index |
|
431 | |