|
|||||
|
|
| 基于模型检测的机载电子硬件验证方法研究 | |
| 作者单位： | ;1.中国民航大学天津市民用航空器适航与维修重点实验室;2.民航航空器适航审定技术重点实验室;3.中国民航大学适航学院 |
| 摘 要： | 模型检测技术已广泛应用于计算机硬件、通信协议、控制系统等领域,在民用航空领域如何采用模型检测技术开展硬件符合性验证,成为设计及验证人员待解决的问题。文中介绍模型检测方法的验证机理,并提出使用该方法作为机载电子硬件的补充验证方案。以PCI总线状态机模块作为验证对象,开展模型检测补充验证,确定了状态机各状态转移路径的正确,说明了该方法的合理性。 |
| 关 键 词： | 民用航空 模型检测 机载电子硬件 验证方案 PCI总线 状态机 |
Research on verification method of airborne electronic hardware based on model detection |
|
| Abstract: | |
| Keywords: | |