Christopher X. Brooks
Edward A. Lee
ABSTRACT
The Ptolemy project studies modeling, simulation, and design of concurrent, real-time, embedded systems. The focus is on assembly of concurrent components. The key underlying principle in the project is the use of well-defined models of computation that govern the interaction between components. A major problem area being addressed is the use of heterogeneous mixtures of models of computation.
Ptolemy II takes a component view of design, in that models are constructed as a set of interacting components. A model of computation governs the semantics of the interaction, and thus imposes an execution-time discipline. Ptolemy II has implementations of many models of computation including Synchronous Data Flow, Kahn Process Networks, Discrete Event, Continuous Time, Synchronous/Reactive and Modal Model.
This hands-on tutorial explores how these models of computation are implemented in Ptolemy II and how to create new models of computation such as a "non-dogmatic" Process Networks example and a left-to-right execution policy example.
- J. Eker, J. W. Janneck, E. A. Lee, J. Liu, X. Liu, J. Ludvig, S. Neuendorer, S. Sachs, and Y. Xiong. Taming heterogeneity---the Ptolemy approach. Proceedings of the IEEE, 91(2):127--144, 2003.Google Scholar
Cross Ref
- D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231--274, 1987. Google ScholarDigital Library
- G. Kahn and D. B. MacQueen. Coroutines and networks of parallel processes. In B. Gilchrist, editor, Information Processing, pages 993--998. North-Holland Publishing Co., 1977.Google Scholar
- E. A. Lee. Finite State Machines and Modal Models in Ptolemy II. Technical Report UCB/EECS-2009-151, EECS Department, University of California, Berkeley, Nov 2009.Google ScholarCross Ref
- E. A. Lee and S. Tripakis. Modal Models in Ptolemy. In EOOLT 2010 -- 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools. Linköping University Electronic Press, Oct. 2010. To appear.Google Scholar
- E. A. Lee and H. Zheng. Operational semantics of hybrid systems. In M. Morari and L. Thiele, editors, Hybrid Systems: Computation and Control (HSCC), volume LNCS 3414, pages pp. 25--53, Zurich, Switzerland, 2005. Springer-Verlag. Google ScholarDigital Library
- E. A. Lee and H. Zheng. Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems. In EMSOFT, Salzburg, Austria, 2007. ACM. Google ScholarDigital Library
- J. M.-K. Leung, T. Mandl, E. A. Lee, E. Latronico, C. Shelton, S. Tripakis, and B. Lickly. Scalable semantic annotation using lattice-based ontologies. In 12th International Conference on Model Driven Engineering Languages and Systems, pages 393--407. ACM/IEEE, October 2009. Google ScholarDigital Library
Index Terms
- Exploring models of computation with ptolemy II
Recommendations
Modeling of sensor nets in Ptolemy II
IPSN '04: Proceedings of the 3rd international symposium on Information processing in sensor networksThis paper describes a modeling and simulation framework called VisualSense for wireless sensor networks that builds on and leverages Ptolemy II. This framework supports actor-oriented definition of sensor nodes, wireless communication channels, ...
Composing Different Models of Computation in Kepler and Ptolemy II
ICCS '07: Proceedings of the 7th international conference on Computational Science, Part III: ICCS 2007A model of computation (MoC) is a formal abstraction of execution in a computer. There is a need for composing MoCs in e-science. Kepler, which is based on Ptolemy II, is a scientific workflow environment that allows for MoC composition. This paper ...
A Flexible, Syntax Independent Representation (SIR) for System Level Design Models
DSD '06: Proceedings of the 9th EUROMICRO Conference on Digital System DesignSystem Level Design (SLD) is widely seen as a solution for bridging the gap between chip complexity and design productivity of Systems on Chip (SoC). SLD relieves the designer from detailed manual implementation by raising the level of abstraction in ...
Comments