• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>NAFOSTED Conference on Information and Computer Science >A formal contract-based model for component-based real-time systems
【24h】

A formal contract-based model for component-based real-time systems

机译：基于组件的实时系统的正式合同模型

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Design by contract and relational interface theories are powerful for specifying component-based systems. We extend these theories with real-time properties so that our technique can model component-based real-time systems. In addition, we use linear temporal logic (LTL) for specifying the invariant properties of contracts. To specify the interaction between methods in a component, and the interaction between components, we use the timed regular expressions over a distributed alphabet. The correctness of a system model is based on the correctness by construction approach. We show several examples that our technique is powerful and useful to guarantee the correctness of component-based systems with real-time requirements.
机译：合同设计和关系界面理论对于指定基于组件的系统来说是强大的。我们使用实时性能扩展这些理论，以便我们的技术可以模拟基于组件的实时系统。此外，我们使用线性时间逻辑（LTL）来指定合同的不变性属性。要指定组件中的方法与组件之间的交互之间的交互，我们将在分布式字母表上使用定时正则表达式。系统模型的正确性基于施工方法的正确性。我们展示了我们的技术功能强大，可用于保证基于组件的系统的实时要求的正确性。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号