17、RACK与安全保障相关技术解析

RACK与安全保障相关技术解析

1. RACK平台概述

RACK是一个用于证据整理的平台，其基础是一个数据模型，该模型包含实体的类和属性、数据来源、实体间的相互关系以及随时间的演变信息。这个模型提供了一种通用语义，使得数据提供者和使用者能够在非交互工作流程中交流系统设计、验证和演变的复杂概念。

2. RACK的数据处理能力

• 数据标识符处理 ：SemTK为每个实例数据提供了自动创建和查找统一资源标识符（URIs）的过程。摄入模板可以指定某个特定类由一个或多个属性唯一标识，而URI本身可以是随机的UUID。关系摄入方式除了“缺失时创建”，还可以是“缺失时报错”以防止断链，或“存在时报错”以防止重复。
• 可扩展性 ：RACK能够在15分钟内摄入250万个三元组的数据包，此摄入时间包含了所有类型检查、URI查找以及验证所有类型和属性的有效性。

3. RACK的数据验证

RACK有三个不同级别的数据验证：
|验证级别|描述|
| ---- | ---- |
|摄入时验证|数据加载时，根据摄入模板进行验证，任何不一致都会立即标记为摄入错误。|
|数据模型验证|确保加载的证据符合指定的约束（如基数），通过ASSIST - DV工具在摄入后进行。ASSIST - DV是一个Prolog模块，对指定的数据模型和三元组存储中的关联实例数据进行多项测试和检查。|
|特定领域数据验证|可以查询RACK并验证返回的数量是否符合预期。例如，DO - 178C要求A级机载系统满足一定数量的