...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Innovations in Systems and Software Engineering >TT-BIP: using correct-by-design BIP approach for modelling real-time system with time-triggered paradigm
【24h】

TT-BIP: using correct-by-design BIP approach for modelling real-time system with time-triggered paradigm

机译：TT-BIP：使用正确的设计BIP方法，用于使用时间触发的范式建模实时系统

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

摘要

In order to combine advantages of real-time operating systems implementing the time-triggered (TT) execution model and model-based design frameworks, we aim at proposing a correct-by-design methodology that derives correct TT implementations from high-level models. This methodology consists of two main steps: (1) transforming the high-level model into an intermediate model which respects the TT communication principles and where all communications between components are simple send/receive interactions, and (2) transforming the obtained intermediate model into the programming language of the target platform. In this paper, we focus on the presentation of the transformational methodology of the first step of this design flow. This methodology produces a correct-by-construction TT model by starting from a high-level model of the application software in behaviour, interaction, priority (BIP). BIP is a component-based framework with formal semantics that rely on multiparty interactions for synchronizing components. Commonly in TT implementations, tasks interact with each other through a communication medium. Our methodology transforms, depending on a user-defined task mapping, high-level BIP models where communication between components is strongly synchronized, into TT model that integrates a communication medium. Thus, only inter-task communications and components participating in such interactions are concerned by the transformation process. We also provide correctness proofs of the transformation and apply it on an industrial case study.
机译：为了结合实现时间触发（TT）执行模型和基于模型的设计框架的实时操作系统的优点，我们旨在提出从高级模型中得出正确的TT实现的正确设计方法。该方法包括两个主要步骤：（1）将高级模型转换为尊重TT通信原理的中间模型，并且组件之间的所有通信都是简单的发送/接收交互，（2）将所获得的中间模型转换为目标平台的编程语言。在本文中，我们专注于这种设计流程第一步的转型方法的演示。该方法通过在行为，交互，优先级（BIP）的应用软件的高级模型开始，通过从应用软件的高级模型开始，产生正确施工的TT模型。 BIP是一种基于组件的框架，具有正式语义，依赖于用于同步组件的多尾交互。通常在TT实现中，任务通过通信介质彼此相互作用。我们的方法转换，取决于用户定义的任务映射，其中组件之间的通信强烈同步的高级BIP模型，进入集成通信介质的TT模型。因此，仅参与此类交互的任务间通信和组件涉及转换过程。我们还提供转型的正确性证明，并将其应用于工业案例研究。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号