《计算机工程杂志》发表论文赏析
作者:鲁兆妍, 蒋泽军, 陈进朝, 王元天
单位:西北工业大学 计算机学院, 西安 710129
摘要:针对数据激励生成器中定向激励和随机激励生成技术耗时长、跨平台使用时工作量大的问题,结合自主数据激励和响应数据激励2种激励产生方式,以内部逻辑自动机为核心,设计一种通用可配置的数据激励器。在战车导航设备上进行模拟验证,结果表明,该激励器具有较高的准确率和执行效率,其平均事件响应时间为0.493 ms,逻辑自动机平均形成时间为0.13 ms。
关键词:数据激励器,自主激励,响应激励,通用性,可配置性
基金资助:国防基础科研计划项目网络化嵌入式软件验证平台实现技术研究(JCKY2016212B004)。