• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Design automation for embedded systems >A generic conceptual framework based on formal representation for the design of continuous/discrete co-simulation tools
【24h】

A generic conceptual framework based on formal representation for the design of continuous/discrete co-simulation tools

机译：基于形式表示的通用概念框架，用于设计连续/离散协同仿真工具

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

摘要

Modern systems integrate components specific to different application domains. Frequently, these systems combine continuous and discrete sub-systems and therefore their design involves overcoming specific global modeling and validation challenges. In order to generate global simulation models of heterogeneous systems the designers need efficient tools for systems' validation. Therefore, a new type of designers emerged, the designers of co-simulation tools. Their main objective is to provide coherent tools for the co-simulation models' designers. Given the diversity of abstractions, languages and simulation tools, the design of co-simulation tools may be costly and time consuming. Thus, the key for the improvement of the validation process is to define a model-based generic approach before the implementation of these tools. This requires new skills on formalism and formal verification domain. This paper proposes a generic conceptual framework based on formal representation of the co-simulation interfaces for co-simulation tools design. The framework can be used to provide rigorous global formal co-simulation models for continuous/discrete heterogeneous systems. It allows the definition for implementation of the co-simulation interfaces starting with their formal definitions that are gradually refined and verified. The global formal model also provides the rules for the implementation and the generation of the interfaces. The framework is the skeleton on which the designers can build accurate tools for global execution models of continuous/discrete heterogeneous systems. The approach was used to design a co-simulation tool that is presented in this paper.
机译：现代系统集成了特定于不同应用程序域的组件。通常，这些系统将连续子系统和离散子系统结合在一起，因此，它们的设计涉及克服特定的全局建模和验证挑战。为了生成异构系统的全局仿真模型，设计人员需要有效的工具来进行系统验证。因此，出现了一种新型的设计器，即协同仿真工具的设计器。他们的主要目的是为协同仿真模型的设计人员提供一致的工具。考虑到抽象，语言和仿真工具的多样性，共同仿真工具的设计可能既昂贵又耗时。因此，改进验证过程的关键是在实施这些工具之前定义基于模型的通用方法。这需要形式主义和形式验证领域的新技能。本文针对协同仿真工具设计提出了一个基于形式化表示形式的通用概念框架。该框架可用于为连续/离散异构系统提供严格的全局正式协同仿真模型。它允许从逐步定义和验证的正式定义开始，定义实现共同仿真接口。全局形式模型还提供了接口的实现和生成规则。该框架是设计人员可以在其上构建用于连续/离散异构系统的全局执行模型的准确工具的框架。该方法用于设计本文介绍的协同仿真工具。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号