检索结果-内蒙古大学图书馆

EWD: A metamodeling driven customizable multi-MoC system modeling framework

ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS 2007年第3期12卷 M1-M41页

作者： Mathaikutty, Deepak Patel, Hiren Shukla, Sandeep Jantsch, Axel Virginia Tech Fermat Lab Blacksburg VA 24061 USA Royal Inst Technol Dept Microelect & Informat Technol Stockholm Sweden

We present the EWD design environment and methodology, a modeling and simulation framework suited for complex and heterogeneous embedded systems with varying degrees of expressibility and modeling fidelity. This environment promotes the use of multiple models of computation (MoCs) to support heterogeneity and metamodeling for conformance tests of syntactic and static semantics during the process of modeling. Therefore, EWD is a multiple MoC rnodeling and simulation framework that ensures conformance of the MoC formalisms during model construction using a metamodeling approach. In addition, EWD provides a suite of translation tools that generate executable models for two simulation frameworks to demonstrate its language-independent modeling framework. The EWD methodology uses the Generic modeling Environment for customization of the MoC-specific modeling syntax into a visual representation. To embed the execution semantics of the MoCs into the models, we have built parsing and translation tools that leverage an XML-based interoperability language. This interoperability language is then translated into executable Standard ML or Haskell models that can also be analyzed by existing simulation frameworks such as SML-Sys or ForSyDe. In summary, EWD is a metamodeling driven multitarget design environment with multi-MoC modeling capability.

关键词： design languages verification metamodeling metamodel MoC functional language denotational semantics interoperable modeling language heterogeneous system design Ptolemy II SystemC ForSyDe

来源：评论

学校读者我要写书评

暂无评论

EWD: A metamodeling driven customizable multi-MoC system modeling framework

EWD: A metamodeling driven customizable multi-MoC system mod...

引用

43rd Design Automation Conference

作者： Mathaikutty, Deepak Patel, Hiren Shukla, Sandeep Jantsch, Axel Virginia Tech Fermat Lab Blacksburg VA 24061 USA Royal Inst Technol Dept Microelect & Informat Technol Stockholm Sweden

关键词： design languages verification metamodeling metamodel MoC functional language denotational semantics interoperable modeling language heterogeneous system design Ptolemy II SystemC ForSyDe

来源：评论

学校读者我要写书评

暂无评论

Functional Programming and Metamodeling frameworks for System Design

Functional Programming and Metamodeling frameworks for Syste...

引用

作者： Mathaikutty, Deepak Abraham Virginia Tech | University

System-on-Chip (SoC) and other complex distributed hardware/software systems contain heterogeneous components whose behavior are best captured by different models of computations (MoCs). As a result, any system design framework for such systems requires the capability to express heterogeneous MoCs. Although a number of system level design languages (SLDL)s and frameworks have proliferated over the last few years, most of them are lacking in multiple ways. Some of the SLDLs and system design frameworks we have worked with are SpecC, Ptolemy II, SystemC-H, etc. From our analysis of these, we identify their following shortcomings: First, their dependence on specific programming language artifacts (Java or C/C++) make them less amenable to formal analysis. Second, the refinement strategies proposed in the design flows based on these languages lack formal semantics underpinnings making it difficult to prove that refinements preserve correctness, and third, none of the available SLDLs are easily customizable by users. In our work, we address these problems as follows: To alleviate the first problem, we follow Axel Jantschâ s paradigm of function-based semantic definitions of MoCs and formulate a functional programming framework called SML-Sys. We illustrate through a number of examples how to model heterogenous computing systems using SML-Sys. Our framework provides for formal reasoning due to its formal semantic underpinning inherited from SMLâ s precise denotational semantics. To handle the second problem and apply refinement strategies at a higher-level, we propose a refinement methodology and provide a semantics preserving transformation library within our framework. To address the third shortcoming, we have developed EWD, which allows users to customize MoC-specific visual modeling syntax defined as a metamodel. EWD is developed using a metamodeling framework GME (Generic modeling Environment). It allows for automatic design-time syntactic and semantic checks on th

关键词： Metamodeling Functional Programming interoperable modeling language Heterogeneous System Design Functional languages Metamodel Domain Thesis

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：