Mapování rámců odolnosti PNT
Zarovnáno s, nikoli hodnoceno ani schváleno. Toto mapuje simulované schopnosti Kshana na zveřejněné rámce odolnosti PNT (PNT: určování polohy, navigace a času). Je to sebehodnocení odvozené ze simulace a zarovnané s rámcem Resilient PNT Conformance Framework (RPCF) v2.0 od DHS/CISA (DHS: Department of Homeland Security; CISA: Cybersecurity and Infrastructure Security Agency), modelem Resist-Detect-Respond-Recover (RDRR) od RethinkPNT/Firesmitha a kritérii odolného PNT Yang Yuanxiho. Není to hodnocení, schválení, akreditace ani prohlášení o compliance a nenese žádnou podporu od DHS, IEEE (Institute of Electrical and Electronics Engineers) ani od jakéhokoli úřadu. Každý řádek je označen svým poctivým stavem ověření (VALIDATED proti vnějšímu orákulu, nebo MODELLED z prvních principů s testy); samotná vrstva skórování odolnosti je MODELLED. Dvě její jádra nesou vlastní řádky VALIDATED ve verifikační matici, jádro inverzní Simpsonovy diverzity (resilience::diversity) a jádro pořadových statistik (resilience::stats); to ověřuje aritmetiku, nikoli skóre, která na ní stojí.
Skórovací engine (src/resilience/) tyto schopnosti spotřebovává a vydává dílčí skóre pro jednotlivé dimenze, nikdy jediné smyšlené číslo. Strojově kontrolované invarianty stavů viz src/verification.rs.
DHS RPCF v2.0: co rámec definuje a vlastní kategorie dílčího skóre Kshana#
Zveřejněný rámec (Resilient PNT Conformance Framework, verze 2,0, 26. dubna 2022, DHS Science and Technology Directorate s CISA) definuje tři základní funkce (oddíl 5,2: Prevent, Respond, Recover), úrovně odolnosti 0 až 4 (oddíl 5,3) a osm číslovaných minimálních požadavků rozložených na úrovně 1 až 4 (oddíl 5,3, zopakováno v 5,5), plus přístup k hodnocení (oddíl 8). Nedefinuje seznam sedmi kategorií technik. Dřívější verze této stránky a komentáře v modulu odolnosti popisovaly sedm „kategorií technik RPCF“; slova Obfuscate a Diversify ve v2.0 nejsou. Text tohoto dokumentu byl znovu přečten 2026-10-09 a žádný takový seznam nalezen nebyl.
Sedm názvů dílčího skóre, které skórovací engine vydává (Obfuscate, Limit, Verify, Isolate, Diversify, Mitigate, Recover; „OLVIDMR“ je naše pomůcka), jsou proto vlastní skórovací kategorie Kshana, ponechané kvůli stabilitě výstupu. Nejsou to pojmy DHS a řádky níže netvrdí, že je DHS vyžaduje. Kde kategorie odpovídá požadavku rámce, říká to poslední sloupec; kde ne, uvádí „none“.
| Kategorie dílčího skóre Kshana | Schopnost Kshana použitá jako hnací veličina | Modul | Stav | Nejbližší odkaz v RPCF v2.0 |
|---|---|---|---|---|
| Obfuscate | Deklarovaná technika × kvalita zdroje (žádná přímá behaviorální hnací veličina) | resilience::score |
MODELLED | žádný (preventivní technika; oddíl 5,2, Prevent) |
| Limit | Deklarovaná technika × kvalita zdroje | resilience::score |
MODELLED | žádný (preventivní technika; oddíl 5,2, Prevent) |
| Verify | AUC detektoru poruch (plocha pod křivkou) ve scénáři (monitory spoofingu/jammingu/meaconingu) | impairment_eval, resilience::score |
MODELLED | úroveň 2 požadavek 4; úroveň 3 požadavek 7 |
| Isolate | Deklarovaná technika × kvalita zdroje | resilience::score |
MODELLED | úroveň 3 požadavek 6 |
| Diversify | Počet nezávislých skupin → efektivní diverzita podle inverzního Simpsona | resilience::diversity |
MODELLED | úroveň 4 požadavek 8; oddíl 5,5 (společný režim) |
| Mitigate | Dostupnost při odepření | fom, resilience::score |
MODELLED | oddíl 5,2, Respond |
| Recover | Setrvání v holdoveru × brána omezeného zhoršení | fom, holdover, resilience::timeline |
MODELLED | úroveň 2 požadavek 5; oddíl 5,2, Recover |
Mapování po jednotlivých požadavcích na skutečný rámec, s tím, pro co výstupy Kshana podporují důkazy (supports evidence for) a co zbývá, je v compliance/dhs-rpcf.md.
Funkce RDRR RethinkPNT / Firesmith#
| Funkce | Hnací veličina | Modul | Stav |
|---|---|---|---|
| Resist | Průměr dílčích skóre Obfuscate/Limit/Isolate/Diversify | resilience::score |
MODELLED |
| Detect | Dílčí skóre Verify (AUC detektoru) | resilience::score |
MODELLED |
| Respond | Dílčí skóre Mitigate (dostupnost) | resilience::score |
MODELLED |
| Recover | Holdover × omezená brána; klíčové ukazatele výkonnosti (KPI) časové osy odolnosti (detect/react/recover/loss) | resilience::timeline |
MODELLED |
Kritéria Yang Yuanxiho (podmnožina, k níž se vyjadřují ukazatele kvality časování a detekce)#
| Kritérium | Hnací veličina | Modul | Stav |
|---|---|---|---|
| Dostupnost | Dostupnost při odepření | resilience::score |
MODELLED |
| Spolehlivost | Podíl integrity filtru | fom, resilience::score |
MODELLED |
| Kontinuita | Holdover × omezená brána | resilience::timeline |
MODELLED |
| Přesnost | Zástupná veličina časování/kvality — přesnost v poziční oblasti není součástí skóre. fom::positioning_performance převede dodanou kovarianci polohy a HPL (horizontální ochranná úroveň) na CEP/SEP/2DRMS (circular error probable, spherical error probable, dvojnásobek odmocniny ze střední kvadratické vzdálenosti), ale žádný scénář ji do skóre odolnosti nevkládá |
resilience::score |
MODELLED (pouze v oblasti časování) |
Co toto mapování netvrdí#
- Žádná udělená úroveň RPCF. Přiřazená úroveň je předběžné čtení odvozené ze simulace s výslovnou bránou omezeného zhoršení, nikoli udělená vyspělost.
- Žádná přesnost v poziční oblasti ve skóre. Dílčí skóre odolnosti jsou sestavena z metrik časování a detekce. Engine polohy jinde počítá (druhy
pvt,gnss-insaleo-pvt) a také ochranné úrovně (druhintegrity), ale skórovací vrstva je nespotřebovává. - Žádná terénní validace. Referenční panel a soubor hrozeb jsou syntetická, parametricky podložená zjednodušení (
resilience::panel), uvedená jako přední omezení.
Průvodní studie (resilience::study) existuje právě proto, aby ukázala, že sloučení těchto dimenzí do jednoho souhrnného skóre nebo jedné úrovně vytváří hodnocení, jehož pořadí architektur je nestabilní při obhajitelných volbách vah a hrozeb — takže toto mapování je měřicí vrstva, kterou je třeba číst po dimenzích, nikoli jediná známka, podle níž by se hodnotil produkt.
Scénáře odolnosti a vertikální scénáře, které tyto vrstvy využívají#
Přibalené scénáře níže spouštějí mechaniku hrozeb a zotavení, na kterou řádky mapování odkazují. Každý je skutečným během uvedeného druhu; každý je MODELLED (žádná terénní data).
Scénář (scenarios/) |
Druh | Co ukazuje |
|---|---|---|
conflict-resilience.toml |
conflict-resilience |
Vrstvené PNT při sdílené hrozbě rušení/spoofingu: seedovaný Monte Carlo odepření vrstev, fúze přeživších s inverzním rozptylem, poměr celkové ztráty jedné vrstvy a vrstveného systému a to, jak korelované odepření tento poměr zhroutí. Jeho identity Monte Carlo vůči uzavřenému tvaru a fúze jsou kontrolovány testy v crate; druh nemá řádek verifikační matice, a proto je zde hodnocen jako MODELLED. |
leo-resilience-gnss-jammed-leo-carries.toml |
campaign |
GNSS (globální družicový navigační systém) rušen, uživatele nese vrstva PNT na nízké oběžné dráze Země (LEO), integrita zachována (tři fáze na jedné časové ose). |
leo-resilience-multiband-diversity.toml, leo-resilience-spoof-monitors.toml |
campaign |
Jeden rušič proti čtyřpásmovému přijímači; který monitor spoofingu vidí který spoofer. |
leo-resilience-js-margin.toml |
spectrum |
Rezerva poměru rušení k signálu (J/S) z přijímaného výkonu. |
leo-resilience-spoof-doppler.toml |
leo-pass |
Detekce spoofingu podle konzistence Dopplera a geometrie přeletu. |
leo-vertical-5g-network-timing.toml, leo-vertical-critical-infrastructure-timing.toml |
campaign |
Časování základnových stanic a kritické infrastruktury v holdoveru, s časem z LEO. |
leo-vertical-autonomous-vehicle.toml, leo-vertical-rail-maritime.toml, leo-vertical-polar-arctic.toml, leo-vertical-asset-tracking-iot.toml |
campaign |
Uživatelé silniční, železniční, námořní, polární a internetu věcí (IoT) s vrstvou LEO. |
automotive-urban-canyon.toml, small-uas-jammed-nav.toml |
gnss-ins |
Dead reckoning GNSS/INS (inerciální navigační systém) městským kaňonem a při rušení u malého bezpilotního letadla. |
maritime-port-approach-coast.toml, rail-tunnel-coast.toml |
ins-trn-coast |
Jak dlouho INS udrží loď nebo vlak v mezích při odepřeném GNSS. |
maritime-strait-jamming.toml, maritime-spoof-position-push.toml |
jamming, spoof-detect |
Námořní rušič; detekce spooferu, který táhne hlášenou polohu lodi. |