基于模型检测的硬件验证在金融领域的研究与应用

发布时间：2017-12-25 00:30

  本文关键词：基于模型检测的硬件验证在金融领域的研究与应用　出处：《湖北工业大学》2017年硕士论文　论文类型：学位论文

  更多相关文章： 模型检测 验证 建模 属性提取 反例 接触式图像传感控制器

【摘要】：由于功能单一、结构相对简单,传统嵌入式控制器只需采用一般的验证方法即可完全覆盖产品的功能测试。而主要应用于金融业的嵌入式外设控制器的设计,则很难沿用原来的验证方法完全覆盖产品的功能测试。为此本课题提出结合模型检测与验证方法学,对金融领域嵌入式外设控制器进行全覆盖测试验证的方法进行研究。本文研究了国内外在硬件验证与模型检测的现状和相关技术,包括验证方法学分析,基于SystemVerilog验证关键技术以及模型检测硬件验证相关技术分析;之后对模型检测建模方法进行研究,其中包括用例模型转化状态模型方法研究,状态模型转化为nuSMV模型方法及其转换规则研究;然后又对模型检测属性设计方法进行研究,其中包括属性提取方法研究、属性分解方法研究,以及属性设计方法研究;最后进行实例分析,以实际开发项目A类点钞机为平台,对接触式图像传感器控制器进行用例建模、状态建模、nuSMV建模,用模型检测进行验证并产生反例,通过反例不断修改接触式图像传感器控制器,最终设计出稳定性好的接触式图像传感器控制器。本课题通过使用基于模型检测的验证方法完成了接触式图像传感器控制器的设计,解决了项目中接触式图像传感器控制器采集图像不稳定,图像质量差的问题。以后,在硬件设计领域基于模型检测的验证方法应用会越来越广泛。
【学位授予单位】：湖北工业大学
【学位级别】：硕士
【学位授予年份】：2017
【分类号】：F832;TP273

【参考文献】

相关期刊论文 前10条

1 黄镇谨;陈波;欧阳浩;;基于时间策略的连续时间Markov过程验证[J];广西科技大学学报;2014年03期

2 康西楠;施智平;叶世伟;关永;;矩阵变换理论在HOL4中的形式化[J];计算机仿真;2014年03期

3 马宁;田泽;史嘉涛;赵志强;;AS5643协议处理FPGA的仿真验证[J];计算机技术与发展;2014年05期

4 侯刚;周宽久;勇嘉伟;任龙涛;王小龙;;模型检测中状态爆炸问题研究综述[J];计算机科学;2013年S1期

5 张玢;;基于PowerPC的H.264编码核虚拟仿真平台的构建与应用[J];数字技术与应用;2013年05期

6 龙士工;王扣武;;多智体系统时序认知规范的SPIN模型检测[J];计算机工程与科学;2011年12期

7 邢晓敏;;嵌入式系统的发展与应用[J];中国水运(下半月);2011年06期

8 李志军;陈丽娟;刘建霞;张剑飞;;实现SOPC的嵌入式软硬件协同设计平台[J];单片机与嵌入式系统应用;2011年05期

9 李兴锋;张新常;杨美红;阎保平;;基于SPIN的模块化模型检测方法研究[J];电子与信息学报;2011年04期

10 李光亚;;软件工程若干技术发展新趋势[J];微型电脑应用;2010年11期

，

本文编号：1330621