朱晓燕

作品数:2被引量:0H指数:0
导出分析报告
供职机构:北京航空航天大学计算机学院更多>>
发文主题:AADLSYSTEMC软构件仿真测试精化更多>>
发文领域:自动化与计算机技术更多>>
发文期刊:《科研信息化技术与应用》《计算机科学》更多>>
所获基金:陕西省自然科学基金国家高技术研究发展计划更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-2
视图:
排序:
模型驱动的VxWorks操作系统故障注入与鲁棒性测试研究
《科研信息化技术与应用》2013年第3期40-48,共9页朱晓燕 吴际 尚会波 
VxWorks是目前广泛应用于机载、车载等复杂嵌入式系统的操作系统,它为应用程序提供了强大的故障捕捉和缺省的故障处理服务,并提供应用程序可挂载的故障处理接口。由于故障产生的时机和机理复杂,因此如何控制操作系统使其按照应用程序的...
关键词:故障模型 故障注入 鲁棒性测试 模型驱动 
基于SystemC的AADL软构件仿真代码转换技术
《计算机科学》2011年第8期161-164,196,共5页马春燕 董云卫 陆伟 朱晓燕 
国家高技术研究发展计划(863计划)(2009AA01Z147);陕西省自然科学基础研究计划项目(2009JM8003-5);西工大科技创新基金(2008KJ02045);西北工业大学引进高层次人才科研启动费资助项目及西北工业大学软件与微电子学院"R"孵化基金(2010R005)资助
目前,AADL在任务关键和安全关键嵌入式领域有着良好的应用。如何在设计阶段对AADL模型进行仿真,并根据仿真结果迭代构造和精化设计模型,以尽早发现设计模型中存在的问题,保障设计模型的质量,进而减少系统开发的代价,是目前急需解决的技...
关键词:AADL SYSTEMC 转换技术 仿真 
检索报告 对象比较 聚类工具 使用帮助 返回顶部