检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:杨利宁 唐园园 李雪源 赵路明 YANG Li-ning;TANG Yuan-yuan;LI Xue-yuan;ZHAO Lu-ming(Xi′an Aeronautics Computing Technique Research Institute,AVIC,Xi′an 710000,China)
机构地区:[1]航空工业西安航空计算技术研究所,陕西西安710000
出 处:《航空计算技术》2022年第6期85-88,共4页Aeronautical Computing Technique
基 金:航空科学基金项目资助(2020Z069031001)。
摘 要:采用层级BIT设计架构,建立了操作系统层与应用层BIT交互的接口模型。按照BIT不同的分类依次设计不同类型的BIT测试项,在基于ARINC653标准AcoreOS653操作系统下实现并验证设计的相关BIT测试项。通过研究证明了在层级BIT架构下设计出的BIT测试项,根据不同测试项引发故障严重程度的不同合理设计不同的故障阈值,既保证了较高的故障检出率,又降低了故障误报的风险。The interface model of BIT interaction between operating system layer and application layer is established by using hierarchical BIT design architecture.Different type of BIT test items are designed according to different categories of BIT.Relevant BIT test items designed are implemented and verified in AcoreOS653 operating system based on ARINC653 standard.Through the research,it is proved that the BIT test items designed under the hierarchical BIT architecture can reasonably design different fault thresholds according to the different fault severity caused by different test items,which not only ensures high fault detection rate,but also reduces the risk of false alarm.
关 键 词:ARINC653标准 BIT 测试验证 故障阈值
分 类 号:V243[航空宇航科学与技术—飞行器设计]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.7