CN111191325B - 一种基于SysML的飞机直接机务准备建模方法 - Google Patents

一种基于SysML的飞机直接机务准备建模方法 Download PDF

Info

Publication number
CN111191325B
CN111191325B CN201911354198.2A CN201911354198A CN111191325B CN 111191325 B CN111191325 B CN 111191325B CN 201911354198 A CN201911354198 A CN 201911354198A CN 111191325 B CN111191325 B CN 111191325B
Authority
CN
China
Prior art keywords
aircraft
diagram
jump
direct
state
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Active
Application number
CN201911354198.2A
Other languages
English (en)
Other versions
CN111191325A (zh
Inventor
朱威仁
白茹冰
闫磊
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
AVIC First Aircraft Institute
Original Assignee
AVIC First Aircraft Institute
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by AVIC First Aircraft Institute filed Critical AVIC First Aircraft Institute
Priority to CN201911354198.2A priority Critical patent/CN111191325B/zh
Publication of CN111191325A publication Critical patent/CN111191325A/zh
Application granted granted Critical
Publication of CN111191325B publication Critical patent/CN111191325B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
    • Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
    • Y02T—CLIMATE CHANGE MITIGATION TECHNOLOGIES RELATED TO TRANSPORTATION
    • Y02T90/00—Enabling technologies or technologies with a potential or indirect contribution to GHG emissions mitigation

Landscapes

  • Traffic Control Systems (AREA)

Abstract

本发明属于航空技术，涉及一种基于SysML的飞机直接机务准备建模方法。该方法包括：获取基于SysML的飞机直接机务准备模型；飞机直接机务准备模型包括活动用例图、内部块图、时序图和飞机状态图；按照时序依次在飞机状态图对应的跳转位置触发跳转条件发生；当跳转条件能触发从飞机的当前状态正确的跳转到下一个状态时，确定该跳转条件对应的直接机务准备步骤正确；当跳转条件不能触发从飞机的当前状态正确的跳转到下一个状态时，根据触发条件在活动用例图、内部块图、时序图中查找并改正错误。

Description

一种基于SysML的飞机直接机务准备建模方法
技术领域
本发明属于航空技术，涉及一种基于SysML的飞机直接机务准备建模方法。
背景技术
飞机直接机务准备指的是飞机根据具体的任务规划，在飞行前一段时间内开展的准备工作，主要内容包括进行飞行前检查、补充燃料、滑油、特种液体和气体、根据任务规划进行挂弹等。飞机直接机务准备参与要素多、交互复杂、活动时序有要求，需要进行详细分析和论证，获得满足各项约束的直接机务准备方案。
目前在进行飞机直接机务准备活动分析过程中，大多是基于文本描述的方式来表达飞机直接机务准备过程，难以准确描述清楚直接机务准备过程中的参与要素、要素之间接口关系和交互信息、活动流程时序等内容，也无法通过仿真等手段对分析的活动流程进行建模和验证，严重影响分析效果。
发明内容
发明目的：提供一种基于SysML的飞机直接机务准备建模方法，实现对分析的活动流程进行建模和验证。
本发明提供一种基于SysML的飞机直接机务准备建模方法，包括：
获取基于SysML的飞机直接机务准备模型；飞机直接机务准备模型包括活动用例图、内部块图、时序图和飞机状态图；其中，活动用例图分析描述飞机直接机务准备过程的负责系统和各个参与者之间的联系；内部块图分析描述负责系统的内部结构，以及内部结构与各参与者之间接口交互关系；时序图分析描述飞机直接机务准备过程的各参与者和负责系统之间按时序连接的交互信息；飞机状态图分析描述直接机务准备过程中飞机的状态和跳转条件，其中每一条跳转条件是时序图中相应的交互信息；
按照时序依次在飞机状态图对应的跳转位置触发跳转条件发生；
当跳转条件能触发从飞机的当前状态正确的跳转到下一个状态时，确定该跳转条件对应的直接机务准备步骤正确；
当跳转条件不能触发从飞机的当前状态正确的跳转到下一个状态时，根据触发条件在活动用例图、内部块图、时序图中查找并改正错误。
进一步的，所述方法还包括：
当确定所有的跳转条件对应的直接机务准备步骤都正确时，确定飞机直接机务准备模型得到正确的验证。
进一步的，所述方法还包括：
根据实际的飞机直接机务准备过程，建立活动用例图、内部块图、时序图和飞机状态图。
进一步的，参与者包括飞机、飞行员、地勤人员、任务规划、训练系统。
进一步的，负责系统为保障系统。
进一步的，时序图的建立规则包括：
时序图连线的起始端表示交互的发起者，连线的末端表示交互的响应者，且每一对有交互关系的参与者要在内部块图相应参与者框图中具有接口连接关系。
进一步的，飞机的状态包括飞机的位置状态和飞机的准备阶段。
进一步的，跳转条件不能触发从飞机的当前状态正确的跳转到下一个状态包括未发生跳转，或跳转错误。
发明的优点：本发明通过系统建模语言SysML(System Modeling Language)进行飞机直接机务准备场景建模工作，从基于SysML的活动用例图、内部块图、时序图、状态图去建立飞机直接机务准备场景模型，准确描述直接机务准备过程中的参与要素、要素之间接口关系和交互信息、活动流程时序等内容，并通过状态图的仿真运行对活动模型进行验证。
附图说明
图1为示例的活动用例图；
图2为示例的内部块图；
图3为示例的时序图；
图4为示例的飞机状态图。
具体实现方式
本发明提供一种基于SysML的飞机直接机务准备建模方法，包括：
步骤一：建立活动用例图，分析描述飞机直接机务准备过程的负责系统(一般为保障系统)和参与者(如飞机、飞行员、地勤人员、任务规划、训练系统等)，并将直接机务准备活动和各参与者关联起来，如图1所示。
步骤二：建立内部块图，分析描述负责系统的内部结构，以及内部结构与外部各参与者之间接口交互关系，并连接各接口。如图2所示。
步骤三：建立时序图，分析描述飞机直接机务准备过程的各参与者和系统之间交互关系以及时序关系，按从上到下的顺序表示活动的时序。连线的起始端表示交互的发起者，连线的末端表示交互的响应者，且每一对有交互关系的参与者要在步骤二的内部块图相应参与者框图中有接口连接关系。如图3所示。
步骤四：建立飞机状态图，分析描述直接机务准备过程中飞机的状态和跳转条件，其中每一条跳转条件均为时序图中的交互信息。飞机状态图示例如图4所示。
步骤五：通过运行飞机状态图仿真，手动依次选择跳转条件，对照飞机在直接机务准备中的状态变化。如果飞机的状态跳转顺序符合分析，且没有出现跳转失败情况，说明本次建模得到正确验证。

Claims (8)

1.一种基于SysML的飞机直接机务准备建模方法，其特征在于，包括：
获取基于SysML的飞机直接机务准备模型；飞机直接机务准备模型包括活动用例图、内部块图、时序图和飞机状态图；其中，活动用例图分析描述飞机直接机务准备过程的负责系统和各个参与者之间的联系；内部块图分析描述负责系统的内部结构，以及内部结构与各参与者之间接口交互关系；时序图分析描述飞机直接机务准备过程的各参与者和负责系统之间按时序连接的交互信息；飞机状态图分析描述直接机务准备过程中飞机的状态和跳转条件，其中每一条跳转条件是时序图中相应的交互信息；
按照时序依次在飞机状态图对应的跳转位置触发跳转条件发生；
当跳转条件能触发从飞机的当前状态正确的跳转到下一个状态时，确定该跳转条件对应的直接机务准备步骤正确；
当跳转条件不能触发从飞机的当前状态正确的跳转到下一个状态时，根据触发条件在活动用例图、内部块图、时序图中查找并改正错误。
2.根据权利要求1所述的方法，其特征在于，所述方法还包括：
当确定所有的跳转条件对应的直接机务准备步骤都正确时，确定飞机直接机务准备模型得到正确的验证。
3.根据权利要求1所述的方法，其特征在于，所述方法还包括：
根据实际的飞机直接机务准备过程，建立活动用例图、内部块图、时序图和飞机状态图。
4.根据权利要求3所述的方法，其特征在于，参与者包括飞机、飞行员、地勤人员、任务规划、训练系统。
5.根据权利要求3所述的方法，其特征在于，负责系统为保障系统。
6.根据权利要求3所述的方法，其特征在于，时序图的建立规则包括：
时序图连线的起始端表示交互的发起者，连线的末端表示交互的响应者，且每一对有交互关系的参与者要在内部块图相应参与者框图中具有接口连接关系。
7.根据权利要求1所述的方法，其特征在于，飞机的状态包括飞机的位置状态和飞机的准备阶段。
8.根据权利要求1所述的方法，其特征在于，跳转条件不能触发从飞机的当前状态正确的跳转到下一个状态包括两种情况：1、未发生跳转，2、跳转错误。
CN201911354198.2A 2019-12-24 2019-12-24 一种基于SysML的飞机直接机务准备建模方法 Active CN111191325B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201911354198.2A CN111191325B (zh) 2019-12-24 2019-12-24 一种基于SysML的飞机直接机务准备建模方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201911354198.2A CN111191325B (zh) 2019-12-24 2019-12-24 一种基于SysML的飞机直接机务准备建模方法

Publications (2)

Publication Number Publication Date
CN111191325A CN111191325A (zh) 2020-05-22
CN111191325B true CN111191325B (zh) 2023-06-23

Family

ID=70707486

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201911354198.2A Active CN111191325B (zh) 2019-12-24 2019-12-24 一种基于SysML的飞机直接机务准备建模方法

Country Status (1)

Country Link
CN (1) CN111191325B (zh)

Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN104573182A (zh) * 2014-12-09 2015-04-29 南京航空航天大学 一种用于飞行器多模态控制系统的设计方法
CN110502211A (zh) * 2019-08-02 2019-11-26 中国航空无线电电子研究所 一种基于SysML模块图的AADL模型构造方法

Family Cites Families (17)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
RU2060532C1 (ru) * 1992-03-30 1996-05-20 Гаврилов Константин Львович Система стабилизации курса для транспортного средства
US8805664B1 (en) * 2003-08-11 2014-08-12 The Mathworks, Inc. System and method for simulating branching behavior
CN101986318A (zh) * 2010-11-26 2011-03-16 南京航空航天大学 飞行控制系统概念样机设计方法
US9063672B2 (en) * 2011-07-11 2015-06-23 Honeywell International Inc. Systems and methods for verifying model equivalence
CN104691778A (zh) * 2013-12-09 2015-06-10 成都飞机工业（集团）有限责任公司 无人机快速检测方法
US10650582B2 (en) * 2015-04-14 2020-05-12 ETAK Systems, LLC Systems and methods for closing out maintenance or installation work at a telecommunications site
CN104803009A (zh) * 2015-04-27 2015-07-29 中国航空工业集团公司沈阳飞机设计研究所 一种无人机地面综合检测系统及方法
CN105528418B (zh) * 2015-12-04 2019-06-07 东软集团股份有限公司 一种设计文档生成方法及装置
US10417614B2 (en) * 2016-05-06 2019-09-17 General Electric Company Controlling aircraft operations and aircraft engine components assignment
CN106484972A (zh) * 2016-09-26 2017-03-08 杭州杉石科技有限公司 一种基于uml的系统行为逻辑建模工具
CN108306980A (zh) * 2018-03-06 2018-07-20 北京工业大学 一种机务飞行保障大数据日志分析系统
JP6725733B2 (ja) * 2018-07-31 2020-07-22 ソニーセミコンダクタソリューションズ株式会社 固体撮像装置および電子機器
CN109558116B (zh) * 2018-10-29 2021-09-24 中国航空无线电电子研究所 一种开放式无人机地面站平台无关建模方法
CN109533285B (zh) * 2018-11-07 2022-03-15 中国航空工业集团公司西安飞机设计研究所 一种运动翼面的止动方法
CN110008581B (zh) * 2019-04-02 2020-12-11 北京航空航天大学 一种面向任务仿真的机场地面调度流程建模系统
CN110032200A (zh) * 2019-04-19 2019-07-19 成都飞机工业（集团）有限责任公司 一种试飞成熟度模型的建模方法
CN110135023B (zh) * 2019-04-28 2022-06-28 西北工业大学 民用飞机舱内压力控制系统建模方法

Patent Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN104573182A (zh) * 2014-12-09 2015-04-29 南京航空航天大学 一种用于飞行器多模态控制系统的设计方法
CN110502211A (zh) * 2019-08-02 2019-11-26 中国航空无线电电子研究所 一种基于SysML模块图的AADL模型构造方法

Also Published As

Publication number Publication date
CN111191325A (zh) 2020-05-22

Similar Documents

Publication Publication Date Title
Hollnagel et al. The functional resonance accident model
CN105068444A (zh) 一种通用型无人机数据链仿真系统
CN111191325B (zh) 一种基于SysML的飞机直接机务准备建模方法
Herndon et al. Analysis of advanced flight management systems (FMSS), Flight management computer (FMC) field observations trials: Performance based navigation to X landing system (PBN to xLS)
Barney et al. Simulation of a representative future trajectory-based operations environment
Ryan et al. Development of an agent-based model for aircraft carrier flight deck operations
Babka Flight testing in a simulation based environment
Andrews et al. Using rapid prototypes for early requirements validation
CN112214209A (zh) 一种无人机运行场景中交互信息与任务时序的建模方法
CN112612297A (zh) 一种民机自动飞行控制系统的适航验证系统及验证方法
US8583316B2 (en) Checking of a communication system for an aircraft under development
Matteson Airline experience with reliability-centered maintenance
Torens et al. Software verification considerations for the ARTIS unmanned rotorcraft
Barmore et al. Flight deck-based merging and spacing operations
Herndon et al. Analysis of advanced flight management systems (FMSS), flight management computer (FMC) field observations trials: Standard instrument departure with radius-to-fix (RF) path terminators
Cerulli et al. Aircraft conflict resolution
Scheidt et al. Safe Testing of Autonomy in Complex, Interactive Environments (TACE).
Applegate et al. Integrated safety systems design and human factors considerations for jet transport aeroplanes
O’Connor et al. Pre-study walkthrough with a commercial pilot for a preliminary single pilot operations experiment
Venti et al. Comprehensive Concepts for the Post VIPR Environmental Particulate (EP) FOD Research Activites
Sharma Fully Autonomous Taxi, Take-Off and Landing Aircraft Control System Using Computer Vision for Localization and Collision Avoidance
Winningham et al. Agile systems integration process
Nelson et al. Lessons learned from pilot errors using automated systems in advanced technology aircraft
Berry NASA DC-8 Dual Engine Flameout-Close Call (MIG-11951): CRM Case Study
GÖLE Crew Resource Management (CRM) in Flight Testing of Unmanned Aerial Systems (UAS)

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination
GR01 Patent grant
GR01 Patent grant