摘要
模型检测技术已广泛应用于计算机硬件、通信协议、控制系统等领域,在民用航空领域如何采用模型检测技术开展硬件符合性验证,成为设计及验证人员待解决的问题。文中介绍模型检测方法的验证机理,并提出使用该方法作为机载电子硬件的补充验证方案。以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.
作者
金志威
田毅
芦浩
王鹏
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)
出处
《现代电子技术》
北大核心
2019年第16期6-9,14,共5页
Modern Electronics Technique
基金
国家自然科学基金项目(61601468)
中央高校基金(3122016D028)~~
关键词
民用航空
模型检测
机载电子硬件
验证方案
PCI总线
状态机
civil aviation
model detection
airborne electronic hardware
verification scheme
PCI bus
state machine
