高磊

作品数：3被引量：45H指数：3
导出分析报告
供职机构：西北工业大学计算机学院更多>>
发文主题：AADLL模型GSPNAAD形式化方法更多>>
发文领域：自动化与计算机技术自然科学总论更多>>
发文期刊：《微电子学与计算机》《软件学报》《计算机工程》更多>>
所获基金：国家自然科学基金国家高技术研究发展计划西北工业大学基础研究基金西北工业大学研究生创业种子基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种AADL系统可靠性模型转换方法被引量：6
《计算机工程》2011年第14期21-26,共6页高磊 董云卫 张凡 王广仁 
国家自然科学基金资助重点项目"高可靠构件化嵌入式软件设计与验证技术及其支撑环境研究"(60736017);国家"863"计划基金资助项目"模型驱动的任务关键软件系统测试建模与支撑平台"(2007AA01Z147)
在原有构件依赖关系的基础上,提出一种架构分析与设计语言(AADL)系统可靠性模型的转换方法。该方法对AADL嵌入式系统体系结构进行可靠性建模,实现AADL可靠性模型到广义随机Petri网(GSPN)可靠性计算模型的转换。研究表明,该方法使AADL可...
关键词：架构分析与设计语言 广义随机PETRI网 可靠性模型 模型装换规则 可靠性评估 
AADL模型可靠性分析评估工具被引量：33
《软件学报》2011年第6期1252-1266,共15页董云卫 王广仁 张凡 高磊 
国家自然科学基金(60736017);国家高技术研究发展计划(863)(2009AA01Z147);西北工业大学基础研究基金(JC200917)
主要针对AADL(architecture analysis and design language)嵌入式系统体系结构进行可靠性建模,实现AADL可靠性模型到广义随机Petri网(general stochastic Petri net,简称GSPN)可靠性计算模型的转换,并基于GSPN可靠性计算模型对嵌入式...
关键词：AADL 可靠性模型 GSPN 可靠性分析与评估 形式化方法 
AES算法中SubBytes变换的高速硬件实现被引量：10
《微电子学与计算机》2006年第7期47-49,共3页高磊 戴冠中 
西北工业大学研究生创业种子基金项目(Z200554)
SubBytes变换是AES算法中唯一的非线性变换,也是硬件实现模块中的关键部分。文章在研究有限域GF(28)与其复合域GF((24)2)变换的基础上,采用组合逻辑替代RAM查表的方法实现SubBytes变换,并在其内部实现了三级流水线。在AlteraEP20KE系列...
关键词：AES SubBytes 有限域 流水线 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部