国家高技术研究发展计划(2007AA010304)

作品数：19被引量：89H指数：6
导出分析报告
相关作者：董云卫桂盛霖李允罗蕾万永超更多>>
相关机构：电子科技大学西北工业大学北京科银京成技术有限公司西南交通大学更多>>
相关期刊：《计算机学报》《电子科技大学学报》《电子学报》《计算机应用研究》更多>>
相关主题：L模型AAD可调度性代码自动生成嵌入式软件更多>>
相关领域：自动化与计算机技术机械工程更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于时间自动机的嵌入式系统调度分析工具被引量：1
《计算机工程》2012年第3期290-292,共3页于淼 李允 桂盛霖 罗蕾 
国家自然科学基金资助项目(90718019);国家"863"计划基金资助项目(2007AA010304)
为验证嵌入式实时系统开发过程中任务集的可调度性,设计并实现一种嵌入式系统调度分析工具。提出通用任务模型,建立任务与事件到达自动机和任务状态自动机的状态关系映射,利用基于模型检测的时间自动机可达性方法判定系统的可调度性。...
关键词：形式化方法 时间自动机 可调度性 嵌入式实时系统 任务模型 
基于仿真方法的任务集可调度性判定工具被引量：1
《计算机工程》2012年第2期237-239,共3页徐建华 李允 
国家自然科学基金资助项目(90718019);国家"863"计划基金资助项目(2007AA010304)
针对含有纯周期任务的任务集可调度性判定问题,提出一种基于仿真方法的任务集可调度性判定工具。通过设定时钟变量,模拟任务调度过程中的系统时钟,在时钟变量值增长的过程中,根据任务优先级从高到低的顺序,分析各个任务的截止时间限,判...
关键词：任务集 可调度性判定 时钟变量 周期任务 
基于单调速率的可调度性判定改进算法被引量：2
《计算机工程》2011年第22期45-47,共3页徐建华 李允 
国家自然科学基金资助项目(90718019);国家"863"计划基金资助项目(2007AA010304)
在单调速率调度策略的基础上,提出一种改进的任务集可调度性判定算法。该算法通过设定时钟变量模拟调度过程中的系统时钟,在时钟变量值增长过程中,根据任务优先级从高到低的顺序,分析各个任务的截止时间限的满足情况,判定任务的可调度性...
关键词：实时调度 单调速率 任务集 可调度性判定 时钟变量 
模型驱动的嵌入式仿真系统设计被引量：1
《计算机工程》2010年第16期237-239,共3页李秀萍 董云卫 
国家自然科学基金资助重点项目"高可靠构件化嵌入式软件设计与验证技术及其支撑环境研究"(60736017);国家"863"计划基金资助项目"高可信嵌入式软件生产线"(2007AA010304)
为解决嵌入式系统仿真应用需求多样性的问题并提高系统的开发效率,设计一种通用嵌入式仿真系统。该系统在Matlab/Simulink开发环境的基础上,采用模型驱动的方法设计仿真模型并构建仿真组件库,实现了仿真系统模型的快速建立。同时设计了...
关键词：仿真系统 模型驱动架构 仿真模型 组件库 
基于构件失效建模的软件安全性分析被引量：2
《计算机工程》2010年第14期59-61,共3页万永超 周兴社 董云卫 
国家自然科学基金资助项目(60736017);国家"863"计划基金资助项目(2007AA010304)
提出一种基于构件失效建模的软件安全性分析方法,对失效传播与转换标记(FPTN)进行扩展,描述各个构件的失效行为和模式。在架构设计层面综合考虑软件系统的构件连接和结构特性,使用模糊数学的相关方法,确定软件的安全等级。结合实例,对...
关键词：软件安全性 构件 失效建模 失效传播 
构件化软件系统安全性分析技术研究
《计算机科学》2010年第5期123-126,161,共5页万永超 周兴社 董云卫 
国家自然科学基金(60736017);国家863高技术研究发展计划基金项目(2007AA010304)资助
复杂系统的软件安全性分析中存在众多的含糊表述和不确定性问题,主观评价和模糊集理论即为处理此类问题的有效方法。首先对复杂软件涉及到的安全性要素进行模糊数学化表述,按照构件化的思想,对单个构件/模块的安全度进行分析,进而利用De...
关键词：构件化软件 模糊集 主观评价 安全度 综合 
航空机载软件安全性测试技术研究被引量：6
《计算机测量与控制》2010年第5期1017-1020,共4页万永超 赵宏斌 董云卫 
国家自然科学基金(60736017);国家863高科技研究发展计划基金项目(2007AA010304)
航空机载软件的安全性问题日趋严重,亟需对其进行严格的专门性测试,首先对当前的软件安全性测试研究现状予以总结,针对航空领域测试环境的特点提出了各种机载软件安全性指标;其次,在充分的安全性分析和传统的可靠性测试理论基础上,依照...
关键词：机载软件 软件测试 安全性 运行剖面 风险 
基于模型的嵌入式开发环境--LambdaMDE被引量：1
《计算机应用》2010年第3期607-611,共5页陆少鹏 桂盛霖 李允 罗蕾 
国家自然科学基金重大研究计划项目(90718019);国家863计划项目(2007AA010304)
面向嵌入式软件的开发工具目前正在从基于代码的传统开发环境向基于模型的开发环境发展。为此,研究了一个基于模型的嵌入式开发环境LambdaMDE,在LambdaPro的基础上集成OSATE和Simulink模型开发工具以及其他相关工具,包含了建模、仿真验...
关键词：模型方法 嵌入式软件 开发环境 
面向分布实时嵌入式系统的任务优化调度算法
《西北工业大学学报》2009年第6期900-905,共6页梁克 周兴社 盛瑞卿 张凯龙 
国家自然科学基金(60736017);863计划(2007AA010304)资助
文章针对负载难以准确预知且动态变化的复杂分布实时嵌入式系统,提出了一种基于快速模型预测控制的任务调度算法,通过动态调整分配在各个处理器上的任务QoS,使得每个处理器的CPU利用率保持在参考值附近,保证了任务的实时性;利用多参数...
关键词：分布实时嵌入式系统 任务调度 模型预测控制 多参数二次规划 
基于CSP的构件化嵌入式软件能耗分析与评估方法研究被引量：19
《计算机学报》2009年第9期1876-1883,共8页张滕滕 吴晓 李长德 董云卫 
国家自然科学基金重点项目(60736017);国家"八六三"高技术研究发展计划重大专项课题(2007AA010304)资助~~
随着嵌入式系统的发展,构件化软件开发技术已成为嵌入式软件开发的发展趋势.嵌入式系统通常是能源有限系统,如何在构件化嵌入式系统开发前期对其能耗进行分析与评估,发现系统能耗特性设计缺陷,从而提高开发效率,降低开发成本,已成为嵌...
关键词：构件 接口 体系结构 能耗 迹模型 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部