Exploring models of computation with ptolemy II

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 m...

Full description

Saved in:
Bibliographic Details
Published in:Proceedings of the Eighth Ieee/Acm/Ifip International Conference on Hardware/Software Codesign and System Synthesis pp. 331 - 332
Main Authors: Brooks, Christopher X., Lee, Edward A., Tripakis, Stavros
Format: Conference Proceeding
Language:English
Published: New York, NY, USA ACM 24.10.2010
IEEE
Series:ACM Conferences
Subjects:
Applied computing > Computers in other domains
Computational modeling
Computer systems organization > Architectures > Parallel architectures > Cellular architectures
Computer systems organization > Embedded and cyber-physical systems
Computer systems organization > Real-time systems
Computing methodologies > Modeling and simulation > Model development and analysis > Modeling methodologies
concurrency
Data models
Hardware > Emerging technologies > Quantum technologies > Quantum dots and cellular automata
Modeling
Object oriented modeling
Real time systems
Semantics
simulation
Software
Theory of computation > Models of computation
Tutorials
simulation
modeling
concurrency
ISBN:1605589055, 9781605589053
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISBN:1605589055
9781605589053
DOI:10.1145/1878961.1879020