Ptolemy is an open-source and extensible modeling and simulation framework. It offers heterogeneous modeling capabilities by allowing different models of computation, both untimed and timed, to be composed hierarchically in an arbitrary fashion. This paper proposes a formal semantics for Ptolemy which is modular, in the sense that atomic actors and their compositions are treated in a unified wa...

The goal of this project is to provide a code generation framework for discrete event (DE) control models for cyberphysical systems (CPS) in Ptolemy II [1]. This framework should be as generic and platform independent as possible. The generated code should be tested on a target platform. Ptolemy offers the possibility to embed the generated code into the simulation environment. The generated co...

Ptolemy ‡ is an open-source and extensible modelling and simulation framework. It offers heterogeneous modeling capabilities by allowing different models of computation, both untimed and timed, to be composed hierarchically in an arbitrary fashion. This paper proposes a formal semantics for Ptolemy that is modular in the sense that atomic actors and their compositions are treated in a unified w...

The Discrete Time (DT) domain in Ptolemy II is a timed extension of the Synchronous Dataflow (SDF) domain. Although not completely backward compatible with SDF, DT keeps most of the desirable properties of SDF like static scheduling, regular/periodic execution, bounded memory usage, and a guarantee that deadlock will never occur. In addition, DT has some desirable temporal properties such as un...

Synchronous Dataflow (SDF) is useful in modeling communications and signal processing systems. We describe a communication actor library based on the SDF semantics in Ptolemy II and show how to use these actors to simulate communication systems. However, many communication and signal processing systems nowadays use adaptive algorithms and control protocols. These sometimes violate SDF principle...

Ptolemy II [2] supports the modeling of heterogeneous systems by using a hierarchical component-based architecture and well-defined models of computation. The basic component in Ptolemy II is called an actor. Actors have por t s , which are their communication interface to other actors. An aggregation of actors and their connections is called a comp o s i t e ac tor . A composi te actor can hav...

Simulating computer architecture as a cyber-physical system has many potential use cases including simulation of side channels and software-in-the-loop modeling and simulation. This paper presents an integrated simulation tool using a computer architecture simulator, gem5 and Ptolemy II. As a case study of this tool, we build a power and thermal model for a DRAM using the proposed tool integrat...