多核实时软件分析理论与技术研究

项目名称： 多核实时软件分析理论与技术研究

项目编号： No.61370076

项目类型： 面上项目

立项/批准年度： 2013

项目学科： 自动化技术、计算机技术

项目作者： 王义

作者单位： 东北大学

项目金额： 76万元

中文摘要： 实时系统设计的核心任务是"在系统设计阶段，能够通过精确、高效的分析手段，判定系统的时间特性能否满足所规定的要求"。随着应用需求的不断提升，多核处理器应用于实时系统已经成为必然趋势。在多核系统中，多个实时任务并行执行，并共享系统资源，导致系统的时间行为异常复杂，难于分析。对多核系统进行合理的建模，并根据相应的系统模型在任务级和系统级层次上提出精确、高效的时间行为分析方法，是所有实时系统设计者所面临的巨大挑战。基于此背景，本项目研究多核实时软件时间分析理论与技术，主要内容包括：（1）支持精确建模和高效分析的多核系统时间模型；（2）多核系统最坏情况执行时间分析（任务级分析）；（3）多核实时调度与可调度性分析（系统级分析）。并基于上述理论成果，设计一个多核实时操作系统原型，在实际环境中验证所提出理论的有效性。该项目的研究，将为多核实时软件时间分析突破一些理论瓶颈，推动多核平台在实际系统中的应用。

中文关键词： 多核；实时软件；时间分析；实时调度；最坏情况执行时间分析

英文摘要： The core task of real-time system design is "precisely and efficiently analyzing the timing behaviors of the system at design time to guarantee they satisfy the required timing constraints at run time". With the increasing demands from applications, multi

英文关键词： multi-core；real-time software；timing analysis；real-time scheduling；WCET