Sidereon.Reliability (Sidereon v0.30.0)

Copy Markdown View Source

Classical Baarda/Teunissen reliability diagnostics.

This module exposes pre-data reliability design and ARAIM reliability reports from the Rust core. Inputs are range design rows or ARAIM geometry plus an integrity support model. Outputs include redundancy numbers, minimal detectable bias, external effects, and aggregate degrees of freedom.

Summary

Functions

Compute reliability for ARAIM geometry using the supplied ISM range model.

Compute reliability from caller-supplied range design rows.

Compute Baarda's W-test noncentrality from false-alarm probability and power.

Types

reliability_error()

@type reliability_error() ::
  :invalid_probability
  | :invalid_weight
  | :invalid_reliability_parameter
  | :invalid_design
  | :singular_geometry
  | :insufficient_geometry
  | :invalid_ism
  | :invalid_allocation
  | :numerical_failure
  | term()

Functions

reliability_araim(geometry, ism, options \\ ReliabilityOptions.default())

Compute reliability for ARAIM geometry using the supplied ISM range model.

reliability_design(rows, options \\ ReliabilityOptions.default())

Compute reliability from caller-supplied range design rows.

wtest_noncentrality(alpha, power)

@spec wtest_noncentrality(number(), number()) ::
  {:ok, %{delta0: float(), lambda0: float()}} | {:error, reliability_error()}

Compute Baarda's W-test noncentrality from false-alarm probability and power.

Returns {:ok, %{delta0: delta0, lambda0: lambda0}}.