• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文学位 >Continuous/discrete co-simulation interfaces from formalization to implementation.
【24h】

Continuous/discrete co-simulation interfaces from formalization to implementation.

机译：从形式化到实现的连续/离散协同仿真接口。

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

摘要

Today's systems-on-chip are growing in complexity as a result of a higher density of components on the same chip, and also on account of the heterogeneity of different modules that are particular to different application domains (i.e. mechanical, electrical, optical, biological and chemical). These systems can be found in a broad and diverse spectrum of applications in many industries, including but not limited to Automotive, Aerospace, Health Care and, Consumer Electronics. These multi-domain heterogeneous systems enable new applications and the creation of new markets. This thesis focuses on the design and the simulation of heterogeneous embedded systems, more specifically on continuous/discrete heterogeneous systems.;Parts of the proposed methodology were adapted for the formalization, modeling and verification of an optical network on chip.;Continuous-time and discrete-event models are at the core of the design of multi-domain systems. We present here a generic, language independent methodology for the design of continuous/discrete heterogeneous systems. This methodology is the basis for design of a new framework providing the interfaces that are in charge with the heterogeneous components adaptation. The methodology was successfully used for the implementation of different continuous/discrete systems such as: a glycemia level regulator, an analog/digital converter, a PID controller, a production chain control system and wimax system.
机译：由于同一芯片上组件的密度更高，并且由于特定于不同应用领域（例如，机械，电气，光学，生物学等）的不同模块的异质性，导致当今的片上系统的复杂性日益增加和化学）。这些系统可以在许多行业的广泛应用中找到，包括但不限于汽车，航空航天，医疗保健和消费电子。这些多域异构系统支持新应用程序和新市场的创建。本文主要研究异构嵌入式系统的设计和仿真，尤其是连续/离散异构系统。；所建议方法的一部分适用于片上光网络的形式化，建模和验证。离散事件模型是多域系统设计的核心。在这里，我们介绍一种用于设计连续/离散异构系统的通用，独立于语言的方法。这种方法学是设计新框架的基础，该框架提供了负责异构组件适配的接口。该方法已成功用于实施各种连续/离散系统，例如：血糖水平调节器，模拟/数字转换器，PID控制器，生产链控制系统和wimax系统。

著录项

  • 作者

    Gheorghe, Luiza.;

  • 作者单位

    Ecole Polytechnique, Montreal (Canada).;

  • 授予单位 Ecole Polytechnique, Montreal (Canada).;
  • 学科 Engineering Electronics and Electrical.
  • 学位 Ph.D.
  • 年度 2009
  • 页码 163 p.
  • 总页数 163
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

  • 入库时间 2022-08-17 11:38:18

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号