US DHS Resilient PNT Conformance Framework: mille vaatimuksille Kshana tukee todisteita
Viitekehys kuvaa kestävyystasot 0–4, jotka muodostuvat kahdeksasta numeroidusta vaatimuksesta, sekä arviointitavan, joka yhdistää staattisen analyysin dynaamiseen analyysiin, jossa testivektorit edustavat uhkia. Siinä ei ole omaa vaatimustunnisteiden järjestelmää, joten alla olevat viittaukset ovat sen taso- ja vaatimusnumeroita sekä jaksonumeroita. Se on tulosperusteinen eikä luettele uhkia.
Jokainen rivi kertoo, mitkä Kshana-tuotokset tukevat todisteita vaatimukselle ja mitä jää jäljelle. Mikään tässä ei sano, että viitekehys täyttyy tai että kukaan olisi luokitellut tai hyväksynyt jotakin tuotetta. Aja kshana compliance-report omilla tulostiedostoillasi nähdäksesi, mitä rivejä ajosi todella tukevat todisteilla; katso README.md.
Lähdeasiakirjat#
- Resilient Positioning, Navigation, and Timing (PNT) Conformance Framework: versio 2,0, 26. huhtikuuta 2022 (DHS Science and Technology Directorate yhdessä CISA:n kanssa). https://www.dhs.gov/sites/default/files/2022-05/22_0531_st_resilient_pnt_conformance_framework_v2.0.pdf. Luettu 2026-10-09: asiakirja luettu kokonaan; julkaisun aloitussivua ei haettu.
Vastaavuus#
| Hakuteos | Mitä se vaatii (parafraasi) | Kshana-tuotokset, jotka tukevat sille todisteita | Aukko |
|---|---|---|---|
| Jakso 5,2 (Prevent, Respond, Recover) | Kestävyys kuvataan kolmena toimintona: haitan ehkäisy, reagointi (havaitse, ilmoita, lievennä, rajaa) ja palautuminen. Havaitseminen on todennäköisyyspohjaista, joten sekä väärät hälytykset että havaitsematta jääneet tapahtumat ovat tärkeitä. | Vastaanottimen lokin luottamusarviointi; Harhautuksen ja meaconingin havaitseminen; Holdover ja coasting | Ehkäisy on tuotesuunnittelun ominaisuus, jota mikään simulaation tuloste ei osoita. Synteettisen tai yhden istunnon ajon havaitsemistilastot eivät ole käyttöön otetun tuotteen mitattu väärän hälytyksen tai havaitsematta jäämisen osuus. |
| Taso 1, vaatimus 1 | Tarkista, että ulkoisista lähteistä saapuva tallennettu data vastaa asiaankuuluvien standardien formaatteja ja arvoalueita. | ei mitään | Testattavan tuotteen ohjelmistovarmistus- ja syötteenvalidointiominaisuus. Kshana ei tarkasta tuotteen syötteenkäsittelyä. |
| Taso 1, vaatimus 2 | Salli täysi manuaalinen palautus tyhjentämällä tai nollaamalla muisti, jolloin järjestelmä palaa määriteltyyn suorituskykyyn uhan poistuttua. | Vastaanottimen lokin luottamusarviointi | Vastaanottimen loki näyttää, milloin paikkaratkaisusta tuli epäluotettava ja milloin se palautui; se ei osoita, että manuaalinen nollaus tyhjentää jokaisen tallennetun tilan. |
| Taso 1, vaatimus 3 | Lataa laiteohjelmisto uudelleen tai päivitä se turvallisesti. | ei mitään | Laiteohjelmistopäivityksen turvallisuus on sen ulkopuolella, mitä mikään Kshana-tuloste havainnoi. |
| Taso 2, vaatimus 4 | Tunnista vaarantuneet PNT-lähteet ja estä niitä turmelemasta ratkaisua. | Harhautuksen ja meaconingin havaitseminen; Vastaanottimen lokin luottamusarviointi; Eheyden valvonta ja suojaustasot | Kshana pisteyttää ilmaisimet ja valvontaratkaisut, joita se mallintaa tai ajaa lokin yli; toimiiko tuotteen oma lähteiden poissulkeminen, vaatii tuotteen sisäisen tilan, ei vain sen lokia. |
| Taso 2, vaatimus 5 | Palauta lähteet ja järjestelmä automaattisesti keskeyttämättä tulostetta; ratkaisu annetaan edelleen uhan aikana, mahdollisesti rajoittamattomalla heikkenemisellä. | Holdover ja coasting; Vastaanottimen lokin luottamusarviointi | Holdover-ajot rajaavat mallinnetun ajautumisen ilmoitetulle kello- tai inertiamallille, eivät tuotteen omaa palautumiskäyttäytymistä. |
| Taso 3, vaatimus 6 | Yhden lähteen korruptoitunut data ei saa saastuttaa toista lähdettä. | Vaihtoehtoiset ja monimuotoiset PNT-lähteet | Kshana ajaa lähteitä rinnakkain; lähteiden eristys tuotteen sisällä vaatii suunnittelukatselmuksen tai vikainjektion tuotteeseen. |
| Taso 3, vaatimus 7 | Varmista kaikkien lähteiden ratkaisut ristiin ja pidä heikkeneminen uhan aikana rajattuna. | Eheyden valvonta ja suojaustasot; Holdover ja coasting; Vaihtoehtoiset ja monimuotoiset PNT-lähteet | Rajattu heikkeneminen osoitetaan mallinnetuille antureille; tuotteen omaa ristiintarkistusta ei havainnoida. |
| Taso 4, vaatimus 8 | Käytä eri teknologioihin perustuvia lähteitä yhteismuotoisia uhkia vastaan, ilman heikkenemistä uhan aikana. | Vaihtoehtoiset ja monimuotoiset PNT-lähteet; Häirinnän linkkibudjettivaikutukset | Yhteismuotoinen argumentti vaatii todellisen tuotteen lähdejoukon ja uhan, joka ulottuu niiden yli; skenaario esittää sellaisen, mutta ei todista, ettei tuotteella ole yhteistä heikkoutta. |
| Jakso 5,5 (yhteismuoto) | Monimuotoisilla mekanismeilla ei saa olla yhteistä heikkoutta: esimerkiksi kaksi kaistaa kattava häirintälähetin kumoaa kaistamonimuotoisuuden. | Häirinnän linkkibudjettivaikutukset; Kestävyyspisteytys uhkaensemblien yli; Vaihtoehtoiset ja monimuotoiset PNT-lähteet | Pisteytys käyttää synteettistä uhkaensemblea, ja se ilmoitetaan sellaisena; se ei ole kenttädataa. |
| Jaksot 8,1–8,3 (arviointi) | Arviointi yhdistää staattisen analyysin dynaamiseen analyysiin, jossa testivektorit edustavat uhkia; testiluokat ovat lähteen vika, häiriö ja sisäiset viat. Simulaattorit mainitaan testimenetelmänä. | Vastaanottimen lokin luottamusarviointi; Häirinnän linkkibudjettivaikutukset; Harhautuksen ja meaconingin havaitseminen | Viety liike ja tapahtumat voivat ohjata laboratoriosimulaattoria (docs/TEST-BENCH.md). Kshana ei kirjoita signaalia, joten simulaattori ja sen valtuutettu käyttäjä tuottavat uhan. |
| Jakso 8,6 (testisuunnitelman osat) | Testisuunnitelma ilmoittaa tason, vaatimuksen, syötteet, viitteet, tarvittavan datan käytön, menettelyn hyväksymis- tai hylkäyskriteereineen, tulokset ja huomautukset. | Toistettavan ajon alkuperätieto; Vastaanottimen lokin luottamusarviointi | Hyväksymis- tai hylkäyskriteerit valitsee arvioija; Kshana tallentaa syötteet, kynnykset ja tiivisteet, joilla se ajoi. |