Konekäännös, jota äidinkielinen puhuja ei ole tarkistanut. Viitteenä on englanninkielinen versio.

Compliance ja test benchMuokkaa GitHubissaLähde: docs/compliance/README.md

Compliance-kartoitus

Ostajien ja vastaanotinvalmistajien on vastattava julkisten kestävyysviitekehysten vaatimuksista. Tämä kansio kartoittaa, mitä Kshana laskee ja tallentaa näihin viitekehyksiin, rivi riviltä, ja kshana compliance-report täyttää kartoituksen niistä ajoista, jotka sinulla todella on.

Sanamuoto. Kshana-tuotokset tukevat todisteita vaatimukselle. Ne eivät ole minkään tuotteen luokitus tai hyväksyntä, eikä mikään näistä tiedostoista ole arviointielimen lausunto; Kshana ei ole sellainen. Vaatimusteksti on parafraasi, ei koskaan toisto.

Viitekehys Tiedosto
US DHS Resilient PNT Conformance Framework, v2.0 dhs-rpcf.md
IMO:n GNSS-häiriöitä koskeva ohje aluksille imo-ships.md
EASA:n GNSS-häiriöitä koskeva ohje ilmailulle easa-aviation.md
EU:n NIS2-direktiivi, artikla 21 nis2-art21.md
EN 16803 (maksullinen standardi; vain osan ja luettelossa näkyvien lausekenumeroiden mukaan) en-16803.md
NIST IR 8323r1, Foundational PNT Profile (tammikuu 2023) nist-ir-8323r1.md

Standardipaketit (0,38) muuttavat viitekehyksen pisteytetyiksi skenaarioiksi: jokaisessa paketissa on skenaarioita, ennen ajoa asetetut kynnykset ja rivit, joille se tukee todisteita. kshana standards-pack list näyttää ne.

Paketti Tiedosto
DHS Resilient PNT Conformance Framework, testiprofiilit tasoille 1–4 dhs-rpcf-test-profiles.md
IMO MSC.1/Circ.1575, aluksen PNT-datan käsittely: tarkkuustasot ja eheys imo-circ-1575.md
ICAO Doc 9849 Appendix F, GNSS-häiriöiden valvonta, arviointi ja lievennys icao-doc9849-appf.md

Jokainen tiedosto listaa lähdeasiakirjansa version, URL:n, lukupäivän sekä sen, mitä tarkistettiin ja mitä ei. Lähteet luettiin 2026-10-09 (NIST-profiili 2026-10-18; EASA:n tiedote ja EN 16803 -luettelosivut tarkistettiin uudelleen 2026-10-10). Jos lähde voitiin lukea vain peilin tai luettelosivun kautta, tiedosto kertoo sen.

Kolmen pisteytetyn standardipaketin jokainen testi, moottorin v0.40.0 oikeista ajoista (`kshana standards-pack run`): dhs-rpcf: 6 täyttyi, 1 ei täyttynyt, 2 tarvitsee syötteen; imo-circ-1575: 1 täyttyi, 4 ei täyttynyt, 2 tarvitsee syötteen; icao-doc9849-appf: 6 täyttyi, 0 ei täyttynyt, 2 tarvitsee syötteen. Yhteensä 13 täyttyi, 5 ei täyttynyt ja 6 tarvitsee syötteen, jota moottorilla ei ole (vastaanottimen loki tai laitteiston dokumentaatio). Jokainen kynnys asetettiin ennen ajoa; täyttämättä jäänyt kynnys kirjataan täyttämättä jääneeksi. Täyttynyt kynnys kertoo, että mallinnettu skenaario täytti ilmoitetun kynnyksen, ei mitään tuotteesta. Paketit tukevat todisteita riveille, joihin ne viittaavat; ne eivät ole arviointi. Ohjeellinen: tutkimus- ja suunnittelutyökalun analyysitulos; ei tyyppihyväksytty navigointilaite eikä ihmishengen turvaamiseen tarkoitettu palvelu; sitä ei saa käyttää ainoana perusteena navigointia tai turvallisuutta koskevalle päätökselle.Kolmen pisteytetyn standardipaketin jokainen testi, moottorin v0.40.0 oikeista ajoista (`kshana standards-pack run`): dhs-rpcf: 6 täyttyi, 1 ei täyttynyt, 2 tarvitsee syötteen; imo-circ-1575: 1 täyttyi, 4 ei täyttynyt, 2 tarvitsee syötteen; icao-doc9849-appf: 6 täyttyi, 0 ei täyttynyt, 2 tarvitsee syötteen. Yhteensä 13 täyttyi, 5 ei täyttynyt ja 6 tarvitsee syötteen, jota moottorilla ei ole (vastaanottimen loki tai laitteiston dokumentaatio). Jokainen kynnys asetettiin ennen ajoa; täyttämättä jäänyt kynnys kirjataan täyttämättä jääneeksi. Täyttynyt kynnys kertoo, että mallinnettu skenaario täytti ilmoitetun kynnyksen, ei mitään tuotteesta. Paketit tukevat todisteita riveille, joihin ne viittaavat; ne eivät ole arviointi. Ohjeellinen: tutkimus- ja suunnittelutyökalun analyysitulos; ei tyyppihyväksytty navigointilaite eikä ihmishengen turvaamiseen tarkoitettu palvelu; sitä ei saa käyttää ainoana perusteena navigointia tai turvallisuutta koskevalle päätökselle.

Raportti#

kshana compliance-report spoof-detect.result.json integrity-raim.result.json session.result.json

kirjoittaa compliance-report.compliance.md ja compliance-report.compliance.json (--out <base> muuttaa nimen). Syötteet ovat aiempien ajojen tulostiedostoja: skenaarioajo kirjoittaa tuloksen <name>.result.json tiedoston <name>.toml viereen, ja kshana receiver-trust kirjoittaa omansa. Kunkin ajon laji luetaan tuloksen vieressä olevasta skenaariotiedostosta, receiver-trust-tuloksen sisällöstä tai ylätason kentästä kind, ja sen on oltava moottorin tuntema laji. Tulos listataan ”ei käytetyksi” syyn kanssa eikä se vaikuta mihinkään, kun sen lajia ei löydy, laji ei ole tunnettu tai viereinen skenaario ja tuloksen oma kind ovat ristiriidassa. (Tuloksen scenario_hash ja skenaariotiedoston tiiviste eivät ole vertailtavia: moottori laskee ensimmäisen jäsennetystä skenaariostaan ja tiedoston tiiviste lasketaan tekstistä, joten ne ovat eri suureita.)

Pelkkä lajinimiö ei ole todiste. Ajo lasketaan ominaisuudelle vain, jos sen tulos sisältää myös ne kentät, joita kyseinen laji kirjoittaa (esimerkiksi lajin jamming tulos tarvitsee laatumittarinsa ja epookkikohtaiset rivit; lajin integrity tulos tarvitsee näytemääränsä). Kentät on lueteltu tiedostossa src/compliance/mapping.rs (KIND_FIELDS), eikä tulosta, josta yksi puuttuu, lasketa. Tiivistettä, joka ei ole heksadesimaali, ei raportoida tiivisteenä. Receiver-trust-tulos, jonka määrät eivät ole kokonaislukuja tai jonka havaittu tai yhtäpitävä määrä ylittää sen arvioitavissa olevan määrän, jätetään pois ja listataan ”ei käytetyksi”.

Jokaiselle riville raportti antaa jonkin seuraavista:

Tila Merkitys
evidenced jokaisella rivin nimeämällä ominaisuudella on vähintään yksi ajo joukossa
partly-evidenced joillakin on
not-evidenced millään ei ole
out-of-scope mikään Kshana-tuloste ei koske riviä

Aukkosarake tulostetaan jokaiselle riville, myös todistetuille: ajo, joka tukee todisteita ominaisuudelle, jättää silti suurimman osan vaatimuksesta muun todistusaineiston varaan. Raportti toistaa sanamuotosäännön alussaan. --mapping tulostaa staattiset taulukot ja --sources lähdeluettelon.

Receiver-trust-ajot lisäävät myös ilmoittamansa määrät (havaitut tapahtumat arvioitavissa olevista, yhtäpitävät ennusteet arvioitavissa olevista). Nämä kuvaavat sitä lokia, joka on pisteytetty ennen ajoa ilmoitettuja tapahtumia ja toleransseja vastaan, ja ne raportoidaan sellaisina kuin ajo ne ilmoittaa.

Ominaisuudet#

Ominaisuus Tuloste Ajolajit
Vastaanottimen lokin luottamusarviointi todellisen vastaanottimen oman lokin epookkikohtainen luottamustila, hälytysajat ja yhtäpitävyys ennen ajoa ilmoitettujen tapahtumien kanssa receiver-trust
Häirinnän linkkibudjettivaikutukset kantoaalto-kohinatiheys ja lukitustila satelliittia kohden ilmoitetulla häirintägeometrialla jamming, lunar-jamming, conflict-resilience
Harhautuksen ja meaconingin havaitseminen ilmaisimen päätökset ja ilmaisimen erottelukyky ilmoitetun harhautushyökkäyksen alla spoof, spoof-detect, impairment-eval
Eheyden valvonta ja suojaustasot suojaustasot, saatavuus hälytysrajoja vastaan ja vianhavaitsemistulokset integrity, araim-reference-check, lunar-integrity
Holdover ja coasting paikka- tai aikavirheen kasvu, kun GNSS on estetty, ilmoitettua kynnystä vastaan clock, inertial, gnss-ins, ins-trn-coast, hybrid, hybrid-ukf, fusion, timetransfer, quantum-gnss-free-nav, quantum-time-transfer
Vaihtoehtoiset ja monimuotoiset PNT-lähteet navigointi- tai ajoitussuorituskyky lähteistä, jotka ovat riippumattomia ensisijaisesta GNSS-kaistasta combined-altpnt, terrain-nav, terrain-slam, gravity-map, leo-pass, leo-pvt, leo-pnt-chain, hybrid-optical-rf, ntn-positioning, hybrid, fusion
Kestävyyspisteytys uhkaensemblien yli selviytymis- ja kestävyyssuhteet uhkavektoria kohden ilmoitetun ensemblen yli, oletukset ilmoitettuina conflict-resilience, campaign
Toistettavan ajon alkuperätieto skenaariotiiviste, moottorin versio ja siemenluku mukana jokaisessa tuloksessa, jotta ajo voidaan toistaa mikä tahansa ajo, jonka tulos sisältää kentän scenario_hash