skip to main content
research-article

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

Published: 22 May 2008 Publication History

Abstract

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 modeling 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.

References

[1]
Apache XML. Xerces-C++ Website. http://xml.apache.org/xerces-c/.
[2]
Balarin, F., Watanabe, Y., Hsieh, H., Lavagno, L., Passerone, C., and Sangiovanni-Vincentelli, A. L. 2003. Metropolis: An integrated electronic system design environment. In Proceedings of the IEEE Computer Society 36, 4 (April), 45--52.
[3]
Borger, E. and Strk, R. 2003. Abstract State Machines: A Method for High-Level System Design and Analysis. Springer-Verlag, Berlin, Germany .
[4]
Brooks, C., Lee, E. A., Liu, X., Neuendorffer, S., Zhao, Y., and Zheng, H. 2005. Heterogeneous concurrent modeling and design in java. Memorandum from University of California Berkely Microlab, No. UCB/ERL M05/21.
[5]
Chen, K., Sztipanovits, J., Neema, S., Emerson, M., and Abdelwahed, S. 2005. Toward a semantic anchoring infrastructure for domain-specific modeling languages. In proceedings of the 50 ACM International Conference on Embedded Software (EMSOFT'05).
[6]
Mathaikutty, D. A. 2005. Functional programming and metamodeling frameworks for system design. Master's thesis, Virginia Tech, Blacksburg, VA.
[7]
Mathaikutty, D., Patel, H., Shukla, S., and Jantsch, A. 2004a. Correctness preserving design refinements in a functional programming framework for concurrent reactive system design. Tech. rep. 2004-23, FERMAT Lab.
[8]
Dennis, J. B. 1974. First version of a data flow procedure language. Springer Verlag, ed by G. Goos and J. Hartmanis Vol. 19, 362--376.
[9]
Ecker, W. and Hofmeister, M. 1992. The design cube---a new model for vhdl designflow representation. In Proceedings of the European Design Automation Conference. 752--757.
[10]
Eker, J., Janneck, J. W., Lee, E. A., Liu, J., Liu, X., Ludvig, J., Neuendorffer, S., Sachs, S., and Xiong, Y. 2003. Taming heterogeneity---the Ptolemy approach. In Proceedings of the IEEE Special Issue on Modeling and Design of Embedded Software 91, 1, 127--144.
[11]
Glasser, U. and Karges, R. 1997. Abstract state machines semantics of SDL. J. Found. Comput. Sci. 3, 12, 1382--1414.
[12]
Gurevich, Y. 1995. Evolving Algebras 1993: Lipari Guide, Specification and Validation Methods. Oxford University Press.
[13]
Hoare, C. A. R. 1978. Communicating sequential processes. Comm. ACM 21, 8, 666--676.
[14]
Jantsch, A. 2003. Modeling Embedded Systems and SOC's Concurrency and Time in Models of Computation. Morgan Kaufmann Publishers.
[15]
Jantsch, A., Kumar, S., and Hemani, A. 1999. The rugby model: A framework for the study of modelling. In Proceedings of Design Automation and Test in Europe (DATE).
[16]
Jantsch, A., Sander, I., and Wu, W. 2001. The usage of stochastic processes in embedded system specifications. In Proceedings of 9th International Symposium on Hardware/Software Codesign.
[17]
Lamport, L. 1978. Time, clocks and the ordering of events in a distributed system. Comm. ACM 21, 7.
[18]
Lavagno, L., Sangiovanni-Vincentelli, A., and Sentovich, E. 1998. Models of computation for embedded system design. NATO ASI Proceedings on System Synthesis Il.
[19]
Ledeczi, A., Maroti, M., Bakay, A., and Karsai, G. 2001. The generic modeling environment. Institute for Software Integrated Systems, Vanderbilt University, Nashville, TN.
[20]
Lee, E. A. 1997. A denotational semantics for dataflow with firing. Tech. rep. UCB/ERL M97/3, Department of Electrical Engineering and Computer Science, University of California, Berkeley, CA.
[21]
Lee, E. A. and Parks, T. 1995. Dataflow process networks. In Proceedings of the IEEE 83, 5, 773--801.
[22]
Lee, E. A. and Sangiovanni-Vincentelli, A. L. 1998. A framework for comparing models of computation. IEEE Trans. Comput.-Aid. Design Integ. Circuits Syst. 17, 1217--1229.
[23]
Li, Y. and Leeser, M. 2000. HML, a novel hardware description language and its translation to VHDL. IEEE Trans. VLSI Systems 8, (Feb.). 1.
[24]
Mathaikutty, D., Patel, H., Shukla, S., and Jantsch, A. 2005. UMoC++: Modeling environment for heterogeneous systems based on generic MoCs. In Proceedings of the Forum on Specification and Design Languages Conference (FDL). Lussanne, Switzerland.
[25]
Mathaikutty, D. A., Patel, H. D., and Shukla, S. K. 2004b. A functional programming framework of heterogeneous model of computations for system design. In Proceedings of the Forum on Specification and Design Languages (FDL). Lille, France.
[26]
Milner, R. 1989. Communication and Concurrency. Prentice Hall.
[27]
Milner, R., Tofte, M., Harper, R., and MacQueen, D. 1997. The Definition of Standard ML (Revised). MIT Press, Cambridge, MA.
[28]
Modeling a Digital Equalizer in the EWD Environment. 2005. http://fermat.ece.vt.edu/ewd/digital_equalizer.htm.
[29]
Nordstrom, G., Sztipanovits, J., Karsai, G., and Ledeczi, A. 1999. Metamodeling---rapid design and evolution of domain-specific modeling environment In Proceedings of the IEEE.
[30]
Patel, H. D. and Shukla, S. K. 2005. Towards a heterogeneous simulation kernel for system level models: A systemc kernel for synchronous data flow models. IEEE Trans. Comput.-Aid. Design 24.
[31]
Sander, I. and Jantsch, A. 2004. System modeling and transformational design refinement in ForSyDe. IEEE Trans. Comput.-Aid. Design Integr. Circuits Syst. 23, 1, 17--32.
[32]
Stephen Neuendorffer. 2005. Actor-oriented metaprogramming. Tech. rep. UCB/ERL M05/1.
[33]
The Metropolis Project Team. 2004. The metropolis metamodel version 0.4. Tech. rep. UCB/ERL M04/38, Department of Electrical Engineering and Computer Science, University of California, Berkeley, CA.
[34]
Thompson, S. 1999. Haskell---The Craft of Functional Programming, 2nd ed. Addison-Wesley.
[35]
Vangheluwe, H. and Lara, J. D. 2003. Computer automated multi-paradigm modelling: Meta-modelling and graph transformation. In Proceedings of Winter Simulation Conference. 249--258.

Cited By

View all
  • (2020)Analysis and Identification of Possible Automation Approaches for Embedded Systems Design FlowsInformation10.3390/info1102012011:2(120)Online publication date: 22-Feb-2020
  • (2015)A formal, model-driven design flow for system simulation and multi-core implementation10th IEEE International Symposium on Industrial Embedded Systems (SIES)10.1109/SIES.2015.7185067(1-10)Online publication date: Jun-2015
  • (2014)MAESTRO— Holistic Actor-Oriented Modeling of Nonfunctional Properties and Firmware Behavior for MPSoCsACM Transactions on Design Automation of Electronic Systems10.1145/259448119:3(1-26)Online publication date: 23-Jun-2014
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Transactions on Design Automation of Electronic Systems
ACM Transactions on Design Automation of Electronic Systems  Volume 12, Issue 3
August 2007
427 pages
ISSN:1084-4309
EISSN:1557-7309
DOI:10.1145/1255456
Issue’s Table of Contents
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Journal Family

Publication History

Published: 22 May 2008
Accepted: 01 February 2007
Revised: 01 November 2006
Received: 01 February 2006
Published in TODAES Volume 12, Issue 3

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. ForSyDe
  2. Metamodeling
  3. MoC
  4. Ptolemy II
  5. SystemC
  6. denotational semantics
  7. functional language
  8. heterogeneous system design
  9. interoperable modeling language
  10. metamodel

Qualifiers

  • Research-article
  • Research
  • Refereed

Funding Sources

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)3
  • Downloads (Last 6 weeks)1
Reflects downloads up to 17 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2020)Analysis and Identification of Possible Automation Approaches for Embedded Systems Design FlowsInformation10.3390/info1102012011:2(120)Online publication date: 22-Feb-2020
  • (2015)A formal, model-driven design flow for system simulation and multi-core implementation10th IEEE International Symposium on Industrial Embedded Systems (SIES)10.1109/SIES.2015.7185067(1-10)Online publication date: Jun-2015
  • (2014)MAESTRO— Holistic Actor-Oriented Modeling of Nonfunctional Properties and Firmware Behavior for MPSoCsACM Transactions on Design Automation of Electronic Systems10.1145/259448119:3(1-26)Online publication date: 23-Jun-2014
  • (2009)Provably correct on-chip communicationACM Transactions on Design Automation of Electronic Systems10.1145/1497561.149756214:2(1-41)Online publication date: 7-Apr-2009
  • (2009)MetamodelingIEEE Design & Test10.1109/MDT.2009.6226:3(54-69)Online publication date: 1-May-2009
  • (2008)MMVIEEE Transactions on Very Large Scale Integration (VLSI) Systems10.1109/TVLSI.2008.91741916:4(339-352)Online publication date: 1-Apr-2008
  • (2008)MCFIEEE Transactions on Very Large Scale Integration (VLSI) Systems10.1109/TVLSI.2008.200034416:7(792-805)Online publication date: 1-Jul-2008

View Options

Login options

Full Access

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media