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

• 作者: 王鹏 田毅 芦浩 金志威
• 来源期刊: 现代电子技术
• 关键词: 民用航空 模型检测 机载电子硬件 验证方案 PCI总线 状态机
• 年，卷（期）: 2019,（16）
• 所属期刊栏目: 电子与信息器件
• 页码范围: 6-9,14
• 页数: 5页
• 分类号: TN609-34|V243
• 语种: 中文
• DOI: 10.16652/j.issn.1004-373x.2019.16.002

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	田毅	中国民航大学天津市民用航空器适航与维修重点实验室	18	51	4.0	6.0
7	金志威	中国民航大学天津市民用航空器适航与维修重点实验室	5	11	1.0	3.0
19	芦浩	中国民航大学天津市民用航空器适航与维修重点实验室	7	13	3.0	3.0