Statecharts: A visual formalism for complex systems
Science of Computer Programming
Communications of the ACM
Discrete-time signal processing
Discrete-time signal processing
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
TDFL: a task-level dataflow language
Journal of Parallel and Distributed Computing - Special issue: software tools for parallel programming and visualization
Software synthesis for DSP using Ptolemy
Journal of VLSI Signal Processing Systems - Special issue on design environments for DSP
CoWare—a design environment for heterogenous hardware/software systems
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
A Hardware-Software Codesign Methodology for DSP Applications
IEEE Design & Test
Consistency in Dataflow Graphs
IEEE Transactions on Parallel and Distributed Systems
A Comparison of Statecharts Variants
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Scheduling Dynamic Dataflow Graphs with Bounded Memory
Scheduling Dynamic Dataflow Graphs with Bounded Memory
System-level codesign of mixed hardware-software systems
System-level codesign of mixed hardware-software systems
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
The RASSP Program: Origin, Concepts, and Status: An Introduction to the Issue
Journal of VLSI Signal Processing Systems - Special issue on the rapid prototyping of application specific signal processors (RASSP) program
Frequency interleaving as a codesign scheduling paradigm
CODES '00 Proceedings of the eighth international workshop on Hardware/software codesign
YAPI: application modeling for signal processing systems
Proceedings of the 37th Annual Design Automation Conference
Modeling and evaluation of hardware/software designs
Proceedings of the ninth international symposium on Hardware/software codesign
Design of embedded systems: formal models, validation, and synthesis
Readings in hardware/software co-design
A component-based approach to modeling and simulating mixed-signal and hybrid systems
ACM Transactions on Modeling and Computer Simulation (TOMACS)
HiPC '02 Proceedings of the 9th International Conference on High Performance Computing
A Methodology to Design Programmable Embedded Systems - The Y-Chart Approach
Embedded Processor Design Challenges: Systems, Architectures, Modeling, and Simulation - SAMOS
A methodology to design programmble embedded systems: the Y-chart approach
Embedded processor design challenges
Proceedings of the conference on Design, automation and test in Europe
Tackling an abstraction gap: co-simulating SystemC DE with bluespec ESL
Proceedings of the conference on Design, automation and test in Europe
Generic discrete-continuous simulation model for accurate validation in heterogeneous systems design
Microelectronics Journal
A tag machine based performance evaluation method for job-shop schedules
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
A self-checking hardware journal for a fault-tolerant processor architecture
International Journal of Reconfigurable Computing - Special issue on selected papers from the international workshop on reconfigurable communication-centric systems on chips (ReCoSoC' 2010)
Development and Evaluation of Distributed Simulation of Embedded Systems Using Ptolemy and HLA
DS-RT '13 Proceedings of the 2013 IEEE/ACM 17th International Symposium on Distributed Simulation and Real Time Applications
Hi-index | 0.00 |
This paper relates to system-level design of signal processing systems, which are often heterogeneous in implementation technologies and design styles. The heterogeneous approach, by combining small, specialized models of computation, achieves generality and also lends itself to automatic synthesis and formal verification. Key to the heterogeneous approach is to define interaction semantics that resolve the ambiguities when different models of computation are brought together. For this purpose, we introduce a tagged signal model as a formal framework within which the models of computation can be precisely described and unambiguously differentiated, and their interactions can be understood. In this paper, we will focus on the interaction between dataflow models, which have partially ordered events, and discrete-event models, with their notion of time that usually defines a total order of events. A variety of interaction semantics, mainly in handling the different notions of time in the two models, are explored to illustrate the subtleties involved. An implementation based on the Ptolemy system from U.C. Berkeley is described and critiqued.