Meeting Real-Time Requirements with Multi-core Processors-Reference-Cited by-同舟云学术

Meeting Real-Time Requirements with Multi-core Processors

Published:2012 Issue: Volume: Page:117-131
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Kästner Daniel,Schlickling Marc,Pister Markus,Cullmann Christoph,Gebhard Gernot,Heckmann Reinhold,Ferdinand Christian

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-33675-1_10.pdf

Reference19 articles.

1. Berg, C.: PLRU Cache Domino Effects. In: Proceedings of the International Workshop on Worst-Case Execution Time Analysis, WCET (2006)

2. CENELEC DRAFT prEN 50128. Railway applications – Communication, signalling and processing systems – Software for railway control and protection systems (2009)

3. Cousot, P., Cousot, R.: Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In: Proceedings of the 4th ACM Symposium on Principles of Programming Languages, pp. 238–252 (1977)

4. Cullmann, C., Ferdinand, C., Gebhard, G., Grund, D., Maiza, C., Reineke, J., Triquet, B., Wilhelm, R.: Predictability Considerations in the Design of Multi-Core Embedded Systems. In: Proceedings of Embedded Real Time Software and Systems, pp. 36–42 (May 2010)

5. Ermedahl, A.: A Modular Tool Architecture for Worst-Case Execution Time Analysis. PhD thesis, Uppsala University (2003)

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Synchronous Deterministic Parallel Programming for Multi-Cores with ForeC;ACM Transactions on Programming Languages and Systems;2023-06-26

2. Abstract Interpretation in Industry – Experience and Lessons Learned;Static Analysis;2023

3. Worst-Case Execution-Time-Aware Parallelization of Model-Based Avionics Applications;Journal of Aerospace Information Systems;2019-11

4. Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements;Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification;2016

5. Test-Data Generation for Testing Parallel Real-Time Systems;Testing Software and Systems;2015