混合关键型多核嵌入式软件设计、验证与优化关键技术研究

The complexity of embedded systems is increasing as a result of higher application demands. In the future, multi-core processors will be used to satisfy the compound requirements of an embedded system in size, weight and power consumption, and application systems with different criticalities will be deployed on such multi-core platforms. Applications on different criticality levels typically have different requirements on real-time guarantee and performance. The key challenge for system designers is to deploy a mixed-criticality system on a multi-core platform to meet the real-time requirements of critical applications while maintaining high performance for non-critical applications. Therefore, it is highly relevant to study design, verification and optimization of mixed-criticality multi-core embedded software. We plan to conduct research in the following aspects: 1) real-time scheduling and resource management; 2) modeling and optimization of software performance; 3) run-time verification and control; 4) run-time system and related supporting environment. Our research will provide theoretical foundations, key techniques and software infrastructures for the design of mixed-criticality multi-core embedded systems, and will eventually promote the development of future embedded systems.

应用需求的提升导致嵌入式系统日益复杂，为综合满足嵌入式系统对体积、重量以及功耗等方面的复杂需求，需要使用多核硬件平台，并在同一平台上部署混合关键型应用。由于不同关键级别的应用通常在实时性、性能等方面的需求上存在巨大差异，系统设计者所面临的核心挑战是：如何在多核平台上设计和部署混合关键系统，既保证关键应用的实时性，又保证非关键应用的高效执行。为此，需要研究混合关键型多核嵌入式软件的设计、验证与优化技术，解决软件设计层面的根本问题。本项目将具体开展如下研究：1）实时调度与资源管理；2）性能建模与优化；3）运行时验证与调控；4）运行时系统与支撑环境。通过上述研究，为混合关键型多核嵌入式系统的设计建立理论基础，突破关键技术，搭建软件基础设施，最终推动多核嵌入式系统的发展。