Code Generation for VSP software tool in Ptolemy
نویسنده
چکیده
In the past few decades, the importance of video signal processing in the communication industry has expanded drastically. Simple broadcasting can no longer satisfy the demands of the public. As a result, multi-media has became one of the fastest growing business in the industry. Because of the large data processing involved, software implementation of video algorithms for real-time purpose is not realistic. However, hardware reconfiguration is not an easy task. The solution to this dilemma is programmable video processing chips.
منابع مشابه
Code Generation for Discrete Event Controllers in Ptolemy II
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...
متن کاملVHDL Code Generation in the Ptolemy II Environment
It is becoming increasingly popular to describe real time signal proessing systems targetted for FPGA or ASIC implementation using structural signal flow graphs. We have implemented support for generation of synthesizeable as well as testbench VHDL code from Ptolemy II models. A helper based approach borrowing heavily from the existing Ptolemy II C code generation framework is used. This work d...
متن کاملA Code Generation Framework for Actor-Oriented Models with Partial Evaluation
Embedded software requires alternative concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstraction for composing concurrent components. However, high level abstraction often introduces overhead and results in slower system. We address the problem of generating efficient implementation for the sys...
متن کاملThe Virtual Spaceplane: A Modeling and Simulation Tool for the Manned Spaceplane Project
We discuss the Manned SpacePlane (MSP) project and its foundation for the Virtual SpacePlane (VSP) project. We present the requirements for the Virtual SpacePlane as derived from the MSP project’s objectives. The VSP requirements coupled with the need to rapidly assemble a prototype led us to reuse code from the Virtual Cockpit, Solar System Modeler, and Common Object Database (CODB) systems. W...
متن کاملVerifying Ptolemy II Discrete-Event Models Using Real-Time Maude
This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in RealTime Maude the semantics of a subset of hierarchical Ptolemy II DE models, and explain how the code generation infrastructure of Ptolemy II has been used to automatically synthesize a Real-Time Maude verification model from a Ptolemy II design model. This enables a mode...
متن کامل