MCF: A metamodeling-based component composition framework - Composing SystemC IPs for executable system models

IEEE Transactions on Very Large Scale Integration (VLSI) Systems

Volumn 16, Issue 7, 2008, Pages 792-805

  Mathaikutty, Deepak A ^a,b   Shukla, Sandeep K ^a,c  

^a IEEE

^b INTEL CORPORATION   (United States)

^c Virginia Institute of Technology   (United States)

Author keywords

Architectural template; Component composition model; Metamodel; Metamodeling framework; Partial specification

Indexed keywords

ABSTRACTING; FLOW INTERACTIONS; INFORMATION MANAGEMENT; INFORMATION THEORY; INTELLECTUAL PROPERTY; INTERNET PROTOCOLS; MARKUP LANGUAGES; MODEL STRUCTURES; SPACE RESEARCH; XML;

ABSTRACTION LEVELS; AUTOMATED GENERATION; COMPONENT COMPOSITION; COMPONENT LIBRARIES; COMPOSABILITY; CONSTRAINT BASED; CONSTRAINT LANGUAGES; CONSTRUCTING MODELS; DESIGN SPACE EXPLORATION (DSE); FRONT END; INTELLECTUAL PROPERTY (IP); IP CORES; META INFORMATION; META MODELLING; META-MODELING; REGISTER-TRANSFER LEVEL (RTL); SCHEMAS; SYSTEM MODELLING; SYSTEM-LEVEL MODELING; SYSTEMC; TRANSACTION LEVEL; TYPE-CHECKING; VISUAL MODELLING; XML PROCESSING;

MODEL CHECKING;

EID: 48149101122     PISSN: 10638210     EISSN: None     Source Type: Journal    
DOI: 10.1109/TVLSI.2008.2000344     Document Type: Article

References (26)

1. OCP International Partnership Association, Inc., "OCPIP home page," 2001 [Online]. Available: www.OCPIP.org
2. ARM, Cambridge, London, U.K., "AMBA specification 2.0." 1999 [Online], Available: http://www.arm.com
3. OSCI Group, "SystemC website," 2000 [Online]. Available: http://www.systemc.org/
4. D. A. Mathaikutty, H. D. Patel, S. K. Shukla, and A. Jantsch, "EWD: A metamodeling driven customizable multi-MoC system modeling framework." Proc. ACM Trans. Des. Autom. Electron. Syst., vol. 12, no. 3, Aug. 2007, Article 33.
5. A. Ledeczi, M. Maroti, A. Bakay, G. Karsai, J. Garrett, C. Thomason, IV, G. Nordstrom, J. Sprinkle, and P. Volgyesi, "The generic modeling environment," presented at the Workshop Intell. Signal Process., Budapest, Hungary, May 2001.
6. O. M. Group, "Unified modeling language," 2001 [Online]. Available: http://www.uml.org/
7. J. Warmer and A. Kleppe, The Object Constmint Language: Getting Your Models Ready for MDA, 2nd ed. Boston, MA: Addison-Wesley, 2005.
8. B. DuCharme, XML: The Annotated Specification. Upper Saddle River, NJ: Prentice-Hall, 1998.
9. F. Doucet, S. Shukla, M. Otsuka, and R. Gupta, "BALBOA: A component based design environment for system models," IEEE Trans. Comput.-Aided Des., vol. 22, no. 12, pp. 1597-1612, Dec. 2003.
10. F. Doucet, S. Shukla, M. Otsuka, and R. Gupta, "An environment for dynamic component composition for efficient co-design," in Proc. Des. Autom. Test Conf. Eur. (DATE), Mar. 2002, pp. 1530-1591.
11. SPIRIT, "Spirit consortium, SPIRIT schema working group," 2005 [Online]. Available: http://www.spiritconsortium.org/
12. C. K. Lennard and E. Granata, "The meta-methods: Managing design risk during IP selection and integration," in Proc. Eur. IP Conf. Nov. 1999, pp. 285-199.
13. M. Vachharajani, N. Vachharajani, D. Penry, J. Blome, and D. August, "Microarchitectural exploration with liberty," presented at the 35th Int. Symp, Microarch, (MICRO), Istanbul, Turkey, Nov. 2002.
14. M. Vachharajani, N. Vachharajani, S. Malik, and D. August, "Facilitating reuse in hardware models with enhanced type inference," in Proc. lEEE/ACM/IFIP 2nd Int. Conf. Hardw./Softw. Codes. Syst. Synth., Sep. 2004, pp. 86-91.
15. J. Eker, J. W. Janneck, E. A. Lee, J. Liu, X. Liu, J. Ludvig, S. Neuendorffer, S. Sachs, and Y. Xiong. "Taming heterogeneity - The Ptolemy approach," Proc. IEEE Special Issue Modeling Design Embedded Softw., vol. 91, no. 1, pp. 127-144, Jan. 2003.
16. Y. Xiong, "An extensible type system for component based design," Ph.D. dissertation, Dept. Elect. Eng. Comput. Sci., Univ. California Berkeley, Berkeley, 2002.
17. A.C. Wills. "Modeling for component based development," presented at the Eur. Conf. Object-Oriented Program. (ECOOP). Brussels, Belgium, 1998.
18. B. Morel and P. Alexander, "SPARTACAS: Automating component reuse and adaptation," IEEE Trans. Softw. Eng., vol. 30, pp. 587-600, Sep. 2004.
19. P. Alexander, D. Barton, and C. Kong, "Rosetta usage guide," The Univ. Kansas, Lawrence, 2000.
20. Y. Chen and B. Cheng, "Facilitating an automated approach to architecture-based software reuse," in Proc. 12th IEEE Int. Conf Automated Softw. Eng., Nov. 1997, pp. 238-245.
21. M. Shaw, R. DeLine, D. Klein, T. Ross, D. Young, and G. Zelesnik, "Abstractions for software architecture and tools to support them," IEEE Trans. Softw. Eng., vol. 21, no. 4, pp. 314-335, Apr. 1995.
22. A. Jantsch and H. Tenhunen, Networks on Chip. San Francisco, CA: Morgan Kaufmann, 2003.
23. F. Ghenassia, Transaction-Level Modeling with SystemC. New York: Springer. 2005.
24. C. N. Ip and S. Swan, "A tutorial introduction on the new SystemC verification standard," 2003 [Online]. Available: www.systemverilog.org
25. D. A. Mathaikutty and S. K. Shukla, "MCF: A metamodeling based visual component composition framework," Virginia Institute of Technology, Blacksburg, Tech. Rep. 2005-12, 2005.
26. L. D. Alfaro and T. A. Henzinger, "Interface automata," in Proc. 9th Annu. Symp. Foundations Softw. Eng. (FSE), 2001, pp. 109-120.