Theoretical Computer Science
An extendible approach for analyzing fixed priority hard real-time tasks
Real-Time Systems
Holistic schedulability analysis for distributed hard real-time systems
Microprocessing and Microprogramming - Parallel processing in embedded real-time systems
DAC '98 Proceedings of the 35th annual Design Automation Conference
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
Bus access optimization for distributed embedded systems based on schedulability analysis
DATE '00 Proceedings of the conference on Design, automation and test in Europe
Model composition for scheduling analysis in platform design
Proceedings of the 39th annual Design Automation Conference
Real-Time Systems: Design Principles for Distributed Embedded Applications
Real-Time Systems: Design Principles for Distributed Embedded Applications
Deadline Scheduling for Real-Time Systems: Edf and Related Algorithms
Deadline Scheduling for Real-Time Systems: Edf and Related Algorithms
Dynamic- and Static-priority Scheduling of Recurring Real-time Tasks
Real-Time Systems
Viper: A Multiprocessor SOC for Advanced Set-Top Box and Digital TV Systems
IEEE Design & Test
A Theory of Rate-Based Execution
RTSS '99 Proceedings of the 20th IEEE Real-Time Systems Symposium
Approximate Schedulability Analysis
RTSS '02 Proceedings of the 23rd IEEE Real-Time Systems Symposium
Event Model Interfaces for Heterogeneous System Analysis
Proceedings of the conference on Design, automation and test in Europe
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Context-Aware Performance Analysis for Efficient Embedded System Design
Proceedings of the conference on Design, automation and test in Europe - Volume 2
Dynamic voltage scaling for the schedulability of jitter-constrained real-time embedded systems
ICCAD '05 Proceedings of the 2005 IEEE/ACM International conference on Computer-aided design
A faster exact schedulability analysis for fixed-priority scheduling
Journal of Systems and Software
Sensitivity analysis of complex embedded real-time systems
Real-Time Systems
Cache-aware timing analysis of streaming applications
Real-Time Systems
Testing real-time task networks with functional extensions using model-checking
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Real-time performance analysis of multiprocessor systems with shared memory
ACM Transactions on Embedded Computing Systems (TECS)
Predictability of least laxity first scheduling algorithm on multiprocessor real-time systems
EUC'06 Proceedings of the 2006 international conference on Emerging Directions in Embedded and Ubiquitous Computing
Dataflow analysis for multiprocessor systems with non-starvation-free schedulers
Proceedings of the 16th International Workshop on Software and Compilers for Embedded Systems
| Hi-index | 0.00 |
Today, only very few techniques out of the host of work on formalperformance and timing analysis have been adopted in MpSoC(multiprocessor system-on-chip) design. One of the key reasons isa mismatch between the scheduling models assumed in most formalapproaches and the heterogenous world of MpSoC schedulingtechniques and communication patterns. This heterogeneity resultsfrom IP reuse and a plug-and-play design style, required to effectivelyreach the necessary design productivity. A second problem isthe model complexity. While complex, specialized models can findtheir way into industry niches, their broad acceptance is extremelydoubtful. In this paper, we review the existing scheduling analysistechniques with respect to these key requirements and derive a goodcompromise between model simplicity on the one hand, and applicabilityto MpSoC design on the other hand. The approach representssystem-level scheduling analysis as a flow-analysis problemfor event streams that can be configured to reuse the existing localscheduling analysis techniques. We define transformations betweenfew key event stream models to meet the interfacing requirements ofthe compositional design style. An example demonstrates the applicationof the approach, as well as the worthiness of the results.