-
题名任务驱动的众核资源调度技术研究
- 1
-
-
作者
罗眉
周兴社
吴晓
张凯龙
-
机构
西北工业大学计算机学院陕西省嵌入式系统技术重点实验室
第二炮兵工程大学信息工程系
-
出处
《小型微型计算机系统》
CSCD
北大核心
2014年第6期1212-1215,共4页
-
基金
国家自然科学基金项目(61103004)资助
青年科学基金项目(F020308)资助
-
文摘
在采用众核架构的复杂实时系统中,对众核资源进行合理的调度,使得片内资源的分配与系统任务的需求相适应,对提高资源利用率和系统处理能力至关重要.为了使众核运算单元满足不同应用任务的计算需求,本文提出了一种基于众核架构的任务资源调度模型,该模型主要由应用任务集、实时计算管理逻辑和众核处理机三部分组成,基于该模型设计了众核资源调度算法MRSA(Many-core Resource-Schedule Algorithm).最后搭建了PowerPC主处理机和众核处理机的仿真实验环境,测试了系统的核资源利用率及任务调度效率,结果表明,MRSA算法能够有效适应众核架构系统的任务需求,提高系统资源的利用率.
-
关键词
复杂实时系统
众核架构
资源利用率
任务调度效率
-
Keywords
complex real-time system
many-core architecture
utilization ratio of resource
efficiency of task scheduling
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名基于搜索的Simulink测试数据生成
被引量:1
- 2
-
-
作者
邓绍鹏
杨志义
王宇英
-
机构
西北工业大学计算机学院 陕西省嵌入式系统技术重点实验室
-
出处
《计算机应用研究》
CSCD
北大核心
2012年第7期2527-2530,共4页
-
基金
国家“863”计划资助项目(2011AA010101)
西安市科技计划项目(CXY1008)
-
文摘
为满足基于模型的测试需求,研究了基于搜索的Simulink模型测试数据生成方法。对于严格约束,该方法利用代价函数规则构建目标函数,针对Simulink模型复杂性的特点,采用模拟退火算法对目标函数求优,最终搜索出满足目标约束的测试数据。由此设计了一种综合考虑宽松约束和严格约束的Simulink测试数据生成框架,最后实现了该方法在典型案例的应用。实践证明,该方法快速有效地解决了Simulink模型的测试数据生成问题。
-
关键词
测试数据生成
Simulink测试
基于搜索的测试
基于模型的测试
模拟退火
-
Keywords
test-data generation
Simulink testing
search-based testing
model-based testing
simulated annealing
-
分类号
TP311.56
[自动化与计算机技术—计算机软件与理论]
-