Modeling Methodology for Integrated Simulation of Embedded Systems

ACM Transactions on Modeling and Computer Simulation

Volumn 13, Issue 1, 2003, Pages 82-103

  Ledeczi, Akos ^a   Davis, James ^a   Neema, Sandeep ^a   Agrawal, Aditya ^a  

^a VANDERBILT UNIVERSITY   (United States)

Author keywords

Domain specific languages; Metamodeling; Model integrated computing; Modeling; Simulation; Simulation integration

Indexed keywords

DOMAIN SPECIFIC LANGUAGES; INTEGRATED SIMULATION; METAMODELING;

ABSTRACTING; COMPUTER SIMULATION; METADATA; SEMANTICS;

EMBEDDED SYSTEMS;

EID: 0344462466     PISSN: 10493301     EISSN: None     Source Type: Journal    
DOI: 10.1145/778553.778557     Document Type: Article

References (31)

1. AGRAWAL, A., BAKSHI, A., DAVIS, J., EAMES, B., LÉDECZI, A., MOHANTY, S., MATHUR, V., NEEMA, S., NORDSTORM, G., PRASANNA, V., RAGHAVENDRA, C., AND SINGH, M. 2001. MILAN: A model based integrated simulation framework for design of embedded systems. In Proceedings of the Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES 2001) (Snowbird, Utah).
2. AZZEDINE, A., DIGUET, J., AND PILLIPPE, J. 2002. Large exploration for HW/SW partitioning of multirate and aperiodic real-time systems. In Proceedings of the Tenth International Symposium on Hardware/Software Codesign (Colorado).
3. BAPTY, T. AND ABBOTT B. 1995. Portable kernel for high-level synthesis of complex DSP-systems. In Proceedings of the International Conference on Signal Processing Applications and Technology (Boston, MA).
4. BAPTY, T., NEEMA, S., SCOTT, J., SZTIPANOVITS, J., AND ASAAD, S. 2000, Model-integrated tools for the design of dynamically reconfigurable systems. VLSI Des. 10, 3, 281-306.
5. BHATTACHARYA, B. AND BHATTACHARYYA, S. S. 2001. Parameterized dataflow modeling for DSP systems. IEEE Trans. Signal Process. 49, 10, 2408-2421.
6. BLARIN, P., CHIODO, M., JURECSKA, A., HSIEH, H., LAVAGNO, A. L., PASSERONE, C., SANGIOVANNI-VINCENTELLI, A. L., SENTOVICH, E., SUZUKI, K., AND TABBARA, B. 1997. Hardware-Software CoDesign of Embedded Systems: The POLIS Approach. Kluwer Academic, Hingham, MA.
7. BRYANT, R. E. 1986. Graph-based algorithms for Boolean function manipulation. IEEE Trans. Comput. C-35, 8.
8. BRYANT, R. E. 1992. Symbolic boolean manipulation with ordered binary decision diagrams. Tech. Rep. CMU-CS-92-160, School of Computer Science, Carnegie Mellon University.
9. BURGER, D. AND AUSTIN, M. 1997. The SimpleScalar tool set, version 2.0, Comput. Arch. News 25, 3, 13-25.
10. CHIODO, M., GIUSTO, P., HSIEH, H., JURECSKA, A., LAVAGNO, L., AND SANGIOVANNI-VINCENTELLI A. 1993. A formal specification model for hardware/software codesign. In Proceedings of the International Workshop on Hardware-Software Codesign.
11. CORTÉS, L. A., ELES, P., AND PENG, Z. 1999. A survey on hardware/software codesign representation models. SAVE project Rep., Department of Computer and Information Science, Linkoping University, Sweden. Available at http://www.ida.liu.se/labs/eslab/publications/pap/db/SAVE99.pdf.
12. EAMES, B. 2001, Integrating high-level simulation into a model-integrated embedded system design toolset. Master's thesis, Vanderbilt University, Department of Electrical and Computer Engineering.
13. HELBIG, J. AND KELB, P. 1994. An OBDD representation of statecharts. In Proceedings of the European Conference on Design Automation (Paris), 142-151.
14. LÉDECZI, A., BAKAY, A., MARÓTI, M., VÖLGYESI, P., NORDSTROM, G., SPRINKLE, J., AND KARSAI, G. 2001. Composing domain-specific design environments. Computer, Nov. 2001, 44-51.
15. LÉDECZI, A., NORDSTROM, G., KARSAI, G., VÖLGYESI, P., AND MARÓTI, M. 2001. On metamodel composition. In Proceedings of the IEEE CCA 2001 (Mexico City).
16. LEE, E. A. 2001. Overview of the Ptolemy project. Tech. memo. UCB/ERL M01/11, University of California, Berkeley.
17. LEE, E. A. AND MESSERSCHMIDT, D. G. 1987. Static scheduling of synchronous data flow programs for digital signal processing. Trans. Comput. C36 (1), 24-35.
18. LEE, E. A. AND XIONG, Y. 2000. An extensible type system for component-based design. In Proceedings of Sixth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'2000) (Berlin).
19. MAHALANOBIS, A., KUMAR, B. V., AND SIMS S. R. F. 1996. Distance-classifier correlation filters for multi-class target recognition. Appl. Optics 35, 17, 3127-3133.
20. MIDDHA, B., RAJ, V., GANGWAR, A., KUMAR, A., AND BALAKRISHNAN, M. 2002. A Trimaran based framework for exploring design space of VLIW ASIPs with coarse grain functional units. In Proceedings of the Fifteenth International Symposium on System Synthesis (Kyoto).
21. MOHANTY, S. AND PRASANNA, V. K. 2002. Rapid system-level performance evaluation and optimization for application mapping onto SoC architectures. In Proceedings of the Fifeenth IEEE International ASIC/SOC Conference (Rochester).
22. MOHANTY, S., PRASANNA, V., NEEMA, S., AND DAVIS, J. 2002. Rapid design space exploration of heterogeneous embedded systems using symbolic search and multi-granular simulation. In Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES) (Berlin).
23. NEEMA S. 2001a. System level synthesis of adaptive computing systems. PhD Dissertation, Vanderbilt University, Department of Electrical and Computer Engineering.
24. NEEMA, S. 2001b. Design space representation and management for model-based embedded system synthesis. ISIS Tech. Rep. #ISIS-01-203.
25. NICHOLS, K. AND NEEMA, S. 1999. Dynamically reconfigurable embedded image processing system. In Proceedings of the International Conference on Signal Processing Applications and Technology (Orlando, FL).
26. PALESI, M. AND GIVARGIS, T. 2002. Multi-objective design space exploration using genetic algorithms. In Proceedings of the Tenth International Symposium on Hardware / Software Codesign. (Colorado).
27. RUF, J., HOFFMANN, D., GERLACH, J., KROPF, T., AND ROSENSTIEHL, W. 2001. The simulation semantics of SystemC. In Proceedings of Design, Automation, and Test in Europe (DATE 2001), 64-70.
28. RUMBAUGH, J., JACOBSON, I., AND BOOCH, G. 1998. The Unified Modeling Language Reference Manual. Addison-Wesley, Reading, MA.
29. SHIASI, S. AND GRUNWALD, D. 2000. A comparison of two architectural power models, In Proceedings of Power Aware Computer Systems Workshop.
30. SZTIPANOVITS, J. AND KARSAI, G. 1997. Model-integrated computing. Computer, April, 110-112.
31. WARMER, D. G. AND KLEPPE, A. G. 1999. The Object Constraint Language: Precise Modeling With UML. Addison-Wesley, Reading, MA.