现代电子技术

2019, v.42;No.543(16) 6-9+14

[打印本页] [关闭]
本期目录(Current Issue) | 过刊浏览(Past Issue) | 高级检索(Advanced Search)

基于模型检测的机载电子硬件验证方法研究
Research on verification method of airborne electronic hardware based on model detection

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

摘要(Abstract):

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

关键词(KeyWords): 民用航空;模型检测;机载电子硬件;验证方案;PCI总线;状态机

Abstract:

Keywords:

基金项目(Foundation): 国家自然科学基金项目(61601468);; 中央高校基金(3122016D028)~~

作者(Author): 金志威;田毅;芦浩;王鹏;

Email:

参考文献(References):

扩展功能
本文信息
服务与反馈
本文关键词相关文章
本文作者相关文章
中国知网
分享