Compliance-kaardistus
Ostjad ja vastuvõtjate tootjad vastutavad avalike vastupidavusraamistike ees. See kaust seob selle, mida Kshana arvutab ja salvestab, nende raamistikega rida realt ning kshana compliance-report täidab kaardistuse olemasolevatest käitustest.
Sõnastus. Kshana väljundid toetavad tõendeid (supports evidence for) nõude kohta. Need ei ole ühegi toote hinnang ega heakskiit ja ükski neist failidest ei ole hindamisasutuse avaldus; Kshana ei ole selline asutus. Nõude tekst on parafraseeritud, mitte kunagi reprodutseeritud.
| Raamistik | Fail |
|---|---|
| US DHS Resilient PNT Conformance Framework, v2.0 | dhs-rpcf.md |
| IMO juhis GNSS-i häirete kohta laevadel | imo-ships.md |
| EASA juhis GNSS-i häirete kohta lennunduses | easa-aviation.md |
| EL NIS2 direktiiv, artikkel 21 | nis2-art21.md |
| EN 16803 (tasuline standard; ainult osade ja kataloogis nähtavate punktide numbrite kaupa) | en-16803.md |
| NIST IR 8323r1, Foundational PNT Profile (jaanuar 2023) | nist-ir-8323r1.md |
Standardipaketid (0,38) muudavad raamistiku hinnatud stsenaariumideks: igal paketil on stsenaariumid, enne käitust määratud läved ja read, mille kohta see toetab tõendeid (supports evidence for). kshana standards-pack list näitab neid.
| Pakett | Fail |
|---|---|
| DHS Resilient PNT Conformance Framework, testiprofiilid tasemetele 1 kuni 4 | dhs-rpcf-test-profiles.md |
| IMO MSC.1/Circ.1575, laevapealne PNT andmetöötlus: täpsustasemed ja terviklikkus | imo-circ-1575.md |
| ICAO Doc 9849 lisa F, GNSS-i häirete seire, hindamine ja leevendamine | icao-doc9849-appf.md |
Iga fail loetleb oma allikdokumendid koos versiooni, URL-i, lugemise kuupäeva ning sellega, mida kontrolliti ja mida mitte. Allikaid loeti 2026-10-09 (NIST-i profiili 2026-10-18; EASA bülletääni ja EN 16803 kataloogilehti kontrolliti uuesti 2026-10-10). Kui allikat sai lugeda ainult peegli või kataloogilehe kaudu, ütleb fail seda.
Aruanne#
kshana compliance-report spoof-detect.result.json integrity-raim.result.json session.result.jsonkirjutab compliance-report.compliance.md ja compliance-report.compliance.json (--out <base> muudab nime). Sisendid on varasemate käituste tulemusfailid: stsenaariumi käitus kirjutab <name>.result.json faili <name>.toml kõrvale ja kshana receiver-trust kirjutab oma. Iga käituse stsenaariumi liik loetakse tulemuse kõrval olevast stsenaariumifailist, receiver-trust tulemuse sisust või ülataseme stsenaariumi kind-idst ning see peab olema mootorile tuntud stsenaariumi liik. Tulemus loetletakse kasutamata jäetuna koos põhjusega ja see ei loe mitte midagi, kui selle stsenaariumi liiki ei leita, see ei ole tuntud stsenaariumi liik või kõrvalolev stsenaarium ja tulemuse enda stsenaariumi kind-id lähevad lahku. (Tulemuse scenario_hash ja stsenaariumifaili räsi ei võrrelda: mootor arvutab esimese oma parsitud stsenaariumi põhjal ja faili räsi on teksti põhjal, seega on need erinevad suurused.)
Pelgalt stsenaariumi liigi silt ei ole tõend. Käitus loeb võimekuse kasuks ainult siis, kui selle tulemus kannab ka välju, mida see stsenaariumi liik kirjutab (näiteks jamming tulemus vajab oma kvaliteedinäitajaid ja epohhipõhiseid ridu; integrity tulemus vajab oma valimite arvu). Väljad on loetletud failis src/compliance/mapping.rs (KIND_FIELDS) ja tulemust, millel üks puudub, ei loeta. Räsi, mis ei ole kuueteistkümnendsüsteemis, ei esitata räsina. Receiver-trust tulemus, mille arvud ei ole täisarvud või mille tuvastatud või kokkulangevate arv ületab hinnatavate arvu, jäetakse välja ja loetletakse kasutamata jäetuna.
Iga rea kohta annab aruanne ühe järgmistest:
| Staatus | Tähendus |
|---|---|
evidenced |
iga võimekuse kohta, mida rida nimetab, on komplektis vähemalt üks käitus |
partly-evidenced |
mõne kohta on |
not-evidenced |
ühegi kohta ei ole |
out-of-scope |
ükski Kshana väljund ei käsitle seda rida |
Lünga veerg prinditakse igale reale, sealhulgas tõendatutele: käitus, mis toetab võimekuse kohta tõendeid (supports evidence for), jätab siiski suurema osa nõudest muu tõendi hooleks. Aruanne kordab oma alguses sõnastusreeglit. --mapping prindib staatilised tabelid ja --sources allikate loendi.
Receiver-trust käitused annavad ka arvud, mida need esitavad (tuvastatud sündmused hinnatavatest, kokku langevad ennustused hinnatavatest). Need kirjeldavad seda logi, hinnatuna enne käitust määratud sündmuste ja tolerantside vastu, ning neid esitatakse nii, nagu käitus neid esitab.
Võimekused#
| Võimekus | Väljund | Käituste liigid |
|---|---|---|
| Vastuvõtja logi usaldushinnang | päris vastuvõtja enda logi epohhipõhine usaldusolek, häireajad ja kooskõla enne käitust määratud sündmustega | receiver-trust |
| Segamise lingieelarve mõjud | kandja ja müra tihedus ning haardeolek satelliidi kaupa määratud segaja geomeetria korral | jamming, lunar-jamming, conflict-resilience |
| Spuufimise ja meaconing’u tuvastamine | detektori otsused ja detektori eristusvõime määratud spuufimisrünnaku korral | spoof, spoof-detect, impairment-eval |
| Terviklikkuse seire ja kaitsetasemed | kaitsetasemed, kättesaadavus häireläviede suhtes ja vea tuvastamise tulemused | integrity, araim-reference-check, lunar-integrity |
| Holdover ja libisemine | asukoha- või ajavea kasv, kui GNSS on keelatud, määratud läve suhtes | clock, inertial, gnss-ins, ins-trn-coast, hybrid, hybrid-ukf, fusion, timetransfer, quantum-gnss-free-nav, quantum-time-transfer |
| Alternatiivsed ja mitmekesised PNT allikad | navigatsiooni- või ajastustoimivus allikatest, mis on esmasest GNSS-i sagedusribast sõltumatud | combined-altpnt, terrain-nav, terrain-slam, gravity-map, leo-pass, leo-pvt, leo-pnt-chain, hybrid-optical-rf, ntn-positioning, hybrid, fusion |
| Vastupidavuse hindamine ohuansamblite üle | ellujäämise ja vastupidavuse suhted ohuvektori kaupa määratud ansambli üle, eeldused öeldud | conflict-resilience, campaign |
| Reprodutseeritav käituse päritolu | stsenaariumi räsi, mootori versioon ja algväärtus, mida kannab iga tulemus, et käitust saaks korrata | iga käitus, mille tulemus kannab välja scenario_hash |