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

Research on verification method of airborne electronic hardware based on model detection

作　　者：金志威 田毅 芦浩 王鹏 JIN Zhiwei;TIAN Yi;LU Hao;WANG Peng(Tianjin Key Laboratory of Civil Aircraft Airworthiness and Maintenance,Civil Aviation University of China,Tianjin 300300,China;Key Laboratory of Civil Aircraft Airworthiness Certification Technology,Civil Aviation University of China,Tianjin 300300,China;College of Airworthiness,Civil Aviation University of China,Tianjin 300300,China)

机构地区：[1]中国民航大学天津市民用航空器适航与维修重点实验室,天津300300 [2]民航航空器适航审定技术重点实验室,天津300300 [3]中国民航大学适航学院,天津300300

出　　处：《现代电子技术》2019年第16期6-9,14,共5页Modern Electronics Technique

基　　金：国家自然科学基金项目(61601468);中央高校基金(3122016D028)~~

摘　　要：模型检测技术已广泛应用于计算机硬件、通信协议、控制系统等领域,在民用航空领域如何采用模型检测技术开展硬件符合性验证,成为设计及验证人员待解决的问题。文中介绍模型检测方法的验证机理,并提出使用该方法作为机载电子硬件的补充验证方案。以PCI总线状态机模块作为验证对象,开展模型检测补充验证,确定了状态机各状态转移路径的正确,说明了该方法的合理性。The model detection technology has been widely used in computer hardware,communication protocol,control system and other fields.How to adopt the model detection technology to conduct hardware compliance verification in the civil avi-ation field becomes a problem to be solved by the design and verification personnel.The verification mechanism of the model de-tection method is introduced in this paper.The method is proposed as the supplementary verification scheme of the airborne elec-tronic hardware.Taking the PCI bus state machine module as the verification object,the supplementary verification of model de-tection is conducted,and the correctness for various state transition paths of the state machine is determined,which indicates the rationality of the method.

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

分 类 号：TN609-34[电子电信—电路与系统] V243[航空宇航科学与技术—飞行器设计]