面向云计算模式运行环境可信性动态验证机制 被引量：19

1

作者 刘川意 林杰 唐博 《软件学报》 EI CSCD 北大核心 2014年第3期662-674,共13页

如何为用户提供一个可证明、可验证的可信运行环境,是云计算模式面临的重要问题.提出一种动态的用户运行环境可信性验证机制TCEE(trusted cloud execution environment).通过扩展现有可信链,将可信传递到用户虚拟机内部,并周期性地对用... 如何为用户提供一个可证明、可验证的可信运行环境,是云计算模式面临的重要问题.提出一种动态的用户运行环境可信性验证机制TCEE(trusted cloud execution environment).通过扩展现有可信链,将可信传递到用户虚拟机内部,并周期性地对用户运行环境的内存和文件系统进行完整性验证.TCEE引入可信第三方TTP(trusted third party),针对用户虚拟机运行环境的可信性进行远程验证和审计,避免了由用户维护可信验证的相关信息和机制,同时也能够避免云平台敏感信息的泄露.实现了基于TCEE的原型系统,对TCEE的有效性和性能代价进行定量测试和评价.实验结果表明,该机制可以有效检测针对内存和文件系统的典型威胁,且对用户运行环境引入的性能代价较小. 展开更多

关键词 云计算 可信性验证 可信计算 TPM

在线阅读 下载PDF 职称材料

可信计算中信任链建立的形式化验证 被引量：6

2

作者 王勇 许荣强 +1 位作者 任兴田 杨建红 《北京工业大学学报》 CAS CSCD 北大核心 2016年第3期387-392,共6页

为了对可信平台控制模块的信任链建立过程进行理论验证,在对基于可信平台控制模块(trusted platform control module,TPCM)的信任链建立过程进行抽象处理的基础上,给出了抽象模型中各个实体状态的进程代数描述,并利用进程代数的公理系... 为了对可信平台控制模块的信任链建立过程进行理论验证,在对基于可信平台控制模块(trusted platform control module,TPCM)的信任链建立过程进行抽象处理的基础上,给出了抽象模型中各个实体状态的进程代数描述,并利用进程代数的公理系统做了形式化验证.验证的结果表明系统具有期望的外部行为. 展开更多

关键词 可信计算 信任链 可信平台控制模块 形式化验证 进程代数

在线阅读 下载PDF 职称材料

基于FPGA的“龙鳞”通信模块跨时钟域验证实践 被引量：1

3

作者 肖安洪 曾辉 +4 位作者 秦友用 靳津 周俊燚 郭文 陈俊杰 《上海交通大学学报》 EI CAS CSCD 北大核心 2019年第S01期84-87,103,共5页

由于现场可编程逻辑门阵列(FPGA)功能实现的多元化,往往会出现不同时钟域的信号.不同时钟域的信号进行交互,若不进行同步处理,经常会产生数据丢失、时序错误等问题,所以跨时钟域检查对FPGA功能实现特别重要.本文主要阐述了在开展"... 由于现场可编程逻辑门阵列(FPGA)功能实现的多元化,往往会出现不同时钟域的信号.不同时钟域的信号进行交互,若不进行同步处理,经常会产生数据丢失、时序错误等问题,所以跨时钟域检查对FPGA功能实现特别重要.本文主要阐述了在开展"龙鳞"平台通信模块FPGA软件验证与确认工作中跨时钟域检查的测试流程和方法,对跨时钟异常进行分类,分析通信模块FPGA软件的跨时钟异常并提供解决方案,为FPGA测试工程师提供一种测试思路. 展开更多

关键词 现场可编程逻辑门阵列 龙鳞 通信模块 跨时钟域 验证

在线阅读 下载PDF 职称材料

基于System Verilog的航空电子组件验证平台的搭建

4

作者 顾振华 吴正茂 +2 位作者 李思海 吴勇 任斌斌 《黑龙江科技信息》 2016年第14期143-145,共3页

针对航空领域传统的功能验证方法验证效率低、完备性差等问题,本文介绍了基于System Verilog的先进的功能验证方法学,并且详细阐述了搭建验证平台的方法。最后以航空无线电管理面板的ARINC模块为例,搭建了分层验证平台,并给出了功能覆... 针对航空领域传统的功能验证方法验证效率低、完备性差等问题,本文介绍了基于System Verilog的先进的功能验证方法学,并且详细阐述了搭建验证平台的方法。最后以航空无线电管理面板的ARINC模块为例,搭建了分层验证平台,并给出了功能覆盖率结果。结果表明方法可用性与完备性,基于System Verilog的先进的功能验证方法学对于未来航空电子组件验证具有重要意义。 展开更多

关键词 SYSTEM VERILOG 功能验证 ARINC模块 验证平台

在线阅读 下载PDF 职称材料

基于APTIX设备实现对数字系统的硬件加速验证

5

作者 谭安菊 许晏 《电子工程师》 2005年第1期29-31,共3页

随着硬件描述语言(HDL)的发展,数字系统日趋复杂,对其进行验证需要很长时间,根据近年来的统计,对数字系统设计进行测试验证所花的时间占整个设计过程的60%以上。但是现在许多可编程逻辑器件(PLD)厂家都能够提供相关电子设计自动化(EDA)... 随着硬件描述语言(HDL)的发展,数字系统日趋复杂,对其进行验证需要很长时间,根据近年来的统计,对数字系统设计进行测试验证所花的时间占整个设计过程的60%以上。但是现在许多可编程逻辑器件(PLD)厂家都能够提供相关电子设计自动化(EDA)软件来完成对数字系统的快速验证,其中APTIX公司的设备是价格低、验证速度快、基于层次化和模块化的验证平台。文中以APTIX设备为开发环境,应用硬件加速验证的方法来实现对数字系统的快速验证。 展开更多

关键词 集成电路设计 数字系统 硬件加速验证 模板验证平台(mvp) 现场可编程电路板(FPCB) 现场可编程互连元件(FPIC)

在线阅读 下载PDF 职称材料

云制造服务平台系统的设计与开发 被引量：3

6

作者 周灼 苑明海 +1 位作者 孙超 邓坤 《计算机技术与发展》 2019年第7期200-204,共5页

在云制造环境下,产品的全生命周期活动几乎都依托一个公共信息服务中心来进行管理,因此设计开发一个公共服务平台管理系统至关重要。根据用户对产品独特性和时效性的要求,提出了面向SOA(service-oriented-architecture)的云制造服务平... 在云制造环境下,产品的全生命周期活动几乎都依托一个公共信息服务中心来进行管理,因此设计开发一个公共服务平台管理系统至关重要。根据用户对产品独特性和时效性的要求,提出了面向SOA(service-oriented-architecture)的云制造服务平台系统框架并阐述了业务流程。采用B/S体系结构,并基于VisualStudio.NET集成平台,使用Microsoft SQL Server进行数据库开发,从云制造用户信息管理、云制造资源服务管理、云制造业务管理三个主要功能模块进行设计,开发了云制造服务平台系统,以“用户资源服务需求→服务资源发布→资源服务搜索匹配→服务绑定→订单调配生产”为主线并结合实例对文中理论与方法的可行性和有效性进行验证。结果表明,开发的云制造服务平台系统实现了自动智能搜索匹配、信息统一规范化注册发布、资源服务实时监控的功能。 展开更多

关键词 云制造 云制造服务平台系统 功能模块 验证

在线阅读 下载PDF 职称材料

基于UVM实现APB-I^2C模块的功能验证 被引量：3

7

作者 牛玉坤 孟令琴 《工业控制计算机》 2017年第7期77-79,共3页

APB-I^2C模块是SOC系统中实现APB总线和外围I^2C设备连接通信的重要模块,负责将APB和I^2C的不同的总线协议进行转换,因此对该模块功能正确性的验证有着重要意义。通过应用UVM通用验证方法学搭建了适用于该模块的完整的验证平台和验证环... APB-I^2C模块是SOC系统中实现APB总线和外围I^2C设备连接通信的重要模块,负责将APB和I^2C的不同的总线协议进行转换,因此对该模块功能正确性的验证有着重要意义。通过应用UVM通用验证方法学搭建了适用于该模块的完整的验证平台和验证环境,建立了APB Master和I^2C的代理作为验证IP与APB-I^2C模块进行通信,通过采用受约束的随机测试激励,能够大量减少验证激励的开发时间,简化了验证流程,提高验证准确性并缩短验证周期。 展开更多

关键词 UVM 验证平台 模块功能验证 验证IP

在线阅读 下载PDF 职称材料

高级驾驶辅助系统硬件在环测试平台研究 被引量：4

8

作者 郑刚 张朝阳 +1 位作者 俎兆飞 孔祚 《现代电子技术》 2021年第20期65-68,共4页

为实现高级驾驶辅助系统的仿真测试,解决传统实车验证中费用高、周期长、测试场地复杂等问题,构建面向SAE 2级的ADAS HIL测试平台。采用硬件在环仿真测试方法,结合实时虚拟仿真技术,并利用硬件在环技术路线搭建的测试平台框架,提出了一... 为实现高级驾驶辅助系统的仿真测试,解决传统实车验证中费用高、周期长、测试场地复杂等问题,构建面向SAE 2级的ADAS HIL测试平台。采用硬件在环仿真测试方法,结合实时虚拟仿真技术,并利用硬件在环技术路线搭建的测试平台框架,提出了一种基于dSPACE的仿真测试平台,该平台硬件包括dSPACE硬件、上位机、驾驶件、ADAS控制器和Vector硬件等,软件包括Carsim、Matlab/Simulink、CANoe和dSPACE软件等。基于中国新车评价规程(C⁃NCAP)的CCRs测试工况,以某款已量产并配备与别克VELITE6的ADAS控制器CMB/FCW功能为测试对象进行验证。实验结果表明,硬件在环测试平台满足待测ADSA控制器量产样件的功能需求,证明该测试平台能够很好地对所开发的ADAS控制器进行测试分析,能够缩短开发周期,经济性好,对车辆ADAS进一步的开发及测试奠定良好的基础。 展开更多

关键词 驾驶辅助系统 测试平台 MATLAB 仿真测试 总线调理模块 测试验证

在线阅读 下载PDF 职称材料

Aptix System ExplorerTM使用方法初探

9

作者 金迪 张斌 邵东瑞 《微处理机》 2004年第5期47-48,共2页

本文描述了AptixSystemExplorerTM硬件仿真系统两种工作方式 (MVP&Incir cuit)的基本原理及流程 ,分析了该系统的特点 ,并给出了如何利用其中的InCircuit模式实现对In tel 82 74芯片的测试 。

关键词 片上系统(SOC) 可编程互连器件(FPIC) 可编程印制版(FPCB) mvp Incircuit

在线阅读 下载PDF 职称材料

一种电动汽车充电桩在线计量检测技术研究 被引量：6

10

作者 左勇 宗海乐 +2 位作者 荣国灿 林乃奇 张兴超 《电器与能效管理技术》 2024年第9期71-76,共6页

针对电动汽车充电桩现场人工检定存在的工作负荷大、检定频率高以及滞后性等问题,设计一种电动汽车充电桩在线计量检测系统。系统由充电桩在线检测模块、在线检定监管平台以及充电服务运营管理平台组成,在线检测模块安装在充电桩内,上... 针对电动汽车充电桩现场人工检定存在的工作负荷大、检定频率高以及滞后性等问题,设计一种电动汽车充电桩在线计量检测系统。系统由充电桩在线检测模块、在线检定监管平台以及充电服务运营管理平台组成,在线检测模块安装在充电桩内,上行连接充电服务运营管理平台和在线检定主站,下行连接充电桩内计量模块,同时采用4G物联网通信模块与充电服务运营管理平台、主站进行通信和数据传输。系统实现了大规模充电桩的常态化检定,能够及时发现充电桩的计量异常或收费异常,解决了传统检定方式滞后性的问题。 展开更多

关键词 电动汽车充电桩 在线检定系统 在线检测模块 在线检定监管平台

在线阅读 下载PDF 职称材料

基于铁路货运生产作业与管控平台的危险货物管理模块设计与实现 被引量：1

11

作者 王小朋 刘伟斌 +2 位作者 李明 司会鹏 吴志伟 《铁道货运》 2023年第8期7-13,共7页

随着货运信息化不断深入发展,国铁集团不断完善货运生产作业流程、完善营销服务体系,主导研发了铁路货运生产作业与管控平台,危险货物管理作为管控平台重要专业管理模块之一,根据专业管理及作业需求,重新定义了危险货物管理模块与其它... 随着货运信息化不断深入发展,国铁集团不断完善货运生产作业流程、完善营销服务体系,主导研发了铁路货运生产作业与管控平台,危险货物管理作为管控平台重要专业管理模块之一,根据专业管理及作业需求,重新定义了危险货物管理模块与其它货运模块的关系,规范了业务数据结构及基础字典,重构了危险货物管理相关功能,按照管控平台技术架构规范,把危险货物管理模块集成于管控平台中,并为铁路95306提供办理限制校验,为其他模块提供数据接口。通过铁路局集团公司试点,危险货物管理这一专业管理领域更加规范,有力提高了工作效率。 展开更多

关键词 货运信息化 铁路货运生产作业与管控平台 危险货物管理模块 专业管理 校验

在线阅读 下载PDF 职称材料