• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Proceedings of the 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORC Workshops 2010) >Consistency Challenges in Self-Organizing Distributed Hard Real-Time Systems
【24h】

Consistency Challenges in Self-Organizing Distributed Hard Real-Time Systems

机译：自组织分布式硬实时系统的一致性挑战

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Allowing real-time systems to autonomously evolve or self-organize during their life-time poses challenges on guidance of such a process. Hard real-time systems must never break their timing constraints even if undergoing a change in configuration. We propose to enhance future real-time systems with an in-system model-based timing analysis engine capable of deciding whether a configuration is feasible to be executed. This engine is complemented by a formal procedure guiding system evolution. The distributed implementation of a runtime environment (RTE) implementing this procedure imposes two key questions of consistency: How do we ensure model consistency across the distributed system and how do we ensure consistency of the actual system behavior with the model? We present a synchronization protocol solving the model consistency issues and provide a discussion on implications of different mode-change protocols on consistency of the system with its model.
机译：允许实时系统在其生命周期内自主演化或自组织，对这种过程的指导提出了挑战。即使进行配置更改，硬实时系统也绝不能打破其时序约束。我们建议使用能够确定配置是否可行的基于系统模型的时序分析引擎来增强未来的实时系统。该引擎辅以正式的程序指导系统演进。实现此过程的运行时环境（RTE）的分布式实现提出了两个关键的一致性问题：我们如何确保整个分布式系统的模型一致性，以及如何确保实际系统行为与模型的一致性？我们提出了解决模型一致性问题的同步协议，并提供了关于不同模式更改协议对系统与其模型一致性的影响的讨论。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号