A generic and compositional framework for multicore response time analysis
Explore this paper's citation graph
Summary
The MRTA framework provides a general approach to timing verification for multicore systems that is parametric in the hardware configuration and so can be used at the architectural design stage to compare the guaranteed levels of performance that can be obtained with different hardware configurations.
- Type
- preprint
- Published
- 2015-11-04
- Cited by
- 74
- References
- 50
- Access
- Open access
- OpenAlex
- https://openalex.org/W2179514839
- Semantic Scholar
- https://api.semanticscholar.org/CorpusID:955668
Keywords
Computer science, Multi-core processor, Cache, Variety (cybernetics), Parallel computing
References
- Analysis of preemptively scheduled hard real-time systems
- A mathematical approach towards hardware design
- A framework for memory contention analysis in multi-core platforms
- Architecture-parametric timing analysis
- Modeling shared cache and bus in multi-cores for timing analysis
- Static analysis of multi-core TDMA resource arbitration delays
- Bounding memory interference delay in COTS-based multi-core systems
- Integrating Cache-Related Pre-Emption Delays into Analysis of Fixed Priority Scheduling with Pre-Emption Thresholds
- Timing Analysis for TDMA Arbitration in Resource Sharing Systems
- Towards compositionality in execution time analysis: definition and challenges
- Adapting Futures: Scalability for Real-World Computing
- Multi-core Interference-Sensitive WCET Analysis Leveraging Runtime Resource Capacity Enforcement
- Applying new scheduling theory to static priority pre-emptive scheduling
- Sustainable Scheduling Analysis
- Investigation of Scratchpad Memory for Preemptive Multitasking
- Cache Behavior Prediction by Abstract Interpretation
- Finding Response Times in a Real-Time System
- Stack-based scheduling of realtime processes
- Improved cache related pre-emption delay aware response time analysis for fixed priority pre-emptive systems
- Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Software
Cited by
- A Multi-Core Interference-Aware Schedulability Test for IMA Systems, as a Guide for SW/HW Integration
- Cache-Persistence-Aware Response-Time Analysis for Fixed-Priority Preemptive Systems
- MIRROR: Symmetric timing analysis for real-time tasks on multicore platforms with shared resources
- Response time analysis of sporadic DAG tasks under partitioned scheduling
- A Framework for the Derivation of WCET Analyses for Multi-core Processors
- Enabling Compositionality for Multicore Timing Analysis
- Response Time Analysis of Synchronous Data Flow Programs on a Many-Core Processor
- Improved resource efficient allocation of IMA applications to multi-cores
- MECHAniSer - A Timing Analysis and Synthesis Tool for Multi-Rate Effect Chains with Job-Level Dependencies
- Challenges for Timing Analysis of Multi-Core Architectures
- Cache-Conscious Offline Real-Time Task Scheduling for Multi-Core Processors
- WCET Derivation under Single Core Equivalence with Explicit Memory Budget Assignment
- An extensible framework for multicore response time analysis
- Integrated Analysis of Cache Related Preemption Delays and Cache Persistence Reload Overheads
- Worst case delay analysis of shared resource access in partitioned multi-core systems
- Forecast-based interference: modelling multicore interference from observable factors
- Reproducibility and representativity: mandatory properties for the compositionality of measurement-based WCET estimation approaches
- Reservation-Based Federated Scheduling for Parallel Real-Time Tasks
- Many-Core Timing Analysis of Real-Time Systems. (Analyse temporelle des systèmes temps-réels sur architectures pluri-coeurs)
- Parallel code generation of synchronous programs for a many-core architecture
Related papers
- The DRAM Effects on The Performance of Multicore Processors
- Comparison of serial and parallel searching in multicore systems
- Accelerating the Production of Synthetic Seismograms by a Multicore Processor Cluster with Multiple GPUs
- Parallel Large-Scale Image Processing for Orthorectification
- Parallel Skyline Computation on Multicore Architectures
- Automatically optimized core mapping to subdomains of domain decomposition method on multicore parallel environments
- Increasing Parallelism on multicore processors using Induced Parallelism
- Parallelism on Multicore Processors using Parallel.FX