验证工具相关论文
深圳信息职业技术学院软件工程系,罗湖,深圳,中国摘要本文提出、设计并开发了一个对Web服务组合的验证的OWL-S的模型检验工具OWLSV......
随着综合模块化航空电子系统的发展及民机软件规模与复杂度的不断提升,大规模、多来源民机软件的多层次开发、增量式集成已经成为......
系统建模语言(Systems Modeling Language,SysML)的提出使得模型驱动开发(Model Driven Development,MDD)可以应用于系统工程领域......
上下文感知系统的广泛应用反映了其日益增长的市场需求和潜在的巨大经济效益。上下文感知系统通常是大型的、复杂的异构系统,开发......
循环程序的终止性分析是程序验证的重要组成部分。确保循环程序的终止是循环程序完全正确的必要条件。目前,用来证明程序终止性的......
模拟是通往通信半导体市场之钥,但无论是设计与验证工具目前都远远落后rn大约从20世纪80年代起,就有许多业内专家宣称模拟电路已走......
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
不要忽略验证工具Mentor Graphics副总裁兼总经理Joseph Sawicki介绍了他们的最新产品,版图的寄生参数提取工具Calibre xACT3D,Jos......
随着大量工具应用于机载软件的开发，工具鉴定的问题日益突出。本文介绍了机载软件工具鉴定的原因和目的，并基于机载软件工具的分类介......
...
为使符号化模型检验技术适用于全部ω-正规性质，研究了ETL（extended temporal logic）的符号化模型检验方法．首先，扩展了LTL（linear tempo......
通过对身份证号码实际应用中存在的问题进行详细分析，我们发现每学年的学籍建档、国家助学金申报等方面都离不开身份证号码。同时，人......
为了避免飞机在着陆过程中出现事故,同时又能充分利用机场的跑道资源,对飞机数量多于跑道的情况进行了研究,采用了模型验证的方法......
分析和仿真软件是开发大型机械设备不可或缺的工具。通过这些工具,开发人员可以在产品开发的早期对设计进行评估,查投产品在使用中......
为实现分布式仿真系统的自动验证，设计并开发了一个基于多Agent技术的验证工具．该工具采用形式化描述和校核方法完成多Agent系统的设......
由2004升级到2005版本,不仅软件的性能得到了改进和提高,软件的名称也做了一些调整.原理图由原来的PADS Designer改为DxDesigner,P......
分析和仿真软件是开发大型机械设备不可或缺的工具。通过这些工具，开发人员可以在产品开发的早期对设计进行评估。查找产品在使用中......
由于缺乏可利用的额外观察条件,在芯片流片后阶段进行存储一致性模型验证较困难。为此,利用多核处理器系统中通用的性能计数器,通......
近年来,伴随金融科技的快速发展,商业银行的应用系统规模日益庞大,而其在应用设计、系统架构等方面的复杂度也越来越高,从而为新时......
力科宣布推出新的分析工具显著扩展PCI-Express3.0协议测试。新的软件工具叫SimPASS,针对硅前期的仿真和设计验证开发阶段。SimPAS......
MathWorks宣布，Simulink Design Verifier和Simulink Verification and Validation已通过T？VS？D认证，允许在符合ISO 26262标准的开发流......
MathWorks日前宣布,Simulink Design Verifier和Simulink Verification and Validation已通过T譈V S譈D认证,允许在符合ISO 26262......
过程模型验证是保证软件过程定义正确性的重要手段。针对目前过程模型验证中的一些问题，首先提出了一种以活动为中心的软件过程元模......
计算机和数字系统体系结构及它们的基础技术已对调试和验证工具提出了新的需求.而对示波器厂家来说,为工程师提供合乎目前和未来高......
仿真模型校核、验证与确认(VV&A)工具是提高VV&A工作效率,减轻工作者的工作负担,实现VV&A工作自动化的重要手段。论述了VV&A工具的......
大约从20世纪80年代起，就有许多业内专家宣称模拟电路已走进死胡同，而数字应用将在电子世界中大放异彩，包括用在通信上的集成电路（inte......
随着系统仿真技术在各个领域日益广泛的应用,仿真模型及其产生结果的有效性备受模型用户的关注。模型的验证是确定模型有效性的有......
模型验证是VV＆A工作的重要内容之一,为了提高复杂仿真系统模型验证的工作效率,基于C#语言,设计了复杂仿真系统模型验证工具。详细阐......
近年来我国铁路发展迅速，应答器作为列车控制系统中地一车信息传输的重要设备，已在既有线、客运专线以及高速铁路中广泛应用。因此，应......
