PROARTIS: Probabilistically analyzable real-time systems

Transactions on Embedded Computing Systems

Volumn 12, Issue 2 SUPPL., 2013, Pages

  Cazorla, Francisco J ^a   Ones, Eduardo Quin ^b   Vardanega, Tullio ^c   Cucu, Liliana ^d   Triquet, Benoit ^e   Bernat, Guillem ^f   Berger, Emery ^g   Abella, Jaume ^b   Wartel, Franck ^e   Houston, Michael ^f   Santinelli, Luca ^d   Kosmidis, Leonidas ^b   Lo, Code ^d   Maxim, Dorin ^d  

^a CSIC   (Spain)

^b BARCELONA SUPERCOMPUTING CENTER   (Spain)

^c UNIVERSITY OF PADOVA   (Italy)

^d INRIA   (France)

^e AIRBUS   (France)

^f RAPITA SYSTEMS LTD   (United Kingdom)

^g UNIVERSITY OF MASSACHUSETTS   (United States)

Author keywords

Embedded and real time systems; Probablistic realtime systems; Resource sharing; Worst case execution time

Indexed keywords

EMBEDDED AND REAL-TIME SYSTEMS; EXECUTED INSTRUCTIONS; EXPERIMENTAL EVIDENCE; MATHEMATICAL FOUNDATIONS; REAL-TIME EMBEDDED SYSTEMS; RESOURCE SHARING; STATIC TIMING ANALYSIS; WORST-CASE EXECUTION TIME;

EMBEDDED SYSTEMS; HARDWARE; SYSTEMS ANALYSIS;

REAL TIME SYSTEMS;

EID: 84891879028     PISSN: 15399087     EISSN: 15583465     Source Type: Journal    
DOI: 10.1145/2465787.2465796     Document Type: Article

References (30)

1. Abeni, L. and Buttazzo, G. 1998. Integrating multimedia applications in hard real-time systems. In Proceedings of the 19th IEEE Real-Time Systems Symposium (RTSS98). 4-13.
2. Albrecht, K., Raimund, K., and Puschner, P. P. 2010. Avoiding timing anomalies using code transformations. In Proceedings of ISORC.
3. Berger, E. D. and Zorn, B. G. 2006. DieHard: Probabilistic memory safety for unsafe languages. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM Press, New York, 158-168.
4. Bernat, G. and Newby, M. 2006. Probabilistic WCET analysis, an approach using copulas. J. Embed. Comput.
5. Bernat, G., Colin, A., and Petters, S. 2002. WCET analysis of probabilistic hard real-time systems. In Proceedings of RTSS.
6. Binns, P. 2004. Statistical estimation of aperiodic response times when scheduled on top of static timelines. In Proceedings of the 1st International Workshop on Probabilistic Analysis Techniques for Real-Time and Embedded Systems (PARTES'04).
7. Charette, R. 2009. This car runs on code. IEEE Spectrum Online.
8. Clarke, P. 2011. Automotive chip content growing fast, says gartner.
9. D'iaz, J., Garcia, D., Kim, K., Lee, C., Bello, L., L'opez, J. M., and Mirabella, O. 2002. Stochastic analysis of periodic real-time systems. In Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS02). 289-300.
10. Edgar, S. and Burns, A. 2001. Statistical analysis of WCET for scheduling. In Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS'01). 215-225.
11. Gardner, M. and Lui, J. 1999. Analyzing stochastic fixed-priority real-time systems. In Proceedings of the 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99). 44-58.
12. Gnedenko, B. 1943. Sur la distribution limite du terme maximum d'une seris aleatoire. Ann. Math. 44, 423-453.
13. Griffin, D. and Burns, A. 2010. Realism in statistical analysis of worst case execution times. In Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis (WCET'10). 44-53.
14. Hansen, J., Hissam, S., and Moreno, G. A. 2009. Statistical-based wcet estimation and validation. In Proceedings of the 9th International Workshop on Worst-Case Execution Time (WCET) Analysis.
15. Lahiri, K., Raghunathan, A., and Lakshminarayana, G. 2001. LOTTERYBUS: A new high-performance communication architecture for system-on-chip designs. In Proceedings of the 38th annual Design Automation Conference (DAC'01). 15-20.
16. Lehoczky, J. 1996. Real-time queueing theory. In Proceedings of the 10th IEEE Real-Time Systems Symposium (RTSS'96). 186-195.
17. Lewis, J. T. and Russel, R. 1997. An introduction to large deviations for teletraffic engineers.
18. Ĺopez, J., D́iaz, J. L., Entrialgo, J., and Garcia, D. 2008. Stochastic analysis of real-time systems under preemptive priority-driven scheduling. Real-time Syst. 40, 2, 180-207.
19. Lundqvist, T. and Stenstrom, P. 1999. Timing anomalies in dynamically scheduled microprocessors. In Proceedings of RTSS.
20. MerasaD2.2. 2008. Merasa project. http://www.merasa.org/downloads/ Deliverable 2 2.pdf.
21. Navet, N., Cucu, L., and Schott, R. 2007. Probabilistic estimation of response times through large deviations. In Proceedings of the WIP Session of the 28th IEEE Real-Time Systems Symposium (RTSS'07).
22. PROARTIS. 2010. Probabilistically analyzable real-time systems. http://www.proartis-project.eu/.
23. Quinones, E., Berger, E., Bernat, G., and Cazorla, F. 2009. Using randomized caches in probabilistic realtime systems. In Proceedings of the 22nd Euromicro Conference on Real-Time Systems (ECRTS). IEEE, 129-138.
24. Refaat, K. S. and Hladik, P.-E. 2010. Efficient stochastic analysis of real-time systems via random sampling. In Proceedings of ECRTS. 175-183.
25. Reineke, J., Wachter, B., Thesing, S., Wilheim, R., Polian, I., Eisinger, J., and Becker, B. 2006. A definition and classification of timing anomalies. In Proceedings of WCET.
26. Tia, T., Deng, Z., Shankar, M., Storch, M., Sun, J., Wu, L., and Liu, J. 1995. Probabilistic performance guarantee for real-time tasks with varying computation times. In Proceedings of the 2nd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'95). 164-174.
27. Wilhelm, R., Engblom, J., Ermedahl, A., Holsti, N., Thesing, S., Whalley, D., Bernat, G., Ferdinand, C., Heckman, R., Mitra, T., Mueller, F., Puant, I., Duschner, P., Staschulat, J., and Stenstr̈om, P. 2008.
28. Yue, L., Bate, I., Nolte, T., and Cucu-Grosjean, L. 2011. A new way about using statistical analysis of worstcase execution times. In Proceedings of ECRTS.
29. Zhou, S. 2010. An efficient simulation algorithm for cache of random replacement policy. In Proceedings of the IFIP International Conference on Network and Parallel Computing (NPC'10).
30. Zhu, H., Hansen, J., Lehoczky, J., and Rajkumar, R. 2002. Optimal partitioning for quantized EDF scheduling. Proceedings of the 23rd IEEE Real-time Systems Symposium (RTSS'02). 202-213.