XiaoMi-AI文件搜索系统
World File Search SystemED79A
飞机网络安全发展和持续适航性
} 了解所有认证规范和相关 AMC 20-42 中的新网络安全规则 } 制定适合开发活动范围的网络安全认证计划 } 制定网络安全开发和验证计划，其中包含网络安全认证的所有活动和工件 } 对飞机和飞机系统进行风险分析 } 了解 ED203A 的安全保证级别以及 ED12C、ED79A 和 ED80 在 DAL 中的分配和应用差异 } 了解航空发展中的一些最佳实践 } 了解 SAL 目标并展示遵守目标的方法
起落架操作用例。 - HAL
摘要。属性模型方法 (PMM) 与设计广泛的技术系统相关，本文将其应用于 ARP4754A/ED79A 框架内的直升机功能开发过程。在简要介绍该方法之后，介绍了案例研究：“收起和伸展机载起落架系统”。然后，通过案例研究中的示例说明了 PMM 开发过程的每个阶段：(1) 对顶层需求规范进行建模，(2) 通过证明和模拟验证需求规范，(3) 对架构设计进行建模，将顶层需求细化为对功能有贡献的不同子系统指定的需求，并对终端子系统详细设计进行建模 (4) 通过证明或模拟验证对贡献子系统指定的需求，(5) 通过模拟验证设计模型，最后 (6-8) 根据开发过程中积累的所有验证和验证场景，通过测试验证物理实现。最后，总结了经验教训和行业观点，强调了 PMM 是一种适应系统工程面临的挑战的方法，因为开发流程全球化，并展示了 PMM 如何提供强大的概念框架来支持全球化设计组织内的数字连续性。支持建模、仿真、验证和测试生成活动