基于Petri网的FPGA软件缺陷分析与改进设计 |
| |
引用本文: | 齐杏林,马继存,余春华.基于Petri网的FPGA软件缺陷分析与改进设计[J].装甲兵工程学院学报,2015(1):90-94. |
| |
作者姓名: | 齐杏林 马继存 余春华 |
| |
作者单位: | 军械工程学院弹药工程系 |
| |
摘 要: | 为了在FPGA软件开发过程的早期发现设计缺陷并进行修改,以降低设计成本,提出了应用Petri网技术进行缺陷分析的方法。对FPGA软件开发过程中形成的工作流程和实现流程进行了分析,并在发现缺陷的基础上进行了改进设计。在某引信安全与起爆控制系统的设计过程中应用了该方法,结果表明:该方法能够发现并准确定位软件缺陷,而且在Petri网模型基础上能够迅速地进行软件改进设计。
|
关 键 词: | FPGA Petri网 缺陷分析 软件设计 |
本文献已被 CNKI 等数据库收录! |
|