The Community for Technology Leaders
RSS Icon
Issue No.03 - May/June (2009 vol.26)
pp: 54-69
Alberto Sangiovanni-Vincentelli , University of California, Berkeley
Sandeep Kumar Shukla , Virginia Polytechnic and State University
Janos Sztipanovits , Vanderbilt University
Guang Yang , National Instruments
<p>Editor's note:</p><p>The use of metamodeling in system design allows abstraction of concepts germane to a number of varying modeling domains, and provides the ability of exploiting meta-information for a variety of system design tasks such as analysis, verification, synthesis, and test generation. This article provides an overview of emerging metamodeling techniques and their applications.</p><p align="right">—Tim Cheng, <it>IEEE Design & Test</it> editor in chief</p>
metamodeling, models of computation, design and test, IP reuse, platform-based design, MoC
Alberto Sangiovanni-Vincentelli, Sandeep Kumar Shukla, Janos Sztipanovits, Guang Yang, Deepak A. Mathaikutty, "Metamodeling: An Emerging Representation Paradigm for System-Level Design", IEEE Design & Test of Computers, vol.26, no. 3, pp. 54-69, May/June 2009, doi:10.1109/MDT.2009.62
1. G. Nicolescu, Model-Based Design for Embedded Systems, CRC Press, 2009 (to appear).
2. J.B. Dabney and T.L. Harman, Mastering Simulink, Prentice Hall, 2004.
3. G. Booch, J. Rumbaugh, and I. Jacobson, Unified Modeling Language User Guide, 2nd ed., Addison-Wesley, 2005.
4. K. Keutzer et al., "System Level Design: Orthogonolization of Concerns and Platform-Based Design," IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems, vol. 19, no. 12, 2000, pp. 1523-1543.
5. A. Sangiovanni-Vincentelli, "Quo Vadis, SLD? Reasoning about the Trends and Challenges of System Level Design," Proc. IEEE, vol. 95, no. 3, 2007, pp. 467-506.
6. W. Premerlani et al., Object-Oriented Modeling and Design, Prentice Hall, 2005.
7. D. Jackson, "Alloy: A Lightweight Object Modelling Notation," ACM Trans. Software Engineering and Methodology, vol. 11, no. 2, 2002, pp. 256-290.
8. F. Balarin et al., "Metropolis: A Design Environment for Heterogeneous Systems," Multiprocessor Systems-on-Chips, W. Wolf, and A. Jerraya eds., Morgan Kaufmann, 2004.
9. C. Brooks et al., eds., , Heterogeneous Concurrent Modeling and Design in Java (Volume 1: Introduction to Ptolemy II), tech. report UCB/ERL M05/21, Univ. of California, Berkeley, 2005.
10. M. Emerson, S. Neema, and S. Sztipanovits, "Metamodeling Languages and Metaprogrammable Tools," 2007;
11. F. Balarin et al., "Metropolis: An Integrated Electronic System Design Environment," Computer, vol. 36, no. 4, 2003, pp. 45-52.
12. M. Imber, "The CASE Data Interchange Format (CDIF) Standards," Software Engineering Environments, F. Long ed., Ellis Horwood Series in Information Technology, Ellis Horwood, 1991, pp. 457-474.
13. M. Emerson, S. Neema, and J. Sztipanovits, "Metamodeling Languages and Metaprogrammable Tools," Handbook of Real-Time and Embedded Systems, I. Lee, J. Leung, and S.H. Son eds., CRC Press, 2006.
14. See D. Harel, and B. Rumpe, "Modeling Languages: Syntax, Semantics and All That Stuff," tech. report MCS00-16, Weizmann Inst. Science, 2000. This article was later popularized by the authors in D. Harel, and B. Rumpe, "Meaningful Modeling: What's the Semantics of 'Semantics'?" Computer, vol. 37, no. 10, 2004, pp. 64-72.
15. Unified Modeling Language: Superstructure v2.0, 3rd revised submission to OMG RFP, tech. report, Object Management Group, 2003.
16. Object Constraint Language v2.0, tech. report, Object Management Group, 2006.
17. M. Emerson, J. Sztipanovits, and T. Bapty, "A MOF-Based Metamodeling Environment," J. Universal Computer Science, vol. 10, no. 10, 2004, pp. 1357-1382.
18. G. Karsai et al., "The Model-Integrated Computing Toolsuite: Metaprogrammable Tools for Embedded Control System Design," Proc. IEEE Joint Conf. CCA, ISIC, and CACSD, IEEE Press, 2006, pp. 50-55.
19. E.K. Jackson and J. Sztipanovits, "Towards a Formal Foundation for Domain Specific Modeling Languages," Proc. 6th ACM Int'l Conf. Embedded Software (EMSOFT 06), ACM Press, 2006, pp. 53-62.
20. E. Jackson and J. Sztipanovits, "Formalizing the Structural Semantics of Domain-Specific Modeling Languages," J. Software and Systems Modeling, 2009 (to appear).
21. D.A. Mathaikutty and S.K. Shukla, Metamodeling Driven IP Reuse for System-on-a-Chip Integration and Verification, Artech House, 2009.
22. D.A. Mathaikutty and S.K. Shukla, "MCF: A Metamodeling-Based Visual Component Composition Framework," IEEE Trans. Very Large Scale Integration (VLSI) Systems, vol. 16, no. 7, 2008, pp. 792-805.
23. D.A. Mathaikutty and S.K. Shukla, "Mining Metadata for Composability of IPs from SystemC IP Library," Design Automation for Embedded Systems, vol. 12, no. 1, 2008, pp. 63-94.
24. J.P. Talpin et al., "A Behavioral Type Inference System for Compositional System-on-Chip Design," Proc. Applications of Concurrency in System Design (ACSD 04), IEEE CS Press, 2004, pp. 47-56.
25. D.A. Mathaikutty et al., "MMV: A Metamodeling-Based Microprocessor Validation Environment," IEEE Trans. Very Large Scale Integration (VLSI) Systems, vol. 16, no. 4, 2008, pp. 339-352.
26. S. Edwards et al., "Design of Embedded Systems: Formal Models, Validation, and Synthesis," Proc. IEEE, vol. 85, no. 3, 1997, pp. 366-390.
27. E. Lee and A. Sangiovanni-Vincentelli, "A Framework for Comparing Models of Computation," IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems, vol. 17, no. 12, 1998, pp. 1217-1229.
28. J.E. Savage, Models of Computation: Exploring the Power of Computing, Addison-Wesley, 1998.
29. J.E. Stoy, In Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, MIT Press, 1977.
30. E.A. Lee, "Concurrent Models of Computation for Embedded Software," tech. memo UCB ERL M05/2, Univ. of California, Berkeley, 4 Jan. 2005; 05Lee_Lectures/, pp. 317-325.
31. J.R. Burch, R. Passerone, and A.L. Sangiovanni- Vincentelli, "Refinement Preserving Approximations for the Design and Verification of Heterogeneous Systems," Formal Methods in System Design, vol. 31, no. 1, Aug. 2007, pp. 1-33.
32. E.A. Lee et al., "Actor-Oriented Design of Embedded Hardware and Software Systems," J. Circuits, Systems, and Computers, vol. 12, no. 3, 2003, pp. 231-260.
33. Metropolis Design Team, "The Metropolis Meta Model v0.4," tech. memo UCB/ERL M04/38, Univ. of California, Berkeley, 14 Sept. 2004.
34. A. Bonivento, L.P. Carloni, and A.L. Sangiovanni- Vincentelli, "Platform-Based Design of Wireless Sensor Networks for Industrial Applications," Proc. Design, Automation and Test in Europe Conf. (DATE 06), IEEE CS Press, 2006, pp. 1103-1107.
35. S. Kanajan et al., "Exploring Trade-off's between Centralized versus Decentralized Automotive Architectures Using A Virtual Integration Environment," Proc. Design, Automation and Test in Europe Conf. (DATE 06), IEEE CS Press, 2006, pp. 548-553.
36. D. Densmore, A. Donlin, and A. Sangiovanni-Vincentelli, "FPGA Architecture Characterization for System Level Performance Analysis," Proc. Design, Automation and Test in Europe Conf. (DATE 06), IEEE CS Press, 2006, pp. 1-6.
37. A. Pinto et al., "Synthesis of Embedded Networks for Building Automation and Control," Proc. Am. Control Conf. (ACC 08), IEEE Press, 2008, pp. 920-925.
38. A. Benveniste et al., "Actors without Directors: A Kahnian View of Heterogeneous Systems," Proc. Hybrid Systems: Computation and Control (HSCC 09), LNCS 5469, Springer, 2009, pp. 46-60.
39. D.A. Mathaikutty et al., "EWD: A Metamodeling Driven Customizable Multi-MoC System Modeling Environment," Proc. ACM Trans. Design Automation of Electronic Systems, vol. 12, Dec. 2007, article 33.
40. H.D. Patel and S.K. Shukla, SystemC Kernel Extensions for Heterogeneous System Modeling: A Framework for Multi-MoC Modeling, Springer, 2004.
24 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool