XiaoMi-AI文件搜索系统
World File Search SystemAssurance
国防部微电子：保证级别定义和...
2.1 LoA1 威胁 ...................................................................................................................................................... 11 2.2 LoA2 威胁 ...................................................................................................................................................... 13 2.3 LoA3 威胁 ...................................................................................................................................................... 15 3 实施策略 ...................................................................................................................................... 17 4 摘要 ...................................................................................................................................................... 19 附录 A：JFAC FPGA 文档概述 ............................................................................................. 20 附录 B：标准化术语 ...................................................................................................................... 22
空间应用的辐射硬度保证
ECSS-Q-ST-60 EEE 部件 ECSS-Q-ST-60-15C，第 1 期，2012 年 10 月（目前正在修订）RHA ECSS-Q-HB-60-02A – ASICS 和 FPGA 辐射影响缓解技术手册 ECSS-E-ST-10-04C – 空间环境 ECSS-E-ST-10-12C – 计算接收辐射、其影响和设计裕度的方法 ECSS-E-HB-10-12A – 上述手册
人工智能安全保障路线图
通过技术交流，人工智能在航空领域的更广阔潜力逐渐显现。航空界已投资于数据分析，以监控来自实际运营的数据并识别先兆事件和条件，然后在事故或事件发生之前采取风险缓解措施。人工智能已经在有限的领域用于整理数据以供分析并使用这些数据来估计风险。例如，飞机防撞系统 (ACAS) 的最新标准用通过机器学习 (ACAS X) 开发的加权风险模型取代了交通防撞系统 (TCAS v7.1 及更早版本) 的基于场景的算法设计。在分析系统风险和缓解措施时，人工智能有机会提供额外的视角。认识到这些机会，该路线图还讨论了使用人工智能作为提高安全保障的工具。
斯塔夫利镇交易保证框架
斯塔维利镇交易委员会斯塔维利镇交易委员会与 CBC 合作，作为问责机构，将为斯塔维利镇交易的制定和实施提供战略指导。委员会在确保斯塔维利社区和利益相关者的强大和多样化声音参与镇交易的讨论和决策方面发挥着关键作用。委员会可同意根据其总体目标设立特定目的的小组。委员会的职权范围包含在附录 B 中，并将定期审查。CBC 内阁作为城镇基金的问责机构，CBC 将承担下一节所述的一系列责任。其内阁的作用是确保资源和安排到位，以履行这些问责机构的职责。它将是市议会关于镇交易的高级决策机构，但它可以选择将决定委托给内部计划委员会（通过其主席）。内阁做出的决定将通过现有的 CBC 审查程序进行审查。 CBC 财务和绩效委员会 – 现称为“预定议程会议”
质量保证和质量改进计划
质量保证和改进计划 (QA/QI 计划) 是一份指南，旨在评估、加强、衡量和改进 Community Services for Every1 的可用资源和可实现目标范围内的服务、计划和机构运营的质量。该机构认为，对质量保证和质量改进的坚定承诺有助于我们实现我们的愿景，即通过支持合作伙伴关系、创造解决方案和实现我们在纽约西部社区提供服务的人们的梦想来追求卓越。社区服务还认为，致力于持续的质量改进将使我们能够为需要这些服务的人们提供最高质量的服务，为支付这些服务的资助者提供最佳价值。该计划提供了一种机制，用于衡量和管理计划与接受服务的人们之间的信息，监控整个机构的进展，解决可识别的问题并改进服务。它旨在成为一个持续的过程，将随着计划和接受服务的人们的需求而发展和变化。该计划的实施将有助于该机构监控和改进服务、运营和问责制。
MIL-Std-109 - 质量保证术语和定义
库存控制点 (ICE) 。。。。。。。。。。。。。。。。。。。。。。。。。。。。。...12 项。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。...12 计时 quali~(LQ) 。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。12 LOtforrrtation 。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。...12 批次。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。...12 Lotor 批量大小。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。...12 可维护性.。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。12 维护质量保证。。。。。。。。。。。。。。。。。。。。。。。。。。。。。12 重大缺陷。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。...12 材料审查委员会（MRB）。。。。。。。。。。。。。。。。。。。。。。。。。。...13 平均故障间隔时间（MTBF）。。。。。。。。。。。。。。。。。。。。。。。。。13 测量可追溯性。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。...13 测量和测试设备.。。。... 。。。。。。。。。。。。。。。。。。。。...13 MIL-I-45208。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。...13 MIL-Q-9858。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。...13 轻微缺陷。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。...13 国家资格认证机构(NQA)。。。。。。。。。。。。。。。。。。。。。。。。13 不符合。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。...13 不符合，严重。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。...14 不符合，严重。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。...14 不符合，轻微。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。...14 不合格材料。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。...14 非发展项目（NDI）。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。14 正常检查。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。14 客观质量证据（OQE）。。。。。。。。。。。。。。。。。。。。。。。。。。14 次出现。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。...15 现成的物品。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。...15 百分之百检查。。。。。。。。。。。。。。。。。。。。。。。。。...15 工作特性曲线（OCC）。。。。。。。。。。。。。。。。。。。。。。15 大修。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。...15 百万帕菲斯珀（ppm）。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。缺陷率为 15％。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。...15 授予前调查（PAS）。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。...15
欧洲空中航行安全组织数据保证级别规范
欧盟委员会条例 No 552/2004 要求制定互操作性实施规则 (IR) 以及欧洲空中交通管制组织规范，并在适用的情况下制定支持欧洲 ATM 网络互操作性的指导方针文件，其中包括航空数据质量 (ADQ)。欧洲空中交通管制组织监管和咨询框架 (ERAF) 定义了制定监管材料时要使用的流程和模板。欧洲空中交通管制组织规范模板已应用于数据保证级别规范 (DAL 规范) 的制定。DAL 规范作为欧洲空中交通管制组织规范编写，主要是为了满足委员会条例 (EU) No 73/2010 的要求，以满足航空数据处理的数据质量要求，从起源到航空信息服务提供商 (AISP) 向下一位预期用户发布。其内容被视为一种可能的合规手段，是在充分考虑了符合性评估 (CA) 指南以支持实现相关规定的情况下制定的。数据完整性级别在 ICAO 附件中定义，并在欧洲数据质量要求规范协调清单中记录和扩展。DAL 规范为每个数据完整性级别定义了数据质量保证目标，并解决了委员会条例 (EU) No 73/2010 中的具体规定。对于按照委员会条例 (EU) No 73/2010 实施和运营的所有各方和利益相关者来说，这是一份重要文件。本规范作为一份单独的文档制定，但应结合其他相关文件和欧洲空中导航安全组织规范阅读，例如数据质量要求规范和数据来源规范。DAL 规范的主要目的是解决委员会条例 (EU) No 73/2010 第 6(2) 条和附件 IV B 部分中的要求。但是，该规范还涵盖了第 4 至第 10 条和第 13 条，并为它们提供了补充目标，但仅限于解决与这些规定相关的数据质量问题所必需的范围。本文进一步讨论了这样做的理由。委员会条例 (EU) No 73/2010 的以下条款不包含在内：成分的一致性或适用性（第 11 条）、系统验证（第 12 条）、过渡性规定（第 14 条）和生效和适用（第 15 条）。对于已经参与航空数据提供并获得有效 ISO 9001:2008 认证的各方而言，其 QMS 和数据流程很可能已经符合许多 DAL 规范要求。认识到这一点，DAL 规范将一组目标归类为与 ISO 9001:2008 标准中的条款相关，并在专用附件（附件 J）中单独列出这些目标。
JSP 815 要素 12：保证
36. 3LOD 保证提供“内部审计”能力，由独立于接受审计的国防组织的组织（例如 DSA）执行。通过其独立性，内部审计职能将对组织评估和管理风险的有效性提供客观评估。它包括对“第一和第二道防线”的设计和运作有效性的评估。它通常通过基于风险的方法，通过评估风险管理框架的所有要素以及风险和控制活动来实现这一点。许多组织提供的有效和全面的内部审计职能也可能增强跨组织风险管理的保证状况，从而支持组织之间分享良好做法。
保证案例开发的工具支持
摘要 基于论证的保证案例通常使用图形论证结构来表示和组织，在实践中越来越多地用于向利益相关者（例如监管机构）提供保证，确保系统在可靠性和安全性方面可以用于其预期用途。一般而言，全面的系统范围保证论证会汇总大量不同信息，例如安全分析、需求分析、设计、验证和其他工程活动的结果。尽管存在多种保证案例工具，但许多对论证结构的理想操作（例如层次化和模块化抽象、论证模式实例化以及丰富结构化信息的包含/提取）都缺乏自动化支持。为了弥补这一自动化差距，在过去四年中，我们一直在 NASA 艾姆斯研究中心开发一套保证案例自动化工具 AdvoCATE。本文介绍了如何在保证案例论证结构的形式化基础上设计 AdvoCATE，以提供以下独特功能：a ) 自动创建和组装保证论证，b ) 将形式化方法集成到更广泛的保证论证中，c ) 自动模式实例化，d ) 分层抽象，e ) 查询和视图，以及 f ) 论证验证。我们（和我们的同事）已在实际项目中使用 AdvoCATE 进行安全保证，在
安全关键系统的运行时保证
在亚利桑那州沙漠上空三英里多的地方，一名 F-16 学生飞行员经历了重力引起的意识丧失 (GLOC)，在以接近 9 G（重力的九倍）的速度转弯时昏倒，飞行速度超过 400 节（超过 460 英里每小时）。由于飞行员失去意识，飞机转弯演变为俯冲，在不到 10 秒的时间内从 17,000 英尺以上下降到 8,000 英尺以下。就在飞行员越过 11,000 英尺之前，驾驶舱内的一个声音警告向飞行员喊道“高度，高度”，切换到“拉起”命令，大约 8,000 英尺。与此同时，学生的教练正在自己的飞机上观看事件的进展。当学员的飞机飞过 12,500 英尺时，教练通过无线电呼叫“二号恢复”，命令学员（“二号”）结束俯冲。当学员的飞机飞过 11,000 英尺时，教练的“二号恢复！”更加紧迫。在 9,000 英尺的高度，教练的声音中充满了恐惧，他大喊“二号恢复！”幸运的是，在教练第三次惊慌失措地发出无线电呼叫的同时，新的运行时间保证 (RTA) 系统启动并自动恢复飞机。自动地面防撞系统 (Auto GCAS) 是一种 RTA 系统，于 2014 年秋季在不到两年前集成到喷气式飞机上，该系统检测到飞机即将发生碰撞，命令飞机滚转至机翼水平并进行拉起机动，并在距地面不到 3,000 英尺的高度恢复飞机。此处描述的事件发生在 2016 年 5 月。事件视频于 2016 年 9 月解密并公开发布，视频可在 [1] 中找到。虽然 Auto GCAS 监控了安全关键型网络物理系统的行为，由人类提供主要控制功能，但同样的概念正在引起自主社区的关注，他们希望在集成复杂和智能控制系统设计的同时确保安全。RTA 系统是一种在线验证机制，可过滤未经验证的主控制器输出以确保系统安全。主要控制可能来自人类操作员、高级