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
The question for today
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.
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.
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.
Work it through
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.
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.
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.
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 holdout challenges the fitted forecast. A useful response investigates evidence and assumptions instead of declaring the model correct because the original fit was neat.
The living notebook
Explore the model
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.
- Mean sample proportion
- 0.5
- Sample-mean variance
- 0.0125
- Uniform CDF error bound
- ≤ 0.1062
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.
Pause & reason
Check your understanding
Your turn
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.
Keep the idea
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.