【技术实现步骤摘要】
本申请属于基于模型的系统工程、信息化，特别涉及一种面向飞机的功能逻辑模型建模方法及系统。
技术介绍
1、作为一种复杂系统，飞机需要多种、多层级复杂系统协同运行来实现基础功能及作战功能。在飞机全生命周期研制过程中，飞机功能逻辑描述是指将利益攸关者所期望的能力转换为满足用户或上级系统使用需要的技术要求。目前，现有的飞机功能逻辑描述方法和手段主要通过技术协调单、visio图等方式，无法直观、清晰、完整描述飞机在各种用例场景下的系统运行逻辑，存在歧义性强、系统功能需求与接口需求描述不完整、无法验证系统运行逻辑合理性和正确性等问题。
技术实现思路
1、为了解决上述问题，本申请提供了一种面向飞机的功能逻辑模型建模方法，包括：
2、按照飞机运行场景，划分用例，所述用例包括一个或多个功能，并定义飞机各用例下外部参与者；
3、从黑盒视角，定义实现每个所述功能的活动流，并绘制黑盒活动图，所述活动流包括多个顺序关联的活动，确定每个活动的参与者，以及
4、基于所述活动捕获所述功
<本文档来自技高网...【技术保护点】
1.一种面向飞机的功能逻辑模型建模方法，其特征在于，包括：
2.如权利要求1所述的面向飞机的功能逻辑模型建模方法，其特征在于，在将所述飞机黑盒接口需求补充至飞机需求规范中之后，进行飞机状态分析与验证。
3.如权利要求2所述的面向飞机的功能逻辑模型建模方法，其特征在于，飞机状态分析与验证包括：绘制飞机状态图，包括定义系统的状态及依赖于状态的行为、分析系统状态之间的转换及伴随转换的行为，验证黑盒顺序图运行逻辑的正确性。
4.如权利要求1所述的面向飞机的功能逻辑模型建模方法，其特征在于，在将所述飞机白盒接口需求补充至飞机需求规范中后，进行...
【技术特征摘要】
1.一种面向飞机的功能逻辑模型建模方法，其特征在于，包括：
2.如权利要求1所述的面向飞机的功能逻辑模型建模方法，其特征在于，在将所述飞机黑盒接口需求补充至飞机需求规范中之后，进行飞机状态分析与验证。
3.如权利要求2所述的面向飞机的功能逻辑模型建模方法，其特征在于，飞机状态分析与验证包括：绘制飞机状态图，包括定义系统的状态及依赖于状态的行为、分析系统状态之间的转换及伴随转换的行为，验证黑盒顺序图运行逻辑的正确性。
4.如权利要求1所述的面向飞机的功...
【专利技术属性】
技术研发人员：李矿，戴征征，孙志彬，
申请(专利权)人：中国航空工业集团公司沈阳飞机设计研究所，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。