• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>RSTI >Modélisation UML/MARTE de SoC et analyse temporelle basée sur l'approche synchrone Vers l'exploration à haut niveau de l'architecture
【24h】

Modélisation UML/MARTE de SoC et analyse temporelle basée sur l'approche synchrone Vers l'exploration à haut niveau de l'architecture

机译：SoC的UML / MARTE建模和基于同步方法的时间分析迈向架构的高级探索

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

摘要

Les systèmes embarqués sur puce (ou system-on-chip, SoC) sont de plus en plus sophistiqués. Ils exigent beaucoup de ressources (processeurs, mémoires, etc.) pour améliorer les performances d'exécution en termes de temps d'exécution et de consommation d'énergie. Le développement de ces systèmes pose donc un véritable défi à cause de leur complexité. Cet article s'intéresse à la conception abstraite de ces systèmes par le biais d'une approche dirigée par les modèles. Nous utilisons le profd UML/MARTE dédié à la modélisation et à l'analyse des systèmes embarqués temps réel. Ainsi, à partir de modèles définis par un utilisateur, des informations sont extraites pour analyser les propriétés temporelles du système. Nous nous appuyons sur l'approche synchrone qui permet la validation formelle.%System-on-Chip (Soc) are becoming very sophisticated. They require a huge amount of resources (processors, memories, etc.) to improve their execution performances in terms of execution time and energy. SoC development leads to a real challenge due to their complexity. This paper focuses on a high level design of these systems through a model-driven approach. We use the UML/MARTE profile dedicated to the Modelling and Analysis of Real Time Embedded systems. From user-defined models, temporal information are extracted for analyzing the system temporal properties. We consider the synchronous approach that favors formal validation.
机译：片上嵌入式系统（或片上系统SoC）正变得越来越复杂。它们需要大量资源（处理器，内存等）以提高执行时间和能耗。因此，由于这些系统的复杂性，它们的开发提出了真正的挑战。本文重点介绍通过模型主导的方法对这些系统的抽象设计。我们使用专门用于实时嵌入式系统建模和分析的UML / MARTE profd。因此，从用户定义的模型中，提取信息以分析系统的时间特性。我们依靠允许正式验证的同步方法。片上系统（Soc）变得非常复杂。他们需要大量的资源（处理器，内存等），以在执行时间和精力方面提高其执行性能。 SoC开发由于其复杂性而导致了真正的挑战。本文着重通过模型驱动的方法对这些系统进行高级设计。我们使用专门用于实时嵌入式系统建模和分析的UML / MARTE配置文件。从用户定义的模型中，提取时间信息以分析系统的时间属性。我们考虑支持正式验证的同步方法。

著录项

  • 来源
    《RSTI》 |2011年第9期|p.1089-1113|共25页
  • 作者

    Adolf Abdallah; Abdoulaye Gamatié; Jean-Luc Dekeyser;

  • 作者单位

    LIFL - UMR CNRS/USTL 8022 INR1A Lille Nord Europe Parc Scientifique de la Haute Borne 40 avenue Halley, F-59650 Villeneuve d'Ascq cedex;

    LIFL - UMR CNRS/USTL 8022 INR1A Lille Nord Europe Parc Scientifique de la Haute Borne 40 avenue Halley, F-59650 Villeneuve d'Ascq cedex;

    LIFL - UMR CNRS/USTL 8022 INR1A Lille Nord Europe Parc Scientifique de la Haute Borne 40 avenue Halley, F-59650 Villeneuve d'Ascq cedex;

  • 收录信息
  • 原文格式 PDF
  • 正文语种 fre
  • 中图分类
  • 关键词

    système embarqué; parallélisme; modélisation; approche synchrone; gaspard2;

    机译：嵌入式系统;并行性模型化;同步方法加斯帕德2;

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号