EWD: A metamodeling driven customizable multi-MoC system modeling framework
2007 (English)In: ACM Transactions on Design Automation of Electronic Systems, ISSN 1084-4309, Vol. 12, no 3, 1255470- p.Article in journal (Refereed) Published
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.
Place, publisher, year, edition, pages
2007. Vol. 12, no 3, 1255470- p.
design, languages, verification, metamodeling, metamodel, MoC, functional language, denotational semantics, interoperable modeling language, heterogeneous system design, Ptolemy II, SystemC, ForSyDe
Electrical Engineering, Electronic Engineering, Information Engineering
IdentifiersURN: urn:nbn:se:kth:diva-16914DOI: 10.1145/1255456.1255470ISI: 000249095700014ScopusID: 2-s2.0-34548221419OAI: oai:DiVA.org:kth-16914DiVA: diva2:334957
QC 20100525 QC 201109302010-08-052010-08-052011-09-30Bibliographically approved