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

摘要：

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

关键词：民用航空、模型检测、机载电子硬件、验证方案、PCI总线、状态机

所属期刊栏目：42

分类号：TN609-34;V243(电子元件、组件)

资助基金：国家自然科学基金项目61601468;中央高校基金3122016D028

在线出版日期：2019-08-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：6-9,14