层次化验证论文-许金淼

层次化验证论文-许金淼

导读:本文包含了层次化验证论文开题报告文献综述及选题提纲参考文献,主要关键词:模型驱动开发,AADL行为附件,层次行为附件,模型转换

层次化验证论文文献综述

许金淼[1](2019)在《面向功能行为层次化建模的AADL行为附件扩展及验证方法》一文中研究指出AADL(Architecture Analysis and Design Language)是一种用于描述复杂嵌入式系统体系架构的建模语言国际标准,被广泛用于安全关键系统的建模与验证。AADL通过系统、子系统、进程、线程等组件层次化地表达系统模型。行为附件(Behavior Annex)是AADL在功能行为方面的补充,它通过扁平状态机的形式对组件的内部功能行为以及组件和组件间的交互行为建模。工业界中的复杂系统常使用层次状态机描述组件的功能行为。但是,行为附件中没有表达层次状态机的机制,虽然可以利用AADL自身的分层描述能力对系统建模,但会导致线程的规模过于庞大。在实际的开发过程中,设计者们往往需要将层次化描述的功能需求进行手动扁平化处理,然后借助AADL行为附件对其建模,这个过程是繁琐的且易错的,并且扁平化的状态机会造成结构信息的丢失,无法直观的表示功能行为模块的包含层次关系。针对AADL行为附件不能以层次化的形式建模功能行为这一问题,本文提出了一种基于AADL行为附件的功能行为层次化建模及验证方法,包括基于扩展的AADL层次行为附件建模方法和层次行为附件的形式化验证方法两部分。为了适应工业界的实际建模需求,本文首先提出了AADL行为附件的层次化扩展——层次行为附件HBA,给出了HBA的形式语法,定义了HBA的操作语义,提出了HBA的元模型,并在OSATE环境中实现其文本和图形化编辑器。为了对所建模型进行形式化验证,本文提出了层次行为附件的形式化验证方法。首先通过层次行为附件扁平化方法将层次行为模型转化为多个相关联的扁平状态机,然后通过层次行为附件到时间自动机的转换方法将层次行为模型转换为时间自动机网络,最后人工抽取与被验模型相关属性,并将待验证模型与待验证属性输入到UPPAAL中,对所建模型进行验证。最后,通过一个航天器导航、制导与控制系统案例来验证本文所提方法的有效性。首先通过详细描述建模过程、逐步精化原始需求的方式,检验本文所提建模方法是否适用于建模实际工业案例;然后通过在原始需求中预埋错误的方式,检验本文所提出的HBA形式化验证方法是否可以检测出所建模型与待验证属性存在不一致的问题。(本文来源于《南京航空航天大学》期刊2019-01-01)

刘智峰,尹霞,王之梁,施新刚,华一强[2](2018)在《层次化跨区域SDN验证示范系统的设计与建设》一文中研究指出软件定义网络(SDN)架构给网络带来了卓越的灵活性和可管理性。为了给新型SDN技术与应用提供大规模可行性验证试验床与试点部署平台,提出了依托于CERNET的层次化跨区域SDN异地验证示范网络试验系统的总体架构,建设了9个城市、13个节点的SDN验证示范核心网与包含3个数据中心的接入网,并对基于SDN的v CPE智能专线业务、IPv4/IPv6过渡技术、流量监控调度应用和数据中心应用进行验证与示范。(本文来源于《电信科学》期刊2018年11期)

陈琳娜,孟建熠,林志涛[3](2018)在《面向串行总线的层次化UVM验证平台设计》一文中研究指出在现有的通用验证方法学(UVM)验证平台中,验证组件与被测器件(DUT)紧耦合,导致验证组件的可重用性较差,且UVM transaction的定义使用了Field-Automation机制,调用路径过长,增加了测试用例的仿真时间。为此,提出了一种面向串行总线协议验证的公用库设计,采用层次化建模的方法设计了可重用的公用库,通过重写虚函数的方法对传统的transaction定义进行改进。实验结果表明:设计的公用库可用于串行总线验证平台的快速搭建,改进的transaction可使仿真时间缩短10. 7%,提高了验证效率。(本文来源于《传感器与微系统》期刊2018年09期)

陈琳娜[4](2018)在《基于UVM的层次化验证平台研究》一文中研究指出随着片上系统芯片复杂度和集成度的提高,芯片的验证也面临着巨大的挑战。UVM作为业界最新且被广泛应用的验证方法学,很大程度上提高了验证效率。然而在现有的UVM验证平台中,验证组件与DUT紧耦合,导致验证组件的可重用性较差;另一方面,UVM transaction的定义使用了 Field-Automation机制,调用路径过长,增加了测试用例的仿真时间。为此,引入了公用库的概念,以串行总线协议验证为例,采用层次化建模的方法设计了可重用的公用库,通过重写虚函数的方法对传统的transaction定义进行改进。本文的研究工作和创新点如下:1.分析了串行总线协议的共性,提出了一种面向多标准串行总线的硬件设计架构,通过软件配置实现多种串行外设接口协议,基于对该设计规范的理解,提取了验证功能点。2.针对现有验证平台的缺陷,提出了层次化的公用库设计。层次化的公用库是基于验证平台的重用层级和内容来进行管理和建模,主要包括:事务级建模、组件级建模、功能级建模和UVC级建模。相比于原有的验证平台,公用库的设计提高了验证组件的可重用性,缩短了验证平台的开发周期。3.针对仿真时间长的缺陷,提出了改进的transaction定义。改进的transaction定义没有宏体的声明,并根据协议内容重写相应的虚函数。相比于原有的transaction定义,改进的transaction定义减少了过长的路径调用,重写的虚函数代码量少,没有冗余代码的执行,提高了仿真效率。本文基于公用库和改进的transaction定义完成了串行总线验证平台的设计,设计测试用例完成了串行总线模块级和芯片级的功能验证。实验结果表明该公用库可用于验证平台的快速搭建,改进的transaction可使仿真时间缩短10.7%,提高了验证效率。(本文来源于《浙江大学》期刊2018-01-01)

胡向东,巨鹏锦,朱英,孙路[5](2015)在《高性能处理器层次化可重用模拟验证环境》一文中研究指出高性能处理器的多核化和So C(system on chip)集成化发展趋势,使得处理器芯片设计复杂度和规模成倍增长,平面式的模拟验证环境在消耗大量机器资源的同时模拟速度急剧下降,严重影响模拟验证效率,而当前模拟验证仍是处理器验证中最广泛的验证手段.为提高模拟验证效率,必须建立高效的处理器模拟环境.根据高性能处理器架构特点,基于可重用验证组件开发思想,建立层次化可重用的处理器模拟验证环境,可有效解决高性能处理器模拟验证中内存消耗大、模拟速度慢、验证效率低等问题.这种环境创建方法可以缩短环境创建和调试周期,减少环境自身错误,有利于不同处理器验证环境的可重用.(本文来源于《中国科学:信息科学》期刊2015年04期)

何萌[6](2014)在《高抽象层次化的OVM验证平台设计》一文中研究指出随着集成电路工艺和技术的飞速发展,设计规模和功能复杂度进一步增大,对原本就非常复杂的验证工作提出了更大的挑战。尽管传统的验证方法也在不断的更新,但验证工作仍在整个设计流程中占据了超过80%甚至更多的工作量,已然成为了整个专用集成芯片设计的一大瓶颈。为了有效缩短验证时间、提高验证覆盖率以及加快产品上市速度等,急需先进的功能验证方法来提高传统验证工作的效率。由于OVM验证方法学结合了覆盖率驱动验证、断言验证、事务级验证、约束随机激励生成以及直接测试等验证方法的优点,基于System Verilog语言可以完成高效、高复用性以及高扩展性的验证平台,为提高验证效率提供了可能,也是本文选用该验证方法学的重要因素。本文简要介绍了OVM验证方法学的基本体系,结合OVM的典型结构与强大机制完成了基带芯片中重要模块追踪调试系统的验证平台搭建。由于验证工作对验证人员的经验和技术来讲都有着非常高的要求,在验证的初期验证环境的框架以及验证环境的抽象级对后期的验证工作起到了至关重要的作用,一个合适的验证抽象层次会减少很多设计底层的逻辑关系,过低的验证抽象级不仅在检测时会增多很大的工作量,同时这样的验证环境会跟底层设计产生过多的依赖关系,使得验证和设计无法真正剥离,无法真正有效的提高验证效率。本验证环境为了实现对好几个相似模块的平台复用,在对各个组件的设计进行详细介绍的同时着重突出了该验证环境中的配置和层的核心技术,正是这两点的成功设计才使得高抽象层次化的验证平台成为可能。同时本文突出VIP验证的优势,集成成熟的验证模块不仅会给验证工作带来更高的可信度,同时也能有效的缩短验证时间。最后基于约束随机激励的产生对设定好的覆盖率组进行了覆盖率的收集,实践证明该验证系统具有高复用性、扩展性及自动化的显着特点。(本文来源于《西安电子科技大学》期刊2014-12-01)

周宽久,任龙涛,王小龙,勇嘉伟,侯刚[7](2014)在《基于层次化时间STM软件设计的形式化验证》一文中研究指出状态迁移矩阵(State Transition Matrix,STM)是一种基于表结构的程序建模语言。事件变量类型单一,事件和状态数量的增加很容易造成状态空间爆炸问题,无法表达具有时间语义的软件系统等原因,极大限制了该建模方法的推广应用。文中针对这些问题,首先提出层次化时间状态迁移矩阵(Hierarchical Time State Transition Matrix,HTSTM)模型,用于设计、建模和验证具有时间条件约束的软件系统,并给出形式化表示方法。基于该表示方法提出一种符号化编码方法,采用有界模型检测思想将需要验证的LTL性质输入SMT(Satisfiability Modulo Theories)求解器进行验证,从而在一定程度上证明了软件设计的正确性。(本文来源于《计算机科学》期刊2014年08期)

王鹏,邵伟,姜承翔,田毅,薛茜男[8](2014)在《基于ARINC629的层次化验证平台设计》一文中研究指出结合约束随机、覆盖率驱动及断言等多种验证方法,对层次化验证平台的搭建方法进行了研究;以对ARINC629航空数据总线接口控制器的验证过程为例,介绍了基于System Verilog的层次化验证平台的搭建过程及其使用方法;根据验证后覆盖率报告,证明各项功能均已达到其设计需求,且实现率为100%;验证结果表明该平台和传统验证方法相比极大地提高了验证效率,平台的搭建方法和结构具有一定的通用性,更改其数据生成模块即可用于其他类似设计的验证。(本文来源于《计算机测量与控制》期刊2014年06期)

庄琭,蔡勉,沈昌祥[9](2012)在《层次化行为可信性验证》一文中研究指出为了缓解度量粒度细化引发的可用性降低,基于并发理论提出层次化的行为可信性验证模型及方法.将面向行为的可信动态度量的可信性验证中对平台行为依时间序的顺次验证方式,转化为基于一种层次化的预期行为描述的可信性验证,相关定理保证了转化的等价性.效率分析结果表明,层次化的验证方式提高了存储效率和验证效率,能解决细粒度可信动态度量的可行性问题.(本文来源于《北京工业大学学报》期刊2012年09期)

李杰,吴建平,徐恪,陈文龙[10](2012)在《Hidasav:一种层次化的域间真实源地址验证方法》一文中研究指出可信任是下一代互联网的重要特征,真实地址访问是可信任的基础和前提.自治域级真实地址访问是整个可信任互联网体系结构中最为复杂的一个层次.基于标签的源地址验证不受拓扑结构影响,无需中间节点特殊处理,是实现域间真实地址访问的有效方法.然而,现有方法中信任联盟过于扁平化和单一化的问题导致验证开销随联盟规模增大而急剧增大,影响和制约了机制的可扩展性和过滤能力,难以进行增量部署.对此,文中提出了一种层次化的基于标签替换的域间真实源地址验证方法(Hidasav),该方法通过合理规划联盟层次和聚类整合,构建出一种多级并存的信任联盟体系结构,通过引入实现轻量级标签替换的联盟边界,将每一层级联盟和外界网络隔离,使得下层联盟和更高层联盟内部的网络环境彼此互不可见、互无影响.与现有同类典型方法在CNGI真实环境中的实验结果比较表明,该方法能够在确保域间高速通信的同时有效降低边界路由设备的状态机存储、更新和报文验证开销.(本文来源于《计算机学报》期刊2012年01期)

层次化验证论文开题报告

(1)论文研究背景及目的

此处内容要求:

首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。

写法范例:

软件定义网络(SDN)架构给网络带来了卓越的灵活性和可管理性。为了给新型SDN技术与应用提供大规模可行性验证试验床与试点部署平台,提出了依托于CERNET的层次化跨区域SDN异地验证示范网络试验系统的总体架构,建设了9个城市、13个节点的SDN验证示范核心网与包含3个数据中心的接入网,并对基于SDN的v CPE智能专线业务、IPv4/IPv6过渡技术、流量监控调度应用和数据中心应用进行验证与示范。

(2)本文研究方法

调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。

观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。

实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。

文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。

实证研究法:依据现有的科学理论和实践的需要提出设计。

定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。

定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。

跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。

功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。

模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。

层次化验证论文参考文献

[1].许金淼.面向功能行为层次化建模的AADL行为附件扩展及验证方法[D].南京航空航天大学.2019

[2].刘智峰,尹霞,王之梁,施新刚,华一强.层次化跨区域SDN验证示范系统的设计与建设[J].电信科学.2018

[3].陈琳娜,孟建熠,林志涛.面向串行总线的层次化UVM验证平台设计[J].传感器与微系统.2018

[4].陈琳娜.基于UVM的层次化验证平台研究[D].浙江大学.2018

[5].胡向东,巨鹏锦,朱英,孙路.高性能处理器层次化可重用模拟验证环境[J].中国科学:信息科学.2015

[6].何萌.高抽象层次化的OVM验证平台设计[D].西安电子科技大学.2014

[7].周宽久,任龙涛,王小龙,勇嘉伟,侯刚.基于层次化时间STM软件设计的形式化验证[J].计算机科学.2014

[8].王鹏,邵伟,姜承翔,田毅,薛茜男.基于ARINC629的层次化验证平台设计[J].计算机测量与控制.2014

[9].庄琭,蔡勉,沈昌祥.层次化行为可信性验证[J].北京工业大学学报.2012

[10].李杰,吴建平,徐恪,陈文龙.Hidasav:一种层次化的域间真实源地址验证方法[J].计算机学报.2012

标签:;  ;  ;  ;  

层次化验证论文-许金淼
下载Doc文档

猜你喜欢