Ptolemy II, Heterogeneous Concurrent Modeling and Design in JAVA

Abstract : The Ptolemy project studied heterogeneous modeling, simulation, and design of concurrent systems. The focus is on embedded systems, particularly those that mix technologies including, for example, analog and digital electronics, hardware and software, and electronics and mechanical devices (including MEMS, microelectromechanical systems). The focus is also on systems that are complex in the sense that they mix widely different operations such as signal processing, feedback control, sequential decision making, and user interfaces.

[1]  Hermann Kopetz,et al.  Real-time systems , 2018, CSC '73.

[2]  Gul A. Agha,et al.  ACTORS - a model of concurrent computation in distributed systems , 1985, MIT Press series in artificial intelligence.

[3]  W. F. Dowling,et al.  Tractable Constraints in Finite Semilattices , 1996 .

[4]  Doug Lea,et al.  Concurrent Programming In Java , 1996 .

[5]  Heinrich Meyr,et al.  Efficient building block based RTL code generation from synchronous data flow graphs , 2000, DAC.

[6]  P. Le Guernic,et al.  Hybrid dynamical systems theory and the Signal language , 1990 .

[7]  Stan Y. Liao,et al.  An efficient implementation of reactivity for modeling hardware in the scenic design environment , 1997, DAC.

[8]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[9]  Edward A. Lee,et al.  Multidimensional synchronous dataflow , 2002, IEEE Trans. Signal Process..

[10]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[11]  K. Mani Chandy,et al.  Asynchronous distributed simulation via a sequence of parallel computations , 1981, CACM.

[12]  Kurt Mehlhorn,et al.  LEDA: a platform for combinatorial and geometric computing , 1997, CACM.

[13]  Lukito Muliadi,et al.  Discrete Event Modeling in Ptolemy II i , 1999 .

[14]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[15]  Edward A. Lee,et al.  Hierarchical finite state machines with multiple concurrency models , 1999, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[16]  James C. Candy,et al.  A Use of Limit Cycle Oscillations to Obtain Robust Analog-to-Digital Converters , 1974, IEEE Trans. Commun..

[17]  Gabor Karsai,et al.  A Configurable Visual Programming Environment: A Tool for Domain-Specific Programming , 1995, Computer.

[18]  Scott Oaks,et al.  Java Threads , 1997 .

[19]  Eddie Kohler,et al.  The Click modular router , 1999, SOSP.

[20]  Edward A. Lee,et al.  Communication Systems Modeling in Ptolemy Ii , 2003 .

[21]  Edward A. Lee,et al.  Timed multitasking for real-time embedded software , 2003 .

[22]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[23]  Steve McConnell,et al.  Code complete - a practical handbook of software construction, 2nd Edition , 1993 .

[24]  Phil Hontalas,et al.  Distributed Simulation and the Time Wrap Operating System. , 1987, SOSP 1987.

[25]  Mineo Takai,et al.  Parssec: A Parallel Simulation Environment for Complex Systems , 1998, Computer.

[26]  Carolyn L. Talcott,et al.  A foundation for actor computation , 1997, Journal of Functional Programming.

[27]  Carl Hewitt,et al.  Viewing Control Structures as Patterns of Passing Messages , 1977, Artif. Intell..

[28]  Iain D. Craig.  The interpretation of object-oriented programming languages - updated to include C# (2. ed.) , 2002 .

[29]  Edward A. Lee,et al.  CONTINUOUS TIME AND MIXED-SIGNAL SIMULATION IN PTOLEMY II , 1999 .

[30]  Edward A. Lee,et al.  Actor-Oriented Design of Embedded Hardware and Software Systems , 2003, J. Circuits Syst. Comput..

[31]  Edward A. Lee,et al.  Software Synthesis from Dataflow Graphs , 1996 .

[32]  Edward A. Lee,et al.  HYVISUAL: A HYBRID SYSTEM VISUAL MODELER , 1998 .

[33]  Edward A. Lee,et al.  Joint Minimization of Code and Data for Synchronous Dataflow Programs , 1997, Formal Methods Syst. Des..

[34]  Johan Eker,et al.  CAL language report: Specification of the CAL actor language , 2003 .

[35]  Edward A. Lee,et al.  Software Practice in the Ptolemy Project , 1999 .

[36]  Stephen A. Jarvis,et al.  Concurrent systems - formal development in CSP , 1995, McGrawhill international series in software engineering.

[37]  Dean Karnopp,et al.  Introduction to physical system dynamics , 1983 .

[38]  Nicolas Halbwachs,et al.  LUSTRE: A declarative language for programming synchronous systems* , 1987 .

[39]  Jie Liu,et al.  HETEROGENEOUS CONCURRENT MODELING AND DESIGN , 1999 .

[40]  R. M. Fujimoto,et al.  Parallel discrete event simulation , 1989, WSC '89.

[41]  Brian A. Davey,et al.  An Introduction to Lattices and Order , 1989 .

[42]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[43]  Paul Whitaker,et al.  The Simulation of Synchronous Reactive Systems In Ptolemy , 2001 .

[44]  Rajive Bagrodia,et al.  Parallel languages for discrete-event simulation models , 1998 .

[45]  Michael von der Beeck,et al.  A Comparison of Statecharts Variants , 1994, FTRTFT.

[46]  Edward A. Lee,et al.  What's Ahead for Embedded Software? , 2000, Computer.

[47]  David C. Luckham,et al.  An Event-Based Architecture Definition Language , 1995, IEEE Trans. Software Eng..

[48]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[49]  Edward A. Lee,et al.  Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing , 1989, IEEE Transactions on Computers.

[50]  Edward A. Lee,et al.  Taming heterogeneity - the Ptolemy approach , 2003, Proc. IEEE.

[51]  Robin Milner,et al.  A Theory of Type Polymorphism in Programming , 1978, J. Comput. Syst. Sci..

[52]  Gilles Kahn,et al.  Coroutines and Networks of Parallel Processes , 1977, IFIP Congress.

[53]  Peter G. Harrison,et al.  A Higher-Order Approach to Parallel Algorithms , 1992, Comput. J..

[54]  Gregory R. Andrews,et al.  Concurrent programming - principles and practice , 1991 .

[55]  Edward A. Lee,et al.  Dataflow process networks , 1995, Proc. IEEE.

[56]  Michael Goldsmith,et al.  Programming in occam 2 , 1985, Prentice Hall international series in computer science.

[57]  Gul A. Agha,et al.  Abstraction and modularity mechanisms for concurrent computing , 1993, IEEE Parallel & Distributed Technology: Systems & Applications.

[58]  Albert Benveniste,et al.  The synchronous approach to reactive and real-time systems , 1991 .

[59]  Tammy Noergaard,et al.  Embedded Software , 2003, Lecture Notes in Computer Science.

[60]  Kurt Keutzer,et al.  Automatic Specialization of Actor-oriented Models in Ptolemy II , 2002 .

[61]  Edward A. Lee,et al.  On the Causality of Mixed-Signal and Hybrid Models , 2003, HSCC.

[62]  Alberto L. Sangiovanni-Vincentelli,et al.  Relaxation-based electrical simulation , 1983, IEEE Transactions on Electron Devices.

[63]  Jayadev Misra,et al.  Distributed discrete-event simulation , 1986, CSUR.

[64]  David Garlan,et al.  Formalizing Architectural Connection , 1994, ICSE.

[65]  Edward A. Lee,et al.  A framework for comparing models of computation , 1998, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[66]  lawa Kanas,et al.  Metric Spaces , 2020, An Introduction to Functional Analysis.

[67]  John K. Ousterhout,et al.  Scripting: Higher-Level Programming for the 21st Century , 1998, Computer.

[68]  A LeeEdward.  Modeling concurrent real-time processes using discrete events , 1999 .

[69]  Craig Hansen,et al.  Hardware logic simulation by compilation , 1988, 25th ACM/IEEE, Design Automation Conference.Proceedings 1988..

[70]  Edward A. Lee,et al.  A component-based approach to modeling and simulating mixed-signal and hybrid systems , 2002, TOMC.

[71]  John H. Reppy,et al.  CML: A Higher-Order Concurrent Language , 1991, PLDI.

[72]  Gilles Kahn,et al.  The Semantics of a Simple Language for Parallel Programming , 1974, IFIP Congress.

[73]  Edward A. Lee,et al.  Gabriel: a design environment for DSP , 1989, IEEE Micro.

[74]  Edward A. Lee,et al.  A code generation framework for Java component-based designs , 2000, CASES '00.

[75]  Edward A. Lee.  Computing for embedded systems , 2001, IMTC 2001. Proceedings of the 18th IEEE Instrumentation and Measurement Technology Conference. Rediscovering Measurement in the Age of Informatics (Cat. No.01CH 37188).

[76]  Edward A. Lee,et al.  Motivating hierarchical run-time models in measurement and control systems , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).

[77]  Paul A. Fishwick,et al.  Simulation model design and execution - building digital worlds , 1995 .

[78]  Edward A. Lee,et al.  Component-based hierarchical modeling of systems with continuous and discrete dynamics , 2000, CACSD. Conference Proceedings. IEEE International Symposium on Computer-Aided Control System Design (Cat. No.00TH8537).

[79]  W. R. Sutherland,et al.  The on-line graphical specification of computer procedures , 1966 .

[80]  Heinrich Meyr,et al.  Optimum vectorization of scalable synchronous dataflow graphs , 1993, Proceedings of International Conference on Application Specific Array Processors (ASAP '93).

[81]  Edward A. Lee,et al.  Modeling distributed hybrid systems in Ptolemy II , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).

[82]  Edward A. Lee,et al.  Interaction of finite state machines and concurrency models , 1998, Conference Record of Thirty-Second Asilomar Conference on Signals, Systems and Computers (Cat. No.98CH36284).

[83]  Gul Agha,et al.  Abstracting Interaction Patterns: A Programming Paradigm for Open Distributed Systems , 1997 .

[84]  Bran Selic,et al.  Real-time object-oriented modeling , 1994, Wiley professional computing.

[85]  Mudit Goel,et al.  Process Networks in Ptolemy II , 1998 .

[86]  Jürgen Teich,et al.  3D exploration of software schedules for DSP algorithms , 1999, CODES '99.

[87]  J. M. Watt.  Numerical Initial Value Problems in Ordinary Differential Equations , 1972 .

[88]  Ralph Johnson,et al.  Design patterns: elements of reuseable object-oriented software , 1994 .

[89]  Edward A. Lee,et al.  An Extensible Type System for Component-Based Design , 2000, TACAS.

[90]  Chamberlain Fong,et al.  Discrete-Time Dataflow Models for Visual Simulation in Ptolemy II , 2000 .

[91]  Edward A. Lee,et al.  REALISTIC SIMULATIONS OF EMBEDDED CONTROL SYSTEMS , 2002 .

[92]  Alberto L. Sangiovanni-Vincentelli,et al.  Interface-based design , 1997, DAC.

[93]  Richard M. Fujimoto,et al.  Parallel simulation techniques for large-scale networks , 1998, IEEE Commun. Mag..

[94]  Eddie Kohler,et al.  Programming language optimizations for modular router configurations , 2002, ASPLOS X.

[95]  Edward A. Lee,et al.  System-Level Types for Component-Based Design , 2001, EMSOFT.

[96]  Mark Grand,et al.  Patterns in Java, Volume 1, A Catalog of Reusable Design Patterns Illustrated with UML , 1998 .

[97]  Edward A. Lee.  Modeling concurrent real-time processes using discrete events , 1999, Ann. Softw. Eng..

[98]  Gérard Berry,et al.  The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..

[99]  Randy Brown,et al.  Calendar queues: a fast 0(1) priority queue implementation for the simulation event set problem , 1988, CACM.

[100]  Edward A. Lee,et al.  Heterogeneous Modeling and Design of Control Systems , 2003 .

[101]  Stephen A. Edwards,et al.  The semantics and execution of a synchronous block-diagram language , 2003, Sci. Comput. Program..

[102]  Arjan J. C. van Gemund,et al.  Performance prediction of parallel processing systems: the PAMELA methodology , 1993, ICS '93.

[103]  Robert Esser,et al.  An object oriented Petri net approach to embedded system design , 1996 .

[104]  Jacques Cohen,et al.  Concurrent object-oriented programming , 1993, CACM.

[105]  Rick Reed,et al.  Telecommunications systems engineering using SDL , 1989 .

[106]  Edward A. Lee,et al.  Order and containment in concurrent system design , 2000 .

[107]  Tsay Jeff,et al.  A Code Generation Framework for Ptolemy II , 2000 .

[108]  John K. Ousterhout,et al.  Tcl and the Tk Toolkit , 1994 .

[109]  Thomas A. Henzinger,et al.  The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[110]  Shuvra S. Bhattacharyya,et al.  Compiling dataflow programs for digital signal processing , 1995 .

[111]  Alberto L. Sangiovanni-Vincentelli,et al.  Compositional Modeling in Metropolis , 2002, EMSOFT.

[112]  Thomas Martyn Parks,et al.  Bounded scheduling of process networks , 1996 .

[113]  Edward A. Lee,et al.  Ptolemy: A Framework for Simulating and Prototyping Heterogenous Systems , 2001, Int. J. Comput. Simul..

[114]  Yang Zhao,et al.  A Model of Computation with Push and Pull Processing , 2003 .

[115]  Edward A. Lee,et al.  Hierarchical concurrent finite state machines in Ptolemy , 1998, Proceedings 1998 International Conference on Application of Concurrency to System Design.

[116]  P. Azema,et al.  The Fomal Description Technique LOTOS , 2001 .

[117]  Jose L Pino,et al.  Software Synthesis for Single-Processor DSP Systems Using Ptolemy , 1993 .

[118]  Ivan E. Sutherland,et al.  Sketchpad a Man-Machine Graphical Communication System , 1899, Outstanding Dissertations in the Computer Sciences.

[119]  Eric G. Manning,et al.  Distributed Simulation Using a Network of Processors , 1979, Comput. Networks.

[120]  Stephen A. Edwards,et al.  The specification and execution of heterogeneous synchronous reactive systems , 1998 .

[121]  Edward A. Lee,et al.  Scheduling dynamic dataflow graphs with bounded memory using the token flow model , 1993, 1993 IEEE International Conference on Acoustics, Speech, and Signal Processing.

[122]  Albert E. Ruehli,et al.  The modified nodal approach to network analysis , 1975 .

[123]  Arthur J. Riel,et al.  Object-Oriented Design Heuristics , 1996 .

[124]  Thomas A. Henzinger,et al.  Giotto: a time-triggered language for embedded programming , 2001, Proc. IEEE.