节点文献

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

免费订阅

【作者】 金志威田毅芦浩王鹏

【Author】 JIN Zhiwei;TIAN Yi;LU Hao;WANG Peng;Tianjin Key Laboratory of Civil Aircraft Airworthiness and Maintenance,Civil Aviation University of China;Key Laboratory of Civil Aircraft Airworthiness Certification Technology,Civil Aviation University of China;College of Airworthiness,Civil Aviation University of China;

【机构】 中国民航大学天津市民用航空器适航与维修重点实验室民航航空器适航审定技术重点实验室中国民航大学适航学院

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

【基金】 国家自然科学基金项目(61601468);中央高校基金(3122016D028)~~
【所属期刊栏目】 电子与信息器件 (2019年16期)
  • 【DOI】10.16652/j.issn.1004-373x.2019.16.002
  • 【分类号】TN407
  • 【下载频次】15
节点文献中: 

本文链接的文献网络图示:

浏览历史:
下载历史: