Learning from probabilities: Dependences within real-time systems

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

Volumn , Issue , 2013, Pages

  Melani, Alessandra ^a   Noulard, Eric ^a   Santinelli, Luca ^a  

^a ONERA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

MEASUREMENT-BASED APPROACH; OBSERVING SYSTEMS; PROBABILISTIC FRAMEWORK; PROBABILISTIC MODELS; RECENT TRENDS; TASK EXECUTIONS; WORST-CASE EXECUTION TIME;

FACTORY AUTOMATION;

REAL TIME SYSTEMS;

EID: 84890745063     PISSN: 19460740     EISSN: 19460759     Source Type: Conference Proceeding    
DOI: 10.1109/ETFA.2013.6648013     Document Type: Conference Paper

References (34)

1. D. Barkah, A. Ermedahl, J. Gustafsson, B. Lisper, and C. Sandberg.Evaluation of automatic flow analysis for wcet calculationon industrial real-time system code. In 20th Euromicro Conferenceon Real-Time Systems (ECRTS), pages 331-340, 2008.
2. G. Bernat, A. Burns, and M. Newby. Probabilistic timing analysis:An approach using copulas. J. Embedded Comput., 1(2), Apr.2005.
3. G. Bernat, A. Colin, and S. M. Petters. Wcet analysis of probabilistichard real-time system. In Proceedings of the 23rd IEEEReal-Time Systems Symposium (RTSS), 2002.
4. Bradley. Distribution-Free Statistical Tests. Prentice-Hall, 1968.
5. A. Burns and D. Griffin. Predictability as an emergent behaviour.In 4th Workshop on Compositional Theory and Technology forReal-Time Embedded Systems (CRTS), 2011.
6. A. Burns and B. Littlewood. Reasoning about the reliability ofmulti-version, diverse real-time systems. In Proceedings of the2010 31st IEEE Real-Time Systems Symposium, RTSS 10, pages73-81, Washington, DC, USA, 2010. IEEE Computer Society.
7. F. Cazorla, E. Quinones, T. Vardanega, L. Cucu, B. Triquet,G. Bernat, E. Berger, J. Abella, F. Wartel, M. Houston, L. Santinelli,L. Kosmidis, C. Lo, and D. Maxim. PROARTIS: Probabilisticallyanalysable real-time systems. ACM Transactions onEmbedded Computing Systems, 2011.
8. A. Colin and G. Bernat. Scope-tree: A program representation forsymbolic worst-case execution time analysis. In 14th EuromicroConference on Real-Time Systems (ECRTS), 2002.
9. A. Colin and I. Puaut. Worst case execution time analysis for a processorwith branch prediction. Real-Time Systems, 18(2/3):249-274, 2000.
10. M. Cordovilla, F. Boniol, J. Forget, E. Noulard, and C. Pagetti.Developing critical embedded systems on multicore architectures:the prelude-schedmcore toolset. In 19th InternationalConference on Real-Time and Network Systems (RTNS 2011),Nantes, France, September 29-30 2011. IRCCyN lab, IRCCyNlab. http://hal. inria. fr/inria-00618587/en/.
11. L. Cucu-Grosjean, L. Santinelli, M. Houston, C. Lo, T. Vardanega,L. Kosmidis, J. Abella, E. Mezzeti, E. Quinones, and F. J. Cazorla.Measurement- Based Probabilistic Timing Analysis for Multi-pathPrograms. In 23nd Euromicro Conference on Real-Time Systems(ECRTS). IEEE, 2012.
12. J.-F. Deverge and I. Puaut. Safe measurementbasedwcet estimation. In WCET2005, 2005.http://drops. dagstuhl. de/opus/volltexte/2007/808.
13. S. Edgar and A. Burns. Statistical analysis of WCET for scheduling.In 22nd of the IEEE Real-Time Systems Symposium, 2001.
14. G. EJ. Statistics of Extremes. Columbia University Press, 1958.
15. A. Ermedahl and J. Engblom. Execution time analysis for embeddedreal-time systems. pages 35. 1-35. 17. Chapman &Hall/CRC-Taylor and Francis Group, 2007.
16. P.-M. Fournier, M. Desnoyer, and M. R. Dagenais.Combined tracing of the kernel and applicationswith lttng. In Linux Symposium 2009, 2009.http://www. dorsal. polymtl. ca/static/publications/fourniercombined-tracing-ols2009. pdf.
17. M. K. Gardner. Probabilistic analysis and scheduling of criticalsoft real-time systems. PhD thesis, Champaign, IL, USA, 1999.AAI9953022.
18. M. Garrido and J. Diebolt. The ET test, a goodness-of-fit testfor the distribution tail. In Methodology, Practice and Inference,second international conference on mathematical methods in reliability,pages 427-430, 2000.
19. J. Gustafsson, A. Betts, A. Ermedahl, and B. Lisper. TheMalardalen WCET benchmarks-past, present and future. pages137-147, Brussels, Belgium, July 2010. OCG.
20. A. H. Hans, N. Thomas, N. Christer, and P. Sasikumar. Integratingreliability and timing analysis of CAN-based systems. In IEEETransaction on Industrial Electronics, pages 165-172, 2002.
21. J. P. Hansen, S. A. Hissam, and G. A. Moreno. Statistical-basedwcet estimation and validation. Technical report, Carnegie MellonUniversity, Pittsburg, 2009.
22. R. Heckmann, M. Langenbach, S. Thesing, and R. Wilhelm.The influence of processor architecture on the design and the resultsof wcet tools. Proceedings of the IEEE Real-Time Systems,91(7):1038-1054, 2003.
23. P. Li, B. Ravindran, S. Suhaib, and S. Feizabadi. A formally verifiedapplication-level framework for real-time scheduling on posixreal-time operating systems. IEEE Trans. Softw. Eng., 30:613-629, September 2004.
24. J. Lpez, J. Daz, J. Entrialgo, and D. Garcia. Stochastic analysisof real-time systems under preemptive priority-driven scheduling.Journal of Real-time Systems, 40(2), 2008.
25. A. Melani. LSMC-TN #03: including user functions insideSCHEDMCORE, 2013. https://forge. onera. fr/projects/schedmcore.
26. M. Mollison and J. Anderson. Bringing theory into practice: Auserspace library for multicore real-time scheduling. In Proceedingof 19th IEEE Real-Time and Embedded Technology and ApplicationsSymposium (RTAS2013), pages 283-292, April 2013.http://cs. unc. edu/ mollison/pubs/rtas13. pdf.
27. ONERA, The French Aerospace Lab. SchedMCore Users Manual,February 2012.
28. C. Pagetti, J. Forget, F. Boniol, M. Cordovilla, and D. Lesens.Multi-task implementation of multi-periodic synchronous programs.Discrete Event Dynamic Systems, 21(3):307-338, 2011.
29. N. PJ. Semiparametric estimation of the extremal index usingblock maxima. 2005.
30. M. Schoeberl. Is time predictability quantifiable In EmbeddedComputer Systems (SAMOS), 2012 International Conference on,pages 333-338, 2012.
31. F. W. An introduction to Probability Theory and Its Applications.Wiley, 1996.
32. V. Weaver. The unofficial linux perf events web-page, 2013. http ://web. eece. maine. edu/ vweaver/projects/perfevents/.
33. R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing,D. B. Whalley, G. Bernat, C. Ferdinand, R. Heckmann, T. Mitra,F. Mueller, I. Puaut, P. P. Puschner, J. Staschulat, and P. Stenstrom.The worst-case execution-time problem-overview of methods andsurvey of tools. ACM Trans. Embedded Comput. Syst., 2008.
34. N. Williams and M. Roger. Test generation strategies to measureworst-case execution time. In Automation of Software Test, 2009.AST 09. ICSE Workshop on, pages 88-96, 2009.