Skip to main content

Module context_regression

Module context_regression 

Source
Expand description

Context-Aware Regression Predictor (PMAT-039)

Context-aware regression thresholds accounting for system state and historical trends.

§Features

  • Context capture (temperature, memory, frequency)
  • Adaptive threshold computation based on context
  • Trend detection from historical data
  • False positive reduction through learned patterns

§Falsification Criteria (F1311-F1320)

See tests/context_regression_f1311.rs for falsification tests.

Structs§

BaselineEntry
Historical baseline entry
ContextRegressionPredictor
Context-aware regression predictor
RegressionCheck
Result of regression check
RegressionThreshold
Computed regression threshold
SystemContext
System context snapshot
Trend
Detected trend

Constants§

DEFAULT_COLD_START_MARGIN
Default cold start margin (15%)
DEFAULT_STALENESS_SEC
Default context staleness (seconds)
MIN_SAMPLES_FOR_CONTEXT
Default minimum samples for learning