XiaoMi-AI文件搜索系统
World File Search System系统认证
对飞行仪表和...的安全关键可视化
工艺。讨论了现代飞行员显示器的不同内容。考虑了航空电子设备可视化系统开发的特殊性。民航系统中使用的所有软件都是安全关键的，必须符合国际安全标准。这对所使用的硬件和软件开发过程都提出了额外的要求。飞行员显示可视化系统的核心是 OpenGL 安全关键 (SC) 库。本文介绍了我们阐述的软件和硬件 OpenGL SC 实现。我们通过针对航空应用的具体情况优化 OpenGL SC 代码、使用多核处理器以及最终通过利用 GPU 硬件加速的库来描述渲染加速的各个方面。本文报告了针对实际航空应用测量的实现的渲染速度。只有相对简单的应用程序才能在不使用 GPU 的情况下以可接受的帧速率渲染。还讨论了可视化系统认证的进一步发展和可能性。精心设计的可视化软件旨在与俄罗斯实时操作系统 JetOS 一起使用。
安全关键型实时系统软件开发工具评估最终报告 2007 年 7 月 此文档可通过国家技术信息服务 (NTIS)（弗吉尼亚州斯普林菲尔德 22161）向公众获取。
16. 摘要 本研究的目的是确定评估标准，使开发人员和认证机构能够从系统和软件安全的角度评估特定的安全关键型实时软件开发工具。报告阐明了当前航空系统认证指南中软件开发工具的概况。研究工作朝两个方向进行：（1）收集工具资格认证工作的数据，以检查现有指南未来可能出现的修改；（2）通过确定工具类别、功能、关注点、因素和评估方法来创建软件开发工具评估分类法。问题陈述有四个部分：（1）行业观点，（2）资格认证，（3）质量评估，（4）工具评估分类法。从行业收集的数据影响了评估过程和开发工具实践的建议。报告描述了用于评估工具的选定方法。报告介绍了研究过程中确定的不同类别的工具。此分类仅限于 DO-178B 指导的研究范围。最后，报告定义了工具评估分类法的结构和组织。
KFC 400 - Bendix/King
KFC 400 飞行控制系统在一台计算机中整合了完整的自动驾驶仪和飞行指引仪计算功能。其数字飞行计算机和集成架构使 KFC 400 能够更快地确定飞机控制要求，并且比以前的自动驾驶仪系统更平稳、更准确地执行这些要求。主要由于其双通道飞行计算机设计，KFC 400 可以更积极地控制飞机，同时提供单通道系统无法提供的安全监控级别。整个飞行控制系统采用数字化、固态设计，在节省系统重量和所需安装空间的同时，提供最大的可靠性。KFC 400 旨在优化乘客和机组人员的舒适度，同时在任何飞行情况下仍提供准确的控制响应。只要有可能，自动驾驶仪引起的飞机运动就会接近人类可感知的下限，从而确保飞行异常平稳。但是，飞行控制系统的许多最大可控值是在飞行控制系统认证过程中为每架飞机确定的。有关特定值，请参阅您的飞机的 KFC 400 飞行手册补充。
安全关键型实时系统软件开发工具评估最终报告 2007 年 7 月 此文档可通过国家技术信息服务 (NTIS)（弗吉尼亚州斯普林菲尔德 22161）向公众获取。
16. 摘要 本研究的目的是确定评估标准，使开发人员和认证机构能够从系统和软件安全的角度评估特定的安全关键型实时软件开发工具。报告阐明了当前航空系统认证指南中软件开发工具的概况。研究工作朝两个方向进行：（1）收集工具资格认证工作的数据，以检查现有指南未来可能出现的修改；（2）通过确定工具类别、功能、关注点、因素和评估方法来创建软件开发工具评估分类法。问题陈述有四个部分：（1）行业观点，（2）资格认证，（3）质量评估，（4）工具评估分类法。从行业收集的数据影响了评估过程和开发工具实践的建议。报告描述了用于评估工具的选定方法。报告介绍了研究过程中确定的不同类别的工具。此分类仅限于 DO-178B 指导的研究范围。最后，报告定义了工具评估分类法的结构和组织。
1 AR22-23
IITH的成就：在我们的十五年中，IITH被称为水晶一年，取得了重要的里程碑。 将我们的整体NIRF排名保持在14，并确保该国研究中排名第14位，这证明了我们一贯的卓越表现。 连续第八年保持我们在技术机构的前10名中，目前的排名为8，这加强了我们作为首要的第二代IIT的地位。 值得注意的是，我们在NIRF创新排名中排名第三的出色地位以及QS-2023物理学和天文学的QS-2023主题排名取得的巨大进展，展示了我们对学术卓越的承诺。 IITH已获得四项ISO认证，包括提供教育服务的ISO 9001：2015，ISO 14001：2015用于绿色和环境促销活动，ISO 50001：2018用于节能实践，以及ISO 27001：2013用于数据安全服务。 此外，我们在IITH混乱中获得了ISO 22000：2018食品安全管理系统认证。 这种认可强调了我们在机构各个方面对质量的承诺。 在本赛季，在校园安置的第一阶段期间，IITH的位置方案仍然很健壮，有140多家公司提供了500多家公司的优惠。IITH的成就：在我们的十五年中，IITH被称为水晶一年，取得了重要的里程碑。将我们的整体NIRF排名保持在14，并确保该国研究中排名第14位，这证明了我们一贯的卓越表现。连续第八年保持我们在技术机构的前10名中，目前的排名为8，这加强了我们作为首要的第二代IIT的地位。值得注意的是，我们在NIRF创新排名中排名第三的出色地位以及QS-2023物理学和天文学的QS-2023主题排名取得的巨大进展，展示了我们对学术卓越的承诺。IITH已获得四项ISO认证，包括提供教育服务的ISO 9001：2015，ISO 14001：2015用于绿色和环境促销活动，ISO 50001：2018用于节能实践，以及ISO 27001：2013用于数据安全服务。此外，我们在IITH混乱中获得了ISO 22000：2018食品安全管理系统认证。这种认可强调了我们在机构各个方面对质量的承诺。在本赛季，在校园安置的第一阶段期间，IITH的位置方案仍然很健壮，有140多家公司提供了500多家公司的优惠。
安全关键型实时系统软件开发工具评估最终报告 2007 年 7 月 此文档可通过国家技术信息服务 (NTIS)（弗吉尼亚州斯普林菲尔德 22161）向公众获取。
16. 摘要 本研究的目的是确定评估标准，使开发人员和认证机构能够从系统和软件安全的角度评估特定的安全关键型实时软件开发工具。报告阐明了当前航空系统认证指南中软件开发工具的概况。研究工作朝两个方向进行：（1）收集工具资格认证工作的数据，以检查现有指南未来可能出现的修改；（2）通过确定工具类别、功能、关注点、因素和评估方法来创建软件开发工具评估分类法。问题陈述有四个部分：（1）行业观点，（2）资格认证，（3）质量评估，（4）工具评估分类法。从行业收集的数据影响了评估过程和开发工具实践的建议。报告描述了用于评估工具的选定方法。报告介绍了研究过程中确定的不同类别的工具。此分类仅限于 DO-178B 指导的研究范围。最后，报告定义了工具评估分类法的结构和组织。
安全关键型实时系统软件开发工具评估最终报告 2007 年 7 月 此文档可通过国家技术信息服务 (NTIS)（弗吉尼亚州斯普林菲尔德 22161）向公众获取。
16. 摘要 本研究的目的是确定评估标准，使开发人员和认证机构能够从系统和软件安全的角度评估特定的安全关键型实时软件开发工具。报告阐明了当前航空系统认证指南中软件开发工具的概况。研究工作朝两个方向进行：（1）收集工具资格认证工作的数据，以检查现有指南未来可能出现的修改；（2）通过确定工具类别、功能、关注点、因素和评估方法来创建软件开发工具评估分类法。问题陈述有四个部分：（1）行业观点，（2）资格认证，（3）质量评估，（4）工具评估分类法。从行业收集的数据影响了评估过程和开发工具实践的建议。报告描述了用于评估工具的选定方法。报告介绍了研究过程中确定的不同类别的工具。此分类仅限于 DO-178B 指导的研究范围。最后，报告定义了工具评估分类法的结构和组织。
根据 IEC 61508 对 CERN 下一代辐射监测安全系统进行完整硬件安全完整性验证的概述
在内部开发的 CERN 辐射监测电子系统 (CROME) 框架内，需要进行可靠性分析以确保符合有关安全完整性的法律要求，安全完整性定义为系统安全仪表功能 (SIF) 的安全完整性等级 (SIL) 2。鉴于对 CROME 系统可靠性的高度期望，其开发过程由根据 IEC 61508 标准进行的广泛可靠性研究支持。本文介绍了硬件安全完整性的验证，并以 CROME 系统为例介绍一种可能的方法。本文介绍了验证硬件安全完整性所需的各个步骤，包括计算每小时危险故障概率 (PFH) 和通过计算安全故障分数 (SFF) 以及考虑系统的硬件容错 (HFT) 来评估架构约束。根据所提出的方法，这些计算基于 FIDES 标准的故障率预测、故障模式、影响和诊断分析 (FMEDA) 和故障树分析 (FTA)。最终 CROME 系统认证原型 (PQ) 的结果表明，硬件安全完整性符合 SIL 2 要求。关键词：符合 IEC 61508 的安全系统、硬件安全完整性验证、SIL、SIF、SIS、FMEDA、FTA、架构约束、SFF、HFT、PFH 计算。
对飞行仪表和……的安全至关重要的可视化
8 ORCID：0000-0001-6460-7539，vlgal@gin.keldysh.ru 摘要 本文专门介绍了民用飞机驾驶舱的飞行员显示可视化系统。讨论了现代飞行员显示的不同内容。考虑了航空电子设备可视化系统开发的特殊性。民航系统中使用的所有软件都是安全关键的，必须符合国际安全标准。这对所使用的硬件和软件开发过程都提出了额外的要求。飞行员显示可视化系统的核心是 OpenGL 安全关键 (SC) 库。本文介绍了我们阐述的软件和硬件 OpenGL SC 实现。我们描述了通过针对航空应用的具体情况优化 OpenGL SC 代码、使用多核处理器以及最后通过开发利用 GPU 硬件加速的库来提高渲染速度的方面。本文报告了针对实际航空应用测得的渲染速度。只有相对简单的应用程序才能在不使用 GPU 的情况下以可接受的帧速率进行渲染。此外，还讨论了可视化系统认证的进一步发展和可能性。精心设计的可视化软件旨在与俄罗斯实时操作系统 JetOS 一起使用。
审计报告
OIG 发现了什么？我们发现，美国国家核安全局 (NNSA) 的 UCEP 项目管理存在缺陷，导致成本大幅增加和进度超支。我们注意到，项目管理缺陷部分归因于内华达国家安全站点管理和运营承包商缺乏最初分配给该项目的经验丰富的员工、项目绩效不佳以及挣值管理系统认证问题。此外，NNSA 没有包括定义的最低绩效标准或可接受的绩效水平来奖励或惩罚对重要承包商活动和要求的行动。最后，当超出初始估计时，NNSA 可以改进其努力以确定成本增加的根本原因。有什么影响？库存管理计划有责任评估老化和其他影响当前和未来库存认证的问题的影响。尽管 NNSA 已采取多项行动要求任务支持和测试服务有限责任公司对绩效不佳负责，但该项目仍然出现预算和进度超支。如果没有亚临界实验增强能力项目提供的数据，NNSA 和国家将面临更大的风险，无法充分认证库存。此外，NNSA 应确保其绩效评估流程是平衡的，不仅要将奖励与整个工作范围相一致，还要激励重大分项项目的绩效，以追究承包商的责任。前进的道路是什么？我们提出了三项建议和三项建议行动，如果得到全面实施，将有助于加强项目管理程序并提高项目绩效。