• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Software engineering for self-adaptive systems III >Contracts-Based Control Integration into Software Systems
【24h】

Contracts-Based Control Integration into Software Systems

机译：基于合同的控制集成到软件系统中

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

摘要

Among the different techniques that are used to design self-adaptive software systems, control theory allows one to design an adaptation policy whose properties, such as stability and accuracy, can be formally guaranteed under certain assumptions. However, in the case of software systems, the integration of these controllers to build complete feedback control loops remains manual. More importantly, it requires an extensive handcrafting of non-trivial implementation code. This may lead to inconsistencies and instabilities as no systematic and automated assurance can be obtained on the fact that the initial assumptions for the designed controller still hold in the resulting system. In this chapter, we rely on the principles of design-by-contract to ensure the correction and robustness of a self-adaptive software system built using feedback control loops. Our solution raises the level of abstraction upon which the loops are specified by allowing one to define and automatically verify system-level properties organized in contracts. They cover behavioral, structural and temporal architectural constraints as well as explicit interaction. These contracts are complemented by a first-class support for systematic fault handling. As a result, assumptions about the system operation conditions become more explicit and verifiable in a systematic way.
机译：在用于设计自适应软件系统的不同技术中，控制理论允许人们设计一种适应策略，在某些假设下可以正式保证其性能（如稳定性和准确性）。但是，对于软件系统，集成这些控制器以构建完整的反馈控制回路仍然是手动操作。更重要的是，它需要大量编写非平凡的实现代码。这可能会导致不一致和不稳定，因为无法获得系统和自动化的保证，因为对设计的控制器的初始假设仍会保留在结果系统中。在本章中，我们依靠按合同设计的原理来确保使用反馈控制回路构建的自适应软件系统的校正和健壮性。我们的解决方案通过允许人们定义并自动验证按合同组织的系统级属性，提高了指定循环的抽象级别。它们涵盖了行为，结构和时间架构约束以及显式交互。这些合同辅以对系统故障处理的一流支持。结果，关于系统操作条件的假设变得更加明确和可系统地验证。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号