云南高校图书馆联盟文献共享服务平台- 黄崇迪

黄崇迪: 作品数：1被引量：0H指数：0; 导出分析报告; 供职机构：清华大学软件学院更多>>; 发文主题：DPU系统形式化方法数据处理单元BIP更多>>; 发文领域：自动化与计算机技术更多>>; 发文期刊：《计算机应用研究》更多>>; 所获基金：国家自然科学基金更多>>

检索结果分析

共条记录，以下是1-1

全选清除导出

视图：

排序：

基于BIP框架的DPU系统建模与验证: 《计算机应用研究》2012年第8期2961-2966,共6页黄崇迪万海顾明陈睿; 国家自然科学基金资助项目(91018015);国家"975"重大基础研究计划资助项目(2010CB328003);国家自然科学基金委;中法多年期合作项目(60811130468); DPU(data process unit,数据处理单元)是嵌入式系统中的一个典型组件,被广泛应用于太空领域,它在层次化的嵌入式系统架构中起到承上启下的作用。保证这类安全攸关系统可靠性的主要方法包括冗余容错、测试和仿真。近年来,形式化方法作为...; 关键词：数据处理单元行为—交互—优先级框架形式化方法建模验证