排序方式: 共有8条查询结果,搜索用时 15 毫秒
1
1.
安乐 《民用飞机设计与研究》2015,(1):62-67,112
马来西亚航空公司MH370客机失联事件一度引发媒体与公众的诸多猜测,猜测的焦点之一就是执飞的波音777飞机的飞机通信寻址与报告系统(Aircraft Communication Addressing and Reporting System,简称ACARS)功能是如何被关闭的。从专业角度出发,首先采用Sys ML建模的方式描述了波音777飞机ACARS系统的详细架构和人机接口,并据此深入分析了马航MH370航班失联事件中ACARS被关闭的情景。最后,提出了此次事件暴露出的现代民用飞机设计中存在的问题以及改进方法。 相似文献
2.
3.
4.
现代飞机系统的复杂性不断增长,传统的开发方法在管理和维护方面变得越来越具有挑战性。首先,对航空飞控系统研发过程在当前系统工程实践方面进行了评估,阐述了传统开发方式的不足和基于模型的系统工程(MBSE)的核心原则和优点,以及在实现中常用的工具和方法;然后,展示了MBSE如何在飞行控制系统研发时使用模型来支持复杂系统的规范、设计、分析、验证和确认的过程;最后,结合先进的MBSE工具和方法的发展,MBSE结合敏捷的开发前景,以及提高MBSE实践的互操作性和标准化的需求对未来的研究方向进行了展望。本文研究为利用MBSE方法论和工具来改进飞行控制系统的设计、开发和性能感兴趣的航空工业专业人员、系统工程师提供资源和解决思路。 相似文献
5.
在MBSE的方法论中,系统架构作为复杂产品系统设计的核心,向上承接系统需求,向下支持详细设计。因此,对系统架构进行准确、清晰地描述对于不同领域设计师之间的沟通交流至关重要。建立SysML语言的系统架构功能逻辑模型是系统架构设计的一种有效方法。这种基于Harmony SE的方法从识别关键的系统功能出发,对系统架构的方案权衡分析后,通过模块定义图进行系统架构设计,并在下层级系统完成架构设计后,通过模型集成将动作与接口合并,为上层系统的架构设计提供反馈,实现迭代及优化设计,避免设计问题向下传递。 相似文献
6.
面向适航认证的模型驱动机载软件构件的安全性验证 总被引:2,自引:0,他引:2
在软件开发的过程中为适航认证提供证据,已成为机载软件开发的研究热点。现代复杂机载软件多为构件化分布式架构,如何有效验证构件之间安全性依赖关系与适航认证标准当中规定目标的一致性,是机载软件设计阶段的一个重要问题。首先,使用系统建模语言(SysML)块图建立带有安全性特征的系统静态结构模型,将其转换为块依赖图以便进行精确的形式化描述。在此基础上给出形式验证方法,检验系统静态结构模型中的安全性依赖关系与适航认证标准中所规定目标之间是否一致。最后,通过一个飞机导航系统的例子说明如何将该方法应用于机载软件开发的过程中。利用这种方法对系统静态结构模型的安全性依赖关系进行验证,能够提高系统整体的安全性,并为适航认证提供证据。 相似文献
7.
大型民用飞机研制是一项多系统、多学科交联的复杂系统工程,民用飞机主制造商应在早期设计过程中进行需求的确认和验证工作,以找出设计中的缺陷,减少后续迭代设计成本,缩短设计周期,提高产品的竞争力。通过引入软件工程领域基于场景测试的方法,利用场景作为工具,以飞机在进近过程中触发TAWS模式1告警为实例,采用SysML活动图构建民机运行场景模型,基于场景模型生成测试用例,同时引入测试用例重要度对测试用例进行排序,用于指导后续的测试工作,为实现基于场景的需求确认和验证提供了支撑。 相似文献
8.
在机载软件架构设计阶段,人们将安全性研制保证水平分配到具体的构件中,确保产品质量。鉴于现代航空软件系统极其复杂,如何从系统角度,检验分配给构件的安全性等级符合系统的一致性目标,是设计阶段需要解决的重要问题。首先,分析了分布式和综合式机载软件系统的架构特点,得出了在安全性分析工作中需要考虑冗余等架构设计的影响的结论。其次,使用系统建模语言(SysML)块图建立带有安全性等级属性的系统静态结构模型,利用矩阵对模型进行精确的形式化转换;制定验证规则,在此基础上给出了验证方法,以验证安全性等级分配的合理性。在验证过程中,将关键信息存储在XML文档中,可为适航性审查提供证据。最后,通过实例分析,验证了该方法的可行性。 相似文献
1