Static scheduling of synchronous data flow programs for digital signal processing
IEEE Transactions on Computers
Schedulability-driven performance analysis of multiple mode embedded real-time systems
Proceedings of the 37th Annual Design Automation Conference
Retargetable static timing analysis for embedded software
Proceedings of the 14th international symposium on Systems synthesis
Model composition for scheduling analysis in platform design
Proceedings of the 39th annual Design Automation Conference
Embedded Multiprocessors: Scheduling and Synchronization
Embedded Multiprocessors: Scheduling and Synchronization
Minimizing Buffer Requirements under Rate-Optimal Schedule in Regular Dataflow Networks
Journal of VLSI Signal Processing Systems
Mode Change Protocols for Real-Time Systems: A Survey and a New Proposal
Real-Time Systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Proceedings of the 4th ACM international conference on Embedded software
A General Framework for Analysing System Properties in Platform-Based Embedded System Designs
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Event Count Automata: A State-Based Model for Stream Processing Systems
RTSS '05 Proceedings of the 26th IEEE International Real-Time Systems Symposium
Proceedings of the 43rd annual Design Automation Conference
Liveness and Boundedness of Synchronous Data Flow Graphs
FMCAD '06 Proceedings of the Formal Methods in Computer Aided Design
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Modelling Adaptive Systems in ForSyDe
Electronic Notes in Theoretical Computer Science (ENTCS)
A multi-mode video-stream processor with cyclically reconfigurable architecture
Proceedings of the 5th conference on Computing frontiers
An 8x8 run-time reconfigurable FPGA embedded in a SoC
Proceedings of the 45th annual Design Automation Conference
Proceedings of the conference on Design, automation and test in Europe
Energy efficient streaming applications with guaranteed throughput on MPSoCs
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
A Multi-mode Real-Time Calculus
RTSS '08 Proceedings of the 2008 Real-Time Systems Symposium
Buffer Sizing for Rate-Optimal Single-Rate Data-Flow Scheduling Revisited
IEEE Transactions on Computers
Network calculus: a theory of deterministic queuing systems for the internet
Network calculus: a theory of deterministic queuing systems for the internet
Buffer minimization of real-time streaming applications scheduling on hybrid CPU/FPGA architectures
Proceedings of the Conference on Design, Automation and Test in Europe
IEEE Transactions on Signal Processing
A framework for comparing models of computation
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Quality of service guarantees in virtual circuit switched networks
IEEE Journal on Selected Areas in Communications
| Hi-index | 0.00 |
We propose a performance analysis framework for adaptive real-time synchronous data flow streaming applications on runtime reconfigurable FPGAs. As the main contribution, we present a constraint based approach to capture both streaming application execution semantics and the varying design concerns during reconfigurations. With our event models constructed as cumulative functions on data streams, we exploit a novel compile-time analysis framework based on iterative timing phases. Finally, we implement our framework on a public domain constraint solver, and illustrate its capabilities in the analysis of design trade-offs due to reconfigurations with experiments.