自适应MPSoC系统具有根据应用场景和运行环境动态调节其运行行为的能力，比如动态应用映射、动态电压和频率调节（DVFS）等，从而达到降低系统功耗、提高系统容错能力和可靠性等目的。本项目拟采用基于高层形式化模型的方法对此类系统的设计展开研究，为其早期设计提供支持，帮助设计人员提高计效率的同时保证其所设计产品的可靠性。具体研究内容包括：1）系统每个应用场景的设计，即如何在考虑运行条件可能出现变化的条件下来对各个场景中的应用任务进行资源分配和调度，从而使设计满足系统正确性以及性能和功耗等方面的需求；2）系统自适应行为的动态管理和控制，即如何设计一个正确的管理器来对系统自适应行为进行动态管理和控制，从而满足系统可靠性和降低功耗等需求；3）自适应MPSoC系统设计流程和工具设计，即如何设计一个整合前两项研究内容的设计流程，并开发相应的辅助设计工具来协助设计人员进行高效可靠的设计。

Adaptive MPSoCs have the ability to adapt their dynamic behavior, e.g., dynamic application mapping adaptation, dynamic voltage and frequency scaling, according to run-time application scenarios and situations, in order to reduce the energy consumption and improve the system fault-tolerance and reliability. Our research proposal aims to develop high level model-based design approaches for adaptive MPSoCs, in order to provide early design support for their designs and assist designers to improve the design efficiency and guarantee the design reliability. We identify three specific design topics as follows. Firstly, system application scenario design, which deals with the resource allocation as well as task mapping and scheduling within one system application scenario, in order to meet the system requirements regarding correctness, time and energy consumption. Secondly, the dynamic management and control of system adaptive behaviors, which deals with the design of a correct controller to manage the system dynamic behaviors according to run-time situations so as to meet the system requirements regarding system reliability and energy consumption reduction. Thirdly, a design flow and an associated design tool for adaptive MPSoCs, which should integrate the aforementioned two design aspects into a uniform and automatic design process, and result in a corresponding design tool to assist the designers to perform efficient and reliable designs.