首页 | 官方网站   微博 | 高级检索  
     

实时系统可变工作量建模及计算方法
引用本文:黄迎春,邓庆绪.实时系统可变工作量建模及计算方法[J].东北大学学报(自然科学版),2017,38(2):190-194.
作者姓名:黄迎春  邓庆绪
作者单位:(东北大学 信息科学与工程学院, 辽宁 沈阳110819)
基金项目:国家自然科学基金资助项目(61472072); 国家重点基础研究发展计划项目(2014CB360509).
摘    要:传统实时系统性能分析以最差情况下执行时间(worst-case execution time,WCET)作为主要输入,导致分析过于保守.针对实时系统设计时预留冗余过大的问题,建立了以到达事件类型、数量和分布为决策变量,包括工作量曲线(workload curves)、逆工作量曲线(inverse workload curves)、工作量比率曲线(workload ratio curves)在内的实时系统可变工作量模型,给出了相关计算方法.基于可变工作量模型分析了其在混合调度中的应用,结果表明:采用可变工作量模型和算法可显著减少任务所需的执行工作量,降低了实时系统的资源需求.

关 键 词:可变工作量模型  实时系统  形式化方法  工作量曲线  最差情况下执行时间  

A Variable Workload Model and Algorithm for Real-Time Systems
HUANG Ying-chun,DENG Qing-xu.A Variable Workload Model and Algorithm for Real-Time Systems[J].Journal of Northeastern University(Natural Science),2017,38(2):190-194.
Authors:HUANG Ying-chun  DENG Qing-xu
Affiliation:School of Information Science & Engineering, Northeastern University, Shenyang 110819, China.
Abstract:The traditional performance analysis of real-time systems relied on the input variable of worst-case execution time, which turned to be too pessimistic.Aiming at the problem of remarkably redundant design in real-time, a new model to characterize variable workload was created including workload curves, inverse workload curves and workload ratio curves. In the proposed model, event type, number and distribution were used as decision-variable, and relevant algorithm was proposed to solve the above model. In addition, the realistic applications were analyzed in mix scheduling based on VWM (variable workload model). The result indicates that the VWM can remarkably reduce execution workload of tasks, thus reducing the resource requirement of real-time systems.
Keywords:variable workload model  real-time system  formal method  workload curve  worst-case execution time  
本文献已被 CNKI 等数据库收录!
点击此处可从《东北大学学报(自然科学版)》浏览原始摘要信息
点击此处可从《东北大学学报(自然科学版)》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司    京ICP备09084417号-23

京公网安备 11010802026262号