XiaoMi-AI文件搜索系统
World File Search SystemARP4754A
学术共享引文 学术共享引文 Garcia, Anna Baron，“为航空系统构建和集成信息安全可信框架”（2019 年）。学位论文。439。https://commons.erau.edu/edt/439
3.1 航空适航框架（美国） . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31 3.6 ARP4754A 流程 - 安全评估流程模型 (SAE-Aerospace, 2010). . . . . . . . . . . . . . . . . 32 3.7 ARP4761 流程 - 安全评估图 . . . . . . . . . . 33 3.8 修改后的设计和开发框架 . . . . . . . . . . 34 3.9 修改后的 ARP4754A 流程 - 安全、安保和开发流程之间的相互作用 . ...
机载系统级保证最终报告...
16.摘要行业标准 SAE ARP4754A《民用飞机和系统开发指南》和 RTCA DO-254《机载电子硬件 (AEH) 设计保证指南》现已被广泛使用，并被认证机构认可为符合适航标准的可接受方式。它们分别针对系统和 AEH 推荐了面向流程的结构化开发保证。商用现货 (COTS) 组件的特殊问题是它们不是按照上述标准开发的，并且它们的开发数据仍是专有的，因此无法按照这些标准所期望的级别进行审查。作为另一种特殊类型的 AEH，电路板组件 (CBA) 的复杂程度尚未达到需要完全部署这种结构化开发流程的程度；验证测试方法被认为足以提供保证。本研究的目的是评估可行性并提供建议，说明如何在系统级别保证 AEH、CBA 和 COTS 组件（即超越 DO-254 或 ARP4754A 指导文件），尽管在提供开发保证证据方面仍然可以接受。本研究的初步结论有两个方面：首先，DO-254 或相关材料已经提供了处理 COTS 组件保证的指导；其次，ARP4754A 虽然非常适合系统级方法，但既没有专门针对 COTS，也没有提供足够的指导来支持 COTS 保证，无论其集成级别、固有复杂性或分配的开发保证级别如何。这些考虑自然导致建议采用系统范围的、多种方法，而不是更有限的系统级保证流程。这种方法被称为系统方法，并在本报告中进行了研究。
使用 ML 技术认证安全相关系统：ACAS-Xu 经验
在航空电子领域，飞机系统的认证由监管机构管辖，例如欧洲的 EASA 和美国的 FAA。EASA 制定了认证规范 (CS 2x.1301/1309)，定义了规定系统适航性的要求。除此之外，当局还发布了 AMC/AC（可接受的合规方法/咨询通函），以承认使用工业标准（复杂系统为 ED-79A/ARP4754A、软件项目为 ED-12C/DO-178C 和硬件项目为 ED-80/DO-254）开发系统是可接受的方法，可以证明系统行为、软件和/或硬件项目实现的操作功能符合监管要求。在用于认证目的的方法中，保证案例概念并不是新鲜事物。安全领域是最早阐述安全案例概念的领域之一。安全案例最初由 Tim Kelly [KBMB97] 理论化，然后由 John Rushby [Rus15] 概括。特别是在 [Rus15] 中，Rushby 声称在行业中引入这种方法对系统和软件保证和认证做出了重大贡献。
起落架操作用例。 - HAL
摘要。属性模型方法 (PMM) 与设计广泛的技术系统相关，本文将其应用于 ARP4754A/ED79A 框架内的直升机功能开发过程。在简要介绍该方法之后，介绍了案例研究：“收起和伸展机载起落架系统”。然后，通过案例研究中的示例说明了 PMM 开发过程的每个阶段：(1) 对顶层需求规范进行建模，(2) 通过证明和模拟验证需求规范，(3) 对架构设计进行建模，将顶层需求细化为对功能有贡献的不同子系统指定的需求，并对终端子系统详细设计进行建模 (4) 通过证明或模拟验证对贡献子系统指定的需求，(5) 通过模拟验证设计模型，最后 (6-8) 根据开发过程中积累的所有验证和验证场景，通过测试验证物理实现。最后，总结了经验教训和行业观点，强调了 PMM 是一种适应系统工程面临的挑战的方法，因为开发流程全球化，并展示了 PMM 如何提供强大的概念框架来支持全球化设计组织内的数字连续性。支持建模、仿真、验证和测试生成活动