形式化方法在机载电子硬件研制中的应用研究

金志威; 刘万和; 薛茜男; 田毅

首页> 中文期刊> 《电子技术应用》 >形式化方法在机载电子硬件研制中的应用研究

形式化方法在机载电子硬件研制中的应用研究

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

详细设计规范是机载电子硬件适航性设计流程中的关键文档.通过对形式化方法特点分析,给出基于模型检验的设计规范提取步骤,以提高设计的正确性和完整性.以ARINC429总线传输模块设计为例,基于形式化方法完成正向设计过程.试验结果表明,基于形式化方法的设计流程能够有效帮助制定详细设计规范并在后期提高验证效率,进而缩减研制周期.

著录项

来源
《电子技术应用》 |2015年第6期|143-146|共4页
作者
金志威; 刘万和; 薛茜男; 田毅;
展开▼
作者单位

中国民航大学天津市民用航空器适航与维修重点实验室,天津300300;

中国民航大学安全科学与工程学院,天津300300;

中国民航大学天津市民用航空器适航与维修重点实验室,天津300300;

中国民航大学天津市民用航空器适航与维修重点实验室,天津300300;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机与其他学科的关系;
关键词
模型检验; 形式化方法; NuXMV; 机载电子硬件;

相似文献

中文文献
外文文献
专利

1. 形式化方法在机载网络开发中的应用研究 [J] . 陈长胜 ,刘智武 ,孙靖国 . 航空计算技术 . 2021,第004期
2. UVM验证方法在机载电子硬件中的应用分析 [J] . 田毅 ,金志威 ,范毓洋 . 航空电子技术 . 2018,第0z1期
3. 机载电子硬件研制实验教学设计与探索 [J] . 田毅 ,史春蕾 ,赵长啸 . 教育教学论坛 . 2021,第034期
4. 基于模型检测的机载电子硬件验证方法研究 [J] . 金志威 ,田毅 ,芦浩 . 现代电子技术 . 2019,第016期
5. 国产民用飞机项目机载软件及电子硬件技术评价方法研究 [J] . 周晓伟 . 航空电子技术 . 2018,第002期
6. 机载软件与电子硬件中COTS器件和COTS IP的适航审定考虑 [C] . Yu Wei ,俞玮 ,Zhu Liang . 2014中国制导、导航与控制学术会议 . 2014
7. 机载软件建模及其形式化验证方法研究 [A] . 张程灏 . 2020

形式化方法在机载电子硬件研制中的应用研究

摘要

著录项

相似文献

相关主题

期刊订阅