CN112612464B - Fadec软件通用基础模型库 - Google Patents

Fadec软件通用基础模型库 Download PDF

Info

Publication number
CN112612464B
CN112612464B CN202011502813.2A CN202011502813A CN112612464B CN 112612464 B CN112612464 B CN 112612464B CN 202011502813 A CN202011502813 A CN 202011502813A CN 112612464 B CN112612464 B CN 112612464B
Authority
CN
China
Prior art keywords
model
module
class
library
model library
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
CN202011502813.2A
Other languages
English (en)
Other versions
CN112612464A (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.)
AECC Aero Engine Control System Institute
Original Assignee
AECC Aero Engine Control System 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 AECC Aero Engine Control System Institute filed Critical AECC Aero Engine Control System Institute
Priority to CN202011502813.2A priority Critical patent/CN112612464B/zh
Publication of CN112612464A publication Critical patent/CN112612464A/zh
Application granted granted Critical
Publication of CN112612464B publication Critical patent/CN112612464B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00Arrangements for software engineering
    • G06F8/30Creation or generation of source code
    • G06F8/35Creation or generation of source code model driven
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/36Preventing errors by testing or debugging software
    • G06F11/362Software debugging
    • G06F11/366Software debugging using diagnostics
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/36Preventing errors by testing or debugging software
    • G06F11/3668Software testing
    • G06F11/3672Test management
    • G06F11/3676Test management for coverage analysis
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00Arrangements for software engineering
    • G06F8/10Requirements analysis; Specification techniques
    • YGENERAL 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
    • Y02TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
    • Y02PCLIMATE CHANGE MITIGATION TECHNOLOGIES IN THE PRODUCTION OR PROCESSING OF GOODS
    • Y02P90/00Enabling technologies with a potential contribution to greenhouse gas [GHG] emissions mitigation
    • Y02P90/30Computing systems specially adapted for manufacturing

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Software Systems (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Stored Programmes (AREA)

Abstract

本发明公开了一种航空发动机FADEC软件通用基础模型库,包括目标识别模块、需求分析模块、模型设计模块、模型测试模块和发布与配置管理模块;目标识别模块对目标进行来源识别和模型分类选择;需求分析模块根据DO‑331标准对模型库的需求和功能进行分析和描述;模型设计模块根据模型库高层需求和模型设计规范进行模型设计;模型测试模块根据DO‑331标准识别模型库开发和验证所需要达到的目标;发布与配置管理模块对模型库进行全生命周期的科学配置管理。本发明可重用、效率高且维护性好,可作为基础模型库支持FADEC软件的高效率和高质量开发。

Description

FADEC软件通用基础模型库
技术领域
本发明涉及一种FADEC软件通用基础模型库,属于航空发动机数控系统控制软件领域。
背景技术
航空发动机全权限数字电子控制(Full Authority Digital ElectronicControl,FADEC)以电子设备与机载软件为核心实现发动机的控制和监视。FADEC控制软件开发难度大、周期长、成本高,同时,由于需求变更频繁、功能不断综合和安全性要求日益严苛等原因,控制软件研制面临的挑战日益严峻。基于模型的软件设计(Model-BasedDesign,MBD)是一种用数字化和可视化的方法来解决问题和设计相关复杂控制的算法,是一种信号处理和通信系统,被广泛应用在动向控制、工业设备、航空航天和汽车应用领域。MBD开发在需求与设计阶段进行验证,提前解决问题;将需求与设计数据由文本化形式转化为模型,降低理解差异引入的误差;自动化设计到编码,省略传统开发过程中代码审查、静态分析等工作。应MBD技术的快速发展,航空无线电技术委员会(Radio TechnicalCommission for Aeronautics,RTCA)也制定了相应的标准,如《对DO-178C和DO-278A的基于模型开发和验证的补充》(即DO-331)。在基于模型的软件开发中,通用的基础模型库是其核心,因而为了推进MBD技术在FADEC中的应用,也是为了提高软件设计的效率和质量,通用模型库的研发是有效途径和必然选择。
发明内容
发明目的:本发明旨在提供一种可重用、效率高、维护性好且经充分验证的FADEC软件通用基础模型库。
技术方案:本发明的一种FADEC软件通用基础模型库,包括目标识别模块、需求分析模块、模型设计模块、模型测试模块和发布与配置管理模块;
所述目标识别模块对目标进行来源识别和模型分类选择;
所述需求分析模块根据DO-331标准对模型库的需求和功能进行分析和描述所述模型设计模块根据模型库高层需求和模型设计规范进行模型设计;
所述模型测试模块根据DO-331标准识别模型库开发和验证所需要达到的目标;
所述发布与配置管理模块对模型库进行全生命周期的科学配置管理。
所述模型分类包括逻辑运算类、数学运算类、滤波类、表决类、故障判断类、插值表类、真值表类和PID计算类。
进一步的,所述逻辑运算类包括上升沿检测模型、下降沿检测模型、Set占优所存模型和滞环模型;所述数学运算类包括取绝对值模型、开平方根模型、计时器模型、范围限制模型、速率限制模型、时间确认模型、前值锁定模型、积分模型、微分模型、增益模型、正弦模型、余弦模型和安全除法模型;所述滤波类包括低通滤波模型和超前滞后校正模型;所述表决类包括二余度开关量输入表决模型和二余度模拟量输入表决模型;所述故障诊断类包括极大值故障诊断模型、极小值故障诊断模型和斜率故障诊断模型;所述插值表类包括一维插值表、二维插值表和三维插值表;所述真值表类包括真值表模型;所述PID计算类包括增量式PI模型、增量式PID模型、位置式PD模型和限幅积分模型。
所述需求分析模块分析生成需求文档、评审报告和问题记录,用以需求的统计评审,以及对出现问题的统计汇总。
进一步的,所述需求分析模块对模型库的分析包括功能输入、功能输出、功能描述、性能要求、容错要求、约束条件和模型符号。
所述模型设计模块还包括对模型设计的说明、模型与高层需求追溯关系的建立和对模型的检查,其中追溯覆盖率达到100%,便于识别并修改其中的问题。
所述模型测试模块对模型进行功能测试和结构测试,将验证用例-模型-高层需求建立追溯关系,生成测试报告和问题报告,确保模型验证的充分性。
进一步的,所述功能测试基于SCADE(Safety-Critical ApplicationDevelopment Environment,安全关键应用程序开发环境)工具的测试环境,通过测试规程和脚本进行模型测试;所述结构检测采用安全等级为A级的MCDC(Modified ConditionDecision Coverage,修正判定条件覆盖)标准对模型库进行验证,要求模型满足MCDC覆盖率100%,并对不满足100%结构覆盖的模型进行偏差分析。
所述全生命周期配置管理方案包括需求管理、开发环境管理和变更管理。
有益效果:与现有技术相比,本发明具有如下显著优点:模型库对模型充分验证、可重用、效率高;追溯覆盖率达到100%,便于识别并修复问题,维护性好;基于此模型库,可提高FADEC软件的质量和研发效率。
附图说明
图1为模型库的工作过程示意图;
图2为状态确认与恢复模型设计图;
图3为CC配置管理工具中模型库配置管理示意图。
具体实施方式
下面结合附图对本发明的技术方案作进一步说明。
如附图1所示,本发明所述FADEC软件通用基础模型库,包括目标识别模块、需求分析模块、模型设计模块、模型测试模块和发布与配置管理模块。对应其工作包括目标识别和模型库需求分析、模型库设计、模型库验证和模型全生命周期管理。
在目标识别和模型库需求分析中,本模型库对民用航空发动机控制软件的特点进行梳理和提取,识别并定义了逻辑运算类、数学运算类、滤波类、表决类、故障判断类、插值表类、真值表类和PID计算类八类模型库。
其中,逻辑运算类包括上升沿检测模型、下降沿检测模型、Set占优所存模型和滞环模型;数学运算类包括取绝对值模型、开平方根模型、计时器模型、范围限制模型、速率限制模型、时间确认模型、前值锁定模型、积分模型、微分模型、增益模型、正弦模型、余弦模型和安全除法模型;滤波类包括低通滤波模型和超前滞后校正模型;表决类包括二余度开关量输入表决模型和二余度模拟量输入表决模型;故障诊断类包括极大值故障诊断模型、极小值故障诊断模型和斜率故障诊断模型;插值表类包括一维插值表、二维插值表和三维插值表;所述真值表类包括真值表模型;PID计算类包括增量式PI模型、增量式PID模型、位置式PD模型和限幅积分模型。
而后,根据DO-331标准,从接口、功能、性能等方面对通用基础模型的功能进行功能分析。对模型库的需求分析和描述采用七元素分析法,即功能输入、功能输出、功能描述、性能要求、容错要求、约束条件和模型符号七项元素,形成FADEC软件通用基础模型库的高层需求规格说明,作为下一步模型库设计和验证的依据。
如图2所示,为状态确认与恢复模型的设计图,对此实施例模型的需求分析如下:
功能输入:
符号 含义 数据类型 单位
Set 置位标志 布尔型
Clear 清楚标志 布尔型
SetPeriod 置位确认周期 32位有符号整形
ClearPeriod 清除确认周期 32位有符号整形
功能输出:
符号 含义 数据类型 单位
Status 确认后的状态 布尔型
功能描述:
【Slib.SRS.492】当前状态Status为假时,若Set标志连续SerPeriod个周期为真,置Status为真。
当前状态Status为真时,若Clear标志连续ClearPeriod个周期为,置Status为假。
性能要求:
无。
容错要求:
约束条件:
【Slib.SRS.498】Status的初值为假。
模型符号:
【Slib.SRS.500】Slib_ConfirmRestore。
根据模型库需求分析得到的模型库高层需求和模型设计规范,在SCADE中进行模型库的设计,并建立模型与高层需求的追溯关系,实现设计模型与高层需求的追溯覆盖率达到100%。
模型设计完成后,使用SCADE的建模检查器对模型进行检查,识别并修改其中的问题。此过程根据DO-331标准、模型库高层需求以及FADEC软件验证规范对设计模型进行验证,分为功能测试和结构测试。依据编写的测试规程和脚本,基于SCADE的测试环境进行模型功能测试,在结构测试方面采用安全等级为A级的MCDC(修正判定条件覆盖)标准,对模型库进行验证,且最后要求模型满足MCDC覆盖率达到100%。
通过基于高层需求的功能测试、MCDC覆盖率100%的结构测试和验证用例与需求之间的100%追溯,进一步确保模型验证的充分性。
如图3所示为CC配置管理工具中的模型库配置管理示意图,图中Slib_vob为CC中的模型库资源池,XXX项目_vob为其他项目资源池。Slib_vob作为独立的资源池进行配置管理,当其他项目需要使用该模型库时,通过CC配置工具对Slib_vob的资源通过分支引用的方式进行资源引用。
在软件的设计和使用过程中,模型库作为项目的一个独立组件导入设计工程中,并具有只读属性,避免误操作对模型库造成的修改影响整体的操作和设计工作。在发布与配置模块中,制定了模型库的全生命周期配置管理方案,包括需求管理、开发环境和变更管理,对模型库进行全生命周期的科学配置管理。
目前,基于本申请所述FADEC软件通用基础模型库已有效支撑开发研制了多个FADEC软件,在实践中充分验证了其效率高、维护性好等有益效果。

Claims (7)

1.一种FADEC软件通用基础模型库系统,其特征在于,包括目标识别模块、需求分析模块、模型设计模块、模型测试模块和发布与配置管理模块;
所述目标识别模块对目标进行来源识别和模型分类选择;
所述需求分析模块根据DO-331标准对模型库的需求和功能进行分析和描述;
所述模型设计模块根据模型库高层需求和模型设计规范进行模型设计;
所述模型测试模块根据DO-331标准识别模型库开发和验证所需要达到的目标;
所述发布与配置管理模块对模型库进行全生命周期的科学配置管理;
所述模型分类包括逻辑运算类、数学运算类、滤波类、表决类、故障诊断类、插值表类、真值表类和PID计算类;
所述逻辑运算类包括上升沿检测模型、下降沿检测模型、Set占优所存模型和滞环模型;所述数学运算类包括取绝对值模型、开平方根模型、计时器模型、范围限制模型、速率限制模型、时间确认模型、前值锁定模型、积分模型、微分模型、增益模型、正弦模型、余弦模型和安全除法模型;所述滤波类包括低通滤波模型和超前滞后校正模型;所述表决类包括二余度开关量输入表决模型和二余度模拟量输入表决模型;所述故障诊断类包括极大值故障诊断模型、极小值故障诊断模型和斜率故障诊断模型;所述插值表类包括一维插值表、二维插值表和三维插值表;所述真值表类包括真值表模型;所述PID计算类包括增量式PI模型、增量式PID模型、位置式PD模型和限幅积分模型。
2.根据权利要求1所述的FADEC软件通用基础模型库系统,其特征在于,所述需求分析模块分析生成需求文档、评审报告和问题记录。
3.根据权利要求1所述的FADEC软件通用基础模型库系统,其特征在于,所述需求分析模块对模型库的分析包括功能输入、功能输出、功能描述、性能要求、容错要求、约束条件和模型符号。
4.根据权利要求1所述的FADEC软件通用基础模型库系统,其特征在于,所述模型设计模块还包括对模型设计的说明、模型与高层需求追溯关系的建立和对模型的检查,其中追溯覆盖率达到100%。
5.根据权利要求1所述的FADEC软件通用基础模型库系统,其特征在于,所述模型测试模块对模型进行功能测试和结构测试,将验证用例-模型-高层需求建立追溯关系,生成测试报告和问题报告。
6.根据权利要求5所述的FADEC软件通用基础模型库系统,其特征在于,所述功能测试基于SCADE(Safety-Critical Application Development Environment)工具的测试环境,通过测试规程和脚本进行模型测试;所述结构检测采用安全等级为A级的MCDC(修正判定条件覆盖)标准对模型库进行验证,要求模型满足MCDC覆盖率100%,并对不满足100%结构覆盖的模型进行偏差分析。
7.根据权利要求1所述的FADEC软件通用基础模型库系统,其特征在于,所述全生命周期配置管理方案包括需求管理、开发环境管理和变更管理。
CN202011502813.2A 2020-12-18 2020-12-18 Fadec软件通用基础模型库 Active CN112612464B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN202011502813.2A CN112612464B (zh) 2020-12-18 2020-12-18 Fadec软件通用基础模型库

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202011502813.2A CN112612464B (zh) 2020-12-18 2020-12-18 Fadec软件通用基础模型库

Publications (2)

Publication Number Publication Date
CN112612464A CN112612464A (zh) 2021-04-06
CN112612464B true CN112612464B (zh) 2023-10-31

Family

ID=75240489

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202011502813.2A Active CN112612464B (zh) 2020-12-18 2020-12-18 Fadec软件通用基础模型库

Country Status (1)

Country Link
CN (1) CN112612464B (zh)

Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN105677332A (zh) * 2015-12-30 2016-06-15 上海玖镕信息科技有限公司 软件开发需求管理系统
CN106354642A (zh) * 2016-08-29 2017-01-25 中国航空工业集团公司西安飞机设计研究所 一种机载中央维护系统软件测试方法及系统
CN108089976A (zh) * 2017-11-22 2018-05-29 中国航空工业集团公司西安飞机设计研究所 一种构建飞行管理系统软件虚拟测试环境的方法
CN110058846A (zh) * 2019-04-19 2019-07-26 深圳市康拓普信息技术有限公司 一种业务应用软件开发系统和方法

Family Cites Families (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6605948B2 (en) * 2001-07-27 2003-08-12 United Technologies Corporation Test system for a gas turbine engine control programming plug

Patent Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN105677332A (zh) * 2015-12-30 2016-06-15 上海玖镕信息科技有限公司 软件开发需求管理系统
CN106354642A (zh) * 2016-08-29 2017-01-25 中国航空工业集团公司西安飞机设计研究所 一种机载中央维护系统软件测试方法及系统
CN108089976A (zh) * 2017-11-22 2018-05-29 中国航空工业集团公司西安飞机设计研究所 一种构建飞行管理系统软件虚拟测试环境的方法
CN110058846A (zh) * 2019-04-19 2019-07-26 深圳市康拓普信息技术有限公司 一种业务应用软件开发系统和方法

Non-Patent Citations (6)

* Cited by examiner, † Cited by third party
Title
Model based Verification and Validation of Digital Controller Performance of a Developmental Aero Gas Turbine Engine;Vivekanand Sanjawadmath等;《2017 Second International Conference on Electrical, Computer and Communication Technologies (ICECCT)》;第3390-3393页 *
SCADE在航空发动机FADEC软件开发中的应用;方伟;周彰毅;;航空发动机(05);全文 *
基于SCADE的航空发动机FADEC软件开发;周彰毅;黄浩;方伟;朱理化;;测控技术(01);第110-115页 *
基于模型的FADEC软件结构覆盖率分析;赵飞;张杰;;航空计算技术(02);全文 *
基于模型的商用发动机机载软件开发方法;刘富荣;;自动化仪表(06);全文 *
基于模型的软件设计标准和指南研究;张丹涛等;《2016第五届民用飞机航电系统国际论坛论文集》;第59-63页 *

Also Published As

Publication number Publication date
CN112612464A (zh) 2021-04-06

Similar Documents

Publication Publication Date Title
CN109063362B (zh) 航电软件接口控制文件设计管理系统
CN102253877A (zh) 一种机载系统数字化设计验证系统及方法
CN111931340A (zh) 一种公差管理系统及管理方法
CN112346987A (zh) 基于Xmind的测试用例生成转换方法及系统
CN108469778A (zh) 一种伺服控制mbd开发平台
CN107193249A (zh) 程序开发辅助装置以及程序开发辅助方法
CN112612464B (zh) Fadec软件通用基础模型库
CN104657554A (zh) 一种火箭三维模型设计信息快速提取系统
CN117451115B (zh) 一种用于分拣输送系统的实时状态监测方法
Ma et al. Efficient and effective dimension control in automotive applications
CN108255697B (zh) 基于smt的车载控制器软件半形式化需求验证系统及方法
CN105138612A (zh) 数据一致性差异原因的分析和定位的方法及系统
US20200184120A1 (en) Systems and methods for transferring product manufacturing information (pmi) between models
CN113075911B (zh) 核电厂安全级数字化仪控系统软件自动验证方法和系统
Zeller et al. INSiDER: Incorporation of system and safety analysis models using a dedicated reference model
CN113076622B (zh) Fmu仿真模型规范性分析与校验系统及方法
CN107885607B (zh) 一种基于嵌入式系统软件多视图事故模型的建模方法
Li et al. Board-level Functional Test Selection Based on Fault Tree Analysis
CN112364416B (zh) 核电站门表的设计方法及系统
CN113821881A (zh) 一种大型水陆两栖飞机铁鸟试验台结构安装协调数据构建方法
Viljoen et al. A life cycle model for the development of airborne electronic equipment
CN104764455B (zh) 一种导航电子地图数据处理方法及装置
CN112988145A (zh) 生成航空发动机软件架构的方法及航空发动机控制装置
CN102566489B (zh) 一种数控系统解释器的开放式模块化构造方法
CN114491807B (zh) 基于卫星舱板结构的壳体仿真模型快速提取方法和系统

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