| 形式化方法在机载电子硬件研制中的应用研究 |
| |
| 引用本文： | 金志威,刘万和,薛茜男,田毅.形式化方法在机载电子硬件研制中的应用研究[J].电子技术应用,2015,41(6). |
| |
| 作者姓名： | 金志威 刘万和 薛茜男 田毅 |
| |
| 作者单位： | 1. 中国民航大学天津市民用航空器适航与维修重点实验室,天津,300300
2. 中国民航大学安全科学与工程学院,天津,300300 |
| |
| 基金项目： | 国家自然科学基金委员会与中国民用航空局联合资助项目，中央高校基本科研业务费项目，中国民航大学科研启动基金项目 |
| |
| 摘 要： | 详细设计规范是机载电子硬件适航性设计流程中的关键文档.通过对形式化方法特点分析,给出基于模型检验的设计规范提取步骤,以提高设计的正确性和完整性.以ARINC429总线传输模块设计为例,基于形式化方法完成正向设计过程.试验结果表明,基于形式化方法的设计流程能够有效帮助制定详细设计规范并在后期提高验证效率,进而缩减研制周期.
|
| 关 键 词： | 模型检验 形式化方法 NuXMV 机载电子硬件 |
Research of airborne electronic hardware design processes based on formal methods of NuXMV |
| |
| Jin Zhiwei,Liu Wanhe,Xue Qiannan,Tian Yi.Research of airborne electronic hardware design processes based on formal methods of NuXMV[J].Application of Electronic Technique,2015,41(6). |
| |
| Authors: | Jin Zhiwei Liu Wanhe Xue Qiannan Tian Yi |
| |
| Abstract: | |
| |
| Keywords: | model check formal methods NuXMV airborne electronic hardware |
| 本文献已被 万方数据 等数据库收录！ |
|
