VirTherm-3D - Formalization of Multi-Agent System Management and Adaptive Modular Redundancy for Dependable 3D MPSoCs

VirTherm-3D - 可靠 3D MPSoC 的多代理系统管理和自适应模块化冗余的形式化

• 批准号: 181739223
• 负责人: Professor Dr.-Ing. Jörg Henkel
• 金额: --
• 依托单位: CES - Chair for Embedded Systems
• 依托单位国家: 德国
• 项目类别: Priority Programmes
• 财政年份: 2010
• 资助国家: 德国
• 起止时间: 2009-12-31 至 2020-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/181739223?language=en
• 关键词: VirTherm; 3D; Formalization; Multi; Agent

VirtTherm-3D is the continuation of the project with the same name in the SPP 1500 phases I and II. Whereas the first phase focused on basic thermal management on a 3D multi-core platform with I/O virtualization, the second phase generalized agent-based thermal system management and enabled any-to-any communication virtualization. The focus of this third phase is on a formalization of the agent system and on adaptive modular redundancy of the 3D platform from phases I and II. More specifically, we plan to formalize the agent system in order to be able to either give guarantees or probabilities of the agent system's thermal management behavior to ensure a reliable operation of the 3D multi-core system during its lifetime with respect to short and long term constraints. In particular, we are concerned about a well-balanced management sensitized to short-term thermal management decisions (i.e. seconds) and their impact on longer-term aging effects (i.e. months/years where aging plays a role) which will require formalizing the agent system. Thereby, it is a main challenge to provide a high level of predictability without sacrificing the scalability and flexibility of the agent-based system management. Furthermore, we introduce the new adaptive modular redundancy (AMR) concept as a means to further increase dependability. AMR follows a hybrid hardware/software multi-layer approach with minimal intrusiveness to implicitly replicate tasks through the agent system on the 3D multi-core platform. Thus, AMR allows emulating dual and triple modular redundancy protection through dynamic software task instantiation during runtime in compliance with the thermal, aging, power and resource related budgets of the system. A major research question will be to identify the right amount and locations to instantiate the generic checking units and coping with synchronization and task runtime variations. In summary, VirTherm-3D in its third phase builds upon the platform of the first two phases and further enhances multi-layer dependability coverage along with predictability in behavior necessary for deployment in real-world embedded systems.

VirtTherm-3D是SPP 1500第一和第二阶段同名项目的延续。第一阶段侧重于具有I/O虚拟化的3D多核平台上的基本热管理，而第二阶段则推广了基于代理的热系统管理，并实现了任意通信虚拟化。这第三阶段的重点是对代理系统的形式化和自适应模块冗余的3D平台从第一阶段和第二阶段。更具体地说，我们计划正式的代理系统，以便能够保证或概率的代理系统的热管理行为，以确保可靠的操作的3D多核系统在其生命周期相对于短期和长期的限制。特别是，我们关注的是一个良好的平衡管理敏感的短期热管理决策（即秒）和它们对长期老化效应的影响（即老化发挥作用的月/年），这将需要正式的代理系统。因此，它是一个主要的挑战，提供一个高水平的可预测性，而不牺牲的可扩展性和灵活性的基于代理的系统管理。此外，我们还引入了新的自适应模块冗余（AMR）概念，以进一步提高可靠性。AMR遵循混合硬件/软件多层方法，具有最小的侵入性，通过3D多核平台上的代理系统隐式复制任务。因此，AMR允许通过在运行时期间的动态软件任务实例化来模拟双重和三重模块冗余保护，以符合系统的热、老化、功率和资源相关预算。一个主要的研究问题将是确定合适的数量和位置来实例化通用检查单元，并处理同步和任务运行时的变化。总之，VirTherm-3D在其第三阶段建立在前两个阶段的平台上，并进一步增强了多层可靠性覆盖范围，沿着在实际嵌入式系统中部署所需的行为可预测性。