CN107168297B - 一种飞行控制计算机的可靠性验证方法及平台 - Google Patents

一种飞行控制计算机的可靠性验证方法及平台 Download PDF

Info

Publication number
CN107168297B
CN107168297B CN201710532138.XA CN201710532138A CN107168297B CN 107168297 B CN107168297 B CN 107168297B CN 201710532138 A CN201710532138 A CN 201710532138A CN 107168297 B CN107168297 B CN 107168297B
Authority
CN
China
Prior art keywords
module
failure
control computer
flight
computer
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.)
Expired - Fee Related
Application number
CN201710532138.XA
Other languages
English (en)
Other versions
CN107168297A (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.)
University of Electronic Science and Technology of China
Original Assignee
University of Electronic Science and Technology of China
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 University of Electronic Science and Technology of China filed Critical University of Electronic Science and Technology of China
Priority to CN201710532138.XA priority Critical patent/CN107168297B/zh
Publication of CN107168297A publication Critical patent/CN107168297A/zh
Application granted granted Critical
Publication of CN107168297B publication Critical patent/CN107168297B/zh
Expired - Fee Related legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Classifications

    • GPHYSICS
    • G05CONTROLLING; REGULATING
    • G05BCONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B23/00Testing or monitoring of control systems or parts thereof
    • G05B23/02Electric testing or monitoring
    • G05B23/0205Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults
    • G05B23/0208Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults characterized by the configuration of the monitoring system
    • G05B23/0213Modular or universal configuration of the monitoring system, e.g. monitoring system having modules that may be combined to build monitoring program; monitoring system that can be applied to legacy systems; adaptable monitoring system; using different communication protocols
    • GPHYSICS
    • G05CONTROLLING; REGULATING
    • G05BCONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B2219/00Program-control systems
    • G05B2219/20Pc systems
    • G05B2219/24Pc safety
    • G05B2219/24065Real time diagnostics

Landscapes

  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Engineering & Computer Science (AREA)
  • Automation & Control Theory (AREA)
  • Test And Diagnosis Of Digital Computers (AREA)

Abstract

本发明属于航空无人机飞行控制计算机可靠性领域,具体涉及一种飞行控制计算机的可靠性验证方法及平台。本发明结合虚拟飞行控制计算机系统实现了一种能在虚拟平台上对飞行控制计算机进行可靠性分析的方法。本发明借助虚拟平台的特点使用全面故障注入的方式,得到系统故障树。通过故障树底事件的概率分布模型,得到系统以及各个功能模块失效的概率及分布模型,即得到虚拟飞行控制计算机各功能模块以及整体的可靠性,实现对飞行控制计算机可靠性的有效分析。

Description

一种飞行控制计算机的可靠性验证方法及平台
技术领域
本发明属于航空无人机飞行控制计算机可靠性领域,具体涉及一种飞行控制计算机的可靠性验证方法及平台。
技术背景
飞行控制计算机是飞机的核心部件,由于运行环境恶劣,它对安全性和可靠性有着较高的要求。与此同时,飞行控制计算机的开发过程具有开发周期长,开发难度大的特点。在开发过程中,若设计不能满足可靠性的需求,后期进行优化或修改将耗费巨大的成本和精力。
飞行控制计算机性能的好坏主要依赖于系统多个层次的容错机制的设计,在可靠性评测中,最重要的评测内容是对容错机制的可靠性验证测试。目前,在飞行控制计算机可靠性分析领域上,常用的研究方法有测试法,模型分析法,故障注入法。其中,故障注入法是一种加速系统故障来分析系统可靠性的方法,相比于测试法以及解析模型分析方法,故障注入法是一种更为有效的评价系统可靠性的方法。常用的故障注入方法有硬件故障注入方法,软件故障注入方法,仿真故障注入方法。硬件故障注入法是使用物理手段将故障注入到目标系统硬件中,但这种方法试验装置昂贵,容易损毁目标系统。软件故障注入法则通过修改目标系统内存单元或处理器内部寄存器值来模拟硬件故障但会对目标系统的运行环境,占用空间等造成影响。仿真故障注入的方法则通常为使用硬件描述语言建立硬件仿真模型,在内部实现故障注入单元来实现故障注入,但受限于故障模型,对于复杂系统实现困难。
考虑到现有的可靠性分析方法的不足,基于虚拟平台的可靠性分析法开始得到重视。虚拟飞行控制计算机是一种使用虚拟机技术来模拟飞行控制计算机系统设备和环境的一种全数字仿真平台,通过对飞行控制计算机硬件物理结构的模拟及应用软件提供一种与真实硬件环境相同的工作环境。在此平台上能完成飞行控制计算机所需要进行的各种测试和试验。
基于虚拟飞行控制计算机可靠性分析法克服了软硬件故障注入的所有不足,可以在不同的抽象层次上进行仿真,允许不同的故障模式。可以以非入侵式的方法实现故障注入,从目标系统的角度来说,故障的发生具有即时性,透明性的特点,能够实现目标系统和故障注入机制的可观测,可控性。基于虚拟飞行控制计算机的可靠性分析方法适用于飞行控制计算机开发的各个阶段。但现有的基于虚拟飞行控制计算机可靠性分析方法仅仅停留在故障注入,结果查询的状态,并未实现对系统整体可靠性的分析。
因此,现有技术缺乏一种利用虚拟飞行控制计算机平台实现飞行控制计算机可靠性的有效分析方法。
发明内容
本发明的目的在于,提供一种对飞行控制计算机进行可靠性有效分析的飞行控制计算机可靠性验证方法及平台。
为解决上述技术问题,本发明提供的技术方案是,一种飞行控制计算机系统的可靠性验证方法,包括如下步骤:
一、模型的建立:
运用模拟器模拟搭建多个虚拟飞行控制计算机,虚拟飞行控制计算机与需要验证可靠性的真实飞行控制计算机各硬件一致,虚拟飞行控制计算机还包括通道故障逻辑模块和通信模块,飞行控制计算机的功能模块上包括故障注入单元、监控单元;
二、故障注入平台可靠性分析:
建立对应数据组中故障所有组合形式的失效概率分布模型并保存至数据库,故障注入可靠性分析平台执行参数初始化,与虚拟飞行控制计算机建立网络连接;
步骤1)控制模块发送复位信号至虚拟飞行控制计算机,计算机接收复位信号后执行软硬件复位;
步骤2)控制模块对数据组中的故障进行组合,形成故障注入单元所要注入的组合故障,故障注入模块生成故障注入指令发送至故障注入单元,故障注入单元根据指令对虚拟飞行控制计算机进行组合故障注入,组合故障注入持续到所有监控单元监控组合故障注入成功,通道故障逻辑模块将飞行控制计算机所有功能模块及飞行计算机整体的故障状态发送至状态监控模块,组合故障注入完成之后,以组合故障、产生的飞行控制计算机功能模块失效和飞行控制计算机整体失效为一组数据记录在数据库中;
步骤3)若所有组合形式的组合故障注入完毕则转至步骤4),否则转至步骤1);
步骤4)可靠性分析模块建立各飞行控制计算机故障树,以组合故障作为基本事件,飞行控制计算机产生的功能模块失效为顶事件,建立功能模块失效故障树并得到其逻辑表达式;以组合故障作为基本事件,飞行控制计算机失效为顶事件,建立飞行控制计算机失效故障树并得到其逻辑表达式;
步骤5)可靠性分析模块将数据库中组合故障的失效概率分布模型带入功能模块失效故障树的逻辑表达式中,得到各功能模块失效的概率分布模型;将组合故障的失效概率分布模型带入飞行控制计算机失效故障树的逻辑表达式,得到各飞行控制计算机失效的概率分布模型;将各飞行控制计算机失效的概率分布模型相乘,得到整个飞行控制系统失效的概率分布模型;各模块及计算机失效概率分布模型验证完毕,飞行控制计算机可靠性分析完成。
在模型的建立中,采用多个多核计算机运行模拟器实现多个虚拟飞行控制计算机分布式搭建,可有效提高系统实时性。
实现上述基于虚拟飞行控制计算机系统的可靠性验证方法的系统包括:
与真实飞行控制计算机各硬件完全一致的多余度虚拟飞行控制计算机,虚拟飞行控制计算机还包括通道故障逻辑模块、通信模块1,虚拟飞行控制计算机的功能模块上包括故障注入单元、监控单元;
通道故障逻辑模块,用于监控虚拟飞行控制计算机以及各功能模块的故障状态,并将故障状态数据发送;
通信模块1,用于虚拟飞行控制计算机和故障注入可靠性分析平台的通信;
故障注入单元,用于根据故障注入指令实现故障的注入;
监控单元,用于监控故障注入是否成功;
故障注入可靠性分析平台,包括故障注入模块,状态监控模块,可靠性分析模块,控制模块,通信模块2:
故障注入模块,用于生成故障注入指令并发送;
状态监控模块,用于接收虚拟飞行控制计算机以及各功能模块的故障状态数据,并记录注入故障及故障状态数据至数据库中;
可靠性分析模块,用于根据注入故障及故障状态数据,建立功能模块失效故障树及飞行控制计算机失效故障树;根据组合故障的概率分布模型计算各功能模块、飞行控制计算机以及整个飞行控制系统的失效概率模型;
控制模块,用于各模块运行的逻辑控制,组合故障的形成;
通信模块2,实现虚拟飞行控制计算机和故障注入可靠性分析平台的通信。
本发明的有益效果是,本发明结合虚拟飞行控制计算机系统实现了一种能在虚拟平台上对飞行控制计算机进行可靠性分析的方法。本发明借助虚拟平台的特点使用全面故障注入的方式,得到系统故障树。通过故障树底事件的概率分布模型,得到系统以及各个功能模块失效的概率及分布模型,即得到虚拟飞行控制计算机各功能模块以及整体的可靠性,实现对飞行控制计算机可靠性的有效分析。
附图说明
图1是单个飞行控制计算机结构图;
图2是故障注入可靠性分析平台结构图;
图3是本专利提供的飞行控制计算机可靠性验证平台整体结构图;
图4是本专利提供的飞行控制计算机可靠性验证方法流程图。
具体实施方式
下面结合附图和实例对本发明进行进一步说明:
实施例1
本实施例提供的飞行控制计算机可靠性验证方法,包括如下步骤:
一、模型的建立
利用qemu模拟器进行真实飞行计算机的模拟搭建,搭建过程中飞行控制计算机的各功能模块以单独线程方式实现,各飞行计算机之间采用数据分发服务DDS中间件的方法进行通信;
虚拟飞行控制计算机还包括故障注入模块和通信模块,飞行控制计算机功能模块还包括故障注入单元,监控单元;飞行控制计算机结构图如图1所示;
二、故障注入平台可靠性分析:
建立与数据组中故障的所有组合形式所对应的失效模型并保存至数据库,故障注入可靠性分析平台执行参数初始化,与虚拟飞行控制计算机建立网络连接;虚拟飞行控制计算机与故障注入可靠性平台采用Socket机制进行通信,通信协议为TCP;
步骤1)控制模块发送复位信号至虚拟飞行控制计算机,计算机接收复位信号后执行软硬件复位;
步骤2)故障注入模块发送故障注入指令至故障注入单元,故障注入单元根据指令对虚拟飞行控制计算机进行故障注入,故障注入持续到所有监控单元监控故障注入成功,监控单元通过调用模拟器所提供的API实现对所有寄存器的读取,实现对飞行控制计算机功能模块状态的实时获取;通道故障逻辑模块将飞行控制计算机所有功能模块及飞行计算机整体的故障状态发送至状态监控模块,组合故障注入完成之后,以组合故障、产生的飞行控制计算机功能模块失效和飞行控制计算机整体失效为一组数据记录在数据库中;
步骤3)所有组合形式的组合故障注入完毕则转至步骤4),否则转至步骤1);
步骤4)可靠性分析模块建立各飞行控制计算机故障树,以注入的组合故障作为基本事件,飞行控制计算机产生的功能模块失效为顶事件,建立功能模块失效故障树并得到其逻辑表达式;以注入的组合故障作为基本事件,飞行控制计算机失效为顶事件,建立飞行控制计算机失效故障树并得到其逻辑表达式;
步骤5)将数据库中基本事件的失效概率分布模型带入功能模块失效故障树的逻辑表达式中,得到各功能模块失效的概率分布模型;将数据库中基本事件的失效概率分布模型带入飞行控制计算机失效故障树的逻辑表达式,得到各飞行控制计算机失效的概率分布模型;将各飞行控制计算机失效的概率分布模型相乘,得到整个飞行控制系统失效的概率分布模型;各模块及计算机失效概率分布模型验证完毕,虚拟飞行控制计算机可靠性分析完成。
实现实施例1的飞行控制计算机可靠性验证方法的平台,包括:
与真实飞行控制计算机各硬件完全一致的多余度虚拟飞行控制计算机,虚拟飞行控制计算机还包括通道故障逻辑模块、通信模块1,虚拟飞行控制计算机的功能模块上包括故障注入单元、监控单元;
通道故障逻辑模块,用于监控虚拟飞行控制计算机以及各功能模块的故障状态,并将故障状态数据发送;
通信模块1,用于虚拟飞行控制计算机和故障注入可靠性分析平台的通信;
故障注入单元,用于根据故障注入指令实现故障的注入;
监控单元,用于监控故障注入是否成功;
故障注入可靠性分析平台,包括故障注入模块,状态监控模块,可靠性分析模块,控制模块,通信模块2:
故障注入模块,用于生成故障注入指令并发送;
状态监控模块,用于接收虚拟飞行控制计算机以及各功能模块的故障状态数据,并记录注入故障及故障状态数据至数据库中;
可靠性分析模块,用于根据注入故障及故障状态数据,建立功能模块失效故障树及飞行控制计算机失效故障树;根据基本事件的概率分布模型计算各功能模块、飞行控制计算机以及整个飞行控制系统的失效概率模型;
控制模块,用于各模块运行的逻辑控制及组合故障的形成;
通信模块2,实现虚拟飞行控制计算机和故障注入可靠性分析平台的通信。

Claims (3)

1.一种飞行控制计算机系统的可靠性验证方法,其特征在于,包括如下步骤:
一、模型的建立:
运用模拟器模拟搭建多个虚拟飞行控制计算机,虚拟飞行控制计算机与需要验证可靠性的真实飞行控制计算机各硬件一致,虚拟飞行控制计算机还包括通道故障逻辑模块和通信模块1,虚拟飞行控制计算机的功能模块上包括故障注入单元、监控单元;
二、故障注入平台可靠性分析:
故障注入平台包括:控制模块、故障注入模块、状态监控模块、可靠性分析模块;
建立对应数据组中故障所有组合形式的失效概率分布模型并保存至数据库,故障注入可靠性分析平台执行参数初始化,与虚拟飞行控制计算机建立网络连接;
步骤1)控制模块发送复位信号至虚拟飞行控制计算机,计算机接收复位信号后执行软硬件复位;
步骤2)控制模块对数据组中的故障进行组合,形成故障注入单元所要注入的组合故障,故障注入模块生成故障注入指令发送至故障注入单元,故障注入单元根据指令对虚拟飞行控制计算机进行组合故障注入,组合故障注入持续到所有监控单元监控组合故障注入成功,通道故障逻辑模块将虚拟飞行控制计算机所有功能模块及虚拟飞行计算机整体的故障状态发送至状态监控模块,组合故障注入完成之后,以组合故障、产生的虚拟飞行控制计算机功能模块失效和虚拟飞行控制计算机整体失效为一组数据记录在数据库中;
步骤3)若所有组合形式的组合故障注入完毕则转至步骤4),否则转至步骤1);
步骤4)可靠性分析模块建立各虚拟飞行控制计算机故障树,以组合故障作为基本事件,虚拟飞行控制计算机产生的功能模块失效为顶事件,建立功能模块失效故障树并得到其逻辑表达式;以组合故障作为基本事件,虚拟飞行控制计算机失效为顶事件,建立虚拟飞行控制计算机失效故障树并得到其逻辑表达式;
步骤5)可靠性分析模块将数据库中组合故障的失效概率分布模型带入功能模块失效故障树的逻辑表达式中,得到各功能模块失效的概率分布模型;将组合故障的失效概率分布模型带入虚拟飞行控制计算机失效故障树的逻辑表达式,得到各虚拟飞行控制计算机失效的概率分布模型;将各虚拟飞行控制计算机的失效概率分布模型相乘,得到整个虚拟飞行控制系统失效概率分布模型;各模块及计算机失效概率分布模型验证完毕,虚拟飞行控制计算机可靠性分析完成。
2.如权利要求1所述的飞行控制计算机系统的可靠性验证方法,其特征在于,模型搭建中,采用多个多核计算机运行模拟器分布式搭建多个虚拟飞行控制计算机。
3.一种实现权利要求1所述的飞行控制计算机系统的可靠性验证方法的平台,其特征在于,包括:
多余度虚拟飞行控制计算机,虚拟飞行控制计算机还包括通道故障逻辑模块、通信模块1,虚拟飞行控制计算机的功能模块上包括故障注入单元、监控单元;
通道故障逻辑模块,用于监控虚拟飞行控制计算机以及各功能模块的故障状态,并将故障状态数据发送;
通信模块1,用于虚拟飞行控制计算机和故障注入可靠性分析平台的通信;
故障注入单元,用于根据故障注入指令实现故障的注入;
监控单元,用于监控故障注入是否成功;
故障注入可靠性分析平台,包括故障注入模块,状态监控模块,可靠性分析模块,控制模块,通信模块2:
故障注入模块,用于生成故障注入指令并发送;
状态监控模块,用于接收虚拟飞行控制计算机以及各功能模块的故障状态数据,并记录注入故障及故障状态数据至数据库中;
可靠性分析模块,用于根据注入故障及故障状态数据,建立功能模块失效故障树及虚拟飞行控制计算机失效故障树;根据组合故障的失效概率分布模型计算各功能模块、虚拟飞行控制计算机以及整个虚拟飞行控制系统的失效概率模型;
控制模块,用于各模块运行的逻辑控制,组合故障的形成;
通信模块2,实现虚拟飞行控制计算机和故障注入可靠性分析平台的通信。
CN201710532138.XA 2017-07-03 2017-07-03 一种飞行控制计算机的可靠性验证方法及平台 Expired - Fee Related CN107168297B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201710532138.XA CN107168297B (zh) 2017-07-03 2017-07-03 一种飞行控制计算机的可靠性验证方法及平台

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201710532138.XA CN107168297B (zh) 2017-07-03 2017-07-03 一种飞行控制计算机的可靠性验证方法及平台

Publications (2)

Publication Number Publication Date
CN107168297A CN107168297A (zh) 2017-09-15
CN107168297B true CN107168297B (zh) 2019-08-13

Family

ID=59828122

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201710532138.XA Expired - Fee Related CN107168297B (zh) 2017-07-03 2017-07-03 一种飞行控制计算机的可靠性验证方法及平台

Country Status (1)

Country Link
CN (1) CN107168297B (zh)

Families Citing this family (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO2019227330A1 (zh) * 2018-05-30 2019-12-05 深圳市大疆创新科技有限公司 一种无人机的仿真方法及装置
CN109491812B (zh) * 2018-10-11 2022-01-04 西北工业大学 基于区间模型的系统局部可靠性灵敏度分析方法
CN111176310B (zh) * 2019-12-31 2020-09-08 北京星际荣耀空间科技有限公司 一种运载火箭姿态控制系统的测试方法、装置及系统
CN117492383B (zh) * 2024-01-03 2024-04-05 中南大学 一种基于半实物仿真的无人机自动化测试系统及方法

Family Cites Families (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP3417496B2 (ja) * 1994-03-29 2003-06-16 富士重工業株式会社 故障診断装置
CN104699068A (zh) * 2013-12-04 2015-06-10 贵州航空发动机研究所 航空发动机通用仿真器
CN104809935A (zh) * 2015-05-13 2015-07-29 中国航空工业集团公司沈阳飞机设计研究所 一种无人机特情故障模拟训练方法及其系统
CN105626271B (zh) * 2015-12-29 2018-07-13 中国航空工业集团公司沈阳发动机设计研究所 一种航空发动机控制系统组合故障逻辑处理方法
CN105717912B (zh) * 2016-01-27 2018-08-24 西北工业大学 一种基于模糊动态故障树的机电作动器可靠性分析方法
CN106649909B (zh) * 2016-08-29 2020-04-03 成都飞机工业(集团)有限责任公司 一种双余度补偿式尾翼舵面故障状态控制方法

Also Published As

Publication number Publication date
CN107168297A (zh) 2017-09-15

Similar Documents

Publication Publication Date Title
CN107168297B (zh) 一种飞行控制计算机的可靠性验证方法及平台
CN106292336B (zh) 基于嵌入式VxWorks的卫星姿轨控系统的故障模拟系统及方法
CN105974905B (zh) 面向航空数据总线单粒子翻转故障的仿真测试系统及方法
CN105738854B (zh) 智能电表嵌入式应用的模拟存储器测试板系统及测试方法
CN105653789B (zh) 一种异构仿真方法
CN105446887B (zh) 一种基于数字虚拟技术的星载嵌入式数据通讯故障动态注入系统及方法
CN106647335A (zh) 一种数字化卫星姿轨控算法地面仿真验证系统
CN102354298A (zh) 基于staf的高端容错机故障注入自动化测试平台及方法
CN103795457B (zh) 一种用于地面整星测试的小卫星星地时间同步方法
CN106354642A (zh) 一种机载中央维护系统软件测试方法及系统
CN106570249B (zh) 一种大火箭起飞漂移离散仿真方法
WO1999006927A1 (en) Method and apparatus for verifying, analyzing and optimizing a distributed simulation
CN104536303A (zh) 一种故障注入方法
CN111176999B (zh) 一种无人机飞控管理软件的测试平台构建方法和测试方法
CN109492256A (zh) 一种动态系统状态概率映射矩阵多向搜索方法
CN104615502B (zh) 一种基于高效能仿真云的容错方法
CN106383357A (zh) 一种模拟卫星导航系统运行的导航信息流系统
CN108701421A (zh) 能通过与计算设备的交互来配置课程计划的事件的模拟服务器
Hsiao et al. Mavfi: An end-to-end fault analysis framework with anomaly detection and recovery for micro aerial vehicles
CN102508763A (zh) Gis平台性能测试系统
Cao et al. A generic framework for testing parallel file systems
CN109656147A (zh) 空战模拟系统
CN110879786B (zh) 一种星载软件的测试系统
Stesina et al. In the loop simulator for the verification of small space platforms
CN109753415A (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
CF01 Termination of patent right due to non-payment of annual fee

Granted publication date: 20190813

CF01 Termination of patent right due to non-payment of annual fee