基于公理化设计的系统工程方法与MBSE模型体系

对基于模型的系统工程MBSE方法及其建模体系进行了研究.在运用MBSE时,系统工程师所面临的挑战之一是如何对遇到的复杂工程问题进行分析,以及如何定义完整的系统模型.将公理化设计作为MBSE的理论基础,提出基于公理化设计的系统工程方法,同时建立对应的MBSE模型体系,为系统工程师完整定义复杂工程问题提供建模方法和模型框架.根据公理化设计中的设计域、设计公理和“Z”字形映射过程,分别建立复杂系统的设计过程、模型分析和控制过程,以及设计过程中的信息反馈回路;同时建立对应的系统需求模型、功能架构模型和物理实现架构模型,构成MBSE模型体系,从系统的、基于模型的角度为系统工程师提供一个描述工程问题的方法和完整视图.通过卫星电缆网设计验证文中所提出的观点,最后给出对应的结论和未来的研究工作.     

基于模型的飞机机电综合管理系统设计应用研究

针对飞机机电综合管理系统功能高度集成、系统架构和接口设计复杂等特点,基于Harmony MBSE设计方法,开展了基于模型的机电综合管理系统设计应用研究。采用系统建模软件Rhapsody构建了某型飞机机电综合管理系统需求模型、功能分析模型和架构设计模型,实现了系统需求确定、功能分解、架构设计等关键技术过程,并通过状态机模型对系统设计的正确性进行了验证。应用结果证明,该方法可以有效支持机电综合管理系统的研制,为复杂系统的设计提供了一种有效的实施途径。     

基于模型的飞机绿色电滑行系统设计与研究

飞机电滑行系统是发展绿色航空的一项关键技术,改变了传统的飞机滑行技术,提高了飞机系统的可靠性和维修性,是未来飞机地面控制系统的发展趋势。基于模型的系统工程(model-based systems engineering,简称MBSE)是将图形化、模型化的方式应用到系统设计中,依照基于模型的系统工程方法对飞机电滑行系统进行设计。提出了一种采用模型对飞机电滑行系统需求的覆盖度以及正确性的确认方法,系统需求对利益相关方的需求的覆盖度进行确认,采用了基于MATLAB/Simulink建立的行为模型的方式对系统需求的正确性进行确认。最后,对未来飞机系统的发展和基于模型的系统工程的全面应用进行了展望。     

基于模型的系统工程设计方法在TCAS中的应用

针对传统空中交通防撞系统(TCAS)设计中基于文档描述的不足,采用基于模型的系统工程方法进行TCAS系统建模。在建模过程中使用SysML语言,通过多个视图来描述和分析系统需求,并通过模型的执行尽早验证需求。整个设计过程都是基于需求的,是可测试、可追溯的,是由经验研发向需求研发的转变。     

基于多视角的民机正向设计建模方法

针对民机正向设计中存在的建模对象复杂耦合程度高、建模理论支撑不足、利益相关方需求缺乏模型描述等问题,提出了基于多视角的民机正向设计建模方法。首先,通过分析民机正向设计流程和基于模型的系统工程（MBSE）方法论,明确民机正向设计自顶向下的映射和关联关系;然后,引入多视角对民机设计流程进行多方位解耦与描述,分析各视角下的建模元素及其逻辑关系,将设计领域知识流与各视角下建模流程相结合,通过建模语言SysML对多个视角下的民机正向设计模型进行抽象建模描述;最后,通过舱压控制系统建模实例验证了本方法能够有效契合民用飞机系统的设计。     

航空发动机机载健康管理系统设计方法

为解决航空发动机机载健康管理系统正向设计流程不清晰、设计需求不明确、需求设计对应及追溯不规范的问题，在对 比国内外现有健康管理功能架构体系的基础上，结合正向设计中需求捕获、需求分析和功能分配，研究了由上到下的航空发动机 健康管理系统正向设计基本流程，开发了航空发动机健康管理正向设计流程平台，实现了机载功能架构的设计。引入基于模型的 系统工程思想，采用面向对象的工程设计思路，建立功能目标量化、功能描述、模块定义等图形化设计方法，验证了该设计方法在 硬件设计中的可用性。通过研究航空发动机机载健康管理系统设计方法并分析机载功能组成，建立了可扩展的流程平台，基于模 型设计方法建立了可用的硬件设计模型，可为航空发动机机载健康管理系统设计提供参考。     

基于模型的载人登月飞船系统设计应用探讨

针对载人航天任务设计难度大幅增大和技术状态倍增的问题,采用基于模型的系统工程方法对载人登月飞船系统进行正向设计和应用研究.首先,按照基于模型的系统工程设计思路,从利益相关方和核心业务目标出发,逐项分解出任务需求;通过功能分析对问题域的功能点进行定义,形成系统需求;根据系统需求和飞行器通用功能将功能要求落实到系统组成和内...     

基于模型的民机自动飞行功能分析与设计

描述了民用飞机自动飞行系统基于模型的功能分析与架构设计过程。该研究采用符合现代系统工程理念的模型化设计形式,表明和确认系统功能在各种运行决策、人机交互和外部环境中的变化。它针对系统级功能静态、动态特性进行结构化分析和设计,系统性地研究外部对象、应用用例、功能逻辑、交联时序和状态跳转,在确认模型的合理性后生成逻辑架构与接口,将设计需求进行分配,用于设计实现和软硬件架构。该研究通过对飞行导引、自动推力、自动着陆、机组通告等功能的可用性和完整性进行分析检验,改进了功能需求设计。     

民用飞机系统需求确认研究

本文从系统工程的角度和民机设计的要求出发,主要讨论了民用飞机系统开发过程中需求的确认工作.需求相关工作是系统设计的一个起点,对于后续的工作将会产生巨大的影响.为了降低风险和研发成本,在设计之初首先需要做好系统的需求确认工作,保证需求的正确性和完备性,这样才能保证设计实现的正确性,最终实现项目的成功.本文从适航性的角度出发,着重描述了系统需求确认工作的流程和相关的确认方法.希望通过这篇文章能够为高度综合、复杂的飞机系统设计研制提供必要的支持     

一种基于AADL的航空电子系统仿真和验证技术

飞机系统集成化程度的提高增加了对航空电子系统设计和分析的难度,同时也对安全性需求等系统特性的验证提出了更高的技术要求。对基于结构化分析和设计语言(AADL)的系统建模和仿真流程及相应的评估分析能力进行了介绍,并在基于AADL的航空电子系统建模框架下,提出基于AADL的航空电子系统仿真评估和验证方法,利用结构化分析和设计语言AADL构建航空电子系统典型子系统的正常模型和错误模型,并以此建立系统的扩展模型。在此基础上,利用形式化方法对系统模型进行描述并转化为Kripke结构。最后对系统模型进行模型仿真和特性验证,验证所构建的系统架构和设计逻辑是否符合系统设计特性需求。