Taming heterogeneity - The ptolemy approach

Proceedings of the IEEE

Volumn 91, Issue 1, 2003, Pages 127-143

  Eker, Johan ^b   Janneck, Jörn W ^b   Lee, Edward A ^a,b   Liu, Jie ^b   Liu, Xiaojun ^b   Ludvig, Jozsef ^c   Neuendorffer, Stephen ^b   Sachs, Sonia ^b   Xiong, Yuhong ^b  

^a IEEE   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

^c Athena Semiconductors Inc   (United States)

Author keywords

Component based design; Embedded systems; Heterogeneous modeling; Models of computation

Indexed keywords

COMMUNICATION SYSTEMS; COMPUTATIONAL METHODS; MATHEMATICAL MODELS; PROBLEM SOLVING; SEMANTICS;

COMPONENT-BASED DESIGN; HETEROGENEOUS MODELING; MODELS OF COMPUTATION;

EMBEDDED SYSTEMS;

EID: 0242444222     PISSN: 00189219     EISSN: None     Source Type: Journal    
DOI: 10.1109/JPROC.2002.805829     Document Type: Article

References (47)

1. M. Adelantado and F. Boniol, "Controlling real-time asynchronous tasks with Esterel synchronous language," in Proc. 13th Anna. ACM Symp. Principles of Distributed Comput., 1994, p. 387.
2. G. A. Agha, ACTORS: A Model of Concurrent Computation in Distributed Systems. Cambridge, MA: MIT Press, 1986, MIT Press Series in Artificial Intelligence.
3. P. Alexander, C. Kong, and D. Barton. (2000) Rosetta Semantics Strawman. [Online]. Available: http://www.sldl.org
4. P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, Lecture Notes in Computer Science: Hybrid Systems II. Heidelberg, Germany: Springer-Verlag, 1995, vol. 999.
5. D. Barker, "Requirements modeling technology: A vision for better, faster, and cheaper systems," presented at the VHDL Int. Users Forum Fall Workshop (VIUF'00), Orlando, FL., Oct. 2000.
6. A. Benveniste and G. Berry, "The synchronous approach to reactive and realtime systems," Proc. IEEE, vol. 79, pp. 1270-1282, Sept. 1991.
7. G. Berry and G. Gonthier, "The Esterel synchronous programming language: Design, semantics, implementation," Sci. Comput. Program., vol. 19, no. 2, pp. 87-152, 1992.
8. S.S.Bhattacharyya, P. K. Murthy, and E. A. Lee, Software Synthesis from Dataflow Graphs. Norwell, MA: Kluwer, 1996.
9. G. Bilsen, M. Engels, R. Lauwereins, and J. Peperstraete, "Cyclo-static dataflow," IEEE Trans. Signal Processing, vol. 44, pp. 397-408, Feb. 1996.
10. L. Breslau et al., "Advances in network simulation," IEEE Computer, vol. 33, pp. 59-67, May 2000.
11. E. Brinksma and T. Bolognesi, "Introduction to the ISO specification language LOTOS," Computer Netw. ISDN Syst., vol. 14, no. 1, 1987.
12. J. Buck and R. Vaidyanathan, "Heterogeneous modeling and simulation of embedded systems in El Greco," in Proc. 8th Int. Workshop Hardware/Software Codesign 2000, 2000, pp. 142-146.
13. J. T. Buck, "Scheduling dynamic dataflow graphs with bounded memory using the token flow model," Ph.D. dissertation, Univ. California, Elec. Eng. Comput. Sci., Berkeley, 1993.
14. J. Davis et al., "Ptolemy II - Heterogeneous Concurrent Modeling and Design in Java," Univ. California, Elec. Eng. Comput. Sci., Berkeley, CA, Memo M99/40, University of California at Berkeley/Electronics Research Laboratory (UCB/ERL), 1999.
15. L. de Alfaro and T. A. Henzinger, "Interface automata," in Proc. 9th Annu. Symp. Found. Software Eng., 2001, pp. 109-120.
16. A. Doboli and R. Vemuri, "The definition of a VHDL-AMS subset for behavioral synthesis of analog systems," presented at the IEEE/VIUF Int. Workshop Behav. Model. Simulation (BMAS'98), Orlando, FL, 1998.
17. R. Esser and J. W. Janneck, "Moses: A tool suite for visual modeling of discrete-event systems," in Proc. Symp. Human-Centric Comput. (HCC '01), 2001, pp. 272-279.
18. T. Grotker, R. Schoenen, and H. Meyr, "Pcc: A modeling technique for mixed control/data flow systems," in Proc. Eur. Design Test Conf. (ED&TC), 1997, pp. 482-486.
19. P. Le Guernic, A. Benveniste, P. Bournai, and T. Gautier, "Signal: A data flow oriented language for signal processing," IEEE Trans. Acoust., Speech, Signal Processing, vol. 34, pp. 362-374, Apr. 1986.
20. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, "The synchronous data flow programming language Lustre," Proc. IEEE, vol. 79, pp. 1305-1321, Sept. 1991.
21. D. Harel, "Statecharts: A visual formalism for complex systems," Sci. Comput. Program., vol. 8, pp. 231-274, 1987.
22. C. A. R. Hoare, "A theory of CSP," Commun. ACM, vol. 21, no. 8, Aug. 1978.
23. _, "Communicating sequential processes," in Computer Science. Englewood Cliffs, NJ: Prentice-Hall, 1985.
24. G. Kahn, "The semantics of a simple language for parallel programming," in Proc. IFIP Cong. 74, 1974, pp. 471-475.
25. G. Kahn and D. B. MacQueen, "Coroutines and networks of parallel processes," in Proc. IFIP Cong. 77, 1977, pp. 993-998.
26. B. W. Kernigan and D. M. Ritchie, The C Programming Language, 2nd ed. Englewood Cliffs, NJ: Prentice-Hall, 1988.
27. J. Kunkel, "COSSAP: A stream driven simulator," presented at the IEEE Int. Workshop Microelectrion. Commun., Interlaken, Switzerland, Mar. 1991.
28. R. Lauwereins, M. Engels, M. Ad, and J. A. Peperstraete, "Grape-II: A system-level prototyping environment for dsp applications," IEEE Computer, vol. 28, pp. 35-43, Feb. 1995.
29. B. Lee, "Specification and design of reactive systems," Ph.D. dissertation, Univ. California, Elec. Eng. Comput. Sci. Dept., Berkeley, CA, 2000.
30. E. A. Lee and D. G. Messerschmitt, "Synchronous data flow," Proc. IEEE, vol. 75, pp. 1235-1245, Sept. 1987.
31. E. A. Lee and T. M. Parks, "Dataflow process networks," Proc. IEEE, vol. 83, pp. 773-798, May 1995.
32. E. A. Lee and Y. Xiong, "System-level types for component-based design," in Lecture Notes in Computer Science, Embedded Software, T. A. Henzinger and C. M. Kirsch, Eds. Heidelberg, Germany: Springer-Verlag, 2001, vol. 2211, pp. 148-165.
33. J. Liu, X. Liu, T. J. Koo, B. Sinopoli, S. Sastry, and E. A. Lee, "A hierarchical hybrid system model and its simulation," in Proc. 38th IEEE Conf. Decision Contr., vol. 4, 1999, pp. 3508-3513.
34. J. Liu, "Continuous time and mixed-signal simulation in Ptolemy II," Univ. California Elec. Eng. Comput. Sci., Berkeley, CA, Memo M98/74, UCB/ERL, 1998.
35. J. Ludvig, J. McCarthy, S. Neuendorffer, and S. R. Sachs, "Reprogrammable platforms for high-speed data acquisition," J. Design Automat. Embedded Syst., vol. 7, no. 4, pp. 341-364, Nov. 2002, to be published.
36. F. Maraninchi, "The Argos language: Graphical representation of automata and description of reactive systems," presented at the IEEE Workshop Visual Lang., Kobe, Japan, 1991.
37. R. Milner, Lecture Notes in Computer Science, A Calculus for Communicating Systems. Heidelberg, Germany: Springer-Verlag, 1980, vol. 92.
38. M. Mokhtari and M. Marie, Engineering Applications of MATLAB 5.3 and SIMULINK 3. Berlin, Germany: Springer-Verlag, 2000.
39. P. J. Mosterman, "An overview of hybrid simulation phenomena and their support by simulation packages," in Lecture Notes in Computer Science, Hybrid Systems: Computation and Control. Heidelberg, Germany: Springer-Verlag, 1999, vol. 1569, pp. 148-165.
40. W. Nagel, "SPICE 2 - A computer program to simulate semiconductor circuits," Univ. California Elec. Eng. Comput. Sci., Berkeley, CA, Memo M520, UCB/ERL, 1975.
41. Z. Navabi, VHDL Analysis and Modeling of Digital Systems. New York: McGraw-Hill, 1993.
42. M. Richard and O. Roux, "An attempt to confront asynchronous reality to synchronous modelization in the Esterel language," in Lecture Notes in Computer Science, Formal Techniques in Real-Time and Fault-Tolerant Systems. Heidelberg, Germany: Springer-Verlag, 1992, vol. 571, pp. 429-450.
43. A. Sangiovanni-Vincentelli, "Defining platform-based design," EEDesign, Feb. 2002.
44. J. Sztipanovits and G. Karsai, "Model-integrated computing," IEEE Computer, vol. 30, pp. 110-112, Apr. 1997.
45. D. E. Thomas and P. Moorby, The Verilog Hardware Description Language. Norwell, MA: Kluwer, 1991.
46. P. van der Wolf, P. Lieverse, M. Goel, D. La Hei, and K. Vissers, "An MPEG-2 decoder case study as a driver for a system level design methodology," in Proc. Int. Symp. Hardware/Software Codesign (CODES), 1999, pp. 33-37.
47. J. Wexler, Concurrent Programming in Occam 2. Chichester, U.K.: Ellis Horwood, 1989, Ellis Horwood Series in Computers and Their Applications.