Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study

Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems, SIES 2013

Volumn , Issue , 2013, Pages 241-248

  Wartel, Franck ^a   Kosmidis, Leonidas ^b,c   Lo, Code ^d   Triquet, Benoit ^a   Quiñones, Eduardo ^b   Abella, Jaume ^b   Gogonel, Adriana ^d   Baldovin, Andrea ^e   Mezzetti, Enrico ^e   Cucu, Liliana ^d   Vardanega, Tullio ^e   Cazorla, Francisco J ^b,f  

^a AIRBUS   (France)

^b BARCELONA SUPERCOMPUTING CENTER   (Spain)

^c UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

^d INRIA   (France)

^e UNIVERSITY OF PADOVA   (Italy)

^f ARTIFICIAL INTELLIGENCE RESEARCH INSTITUTE IIIA CSIC   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

AVIONICS SYSTEMS; BENCHMARK PROGRAMS; HARDWARE AND SOFTWARE; MEASUREMENT-BASED; REAL-WORLD; TIMING ANALYSIS; WCET ANALYSIS; WORST-CASE EXECUTION TIME ANALYSIS;

AVIONICS; BENCHMARKING;

EMBEDDED SYSTEMS;

EID: 84885404977     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SIES.2013.6601497     Document Type: Conference Paper

References (38)

1. G. Edelin, "Embedded systems at thales: the artemis challenges for an industrial group," in Presentation at the ARTIST Summer School in Europe, 2009.
2. E. Mezzetti and T. Vardanega, "On the Industrial Fitness of WCET Analysis," in the 11th International Workshop on Worst-Case Execution Time Analysis (WCET), 2011.
3. R. Kirner and P. Puschner, "Obstacles in Worst-Case execution time analysis," in the 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC), 2008, pp. 333-339.
4. F. Cazorla, E. Q. nones, 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: Probabilistically analysable real-time systems," ACM TECS (http://hal.inria.fr/hal-00663329), to appear.
5. J. Hansen, S. Hissam, and G. A. Moreno, "Statistical-based wcet estimation and validation," in the 9th International Workshop on Worst-Case Execution Time Analysis (WCET), 2009.
6. L. Cucu-Grosjean, L. Santinelli, M. Houston, C. Lo, T. Vardanega, L. Kosmidis, J. Abella, E. Mezzetti, E. Quinones, and F. Cazorla, "Measurement-based probabilistic timing analysis for multi-path pro-grams," in the 24th Euromicro Conference on Real-Time Systems (ECRTS), 2012.
7. J. Poovey, Characterization of the EEMBC Benchmark Suite, North Carolina State University, 2007.
8. J. Gustafsson, A. Betts, A. Ermedahl, and B. Lisper, "The Mälardalen WCET benchmarks - past, present and future," in the 10th International Workshop on Worst-case Execution-time Analysis (WCET), 2010.
9. ARINC, "Avionics Application Software Standard Interface: ARINC Specification 653P1-3. Aeronautical Radio," www.arinc.com.
10. Esterel, "SCADE," www.esterel-technologies.com/products/scade- suite/.
11. A. Baldovin, E. Mezzetti, and T. Vardanega, "A time-composable operating system," in the 12th International Workshop on Worst-Case Execution Time Analysis (WCET), 2012.
12. Edgar S and Burns A, "Statistical analysis of WCET for scheduling," in the 22nd IEEE Real-Time Systems Symposium (RTSS), 2001, pp. 215-225.
13. L. Yue, I. Bate, T. Nolte, and L. Cucu-Grosjean, "A new way about using statistical analysis of worst-case execution times," ACM SIGBED Review, vol. 8, no. 3, pp. 11-14, September 2011.
14. S. Kotz and S. Nadarajah, Extreme value distributions: theory and applications. World Scientific, 2000.
15. L. Kosmidis, J. Abella, E. Quinones, and F. Cazorla, "A cache design for probabilistic real-time systems," in DATE, 2013.
16. L. Kosmidis, C. Curtsinger, E. Quinones, J. Abella, E. Berger, and F. Ca-zorla, "Probabilistic timing analysis on conventional cache designs," in DATE, 2013.
17. I. Wenzel, R. Kirner, P. Puschner, and B. Rieder, "Principles of timing anomalies in superscalar processors," the 5th International Conference on Quality Software, pp. 295-306, 2005.
18. LiP6, "SoCLib," www.soclib.fr/trac/dev.
19. J. Wetzel, E. Silha, C. May, B. Frey, J. Furukawa, and G. Frazier, PowerPC User Instruction Set Architecture, IBM Corporation, 2005.
20. W. Feller, An introduction to Probability Theory and Its Applications. John Willer and Sons, 1996.
21. J. Bradley, Distribution-Free Statistical Tests. Prentice-Hall, 1968.
22. M. Garrido and J. Diebolt, "The ET test, a goodness-of-fit test for the distribution tail," in Methodology, Practice and Inference, second international conference on mathematical methods in reliability, 2000, pp. 427-430.
23. SAE International, "Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment," ARP4761, 2001.
24. J. Lehoczky, "Real-time queueing theory," in the 10th IEEE Real-Time Systems Symposium (RTSS96), 1996, pp. 186-195.
25. J. Díaz, D. Garcia, K. Kim, C. Lee, L. Bello, L. J.M., and O. Mirabella, "Stochastic analysis of periodic real-time systems," in the 23rd IEEE Real-Time Systems Symposium (RTSS), 2002, pp. 289-300.
26. L. Cucu and E. Tovar, "A framework for the response time analysis of fixed-priority tasks with stochastic inter-arrival times," SIGBED Review, vol. 3, no. 1, pp. 7-12, 2006.
27. A. Thekkilakattil, R. Dobrin, and S. Punnekkat, "Probabilistic preemption control using frequency scaling for sporadic real-time tasks," in the 7th IEEE International Symposim on Industrial Embedded Systesm (SIES), 2012, pp. 158-165.
28. H. Zeng, M. D. Natale, P. Giusto, and A. L. Sangiovanni-Vincentelli, "Using statistical methods to compute the probability distribution of message response time in controller area network," IEEE Trans. Indus-trial Informatics, vol. 6, no. 4, pp. 678-691, 2010.
29. G. A. Kaczynski, L. L. Bello, and T. Nolte, "Towards stochastic response-time of hierarchically scheduled real-time tasks," in the 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2006), 2006, pp. 453-456.
30. L. Abeni, N. Manica, and L. Palopoli, "Efficient and robust probabilistic guarantees for real-time tasks," Journal of Systems and Software, vol. 85, no. 5, pp. 1147-1156, 2012.
31. M. Lombardi, M. Milano, and L. Benini, "Robust scheduling of task graphs under execution time uncertainty," IEEE Trans. Computers, vol. 62, no. 1, pp. 98-111, 2013.
32. L. Santinelli, P. M. Yomsi, D. Maxim, and L. Cucu-Grosjean, "A component-based framework for modeling and analyzing probabilistic real-time systems," 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'11), 2007.
33. D. Maxim, O. Buffet, L. Santinelli, L. Cucu-Grosjean, and R. I. Davis, "Optimal priority assignment algorithms for probabilistic real-time systems," in the 19th International Conference on Real-Time and Network Systems (RTNS), 2011, pp. 129-138.
34. D. Maxim, M. Houston, L. Santinelli, G. Bernat, R. I. Davis, and L. Cucu-Grosjean, "Re-sampling for statistical timing analysis of real-time systems," in the 20th International Conference on Real-Time and Network Systems (RTNS). ACM, 2012, pp. 111-120.
35. K. S. Refaat and P.-E. Hladik, "Efficient stochastic analysis of real-time systems via random sampling," in the 22th IEEE Euromicro Conference on Real-Time Systems (ECRTS), 2010, pp. 175-183.
36. R. Perrone, R. Macedo, G. Lima, and V. Lima, "An approach for estimating execution time probability distributions of component-based real-time systems," J. UCS, vol. 15, no. 11, pp. 2142-2165, 2009.
37. F. Dewan and N. Fisher, "Efficient admission control for enforcing arbitrary real-time demand-curve interfaces," in the 33rd IEEE Real-Time Systems Symposium (RTSS), 2012, pp. 127-136.
38. M. Neukirchner, T. Michaels, P. Axer, S. Quinton, and R. Ernst, "Monitoring arbitrary activation patterns in real-time systems," in the 33rd IEEE Real-Time Systems Symposium (RTSS), 2012, pp. 293-302.