Bayesian Reliability Analysis: Statistical Challenges · PDF fileBayesian Reliability Analysis...

33
Bayesian Reliability Analysis A. Wilson, Ph.D. Introduction B61 Case Study Multilevel Data Weibull Assurance Testing Conclusions Bayesian Reliability Analysis: Statistical Challenges from Science-Based Stockpile Stewardship Alyson G. Wilson, Ph.D. [email protected] Statistical Sciences Group Los Alamos National Laboratory May 22, 2008

Transcript of Bayesian Reliability Analysis: Statistical Challenges · PDF fileBayesian Reliability Analysis...

Page 1: Bayesian Reliability Analysis: Statistical Challenges · PDF fileBayesian Reliability Analysis A. Wilson, Ph.D. Introduction B61 Case Study Multilevel Data Weibull Assurance Testing

BayesianReliability Analysis

A. Wilson, Ph.D.

Introduction

B61 Case Study

Multilevel Data

Weibull AssuranceTesting

Conclusions

Bayesian Reliability Analysis:Statistical Challenges from Science-Based

Stockpile Stewardship

Alyson G. Wilson, [email protected]

Statistical Sciences GroupLos Alamos National Laboratory

May 22, 2008

173007
Text Box
LA-UR-08-3570
Page 2: Bayesian Reliability Analysis: Statistical Challenges · PDF fileBayesian Reliability Analysis A. Wilson, Ph.D. Introduction B61 Case Study Multilevel Data Weibull Assurance Testing

BayesianReliability Analysis

A. Wilson, Ph.D.

Introduction

B61 Case Study

Multilevel Data

Weibull AssuranceTesting

Conclusions

Acknowledgments

I Christine Anderson-Cook

I Mike Hamada

I Aparna Huzurbazar

I Harry Martz

Page 3: Bayesian Reliability Analysis: Statistical Challenges · PDF fileBayesian Reliability Analysis A. Wilson, Ph.D. Introduction B61 Case Study Multilevel Data Weibull Assurance Testing

BayesianReliability Analysis

A. Wilson, Ph.D.

Introduction

B61 Case Study

Multilevel Data

Weibull AssuranceTesting

Conclusions

Outline

Introduction

B61 Case Study

Multilevel Data

Weibull Assurance Testing

Conclusions

Page 4: Bayesian Reliability Analysis: Statistical Challenges · PDF fileBayesian Reliability Analysis A. Wilson, Ph.D. Introduction B61 Case Study Multilevel Data Weibull Assurance Testing

BayesianReliability Analysis

A. Wilson, Ph.D.

Introduction

B61 Case Study

Multilevel Data

Weibull AssuranceTesting

Conclusions

Science-Based Stockpile Stewardship

The goal of science-based stockpile stewardship is theassessment of safety and reliability in aging warheads in theabsence of nuclear testing.

Page 5: Bayesian Reliability Analysis: Statistical Challenges · PDF fileBayesian Reliability Analysis A. Wilson, Ph.D. Introduction B61 Case Study Multilevel Data Weibull Assurance Testing

BayesianReliability Analysis

A. Wilson, Ph.D.

Introduction

B61 Case Study

Multilevel Data

Weibull AssuranceTesting

Conclusions

Surveillance Transformation

Develop and advance the analytical capabilities required toperform computational predictions of stockpile performance,reliability, end-of-life, safety, survivability, use control; and toprovide risk-based responsiveness for future replacement andrefurbishment decisions.

I Uncertainty quantification

I Planning

Page 6: Bayesian Reliability Analysis: Statistical Challenges · PDF fileBayesian Reliability Analysis A. Wilson, Ph.D. Introduction B61 Case Study Multilevel Data Weibull Assurance Testing

BayesianReliability Analysis

A. Wilson, Ph.D.

Introduction

B61 Case Study

Multilevel Data

Weibull AssuranceTesting

Conclusions

Surveillance Transformation

Develop and advance the analytical capabilities required toperform computational predictions of stockpile performance,reliability, end-of-life, safety, survivability, use control; and toprovide risk-based responsiveness for future replacement andrefurbishment decisions.

I Uncertainty quantification

I Planning

Page 7: Bayesian Reliability Analysis: Statistical Challenges · PDF fileBayesian Reliability Analysis A. Wilson, Ph.D. Introduction B61 Case Study Multilevel Data Weibull Assurance Testing

BayesianReliability Analysis

A. Wilson, Ph.D.

Introduction

B61 Case Study

Multilevel Data

Weibull AssuranceTesting

Conclusions

Surveillance Transformation

Develop and advance the analytical capabilities required toperform computational predictions of stockpile performance,reliability, end-of-life, safety, survivability, use control; and toprovide risk-based responsiveness for future replacement andrefurbishment decisions.

I Uncertainty quantification

I Planning

Page 8: Bayesian Reliability Analysis: Statistical Challenges · PDF fileBayesian Reliability Analysis A. Wilson, Ph.D. Introduction B61 Case Study Multilevel Data Weibull Assurance Testing

BayesianReliability Analysis

A. Wilson, Ph.D.

Introduction

B61 Case Study

Multilevel Data

Weibull AssuranceTesting

Conclusions

B61 Case Study: Block Diagrams

Page 9: Bayesian Reliability Analysis: Statistical Challenges · PDF fileBayesian Reliability Analysis A. Wilson, Ph.D. Introduction B61 Case Study Multilevel Data Weibull Assurance Testing

BayesianReliability Analysis

A. Wilson, Ph.D.

Introduction

B61 Case Study

Multilevel Data

Weibull AssuranceTesting

Conclusions

B61 Case Study: Block Diagrams

Page 10: Bayesian Reliability Analysis: Statistical Challenges · PDF fileBayesian Reliability Analysis A. Wilson, Ph.D. Introduction B61 Case Study Multilevel Data Weibull Assurance Testing

BayesianReliability Analysis

A. Wilson, Ph.D.

Introduction

B61 Case Study

Multilevel Data

Weibull AssuranceTesting

Conclusions

System Reliability Equation

RSYS = RJK20RJ7RJ4RJ8RJE1RJ5RJ6(

RK14(1)RK14(2)RK16(1)RK16(2)RK20(1)RK20(2)RK15(1)RK15(2)RK19(1)RK19(2)

−RK14(1)RK14(2)RK16(1)RK16(2)RK20(1)RK20(2)RK15(2)RK19(2)

−RK14(1)RK14(2)RK16(1)RK16(2)RK20(1)RK20(2)RK15(1)RK19(1)

−RK14(1)RK14(2)RK16(1)RK20(1)RK15(1)RK15(2)RK19(1)RK19(2)

−RK14(1)RK14(2)RK16(2)RK20(2)RK15(1)RK15(2)RK19(1)RK19(2)

+RK14(1)RK14(2)RK16(1)RK20(1)RK15(2)RK19(2)

+RK14(1)RK14(2)RK16(2)RK20(2)RK15(1)RK19(1)

+RK14(1)RK16(1)RK20(1)RK15(1)RK19(1)

+RK14(2)RK16(2)RK20(2)RK15(2)RK19(2))

Page 11: Bayesian Reliability Analysis: Statistical Challenges · PDF fileBayesian Reliability Analysis A. Wilson, Ph.D. Introduction B61 Case Study Multilevel Data Weibull Assurance Testing

BayesianReliability Analysis

A. Wilson, Ph.D.

Introduction

B61 Case Study

Multilevel Data

Weibull AssuranceTesting

Conclusions

Overview of Methodology

I Estimate reliability for each componentI Point estimateI Measure of uncertainty (credible interval)

I Combine component reliability distributions usingMonte Carlo to get system reliability distribution

Page 12: Bayesian Reliability Analysis: Statistical Challenges · PDF fileBayesian Reliability Analysis A. Wilson, Ph.D. Introduction B61 Case Study Multilevel Data Weibull Assurance Testing

BayesianReliability Analysis

A. Wilson, Ph.D.

Introduction

B61 Case Study

Multilevel Data

Weibull AssuranceTesting

Conclusions

Binary Data

No failures in 3513 tests

Page 13: Bayesian Reliability Analysis: Statistical Challenges · PDF fileBayesian Reliability Analysis A. Wilson, Ph.D. Introduction B61 Case Study Multilevel Data Weibull Assurance Testing

BayesianReliability Analysis

A. Wilson, Ph.D.

Introduction

B61 Case Study

Multilevel Data

Weibull AssuranceTesting

Conclusions

Multilevel Data

Data on components and collections of components

I Data J7A: 383 variables measurements.Requirement(−4.5, 4.5)

I Data J7B: 468 variables measurements.Requirement(−3.8, 3.8)

I There are 383 tests with both measurements, and 85with only the measurements of J7B.

I In addition, we have the 2327 pass/fail tests that insurethat both J7A and J7B were within the requirements.This count includes the 468 tests described above.

Page 14: Bayesian Reliability Analysis: Statistical Challenges · PDF fileBayesian Reliability Analysis A. Wilson, Ph.D. Introduction B61 Case Study Multilevel Data Weibull Assurance Testing

BayesianReliability Analysis

A. Wilson, Ph.D.

Introduction

B61 Case Study

Multilevel Data

Weibull AssuranceTesting

Conclusions

Likelihood

383∏i=1

1

σAexp(− 1

2σ2A

(xi − µA)2)

468∏j=1

1

σBexp(− 1

2σ2B

(yi − µB)2)

((Φ(4.5, µA, σA)− Φ(−4.5, µA, σA))

(Φ(3.8, µB , σB)− Φ(−3.8, µB , σB)))1859

Page 15: Bayesian Reliability Analysis: Statistical Challenges · PDF fileBayesian Reliability Analysis A. Wilson, Ph.D. Introduction B61 Case Study Multilevel Data Weibull Assurance Testing

BayesianReliability Analysis

A. Wilson, Ph.D.

Introduction

B61 Case Study

Multilevel Data

Weibull AssuranceTesting

Conclusions

Posterior

Page 16: Bayesian Reliability Analysis: Statistical Challenges · PDF fileBayesian Reliability Analysis A. Wilson, Ph.D. Introduction B61 Case Study Multilevel Data Weibull Assurance Testing

BayesianReliability Analysis

A. Wilson, Ph.D.

Introduction

B61 Case Study

Multilevel Data

Weibull AssuranceTesting

Conclusions

Assurance Testing Example

I Six previous systems with similar components

I Each previous system had 20 tests done

I Temperature ranges from 30◦ to 70◦

I Chemistry parameter ranges from 0 to 1

I Approximately 15% of the data is right-censored

I Simulated data

Page 17: Bayesian Reliability Analysis: Statistical Challenges · PDF fileBayesian Reliability Analysis A. Wilson, Ph.D. Introduction B61 Case Study Multilevel Data Weibull Assurance Testing

BayesianReliability Analysis

A. Wilson, Ph.D.

Introduction

B61 Case Study

Multilevel Data

Weibull AssuranceTesting

Conclusions

More on the Example

I Interest in developing a replacement component

I “Life extension program”I Two ways to think about lifetime

I Time since builtI Time in use

I Six previous systems with similar components

I Temperature and “chemistry parameter” predictive oflifetime

Page 18: Bayesian Reliability Analysis: Statistical Challenges · PDF fileBayesian Reliability Analysis A. Wilson, Ph.D. Introduction B61 Case Study Multilevel Data Weibull Assurance Testing

BayesianReliability Analysis

A. Wilson, Ph.D.

Introduction

B61 Case Study

Multilevel Data

Weibull AssuranceTesting

Conclusions

Reliability Demonstration and Assurance

I Example: Using minimal assumptions, to demonstratethat reliability at time t0 hours is .99, with 90%confidence, requires testing at least 230 units for t0hours with zero failures. To have a 80% chance ofpassing the test, requires that the true reliability beapproximately .999.

I For complicated, expensive systems, traditionalreliability demonstration is usually not practical

I Reliability assurance is the alternative: Use whateverrelevant knowledge you have in a principled Bayesianapproach to plan the test

Page 19: Bayesian Reliability Analysis: Statistical Challenges · PDF fileBayesian Reliability Analysis A. Wilson, Ph.D. Introduction B61 Case Study Multilevel Data Weibull Assurance Testing

BayesianReliability Analysis

A. Wilson, Ph.D.

Introduction

B61 Case Study

Multilevel Data

Weibull AssuranceTesting

Conclusions

What Test Plan?

Denote the test plan (n, t0, c).

I How many of the new components (n) should I test?

I For how long (t0)?

I How many can fail (c)?

Page 20: Bayesian Reliability Analysis: Statistical Challenges · PDF fileBayesian Reliability Analysis A. Wilson, Ph.D. Introduction B61 Case Study Multilevel Data Weibull Assurance Testing

BayesianReliability Analysis

A. Wilson, Ph.D.

Introduction

B61 Case Study

Multilevel Data

Weibull AssuranceTesting

Conclusions

Test Criteria

Interest centers on t = 1

I Posterior Producer’s Risk: Choose a test plan so that ifthe test is failed, there is a small probability that thereliability at t = 1 is high

I Posterior Consumer’s Risk: Choose a test plan so that ifthe test is passed, there is a small probability that thereliability at t = 1 is low

I Reliable Life Criterion: Choose a test plan so that if thetest is passed, there is a high probability that the 1− αquantile of the distribution is greater than t = 1

Page 21: Bayesian Reliability Analysis: Statistical Challenges · PDF fileBayesian Reliability Analysis A. Wilson, Ph.D. Introduction B61 Case Study Multilevel Data Weibull Assurance Testing

BayesianReliability Analysis

A. Wilson, Ph.D.

Introduction

B61 Case Study

Multilevel Data

Weibull AssuranceTesting

Conclusions

Model

I Fit the data using a Weibull regression

I Common shape parameter βI Scale parameter λij

I i = 1, . . . , 6, j = 1, . . . , 20I log(λij) =γ0 + γ1Tempij + γ2Chemij + γ3(Temp x Chem)ij + ωi

I Common regression model with hierarchical “randomeffect” ωi for each system

I ωi ∼ N(0, τω)

I Diffuse priors for γ0, γ1, γ2, γ3, τω, β

Page 22: Bayesian Reliability Analysis: Statistical Challenges · PDF fileBayesian Reliability Analysis A. Wilson, Ph.D. Introduction B61 Case Study Multilevel Data Weibull Assurance Testing

BayesianReliability Analysis

A. Wilson, Ph.D.

Introduction

B61 Case Study

Multilevel Data

Weibull AssuranceTesting

Conclusions

More on the Example

I Assume the new system follows the common regressionmodel with its own parameter ωN

I Choose a test plan (n, t0, c) so that given the previousdata, if the test is passed, there is a 0.9 probability thatthe 0.05 quantile of the distribution when Temp = 50◦

and Chem = 0.5 is greater than t = 1

I Choose c = 0 so that the test is passed only if there areno failures

I q0.05 = λ−1/β[− log(0.95)]1/β

Page 23: Bayesian Reliability Analysis: Statistical Challenges · PDF fileBayesian Reliability Analysis A. Wilson, Ph.D. Introduction B61 Case Study Multilevel Data Weibull Assurance Testing

BayesianReliability Analysis

A. Wilson, Ph.D.

Introduction

B61 Case Study

Multilevel Data

Weibull AssuranceTesting

Conclusions

Computation

P(q0.05 > tR∗ = 1 |TIP, t)

= P(λ < − log(0.95)t−βR∗ |TIP, t)

=

∫ ∞0

∫ − log(0.95)t−βR∗

0f (λ, β |TIP, t) dλdβ

=

∫ ∞0

∫ − log(0.95)t−βR∗

0

P(TIP |λ, β, t)p(λ, β | t)∫∞0

∫∞0 P(TIP |λ, β, t)p(λ, β | t)dλdβ

dλdβ

=

∫∞0

∫ − log(0.95)t−βR∗

0 exp(−nλtβ0 )p(λ, β | t)dλdβ∫∞0

∫∞0 exp(−nλtβ0 )p(λ, β | t)dλdβ

≥ 0.9

Page 24: Bayesian Reliability Analysis: Statistical Challenges · PDF fileBayesian Reliability Analysis A. Wilson, Ph.D. Introduction B61 Case Study Multilevel Data Weibull Assurance Testing

BayesianReliability Analysis

A. Wilson, Ph.D.

Introduction

B61 Case Study

Multilevel Data

Weibull AssuranceTesting

Conclusions

Computation

P(q0.05 > tR∗ = 1 |TIP, t)

= P(λ < − log(0.95)t−βR∗ |TIP, t)

=

∫ ∞0

∫ − log(0.95)t−βR∗

0f (λ, β |TIP, t) dλdβ

=

∫ ∞0

∫ − log(0.95)t−βR∗

0

P(TIP |λ, β, t)p(λ, β | t)∫∞0

∫∞0 P(TIP |λ, β, t)p(λ, β | t)dλdβ

dλdβ

=

∫∞0

∫ − log(0.95)t−βR∗

0 exp(−nλtβ0 )p(λ, β | t)dλdβ∫∞0

∫∞0 exp(−nλtβ0 )p(λ, β | t)dλdβ

≥ 0.9

Page 25: Bayesian Reliability Analysis: Statistical Challenges · PDF fileBayesian Reliability Analysis A. Wilson, Ph.D. Introduction B61 Case Study Multilevel Data Weibull Assurance Testing

BayesianReliability Analysis

A. Wilson, Ph.D.

Introduction

B61 Case Study

Multilevel Data

Weibull AssuranceTesting

Conclusions

Computation

P(q0.05 > tR∗ = 1 |TIP, t)

= P(λ < − log(0.95)t−βR∗ |TIP, t)

=

∫ ∞0

∫ − log(0.95)t−βR∗

0f (λ, β |TIP, t) dλdβ

=

∫ ∞0

∫ − log(0.95)t−βR∗

0

P(TIP |λ, β, t)p(λ, β | t)∫∞0

∫∞0 P(TIP |λ, β, t)p(λ, β | t)dλdβ

dλdβ

=

∫∞0

∫ − log(0.95)t−βR∗

0 exp(−nλtβ0 )p(λ, β | t)dλdβ∫∞0

∫∞0 exp(−nλtβ0 )p(λ, β | t)dλdβ

≥ 0.9

Page 26: Bayesian Reliability Analysis: Statistical Challenges · PDF fileBayesian Reliability Analysis A. Wilson, Ph.D. Introduction B61 Case Study Multilevel Data Weibull Assurance Testing

BayesianReliability Analysis

A. Wilson, Ph.D.

Introduction

B61 Case Study

Multilevel Data

Weibull AssuranceTesting

Conclusions

Computation

P(q0.05 > tR∗ = 1 |TIP, t)

= P(λ < − log(0.95)t−βR∗ |TIP, t)

=

∫ ∞0

∫ − log(0.95)t−βR∗

0f (λ, β |TIP, t) dλdβ

=

∫ ∞0

∫ − log(0.95)t−βR∗

0

P(TIP |λ, β, t)p(λ, β | t)∫∞0

∫∞0 P(TIP |λ, β, t)p(λ, β | t)dλdβ

dλdβ

=

∫∞0

∫ − log(0.95)t−βR∗

0 exp(−nλtβ0 )p(λ, β | t)dλdβ∫∞0

∫∞0 exp(−nλtβ0 )p(λ, β | t)dλdβ

≥ 0.9

Page 27: Bayesian Reliability Analysis: Statistical Challenges · PDF fileBayesian Reliability Analysis A. Wilson, Ph.D. Introduction B61 Case Study Multilevel Data Weibull Assurance Testing

BayesianReliability Analysis

A. Wilson, Ph.D.

Introduction

B61 Case Study

Multilevel Data

Weibull AssuranceTesting

Conclusions

Computation

P(q0.05 > tR∗ = 1 |TIP, t)

= P(λ < − log(0.95)t−βR∗ |TIP, t)

=

∫ ∞0

∫ − log(0.95)t−βR∗

0f (λ, β |TIP, t) dλdβ

=

∫ ∞0

∫ − log(0.95)t−βR∗

0

P(TIP |λ, β, t)p(λ, β | t)∫∞0

∫∞0 P(TIP |λ, β, t)p(λ, β | t)dλdβ

dλdβ

=

∫∞0

∫ − log(0.95)t−βR∗

0 exp(−nλtβ0 )p(λ, β | t)dλdβ∫∞0

∫∞0 exp(−nλtβ0 )p(λ, β | t)dλdβ

≥ 0.9

Page 28: Bayesian Reliability Analysis: Statistical Challenges · PDF fileBayesian Reliability Analysis A. Wilson, Ph.D. Introduction B61 Case Study Multilevel Data Weibull Assurance Testing

BayesianReliability Analysis

A. Wilson, Ph.D.

Introduction

B61 Case Study

Multilevel Data

Weibull AssuranceTesting

Conclusions

Monte Carlo Approximation

P(q0.05 > 1 |TIP, t)

=

∫∞0

∫ − log(0.95)0 exp(−nλtβ0 )p(λ, β | t)dλdβ∫∞0

∫∞0 exp(−nλtβ0 )p(λ, β | t)dλdβ

≈∑N

j=0 exp(−nλ(j)tβ(j)

0 )I [λ(j) ≤ − log(0.95)]∑Nj=0 exp(−nλ(j)tβ

(j)

0 )

For each n, solve for t0.

Page 29: Bayesian Reliability Analysis: Statistical Challenges · PDF fileBayesian Reliability Analysis A. Wilson, Ph.D. Introduction B61 Case Study Multilevel Data Weibull Assurance Testing

BayesianReliability Analysis

A. Wilson, Ph.D.

Introduction

B61 Case Study

Multilevel Data

Weibull AssuranceTesting

Conclusions

Weibull Assurance Test Plans

0 2 4 6 8 10

01

23

45

6

n

t0

Page 30: Bayesian Reliability Analysis: Statistical Challenges · PDF fileBayesian Reliability Analysis A. Wilson, Ph.D. Introduction B61 Case Study Multilevel Data Weibull Assurance Testing

BayesianReliability Analysis

A. Wilson, Ph.D.

Introduction

B61 Case Study

Multilevel Data

Weibull AssuranceTesting

Conclusions

Observations

I Straightforward generalization to c > 0 test plans

I Similar framework applicable to other test situations:for example, pass/fail or failure count data

Page 31: Bayesian Reliability Analysis: Statistical Challenges · PDF fileBayesian Reliability Analysis A. Wilson, Ph.D. Introduction B61 Case Study Multilevel Data Weibull Assurance Testing

BayesianReliability Analysis

A. Wilson, Ph.D.

Introduction

B61 Case Study

Multilevel Data

Weibull AssuranceTesting

Conclusions

Conclusions

I Science-Based Stockpile Stewardship is a rich source ofstatistical problems, requiring methodologicaldevelopment in specific problem contexts

I Example of simultaneous inference within a systemreliability representation using multilevel data

I Reliability assurance methodology provides a formal wayto use prior information to develop executable test plans

I Extension to “resource allocation” for entire system

Page 32: Bayesian Reliability Analysis: Statistical Challenges · PDF fileBayesian Reliability Analysis A. Wilson, Ph.D. Introduction B61 Case Study Multilevel Data Weibull Assurance Testing

BayesianReliability Analysis

A. Wilson, Ph.D.

Introduction

B61 Case Study

Multilevel Data

Weibull AssuranceTesting

Conclusions

References

I Hamada, Wilson, Reese, Martz (2008). BayesianReliability, Springer.

I Wilson and Huzurbazar (2007). Bayesian networks formultilevel system reliability. Reliability Engineering andSystem Safety 92: 1413–1420.

I Wilson, McNamara, Wilson (2007). Informationintegration for complex systems. Reliability Engineeringand System Safety 92: 121–130.

Page 33: Bayesian Reliability Analysis: Statistical Challenges · PDF fileBayesian Reliability Analysis A. Wilson, Ph.D. Introduction B61 Case Study Multilevel Data Weibull Assurance Testing

BayesianReliability Analysis

A. Wilson, Ph.D.

Introduction

B61 Case Study

Multilevel Data

Weibull AssuranceTesting

Conclusions

References

I C. Anderson-Cook et al. (2007). Bayesian stockpilereliability methodology for complex systems withapplication to a munitions stockpile. MilitaryOperations Research 12: 25–38.

I Wilson et al. (2006). Advances in system reliabilityassessment. Statistical Science 21: 514–531.

I Hamada et al. (2004). A fully Bayesian approach forcombining multilevel failure information in fault treequantification and corresponding optimal resourceallocation. Reliability Engineering and System Safety86: 297–305.