机构名称：
¥ 1.0
摘要。属性模型方法 (PMM) 与设计广泛的技术系统相关，本文将其应用于 ARP4754A/ED79A 框架内的直升机功能开发过程。在简要介绍该方法之后，介绍了案例研究：“收起和伸展机载起落架系统”。然后，通过案例研究中的示例说明了 PMM 开发过程的每个阶段：(1) 对顶层需求规范进行建模，(2) 通过证明和模拟验证需求规范，(3) 对架构设计进行建模，将顶层需求细化为对功能有贡献的不同子系统指定的需求，并对终端子系统详细设计进行建模 (4) 通过证明或模拟验证对贡献子系统指定的需求，(5) 通过模拟验证设计模型，最后 (6-8) 根据开发过程中积累的所有验证和验证场景，通过测试验证物理实现。最后，总结了经验教训和行业观点，强调了 PMM 是一种适应系统工程面临的挑战的方法，因为开发流程全球化，并展示了 PMM 如何提供强大的概念框架来支持全球化设计组织内的数字连续性。支持建模、仿真、验证和测试生成活动
起落架操作用例。 - HAL
主要关键词
相关文件推荐
