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

ACM Transactions on Design Automation of Electronic Systems

Volumn 12, Issue 3, 2007, Pages

  Mathaikutty, Deepak ^a   Patel, Hiren ^a   Shukla, Sandeep ^a   Jantsch, Axel ^b  

^a VIRGINIA POLYTECHNIC INSTITUTE AND STATE UNIVERSITY   (United States)

^b ROYAL INSTITUTE OF TECHNOLOGY   (Sweden)

Author keywords

Denotational semantics; ForSyDe; Functional language; Heterogeneous system design; Interoperable modeling language; Metamodel; Metamodeling; MoC; Ptolemy II; SystemC

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; DATA STRUCTURES; SEMANTICS; XML;

GENERIC MODELING ENVIRONMENT; MODELS OF COMPUTATION (MOC); SIMULATION FRAMEWORK;

COMPUTER SYSTEMS;

EID: 34548221419     PISSN: 10844309     EISSN: 15577309     Source Type: Journal    
DOI: 10.1145/1255456.1255470     Document Type: Conference Paper

References (35)

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 M05721.
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 (EMSOFT05).
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 SOCs 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-V INCENTELLI, 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: Metamodelling and graph transformation. In Proceedings of Winter Simulation Conference. 249-258.