Automated concurrency re-assignment in high level system models for efficient system-level simulation

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 2002, Pages 875-881

  Savoiu, Nick ^a   Shukla, Sandeep K ^a   Gupta, Rajesh K ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMIC TRANSFORMATION; CONCURRENCY MODELING; EFFICIENT IMPLEMENTATION; EXPERIMENTAL ANALYSIS; FRONT-END TRANSFORMATIONS; HIGH-LEVEL SYSTEM MODELS; SIMULATION PERFORMANCE; SYSTEM LEVEL SIMULATION;

ALIGNMENT; AUTOMATION; COMPUTER SIMULATION; DESIGN; EXHIBITIONS; HARDWARE; SOFTWARE ENGINEERING; SYSTEMS ANALYSIS;

DATA FLOW ANALYSIS;

EID: 34547321836     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DATE.2002.998404     Document Type: Conference Paper

References (18)

1. J. Cortadella, A. Kondratyev, L. Lavagno, M. Massot, S. Moral, C. Passerone, Y. Watanabe, and A. Sangiovanni-Vincentelli. Task Generation and Compile-time Scheduling for Mixed Data-Control Embedded Software. In Proceedings of the 37th Design Automation Conference, 2000.
2. CynApps Inc., http://www.cynlib.com. Cynlib Reference Manual.
3. S. A. Edwards. Compiling Esterel into Sequential Code. In Proceedings of the 37th Design Automation Conference, 2000.
4. P. Garg, S. Shukla, and R. Gupta. Efficient usage of concurrency models in an object-oriented co-design framework. In Design Automation and Test in Europe, Designers Forum, 2001.
5. D. Jackson and E. J. Rollins. A New Model of Program Dependencies for Reverse Engineering. In Proceedings of the SIGSOFT conference on Foundations of Software Engineering, New Orleans, December 1994.
6. D. Jackson and E. J. Rollins. Chopping: A generalization of slicing. Technical Report CMU-CS-94-169, School of Computer Science, Carnegie Mellon University, 1994.
7. D. Keppel. Tools and techniques for building fast portable thread packages. Technical Report UWCSE-93-05-06, Computer Science and Engineering, Univ. of Washington, May 1993.
8. S. Liao, S. Tjiang, and R. Gupta. An Efficient Implementation of Reactivity for Modeling Hardware in Scenic Design Environment. In Proceedings of the 34th Design Automation Conference, pages 70-75, Anaheim, CA, June 1997.
9. B. Lin. Software Synthesis of Process Based Concurrent Programs. In Proceedings of the 35th Design Automation Conference, 1998.
10. C. J. Northrup. Programming with UNIX Threads. John Wiley, 1996.
11. OCAPI Website, http://www.imec.be/ocapi.
12. N. Savoiu, S. Shukla, and R. Gupta. Design for Synthesis, Transform for Simulation: Automatic Transformation of Threading Structures in High Level SystemModels. Technical Report TR-01-58, Information and Computer Science Department Technical Report: University of California at Irvine, 2001.
13. D. C. Schmidt and T. Suda. The performance of alternative threading architectures for parallel communication subsystems. Journal of Parallel and Distributed Computing, submitted 1996.
14. M. Sgroi, L. Lavagno, Y. Watanabe, and A. Sangiovanni-Vincentelli. Quasi-Static Scheduling of Embedded Software Using Equal Conflict Net. In Proceedings of the Application and Theory of Petri Nets, 1999.
15. Synopsys Inc., http://www.systemc.org. System C Reference Manual.
16. F. Thoen and F. Catthoor. Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems. Kluwer Academic Publishers, 2000.
17. University of California AMRM website, http://www.cecs.uci.edu/~amrm.
18. T. Wagner and D. Towsley. Getting started with posix threads. Technical report, Computer Science Department, Univ. of Massachusetts, Amherst, July 1995.