MIRROR: Symmetric timing analysis for real-time tasks on multicore platforms with shared resources

Proceedings - Design Automation Conference

Volumn 05-09-June-2016, Issue , 2016, Pages

  Huang, Wen Hung ^a   Chen, Jian Jia ^a   Reineke, Jan ^b  

^a TU DORTMUND UNIVERSITY   (Germany)

^b SAARLAND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED DESIGN; EMBEDDED SYSTEMS; POLYNOMIAL APPROXIMATION; RESPONSE TIME (COMPUTER SYSTEMS);

EXPERIMENTAL EVALUATION; MULTI-CORE PLATFORMS; REAL-TIME EMBEDDED SYSTEMS; RESPONSE-TIME ANALYSIS; SCHEDULABILITY TEST; SPEED-UP FACTORS; SPORADIC TASK SYSTEMS; TASK PARTITIONING;

REAL TIME SYSTEMS;

EID: 84977098176     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2897937.2898046     Document Type: Conference Paper

References (18)

1. A. Abel, F. Benz, et al. Impact of resource sharing on performance and performance prediction: A survey. In CONCUR 2013-Concurrency Theory, pages 25-43. 2013
2. S. Altmeyer, R. I. Davis, L. Indrusiak, C. Maiza, V. Nelis, and J. Reineke. A generic and compositional framework for multicore response time analysis. In RTNS, 2015
3. S. K. Baruah, A. K. Mok, and L. E. Rosier. Preemptively scheduling hard-real-time sporadic tasks on one processor. In IEEE Real-Time Systems Symposium, pages 182-190, 1990
4. E. Bini and G. C. Buttazzo. Measuring the performance of schedulability tests. Real-Time Systems, 30(1-2):129-154, 2005
5. J.-J. Chen and S. Chakraborty. Resource augmentation bounds for approximate demand bound functions. In RTSS, 2011
6. R. I. Davis, A. Zabos, and A. Burns. Efficient exact schedulability tests for fixed priority real-time systems. Computers, IEEE Transactions on, 57(9):1261-1276, 2008
7. M. R. Garey and D. S. Johnson. Computers and Intractability: A Guide to the Theory of NP-Completeness. 1979
8. S. Hahn et al. Towards compositionality in execution time analysis-definition and challenges. In CRTS, 2013
9. W.-H. Hung, J.-J. Chen, H. Zhou, and C. Liu. PASS: Priority assignment of real-time tasks with dynamic suspending behavior under fixed-priority scheduling. In DAC, 2015
10. T. Kelter, H. Falk, P. Marwedel, S. Chattopadhyay, and A. Roychoudhury. Static analysis of multi-core TDMA resource arbitration delays. Real-Time Systems, 50(2):185-229, 2014
11. K. Lampka et al. A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets. Real-Time Systems, 50(5-6):736-773, Nov. 2014
12. C. Liu and J. Chen. Bursty-interference analysis techniques for analyzing complex real-time task models. In RTSS, 2014
13. M. Lv, W. Yi, N. Guan, and G. Yu. Combining abstract interpretation with model checking for timing analysis of multicore software. In RTSS, pages 339-349, 2010
14. A. Melani et al. Memory-processor co-scheduling in fixed priority systems. In RTNS, 2015
15. R. Pellizzoni, A. Schranzhofer, J.-J. Chen, M. Caccamo, and L. Thiele. Worst case delay analysis for memory interference in multicore systems. In DATE, pages 741-746, 2010
16. J. Reineke, I. Liu, H. D. Patel, S. Kim, and E. A. Lee. PRET DRAM controller: Bank privatization for predictability and temporal isolation. In CODES+ISSS, 2011
17. A. Schranzhofer, R. Pellizzoni, J.-J. Chen, L. Thiele, and M. Caccamo. Worst-case response time analysis of resource access models in multi-core systems. In DAC, 2010
18. R. Wilhelm et al. Memory hierarchies, pipelines, and buses for future architectures in time-critical embedded systems. Trans. Comp.-Aided Des. Integ. Cir. Sys., 28(7):966-978, 2009