advanced28 min studyLesson 410 in Engineering

A reliability model needs held-out failures and a defensible observation process

Validate reliability predictions against exposure, censoring, changing regimes, dependence, and uncertainty instead of treating a fitted curve or green test as a guarantee.

On this page

What you’ll understand

  • Match a model's prediction target with observed events and exposure.
  • Separate fitting, temporal validation, and stress-envelope tests.
  • Explain statistical uncertainty and model misspecification as different limitations.

A model can reproduce the data used to build it and still fail on the next deployment, traffic regime, or shared outage. Validation asks whether its assumptions and predictions survive observations it did not get to explain in advance. Start by defining the unit of prediction, exposure, and observation policy. Then test the model where it could be wrong rather than merely collecting another graph that resembles the fitted curve.

Audit the measurement process before judging the curve

Mission survival, instantaneous availability, request success, and incident recovery duration have different observations and denominators. A missing monitor sample is not automatically a successful request, and a host-level outage count is not an operation-level failure fraction. Record exposure and censoring as well as events. Duplicate incident tickets can inflate counts while merged incidents can hide affected domains. Definitions should remain stable or be versioned across the dataset so an apparent improvement cannot come solely from changing what gets counted.

For an exponential lifetime model with suitable censoring, a maximum-likelihood rate uses observed failures divided by total at-risk exposure. This estimate is conditional on the constant-hazard model and observation assumptions. Zero failures over finite exposure does not establish a zero true rate; it limits what the data can say. A repairable-system intensity and a nonrepairable lifetime hazard also answer different questions. Validate the selected mechanism, not merely whether units cancel in an arithmetic expression. Keep parameter uncertainty separate from uncertainty that the entire model structure is wrong.

λ^=dEexposure\widehat\lambda=\frac{d}{E_{\rm exposure}}
For the stated exponential likelihood with compatible noninformative censoring, d is observed failure count and E_exposure total at-risk time, giving inverse-time units. This is a model-dependent estimate; it does not eliminate uncertainty or imply zero risk when d=0.↔ Scroll wide equations horizontally.

Hold out time and preserve the failure structure

Choose a temporal holdout or another split matching the deployment question. Randomly mixing records from one common outage into training and validation can leak the same failure mechanism into both and exaggerate independence. Group related incidents, sites, or rollout cohorts where the claim requires generalization to new groups. Compare simple baselines and alternative dependence or duration models, using calibration and decision-relevant errors rather than selecting the most flattering metric. A model tuned after inspecting the holdout has used that evidence for fitting and needs another honest validation boundary.

Check residual patterns against time, load, age, domain, and repair phase. A constant-rate model that consistently underpredicts shared-outage windows needs more than narrower parameter intervals. Stress tests and fault injection can expose missing mechanisms, but their artificial event frequencies are not production probability estimates. Report what a test establishes: the service handles a chosen failure sequence under controlled conditions. Estimating how often that sequence occurs requires separate exposure evidence. A green test of one trace cannot certify an unbounded environment.

p^=kn,Var⁡(p^)=p(1−p)nunder iid Bernoulli trials\widehat p=\frac{k}{n},\qquad \operatorname{Var}(\widehat p)=\frac{p(1-p)}{n}\quad\text{under iid Bernoulli trials}
k is a failure count and n a positive independent identical trial count. The variance is dimensionless and uses the true p; correlated incidents or changing regimes invalidate this iid formula and can reduce effective information.↔ Scroll wide equations horizontally.

Report the decision and the limits of its evidence

Document the model, parameter data, versions, assumptions, exclusions, validation period, uncertainty, and the decision it supports. Test sensitivity to common-cause probability, recovery tails, and traffic changes when those inputs influence the decision. Prefer an honest range or an unsupported-region label to an exact-looking point forecast. Monitor later calibration and define when changed architecture or workload requires refitting. A forecast can be useful within its measured envelope without becoming a permanent guarantee; keeping that envelope explicit makes later disagreement actionable.

The sampling lab isolates iid sample-mean uncertainty. Reset, set BOTH p=0.1 and n=20, predict variance 0.0045, then Play or Step. Reset and re-set BOTH p=0.1 and n=100; predict variance 0.0009. The exact binomial bars concern the sample mean; playback highlights outcomes rather than sampling data, and edits retain t. The displayed Berry–Esseen bound concerns standardized CDF error, not individual bar or continuity-correction errors; it is disabled at p=0 or p=1. There is no correlation, censoring, temporal holdout, or fitted production model. More iid samples reduce this variance without repairing structural misspecification.

A fitted rate faces later exposure

A fictional constant-hazard dataset has ten failures over 20,000 at-risk component-hours. A later holdout has 10,000 component-hours and twelve observed failures. Assume the exposure definitions match; do not treat the rate model as proven.

  1. The fitted exponential rate is 10/20,000=0.0005 per component-hour. Under that fixed model, the holdout expected count is 0.0005×10,000=5.

  2. The observed holdout count is twelve, seven above the expectation and 2.4 times it. This discrepancy motivates a model and data audit rather than proving its cause from one ratio.

  3. Inspect uncertainty, common incidents, changed load, censoring, and the holdout's definition. If it becomes tuning data, retain a new independent validation period before claiming improved predictive accuracy.

The result

The holdout challenges the fitted forecast. A useful response investigates evidence and assumptions instead of declaring the model correct because the original fit was neat.

Explore the model

Interactive lab

Interactive lab · sampling

More independent data narrows one source of uncertainty

For EACH run Reset, set BOTH p and n, predict, then Play or Step. At p=0.1, n=20 gives sample-mean variance 0.0045 and n=100 gives 0.0009. Edits retain t; playback highlights exact outcomes, not random samples. The normal comparison and CDF bound do not prove bar accuracy, independence, valid censoring, or production-model fit.

More independent data narrows one source of uncertaintyExact binomial masses for the mean of n independent Bernoulli trials, compared with normal mass between adjacent half-count boundaries; normal tails outside the finite support remain outside the bars. Playback highlights outcomes, not random samples. The Berry–Esseen bound applies to standardized CDFs, not individual bars or continuity-corrected errors. At p = 0 or 1, normal comparison and that bound are disabled. Normal-CDF evaluation uses a numerical approximation with absolute error below 7.5×10⁻⁸ (at most 1.5×10⁻⁷ per interval, before rounding). Current readings: Mean sample proportion: 0.5; Sample-mean variance: 0.0125; Uniform CDF error bound: ≤ 0.1062. All parameters are adjustable with the labeled controls below.Exact distribution of the mean of 20 independent Bernoulli variables with success probability 0.5; playback highlights outcome 0.00.250.50.75100.0580.1150.1730.23Sample mean · k / nProbability massNormal bin masses are an approximationk = 0 · exact probability = 9.54e-7
Exact binomial massNormal interval massHighlighted outcome / mean
Mean sample proportion
0.5
Sample-mean variance
0.0125
Uniform CDF error bound
≤ 0.1062
t = 0 s

Exact binomial masses for the mean of n independent Bernoulli trials, compared with normal mass between adjacent half-count boundaries; normal tails outside the finite support remain outside the bars. Playback highlights outcomes, not random samples. The Berry–Esseen bound applies to standardized CDFs, not individual bars or continuity-corrected errors. At p = 0 or 1, normal comparison and that bound are disabled. Normal-CDF evaluation uses a numerical approximation with absolute error below 7.5×10⁻⁸ (at most 1.5×10⁻⁷ per interval, before rounding). Parameter changes pause playback and recompute the model at the current elapsed time. Reset restores both parameters and returns time to zero. Playback starts paused. Adjust either parameter, then choose Play or Step.

Look forReducing iid sampling variation does not correct a wrong event definition, shared failures, or a misspecified reliability model.

Check your understanding

A model matches its training incidents but underpredicts a later shared-domain outage period. What is the best interpretation?

Try it yourself

A Bernoulli model assumes p=0.2. Compare sample-mean variance for n=25 and n=100. If all one hundred observations belong to one perfectly shared outage event, may you use the iid n=100 formula as evidence of one hundred independent trials?

Take a moment to make a prediction or work it out on paper. Open a hint when you need one.

Give me a hint

Compute p(1−p)/n, then inspect the independence assumption rather than the number of rows.

Compare with the solution

The iid variances are 0.16/25=0.0064 and 0.16/100=0.0016. One perfectly shared incident does not supply one hundred independent Bernoulli observations, so the second formula does not establish that uncertainty reduction for those correlated rows. Grouping and a suitable dependence model are required.

Take it with you

  • Prediction targets and exposure definitions determine what observations can validate.
  • Temporal and grouped holdouts must preserve the dependence structure of the claim.
  • Sampling uncertainty and structural model error need different evidence and remedies.

Read further

Original sources and deeper explanations to follow at your own pace.

Optional progress, saved in this browser when available. Revisit any lesson at any time.

Lesson not marked complete.