[49] C. Hansen, “Hardware logic simulation by compilation,” In Proceedings of the Design Automation Conference (DAC). SIGDA, ACM, 1988. [50] D. Harel, “Statecharts: A Visual Formalism for Complex Systems,” Sci. Comput. Program., vol 8, pp. 231-274, 1987. [51] P. G. Harrison, “A Higher-Order Approach to Parallel Algorithms,” The Computer Journal, Vol. 35, No. 6, 1992. [52] T. A. Henzinger, B. Horowitz and C. M. Kirsch, “Giotto: A Time-Triggered Language for Embedded Programming,” EMSOFT 2001, Tahoe City, CA, Springer-Verlag, [53] T. A. Henzinger, “The theory of hybrid automata,” in Proceedings of the 11th Annual Symposium on Logic in Computer Science, IEEE Computer Society Press, 1996, pp. 278-292, invited tutorial. [54] T.A. Henzinger, and O. Kupferman, and S. Qadeer, “From prehistoric to postmodern symbolic model checking,” in CAV 98: Computer-aided Verification, pp. 195-206, eds. A.J. Hu and M.Y. Vardi, Lecture Notes in Computer Science 1427, Springer-Verlag, 1998. [55] T. A. Henzinger and C. M. Kirsch, “The Embedded Machine: Predictable, portable real-time code,” In Proceedings of Conference on Programming Language Design and Implementation (PLDI). SIGPLAN, ACM, June 2002. [56] C. Hewitt, “Viewing control structures as patterns of passing messages,” Journal of Artificial Intelligence, 8(3):323–363, June 1977. [57] M. G. Hinchey and S. A. Jarvis, Concurrent Systems: Formal Developments in CSP, McGraw- Hill, 1995. [58] C. W. Ho, A. E. Ruehli, and P. A. Brennan, “The Modified Nodal Approach to Network Analysis,” IEEE Tran. on Circuits and Systems, Vol. CAS-22, No. 6, 1975, pp. 504-509. [59] C. A. R. Hoare, “Communicating Sequential Processes,” Communications of the ACM, Vol. 21, No. 8, August 1978. [60] C. A. R. Hoare, Communicating Sequential Processes, Prentice-Hall, 1985. [61] IEEE DASC 1076.1 Working Group, “VHDL-A Design Objective Document, version 2.3,” http:/ /www.vhdl.org/analog/ftp_files/requirements/DOD_v2.3.txt [62] D. Jefferson, Brian Beckman, et al, “Distributed Simulation and the Time Warp Operating System,” UCLA Computer Science Department: 870042, 1987. [63] G. Kahn, “The Semantics of a Simple Language for Parallel Programming,” Proc. of the IFIP Congress 74, North-Holland Publishing Co., 1974. [64] G. Kahn and D. B. MacQueen, “Coroutines and Networks of Parallel Processes,” Information Processing 77, B. Gilchrist, editor, North-Holland Publishing Co., 1977. [65] G. Karsai, M. Maroti, Á. Lédeczi, J. Gray and J. Sztipanovits, “Type Hierarchies and Composition in Modeling and Meta-Modeling Languages,” IEEE Transactions on Control System Technology, to appear, 2004. [66] G. Karsai, “A Configurable Visual Programming Environment: A Tool for Domain-Specific Programming,” IEEE Computer: 36-44, March 1995, 1995. 248 Ptolemy <strong>II</strong>
[67] E. Kohler, The Click Modular Router, Ph.D. Thesis, Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, February 2001. [68] H. Kopetz, Real-Time Systems: Design Principles for Distributed Embedded Applications, Kluwer Academic Publishers, 1997. [69] P. Laramie, R.S. Stevens, and M.Wan, “Kahn process networks in Java,” ee290n class project report, Univ. of California at Berkeley, 1996. [70] D. Lea, Concurrent Programming in Java TM , Addison-Wesley, Reading, MA, 1997. [71] B. Lee and E. A. Lee, “Interaction of Finite State Machines with Concurrency Models,” Proc. of Thirty Second Annual Asilomar Conference on Signals, Systems, and Computers, Pacific Grove, California, November 1998. (http://ptolemy.eecs.berkeley.edu/publications/papers/98/Interaction- FSM/) [72] B. Lee and E. A. Lee, “Hierarchical Concurrent Finite State Machines in Ptolemy,” Proc. of International Conference on Application of Concurrency to System Design, p. 34-40, Fukushima, Japan, March 1998 (http://ptolemy.eecs.berkeley.edu/publications/papers/98/HCFSMinPtolemy/) [73] E. A. Lee and S. Neuendorffer, “Classes and Subclasses in Actor-Oriented Design,” In Proceedings of Conference on Formal Methods and Models for Codesign (MEMOCODE), San Diego, CA, USA, June 22-25, 2004. [74] E. A. Lee and Y. Xiong, “A Behavioral Type System and Its Application in Ptolemy <strong>II</strong>,” Formal Aspects of Computing Journal, special issue on Semantic Foundations of Engineering Design Languages, to appear, 2004. [75] E. A. Lee, S. Neuendorffer and M. J. Wirthlin, “Actor-Oriented Design of Embedded Hardware and Software Systems,” Journal of Circuits, Systems, and Computers, 12(3): 231-260, 2003, 2003. [76] E. A. Lee, “Embedded Software,” in Advances in Computers (M. Zelkowitz, editor), Vol. 56, Academic Press, London, 2002. [77] E. A. Lee, “What's Ahead for Embedded Software?” IEEE Computer, September 2000, pp. 18-26. [78] E. A. Lee, “Modeling Concurrent Real-time Processes Using Discrete Events,” Invited paper to Annals of Software Engineering, Special Volume on Real-Time Software Engineering, Volume 7, 1999, pp 25-45. Also UCB/ERL Memorandum M98/7, March 4th 1998.(http://ptolemy.eecs.berkeley.edu/publications/papers/98/realtime) [79] E. A. Lee and Y. Xiong, “System-Level Types for Component-Based Design,” First Workshop on Embedded Software, EMSOFT 2001, Lake Tahoe, CA, USA, Oct. 8-10, 2001. (also Technical Memorandum UCB/ERL M00/8, Electronics Research Lab, University of California, Berkeley, CA 94720, USA, February 29, 2000. http://ptolemy.eecs.berkeley.edu/publications/papers/01/systemLevelType/). [80] E. A. Lee, “Computing for Embedded Systems,” invited paper, IEEE Instrumentation and Measurement Technology Conference, Budapest, Hungary, May 21-23, 2001. [81] E. A. Lee and T. M. Parks, “Dataflow Process Networks,”, Proceedings of the IEEE, vol. 83, no. 5, pp. 773-801, May, 1995. (http://ptolemy.eecs.berkeley.edu/publications/papers/95/processNets) Heterogeneous Concurrent Modeling and Design 249
- Page 1 and 2:
PTOLEMY II HETEROGENEOUS CONCURRENT
- Page 3 and 4:
VOLUME 1 INTRODUCTION TO PTOLEMY II
- Page 5 and 6:
Volume 1 Contents Introduction to P
- Page 7 and 8:
2.10.3. Constructing Modal Models 8
- Page 9 and 10:
7. MoML 191 7.1. Introduction 191 7
- Page 11 and 12:
1 Introduction Author: Edward A. Le
- Page 13 and 14:
Introduction heterochronous dataflo
- Page 15 and 16:
Introduction A major emphasis in Pt
- Page 17 and 18:
Introduction determine when actors
- Page 19 and 20:
Introduction provides levels of vis
- Page 21 and 22:
Introduction is a guard, and the se
- Page 23 and 24:
Introduction well. All of these are
- Page 25 and 26:
Introduction clients to update thei
- Page 27 and 28:
Introduction will be supplied with
- Page 29 and 30:
Introduction 1.3.12 Synchronous Dat
- Page 31 and 32:
Introduction FIGURE 1.10. Refinemen
- Page 33 and 34:
Introduction occlusions due to terr
- Page 35 and 36:
Introduction tion. The overall arch
- Page 37 and 38:
Introduction kernel.attributes This
- Page 39 and 40:
Introduction 1.5.2 Overview of Key
- Page 41 and 42:
Introduction Actor interfaces are k
- Page 43 and 44:
Heterogeneous Concurrent Modeling a
- Page 45 and 46:
Introduction actor actor.gui data.e
- Page 47 and 48:
Introduction cient, scalable, and u
- Page 49 and 50:
Introduction 1.5.8 Future Capabilit
- Page 51 and 52:
Introduction Appendix A: UML — Un
- Page 53 and 54:
Introduction grams, the only constr
- Page 55 and 56:
2 Using Vergil Authors: Edward A. L
- Page 57 and 58:
Using Vergil 2.2.2 Executing a Pre-
- Page 59 and 60:
Using Vergil The Lorenz attractor m
- Page 61 and 62:
Using Vergil The Continuous-Time (C
- Page 63 and 64:
Using Vergil box in figure 2.11. En
- Page 65 and 66:
Using Vergil Don’t panic! Excepti
- Page 67 and 68:
Using Vergil tions are a normal par
- Page 69 and 70:
Using Vergil 2.4 Hierarchy Ptolemy
- Page 71 and 72:
Using Vergil Then using these ports
- Page 73 and 74:
Using Vergil the default 0.1 to 0.0
- Page 75 and 76:
Using Vergil pan window, it is easy
- Page 77 and 78:
Using Vergil FIGURE 2.33. The pan w
- Page 79 and 80:
Using Vergil we have modified the c
- Page 81 and 82:
Using Vergil model, simply copy (or
- Page 83 and 84:
Using Vergil A key issue is to deci
- Page 85 and 86:
Using Vergil instances. This proble
- Page 87 and 88:
Using Vergil quick tour for more de
- Page 89 and 90:
Using Vergil uses the index in the
- Page 91 and 92:
Using Vergil AddSubtract actor, and
- Page 93 and 94:
Using Vergil If you look inside the
- Page 95 and 96:
Using Vergil If you look inside the
- Page 97 and 98:
Using Vergil transition (or right c
- Page 99 and 100:
Using Vergil Once you have created
- Page 101 and 102:
Using Vergil The grid is turned off
- Page 103 and 104:
Authors: Edward A. Lee Xiaojun Liu
- Page 105 and 106:
Expressions classes to create a gen
- Page 107 and 108:
Expressions The % operation is a mo
- Page 109 and 110:
Expressions attribute, which includ
- Page 111 and 112:
Expressions 3.3.5 State Machines Ex
- Page 113 and 114:
Expressions whose value is an array
- Page 115 and 116:
Expressions from it. For instance,
- Page 117 and 118:
Expressions defined. For example, >
- Page 119 and 120:
Expressions length is given by the
- Page 121 and 122:
Expressions Thus, for example, you
- Page 123 and 124:
Expressions number. With one additi
- Page 125 and 126:
Expressions value. For example, fix
- Page 127 and 128:
Expressions In the example in figur
- Page 129 and 130:
Expressions A.2 Basic Mathematical
- Page 131 and 132:
Expressions A.3 Matrix, Array, and
- Page 133 and 134:
Expressions A.5 Signal Processing F
- Page 135 and 136:
Expressions TABLE 8: Functions perf
- Page 137 and 138:
4 Actor Libraries Authors: Elaine C
- Page 139 and 140:
Actor Libraries properly in the CT
- Page 141 and 142:
Actor Libraries ing that multiple c
- Page 143 and 144:
Actor Libraries TypedAtomicActor «
- Page 145 and 146:
Actor Libraries SequenceScope (exte
- Page 147 and 148:
Actor Libraries UnsignedByteArrayTo
- Page 149 and 150:
Actor Libraries MobileFunction (ext
- Page 151 and 152:
Actor Libraries LogicFunction (exte
- Page 153 and 154:
Actor Libraries Sleep (extends Tran
- Page 155 and 156:
Actor Libraries VariableFIR (extend
- Page 157 and 158:
Actor Libraries Integrator: Integra
- Page 159 and 160:
Actor Libraries Figure 4.4 shows th
- Page 161 and 162:
5 Designing Actors Authors: Christo
- Page 163 and 164:
Designing Actors /** Javadoc commen
- Page 165 and 166:
Designing Actors although with most
- Page 167 and 168:
Designing Actors import ptolemy.act
- Page 169 and 170:
Designing Actors makes such actors
- Page 171 and 172:
Designing Actors same parameter val
- Page 173 and 174:
Designing Actors morphic actor comp
- Page 175 and 176:
Designing Actors To get data polymo
- Page 177 and 178:
Designing Actors public class Seque
- Page 179 and 180:
Designing Actors be used in domains
- Page 181 and 182:
Designing Actors alComm actor. Beca
- Page 183 and 184:
Designing Actors attribute has valu
- Page 185 and 186:
Designing Actors import ptolemy.act
- Page 187 and 188:
6 Coding Style Authors: Christopher
- Page 189 and 190:
Coding Style /* One line descriptio
- Page 191 and 192:
Coding Style Copyright (c) 2004 The
- Page 193 and 194:
Coding Style @version $Id: NamedObj
- Page 195 and 196:
Coding Style } We use instead the i
- Page 197 and 198:
Coding Style * @exception MyExcepti
- Page 199 and 200:
Coding Style + "it does not impleme
- Page 201 and 202:
Authors: Edward A. Lee Steve Neuend
- Page 203 and 204:
MoML cutes it forever, until you hi
- Page 205 and 206:
MoML A second difference between ou
- Page 207 and 208: MoML
- Page 209 and 210: MoML 7.3.3 Names and Classes Most M
- Page 211 and 212: MoML Here, the element named
- Page 213 and 214: MoML implement. 7.3.7 Doc Element S
- Page 215 and 216: MoML It is also sometimes necess
- Page 217 and 218: MoML then there will be a link t
- Page 219 and 220: MoML found. For example, if the cla
- Page 221 and 222: MoML it cannot collide with the nam
- Page 223 and 224: MoML The rendering of the icon is d
- Page 225 and 226: MoML 7.4.5 Deleting Entities, Relat
- Page 227 and 228: MoML This unlinks a port from the s
- Page 229 and 230: MoML model. The EntityLibrary class
- Page 231 and 232: MoML Suppose that using incremental
- Page 233 and 234: MoML Generate a sine wave.
- Page 235 and 236: MoML
- Page 237 and 238: MoML Number of iterations in
- Page 239 and 240: MoML -P- The f
- Page 241 and 242: MoML -P- The phase,
- Page 243 and 244: 8 Custom Applets Authors: Edward A.
- Page 245 and 246: Custom Applets html code, see the J
- Page 247 and 248: Custom Applets public class Tutoria
- Page 249 and 250: Custom Applets then the result of
- Page 251 and 252: Custom Applets 8.3.5 Using Model Pa
- Page 253 and 254: Custom Applets ptolemy/domains/doma
- Page 255 and 256: References [1] G. Agha, Actors: A M
- Page 257: [33] S. A. Edwards, “The Specific
- Page 261 and 262: [95] J. Liu, X. Liu, T. J. Koo, B.
- Page 263 and 264: [132]W. R. Sutherland, "The on-Line
- Page 265 and 266: Glossary abstract syntax ..........
- Page 267 and 268: Ptolemy II ........................
- Page 269 and 270: Index Symbols - in UML 41 # in UML
- Page 271 and 272: coin flips 142 Color class 173 colo
- Page 273 and 274: entity in XML 198 EntityLibrary cla
- Page 275 and 276: Director class 159 inverse FFT 124
- Page 277 and 278: CompositeEntity class 206 nextPower
- Page 279 and 280: safety 34 SampleDelay actor 78, 138
- Page 281 and 282: type constraint 155 type constraint