Title :
Exploring models of computation with Ptolemy II
Author :
Brooks, Christopher ; Lee, Edward A. ; Tripakis, Stavros
Author_Institution :
EECS Dept., Univ. of California, Berkeley, Berkeley, CA, USA
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 Models 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.
Keywords :
embedded systems; object-oriented methods; public domain software; Kahn process networks; Ptolemy II; concurrent embedded systems; continuous time models; discrete event models; execution time discipline; left-to-right execution policy; modal models; non dogmatic process networks; real time embedded systems; synchronous data flow; synchronous-reactive models; Computational modeling; Data models; Object oriented modeling; Real time systems; Semantics; Software; Tutorials; Modeling; concurrency; simulation;
Conference_Titel :
Hardware/Software Codesign and System Synthesis (CODES+ISSS), 2010 IEEE/ACM/IFIP International Conference on
Conference_Location :
Scottsdale, AZ
Print_ISBN :
978-1-6055-8905-3