近日，实验室博士生韩丁的论文“An efficient execution framework of 2-part execution scenario analysis”被CCF B类期刊ACM Transactions on Design Automation of Electronic Systems接收。
   论文研究实时任务响应时间分析方法执行效率改进策略，提出支持两阶段执行场景分析方法的高效率执行框架。论文通过分析任务干扰和任务执行时间在每个阶段内的相互作用关系，得出一组最大干扰场景所需满足的充分条件，从而在不损失方法计算精度的同时实现了方法执行效率的提升。实验结果表明，所提出执行框架能够显著提高两阶段法的执行效率。