Stress Test Case Generation of Task Deadlines Using OPL Model

来源 :2015全国理论计算机科学学术年会 | 被引量 : 0次 | 上传用户:dongdongthere
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
  Real-time systems are usually associated with strict performance requirements, especially in safetycritical domains.The bottleneck of performance can be found effectively by stress test.This paper focuses on stress test case generation of task deadlines.And it is expressed as a Constrained Optimization Problem (COP) that includes (1) describing the problem about task scheduling, (2) building the model using Optimization Programming Language (OPL)in CPLEX Optimization Studio, and (3) solving the problem via the CPLEX CP Optimizer.Thus, it can generate stress test cases automatically, which are the sequences of arrival times of tasks triggering worst-case executions.Furthermore, due to the significant increase in memory and time with increasing size of the problem, the uncertainty of tasks arrival time, as well as the insufficiency of a single objective function in some cases, etc., an efficient model is built by changing data structures and constraints, and the validity of the improved model in memory and time is presented via experiment.Aiming at larger-scale problem, a hybrid algorithm preliminary framework is proposed, integrating Constraint Programming (CP) and Genetic Algorithm (GA) together, which can find solutions more effectively and efficiently.
其他文献
  Document databases are becoming popular, but how to present complex document query to obtain useful information from the document remains an important topic
会议
  片上网络作为一种将大量嵌入式内核集成到单个晶圆片上的可行性技术,与传统片上系统相比,更能应对未来需要更大规模集成内核的挑战,从而得到了更广泛的应用。然而,目前大多数
会议
  随着电子商务和金融软件应用日益广泛,提高这类软件系统的可靠性和安全性就显得特别重要。虽然能够提高这类软件可靠性的事务处理技术早在数据库管理系统中普遍使用,近几
会议
  为了降低图像轮廓检测中纹理对检测结果的影响,提出一种基于双尺度高斯核方向导数滤波器的图像轮廓检测算法。结合大小两个尺度高斯核方向导数滤波器构造图像的边缘强度映
  Kidney exchange programs have been established in several countries to organize kidney exchanges between incompatible patient-donor pairs.The core of these
会议
  FDTD算法是电磁场领域使用非常广泛的数值计算方法,该方法具有很好的精度与灵活性,已成为求解各种电磁场问题的有力的工具。半导体技术的快速发展使得CPU的计算性能有了
会议
  In this paper, a novel approach for initializing clustering centers of K-Means algorithm is presented.This method is based on the variance of dimension, whi
会议
  OAuth 2.0协议为新型开放授权协议,主要解决用户账号关联和资源共享问题.但其弱安全性导致各网络公司海量用户信息泄露,且OAuth 2.0传输数据采用的https通道效率低下,成为黑
  The required time to indentify the motifs in biological networks will be sharply increased with increase of the scale of the original network or the size of
会议
  Herd behavior is a phenomenon that often appears in the stock market.It is caused by the irrational imitation of investors and is expressed as major investo
会议