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

作者：金志威; 田毅; 芦浩; 王鹏

来源：现代电子技术, 2019, 42(16): 6-14.

DOI：10.16652/j.issn.1004-373x.2019.16.002

• 民用航空
• 模型检测
• 机载电子硬件
• 验证方案
• PCI总线
• 状态机

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

• 单位
  中国民航大学