Dokazi i korelacija

Model dokaza

Što je dokaz (Evidence)

Evidence je strukturiran dokaz na temelju kojeg sustav stvara, ažurira ili verificira problem (Issue).

Dokaz može biti:

• automatski izračunan;
• primljen s uređaja;
• uvezen iz vanjskog sustava;
• korisnički unos;
• generiran u specijaliziranom izvješću;
• priložen kao dokument, fotografija ili komentar.

Struktura dokaza

evidence_id: EVD-830129
issue_id: OHM-2026-001842
type: detector_finding
source:
  provider: analyze_station
  detector_id: archive.tail_gap.v3
  detector_version: '3.2.1'
observed_at: '2026-07-23T04:00:00Z'
created_at: '2026-07-23T04:03:12Z'

payload:
  missing_hours: 73
  coverage_valid: 0.91
  last_valid_hour: '2026-07-20T03:00:00Z'

quality:
  completeness: 1.0
  freshness: 0.98
  consistency: 0.96
  confidence: 0.98

links:
  report: '/reports/analyze-station/5690'

Vrste dokaza

Kvaliteta dokaza

Kvaliteta se izračunava za svaki dokaz:

gdje je:

• $C$ – potpunost;
• $F$ – ažurnost;
• $S$ – konzistentnost;
• $T$ – povjerenje u izvor;
• $w_c + w_f + w_s + w_t = 1$.

Preporučene osnovne težine:

Rezultat se normalizira na raspon od 0 do 1.

Nepromjenjivost dokaza

Izvorni se dokaz nikada naknadno ne mijenja. Pri ispravku se stvara nova verzija ili zaseban korektivni dokaz.

To osigurava:

• mogućnost revizije;
• ponovljivost;
• zaštitu povijesti;
• ispravno razmatranje spornih slučajeva;
• mogućnost ponovnog izračunavanja.

Korelacija događaja i temeljni uzrok (Root Cause)

Svrha korelacije

Korelacija sprječava da se zbog istog tehničkog uzroka stvori velik broj neovisnih problema.

Sustav analizira:

• podudarnost objekta (Asset);
• vremensku bliskost;
• topološku ovisnost;
• zajednički firmver;
• zajednički komunikacijski pristupnik;
• zajedničkog telekomunikacijskog operatora;
• zajedničku regiju;
• zajednički poslužiteljski red čekanja;
• redoslijed simptoma;
• povijesne veze;
• potvrđene temeljne uzroke ranijih slučajeva.

Razine korelacije

Unutar jednog objekta

Više simptoma objedinjuje se oko primarnog kanonskog problema (Canon).

flowchart TD
  A["stale_communication"] --> C{"Korelacija unutar objekta"}
  B["no_hourly_archive"] --> C
  D["battery_unknown"] --> C
  C --> R["Primarni problem stale_communication"]
  C --> S1["Sekundarni signal no_hourly_archive"]
  C --> S2["Sekundarni signal battery_unknown"]

Između objekata

Slični problemi grupiraju se u masovni incident (Massive Incident).

flowchart TD
  A["38 uređaja"] --> G{"Grupiranje"}
  B["Ista verzija firmvera"] --> G
  C["Isti vremenski prozor"] --> G
  D["Isti tip kvara"] --> G
  G --> M["Massive Incident firmware_regression"]

Prema ovisnosti

Problemi podređenih uređaja povezuju se s kvarom zajedničke komponente.

flowchart TD
  A["Gateway-17 nedostupan"] --> B["12 korektora bez komunikacije"]
  B --> C["12 neisporučenih arhiva"]
  C --> D["Jedan incident ovisnosti"]

Ocjena korelacije

Za procjenu jačine veze koristi se objašnjiv model:

gdje je:

• $A$ – podudarnost objekta ili ovisnosti;
• $T$ – vremenska bliskost;
• $P$ – podudarnost obrasca;
• $C$ – zajednički kontekst;
• $H$ – povijesna potvrda veze.

Primjer težina:

Prag spajanja postavlja se zasebno za svaku klasu problema. Za kritične sigurnosne signale dopušten je konzervativniji prag.

Klasa temeljnog uzroka

OHM koristi kontrolirani katalog temeljnih uzroka:

Statusi temeljnog uzroka

Razina pouzdanosti temeljnog uzroka

Razina pouzdanosti hipoteze izračunava se na temelju ukupnog skupa dokaza:

gdje je:

• $r_i$ – pouzdanost detektora ili izvora;
• $q_i$ – kvaliteta dokaza;
• $a_i$ – konzistentnost dokaza s hipotezom;
• $K_{independence}$ – koeficijent neovisnosti izvora.

Ako više dokaza potječe iz istog izvornog skupa podataka, takvi se dokazi ne smatraju potpuno neovisnima.

Operativna razina pouzdanosti (Operational Confidence)

Operational Confidence pokazuje koliko je sustav siguran da je problem stvaran i ispravno klasificiran.

gdje je:

• $D$ – pouzdanost detektora;
• $E$ – kvaliteta dokaza;
• $R$ – konzistentnost korelacije;
• $H$ – povijesna stopa potvrđivanja;
• $X$ – umanjenje ocjene zbog proturječnosti i nedostatka podataka.

Tumačenje: