按文献类别分组
按栏目分组
按年份分组
关键词
面向民用飞机需求验证的自动化测试技术研究
作者: 汪澔     武仲芝     唐剑   来源: 图学学报 年份: 2024 文献类型 : 期刊 关键词: 测试用例   SysML   需求验证   基于模型的测试  
描述: 上述问题,提出基于模型的测试(MBT)方法,通过基于系统建模语言(SysML)模型自动化生成测试用例,缩短验证过程的周期并保证需求验证的可追溯性。
MBSE在航空飞行控制系统的应用研究
作者: 陈宣文     黄晖     戴小氐   来源: 航空工程进展 年份: 2024 文献类型 : 期刊 关键词: 数字线程   MBSE   SysML   基于模型的测试   飞行控制系统  
描述: 现代飞机系统的复杂性不断增长,传统的开发方法在管理和维护方面变得越来越具有挑战性。首先,对航空飞控系统研发过程在当前系统工程实践方面进行了评估,阐述了传统开发方式的不足和基于模型的系统工程(MBSE)的核心原则和优点,以及在实现中常用的工具和方法;然后,展示了MBSE如何在飞行控制系统研发时使用模型来支持复杂系统的规范、设计、分析、验证和确认的过程;最后,结合先进的MBSE工具和方法的发展,MBSE结合敏捷的开发前景,以及提高MBSE实践的互操作性和标准化的需求对未来的研究方向进行了展望。本文研究为利用MBSE方法论和工具来改进飞行控制系统的设计、开发和性能感兴趣的航空工业专业人员、系统工程师提供资源和解决思路。
< 1
Rss订阅