首页> 外文会议>International Conference on Knowledge-Based Engineering and Innovation >Meta-scheduling techniques for energy-efficient robust and adaptive time-triggered systems
【24h】

Meta-scheduling techniques for energy-efficient robust and adaptive time-triggered systems

机译:高能效鲁棒自适应时间触发系统的元调度技术

获取原文

摘要

Many real-time embedded systems need to adapt to run-time events such as faults or changing environmental conditions. In time-triggered systems, which are prevalent in safety-critical applications, adaptivity can be realized by switching between static schedules, which are computed by scenario-based meta-scheduling techniques and tools. These tools exploit metadata and meta-scheduling models and algorithms. An example of an important event type is dynamic slack, which can be used to improve the system's energy efficiency by changing communication and execution plans. Likewise, the reaction to fault events involves the passivation of faulty components and the migration to spare resources. These mechanisms improve the robustness of time-triggered real-time systems and provide high potential for time and energy management. Nowadays, energy saving methods and algorithms are used in a wide-range of applications (e.g., mobiles phone), while their applicability in safety-critical systems is still limited. In this paper, we present meta-scheduling techniques and a meta-scheduler tool (MeS) to generate meta-schedules for time-triggered systems. We also experimentally evaluate the energy efficiency and timing based on slack events and fault events. Finally, results are visualized and validated with a meta-scheduling visualization tool (MeSViz).
机译:许多实时嵌入式系统都需要适应运行时事件,例如故障或不断变化的环境条件。在安全关键应用中普遍使用的时间触发系统中,可以通过在静态计划之间进行切换来实现适应性,静态计划是通过基于场景的元计划技术和工具来计算的。这些工具利用元数据以及元调度模型和算法。重要事件类型的一个示例是动态松弛,它可以用于通过更改通信和执行计划来提高系统的能源效率。同样,对故障事件的反应包括故障组件的钝化和向备用资源的迁移。这些机制提高了时间触发的实时系统的鲁棒性,并为时间和能量管理提供了巨大的潜力。如今,节能方法和算法被广泛用于各种应用中(例如,移动电话),而它们在安全关键型系统中的适用性仍然受到限制。在本文中,我们介绍了元调度技术和元调度工具(MeS)来为时间触发的系统生成元调度。我们还根据松弛事件和故障事件通过实验评估了能效和时间安排。最后,使用元计划可视化工具(MeSViz)对结果进行可视化和验证。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号