Typing abstractions and management in a component framework

Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC

Volumn 2003-January, Issue , 2003, Pages 115-122

  Doucet, F J ^a   Shukla, S K ^b   Gupta, R K ^c  

^a UNIVERSITY OF CALIFORNIA   (United States)

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

^c UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

C++ (PROGRAMMING LANGUAGE); COMPUTER AIDED DESIGN; SPECIFICATIONS;

ARCHITECTURAL SPECIFICATIONS; CODE GENERATION; COMPONENT FRAMEWORK; COMPONENT INTEGRATION; COMPOSITION OF COMPONENTS; DESIGN ENVIRONMENT; DESIGN SPECIFICATION; MANAGEMENT ENVIRONMENTS;

DESIGN;

EID: 33748298208     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASPDAC.2003.1195003     Document Type: Conference Paper

References (23)

1. L. Breslau, D. Estrin, K. Fall, J. Heidemann, A. Helmy, P. Huang, S. McCanne, K. Varadhan, Y. Xu, and H. Yu. Advances in Network Simulation. IEEE Computer, May 2000.
2. J. Buck and R. Vaidyanathan. Heterogeneous modeling and simulation of embedded systems in el greco. In Proc. Int. Workshop on Hardware/Software Codesign, 2000.
3. W. Cesario, A. Baghdadi, L. Gauthier, D. Lyonnard, G. Nicolescu, Y. Paviot, S. Yoo, A. A. Jerraya, and M. Diaz-Nava. Component-based design approach for multicore socs. In Proc. IEEE/ACM Design Automation Conf., 2002.
4. P. Chen, D. A. Kirkpatrick, and K. Keutzer. Fast Integration of EDA Tools and Scripting Language. In IEEE/DATC Electronic Design Processes Workshop, 2001.
5. CORBA website http://www.corba.org.
6. F. Doucet, R. Gupta, M. Otsuka, P. Schaumont, and S. Shukla. Interoperability as a Design Issue in C++ Based Modeling Environments. In Proc. Int. Symposium on System Synthesis, 2001.
7. F. Doucet, S. Shukla, M. Otsuka, and R. Gupta. An Environment for Dynamic Component Composition for Efficient Co-Design. In Proc. Design Automation and Test in Europe Conf., 2002.
8. Ed Lee et al. The Ptolemy Project. Home Page: http://ptolemy.eecs.berkeley.edu/.
9. D. Gajski, J. Zhu, R. Domer, A. Gerstlauer, and S. Zhao. SpecC: Specification Language and Methodology. Kluwer Academic Publishers, 2000.
10. M. R. Garey and D. S. Johnson. Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman and Company, 1979.
11. D. Garlan, R. Allen, and J. Ockerbloom. Architectural Mismatch: Why Reuse Is So Hard. IEEE Software, November 1995.
12. E. A. Lee and Y. Xiong. System-Level Types for Component-Based Design. In First International Workshop on Embedded Software, volume 2211 of Lecture Notes in Computer Science. Springer, October 2001.
13. N. Medvidovic, P. Oreizy, J. E. Robbins, and R. N. Taylor. Using Object-Oriented Typing to Support Architectural Design in the C2 Style. In Proc. 4th ACM SIGSOFT Symp. on Foundations of Software Engineering, 1996.
14. N. Medvidovic and R. N. Taylor. A Classification and Comparison Framework for Software Architecture Description Languages. IEEE Trans, on Software Engineering, January 2000.
15. NS: The Network Simulator home page: http://www.isi.edu/nsnam/ns.
16. J. K. Ousterhout. Scripting: Higher-Level Programming for the 21st Century. IEEE Computer, March 1998.
17. B. C. Pierce. Types and Programming Languages. MIT Press, 2002.
18. J. Rehof and T. Mogensen. Tractable Constraints in Finite Semilattices. In Third International Static Analysis Symposium, volume 1145 of Lecture Notes in Computer Science. Springer, September 1996.
19. V. Sinha, F. Doucet, C. Siska, R. Gupta, S. Liao, and A. Ghosh. YAML: A Tool for Hardware Design Visualization and Capture. In Proc. Int. Symposium on System Synthesis, 2000.
20. Simplified wrapper and interface generator (SWIG) home page: http://www.swig.org.
21. SystemC. OSCI. Home page: http://www.systemc.org.
22. H. Tomiyama, A. Halambi, P. Grun, N. Dutt, and A. Nicolau. Architecture Description Languages for System-on-Chip Design. In Asia Pacific Conference on Chip Design Language, 1999.
23. Y. Xiong and E. A. Lee. An Extensible Type System for Component-Based Design. In The 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, volume 1785 of Lecture Notes in Computer Science. Springer, April 2000.