基于模型检测的机载电子硬件验证方法研究

金志威; 田毅; 芦浩; 王鹏

首页> 中文期刊> 《现代电子技术》 >基于模型检测的机载电子硬件验证方法研究

基于模型检测的机载电子硬件验证方法研究

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

cqvip:模型检测技术已广泛应用于计算机硬件、通信协议、控制系统等领域,在民用航空领域如何采用模型检测技术开展硬件符合性验证,成为设计及验证人员待解决的问题。文中介绍模型检测方法的验证机理,并提出使用该方法作为机载电子硬件的补充验证方案。以PCI总线状态机模块作为验证对象,开展模型检测补充验证,确定了状态机各状态转移路径的正确,说明了该方法的合理性。

著录项

来源
《现代电子技术》 |2019年第16期|6-914|共5页
作者
金志威; 田毅; 芦浩; 王鹏;
展开▼
作者单位

中国民航大学天津市民用航空器适航与维修重点实验室天津 300300;

民航航空器适航审定技术重点实验室天津 300300;

中国民航大学适航学院天津 300300;

展开▼
原文格式 PDF
正文语种 chi
中图分类电子设备;
关键词
民用航空; 模型检测; 机载电子硬件; 验证方案; PCI总线; 状态机;

相似文献

中文文献
外文文献
专利

1. 符合DO-254标准的机载复杂电子硬件验证技术研究 [J] . 罗文超 ,张迪 . 航空计算技术 . 2020,第002期
2. 基于模型的航空机载软件测试用例复用方法研究 [J] . 姜蓉 ,崔仕颖 . 工业控制计算机 . 2021,第006期
3. 基于模型的机载系统软件开发方法研究 [J] . 余奎 . 军民两用技术与产品 . 2017,第012期
4. 基于模型的系统工程在机载电子系统领域的应用 [J] . 白洁 ,吕伟 ,张磊 . 航空制造技术 . 2015,第004期
5. 基于模型的航空电子系统正向设计方法研究 [J] . 霍萍 ,赵永库 ,刘斌 . 中国设备工程 . 2019,第007期
6. 机载电子设备BIT检测方法研究 [C] . Zhu Enliang ,朱恩亮 ,Zhao Lacai . 2016第五届民用飞机航电系统国际论坛 . 2016
7. 基于模型检测的硬件验证在金融领域的研究与应用 [A] . 柯进 . 2017

基于模型检测的机载电子硬件验证方法研究

摘要

著录项

相似文献

相关主题

期刊订阅