机器翻译,未经母语人士审校。以英文版为准。

compliance与bench在GitHub上编辑来源:docs/compliance/README.md

compliance映射

买方和接收机制造商要对公开的韧性框架负责。本文件夹逐行将Kshana所计算和记录的内容映射到这些框架,而kshana compliance-report会依据你实际拥有的运行结果填充该映射。

措辞。Kshana的输出为某项要求提供证据支持(supports evidence for)。它们不是对任何产品的评级或批准,这些文件也都不是评估机构的声明;Kshana不是评估机构。要求文本一律为释义,绝不转载原文。

框架 文件
美国DHS韧性PNT Conformance框架,v2.0 dhs-rpcf.md
IMO船舶GNSS干扰指南 imo-ships.md
EASA航空GNSS干扰指南 easa-aviation.md
欧盟NIS2指令,第21条 nis2-art21.md
EN 16803(付费标准;仅按分部和目录中可见的条款编号) en-16803.md
NIST IR 8323r1,基础PNT概要(2023年1月) nist-ir-8323r1.md

标准包(0.38)把框架转化为经评分的场景:每个包含有场景、运行前就已设定的判据,以及它可为之提供证据支持的各行。kshana standards-pack list会显示这些内容。

包 文件
DHS韧性PNT Conformance框架,级别1至4的测试概要 dhs-rpcf-test-profiles.md
IMO MSC.1/Circ.1575,船载PNT数据处理:精度等级与完好性 imo-circ-1575.md
ICAO Doc 9849附录F,监测、评估并缓解GNSS干扰 icao-doc9849-appf.md

每个文件都列出其来源文件,包括版本、URL、读取日期,以及已检查和未检查的内容。各来源均读取于2026-10-09(NIST概要读取于2026-10-18;EASA公告和EN 16803目录页面于2026-10-10再次核对)。凡来源只能通过镜像或目录页面读取的,文件中均有说明。

三个评分标准包的每一项测试,均来自引擎v0.40.0的真实运行(`kshana standards-pack run`):dhs-rpcf:6项达到判据,1项未达到判据,2项需要输入;imo-circ-1575:1项达到判据,4项未达到判据,2项需要输入;icao-doc9849-appf:6项达到判据,0项未达到判据,2项需要输入。总计13项达到判据,5项未达到判据,6项需要引擎所没有的输入(接收机日志或设备文档)。每条判据都在运行前设定;未达到的就如实记为未达到。达到判据只说明某个建模场景达到了所述判据,并不说明任何关于产品的事。这些标准包为其所引用的各行提供证据支持(supports evidence for);它们不是评估。仅供参考:研究与工程工具的分析输出,不是经型式认可的导航设备,也不是生命安全服务;不得作为任何导航或安全决策的唯一依据。三个评分标准包的每一项测试,均来自引擎v0.40.0的真实运行(`kshana standards-pack run`):dhs-rpcf:6项达到判据,1项未达到判据,2项需要输入;imo-circ-1575:1项达到判据,4项未达到判据,2项需要输入;icao-doc9849-appf:6项达到判据,0项未达到判据,2项需要输入。总计13项达到判据,5项未达到判据,6项需要引擎所没有的输入(接收机日志或设备文档)。每条判据都在运行前设定;未达到的就如实记为未达到。达到判据只说明某个建模场景达到了所述判据,并不说明任何关于产品的事。这些标准包为其所引用的各行提供证据支持(supports evidence for);它们不是评估。仅供参考:研究与工程工具的分析输出,不是经型式认可的导航设备,也不是生命安全服务;不得作为任何导航或安全决策的唯一依据。

报告#

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

写出compliance-report.compliance.md和compliance-report.compliance.json(--out <base>可更改名称)。输入是此前运行得到的结果文件:场景运行会在<name>.toml旁写出<name>.result.json,kshana receiver-trust则写出它自己的结果文件。每次运行的类型(kind)从结果旁的场景文件、receiver-trust结果的内容,或顶层的kind中读取,并且必须是引擎已知的类型。当某个结果的类型无法找到、不是已知类型,或其旁的场景与结果自身的kind不一致时,该结果会连同原因被列为未使用,不计入任何内容。(结果的scenario_hash与场景文件的哈希值不做比较:前者由引擎针对其解析后的场景计算,而文件哈希针对文本,二者是不同的量。)

仅有类型标签不是证据。只有当某次运行的结果同时带有该类型所写出的字段时,这次运行才计入某项能力(例如,jamming结果需要有其性能指标和逐历元的行;integrity结果需要有其样本计数)。这些字段列在src/compliance/mapping.rs(KIND_FIELDS)中,缺少其中任何一项的结果不予计入。不是十六进制的哈希值不会被报告为哈希值。receiver-trust结果如果其计数不是整数,或其检测到的或一致的计数超过其可评估计数,则被排除并列为未使用。

对于每一行,报告给出以下之一:

状态 含义
evidenced 该行所列的每项能力在这组运行中至少有一次运行
partly-evidenced 其中一部分有
not-evidenced 都没有
out-of-scope 没有任何Kshana输出与该行相关

差距一栏对每一行都会打印,包括已有证据的行:某次运行为某项能力提供了证据支持,也仍有一项要求的大部分内容有待其他证据来满足。报告开头重复了措辞规则。--mapping打印静态表格,--sources打印来源列表。

receiver-trust运行还会贡献其所陈述的计数(在可评估的事件中检测到的事件数,在可评估的预测中一致的预测数)。这些计数描述的是该日志,依据运行前设定的事件和容差评分,并按该运行所陈述的原样报告。

能力#

能力 输出 运行类型
接收机日志信任度评估 真实接收机自身日志的逐历元信任状态、告警时间,以及与运行前设定的事件的一致情况 receiver-trust
压制干扰链路预算效应 在给定干扰机几何条件下,每颗卫星的载噪密度和锁定状态 jamming, lunar-jamming, conflict-resilience
欺骗干扰与转发式欺骗(meaconing)检测 在给定欺骗干扰攻击下的检测器判决与检测器区分能力 spoof, spoof-detect, impairment-eval
完好性监测与保护级 保护级、对照告警限值的可用性,以及故障检测结果 integrity, araim-reference-check, lunar-integrity
守时(holdover)与惯性滑行 GNSS被拒止期间,位置或时间误差相对于给定阈值的增长 clock, inertial, gnss-ins, ins-trn-coast, hybrid, hybrid-ukf, fusion, timetransfer, quantum-gnss-free-nav, quantum-time-transfer
替代与多样化PNT信号源 来自与主GNSS频段无关的信号源的导航或授时性能 combined-altpnt, terrain-nav, terrain-slam, gravity-map, leo-pass, leo-pvt, leo-pnt-chain, hybrid-optical-rf, ntn-positioning, hybrid, fusion
威胁集合上的韧性评分 在给定集合上,每个威胁向量的存活比和韧性比,并注明各项假设 conflict-resilience, campaign
可复现的运行来源记录 每个结果中携带的场景哈希值、引擎版本和随机种子(seed),使运行可以重复 任何结果带有scenario_hash的运行