保证案例是一种为系统提供保证的方法,通过基于系统设计、开发和测试行为的证据,给出论据来证明关于系统的主张。与基于指南或标准(本质上仅指定要生成的证据)的保证相比,保证案例的主要新颖之处在于提供明确的论据。原则上,这可以使保证案例更精细地适应系统的具体情况,并且在适应新技术和应用方面比指南更灵活。本报告的第一部分(第 1-4 章)介绍了保证案例。虽然所有对这些主题感兴趣的人都应该可以访问这些材料,但这些示例重点介绍机载系统软件,传统上使用 DO-178C 指南及其前身进行保证。第二部分(第 5 章和第 6 章)考虑了可用于评估保证案例是否提供足够信心,即特定系统或服务是否适合其预期用途的标准、方法和工具。
2.1在汇编披露302-1中指定的信息时,报告组织应:2.1.1在报告自我产生的能源消耗时避免燃油消耗的双重计数。如果组织从不可再生或可再生的燃料来源产生电力,然后消耗发电的电力,则应在燃油消耗下计算能源消耗; 2.1.2分别报告不可再生和可再生燃料来源的燃料消耗; 2.1.3仅报告由组织拥有或控制的实体消耗的能源; 2.1.4使用以下公式计算组织内部的总能量消耗:组织内的总能量消耗=不可再生的燃料消耗 +可再生燃料消耗 +电力,加热,冷却和蒸汽用于消耗 +自我产生的电力,加热,冷却,冷却,冷却和蒸汽,销售的(请参阅2.1.1.1.1),加热,供热,供热。
不分页数据存储区: 0x5c ~ 0x7f ( 当 DPAGE=0 或 1 时 ) 分页 0 数据存储区: 0x80 ~ 0xff ( 当 DPAGE=0 时 ) 分页 1 数据存储区: 0x80 ~ 0xdb ( 当 DPAGE=1 时 ) 分页的选择由特殊功能寄存器 STATUS 的 DPAGE 位来指定。 DPAGE 为 0 时,选择的是分页 0 数据存储区。 DPAGE 为 1 时,选择的是分页 1 数据存储区。分页 1 数据存储区的寻址范围是 0x80 ~ 0xdb , 一共只有 92 个 byte ,超出此范围为无效的地址。不分页数据存储区的访问不受 DPAGE 的限制,不管 DPAGE 为 0 或者 1 ,对不分页数据的地址段 0x5c~ 0x7f 的访问都是有效的,对应物理存储的同一段 存储空间。
我们的转型举措已经提高了运营准备程度,以满足这个不断变化的世界的需求。例如,我们通过多种方式更好地准备应对冠状病毒病 (COVID)-19 大流行带来的风险。我们舰队准备中心的报告功能得到改进,有助于我们快速部署两艘医疗船来援助我们的国家。我们新任命的首席信息官 (CIO) 带头努力扩展我们的网络功能,以支持我们全球员工的虚拟工作和安全需求。我们成功跟踪和报告了通过《冠状病毒援助、救济和经济安全法》提供的资金,以最大限度地降低欺诈、浪费和滥用的风险。此外,我们简化了采购和供应商付款流程,以协助我们的企业合作伙伴,在这一充满挑战的时期保持工业支持。
1.1.识别和定义特定的保证级别 ...................................................................................................... 2 1.2.建立具体标准 ................................................................................................................................ 3 1.3.识别一组已知的相关威胁 ...................................................................................................... 5 1.4.确定每个威胁与哪个保证级别相关 ............................................................................. 5 1.5.识别针对威胁的常见缓解措施 ............................................................................................. 6 1.6.与供应商和利益相关者合作 ................................................................................................................ 7 2.检测和缓解威胁 ................................................................................................................ 8 3.了解并应对攻击 ............................................................................................................. 9 4.使用保证流程 ...................................................................................................................... 9 5.结论 ...................................................................................................................................... 10 附录 A:标准化术语 ............................................................................................................. 11 附录 B:LoA1 缓解概述 ............................................................................................................. 14
摘要:人工智能 (AI) 的大规模应用将要求 AI 工程师和开发人员能够向用户群保证算法将按预期执行且不会出现故障。保证是可靠、可解释和公平的智能系统的安全阀。AI 保证提供了必要的工具,使 AI 能够应用于应用程序、软件、硬件和复杂系统。AI 保证涉及量化能力和关联部署风险,包括:数据质量(包括固有偏差)、算法性能、统计错误以及算法的可信度和安全性。数据、算法和上下文/领域特定因素可能会随时间而变化,并影响 AI 系统提供准确结果的能力。在本文中,我们讨论了 AI 保证的重要性和不同角度,并提出了一个应对其挑战的总体框架。
本文旨在就司法豁免的内容达成共识,从而形成关于如何应用这一法律制度来确保和平衡司法独立与问责制的理论。三权分立和司法独立并不妨碍对法官违法行为的责任进行评估,但确保司法职能的独立行使符合国家和社会的利益。因此,需要在司法职能的独立行使和法官问责制之间取得平衡。司法豁免确保了这种平衡。本研究采用法学中惯用的科学研究方法:文献研究、分析、比较、归纳和演绎研究方法。本研究揭示了司法豁免的目的,描述了司法豁免的内容,重点关注司法豁免的两个要素:无责任和不可侵犯性,并揭示了司法豁免的具体要求。本研究证实,规范和负责任地应用司法豁免可确保独立性和问责制的平衡。