The worst-case execution time tool challenge 2006

International Journal on Software Tools for Technology Transfer

Volumn 11, Issue 2, 2009, Pages 133-152

  Tan, Lili ^a  

^a UNIVERSITY OF DUISBURG ESSEN   (Germany)

Author keywords

Embedded systems; Hard real time; Timing analysis; WCET; Worst case execution time

Indexed keywords

EMBEDDED SYSTEMS; INTEGRATED CIRCUITS; TIME MEASUREMENT;

BENCHMARK PROGRAMS; HARD REAL TIME; PARALLEL EVALUATIONS; TIMING ANALYSIS; WCET; WORST-CASE EXECUTION TIME;

REAL TIME SYSTEMS;

EID: 60849096654     PISSN: 14332779     EISSN: 14332787     Source Type: Journal    
DOI: 10.1007/s10009-008-0095-9     Document Type: Article

References (44)

1. aiT. http://www.absint.de/ait/
2. Altium Tasking Compiler. http://www.altium.com/TASKING/
3. ARM9. http://www.arm.com/products/CPUs/families/ARM9Family.html
4. ASCET. http://www.etas.com/de/products/ascet_software_products.php
5. Bound-T. http://www.tidorum.fi/bound-t/
6. C-Lab. http://www.c-lab.de/
7. Chronos. http://www.comp.nus.edu.sg/~rpembed/chronos/
8. Cosmic. http://www.cosmicsoftware.com/
9. CPLEX. http://www.ilog.com/products/cplex/
10. Freescale MPC565. http://www.freescale.com/webapp/sps/site/ prod_summary.jsp?code=MPC565
11. Gaisler BCC Compiler. http://gaisler.com/doc/bcc.pdf
12. GNU C Compiler. http://gcc.gnu.org/
13. Graphviz. http://www.graphviz.org/
14. H8/300. http://eu.renesas.com/fmwk.jsp?cnt= h8300_series_landing.jsp&fp=/products/mpumcu/h8_family/ h8300_series/
15. HCS12. http://www.freescale.com/webapp/sps/site/overview.jsp?nodeId= 02Wcbf8WD69BXm
16. IAR. http://www.iar.com/
17. Infineon. http://www.infineon.com/cms/en/product/channel.html?channel= ff80808112ab681d0112ab6b2f42075b
18. ISO9241. http://en.wikipedia.org/wiki/ISO_9241
19. Mälardalen Benchmarks http://www.mrtc.mdh.se/projects/wcet/ sweet.html
20. Matlab/Simulink. http://www.mathworks.com
21. MIPS. http://www.mips.com/
22. PapaBench. http://www.irit.fr/recherches/ARCHI/MARCH/ rubri-que.php3?id_rubrique=97/
23. Paparazzi Project. http://paparazzi.enac.fr/wiki/index.php/Main_Page
24. SCADE. http://www.esterel-technologies.com/products/scade-suite/
25. SimpleScalar. http://www.simplescalar.com/
26. SPARCV7/V8. http://www.sparc.org/specificationsDownload.html
27. SPEC95. http://www.spec.org/cpu95/
28. SWEET. http://www.mrtc.mdh.se/projects/wcet/sweet.html
29. TMS470. http://focus.ti.com/mcu/docs/mcuprodoverview.tsp?sectionId= 95&tabId=203familyId=454
30. WCET Discussion Group. http://tech.groups.yahoo.com/group/wcet/
31. WindRiver Compiler. http://www.windriver.com/products/ development_site/wind_river_compiler/.
32. WCET Tool Challenge 2006. Internet, 2006. http://www.idt.mdh.se/personal/ jgn/challenge/.
33. Berkelaar, M.: Lp solve: A mixed integer linear program solver. Tech. rep., Eindhoven University of Technology (1997)
34. Engblom, J.: Processor Pipelines and Static Worst-Case Execution Time Analysis. PhD Thesis, Uppsala University
35. Ferdinand, C.: Cache Behavior Prediction for Real-Time Systems. PhD Thesis, Universität des Saarlandes (1997) http://rw4.cs.uni-sb.de/ ~ferdi/publications.html
36. Gustafsson, J.: The WCET Tool Challenge 2006. In: Steffen Tiziana Margaris, B., Philippeu, A. (eds.) Second International Symposium on Leveraging Applications of Formal Methods (ISOLA'06), pp. 233-240, November 2007
37. Harel D.: Statecharts: A visual formalism for complex systems. Sci. Comput. Program. 8 (3), 231-274 (1987)
38. Seoul National University Real-Time Research Group. SNU-RT. http:// realtime.snu.ac.kr/realtime/
39. University of Maryland. The Omega project. http://www.cs.umd.edu/ projects/omega/
40. Tan, L.: The Worst-Case Execution Time Tool Challenge 2006: The External Test. In: Steffen Tiziana Margaris, B., Philippeu, A., (eds.) Second International Symposium on Leveraging Applications of Formal Methods (ISOLA'06), pp. 241-248, November 2007
41. Wenzel, I., Kirner, R., Rieder, B., Puschner, P.P.: Measurement-Based Worst-Case Execution Time Analysis. In: SEUS, pp. 7-10. IEEE Computer Society, New York (2005)
42. Wenzel, I., Rieder, B., Kirner, R., Puschner, P.: Automatic timing model generation by cfg partitioning and model checking. In: DATE '05: Proceedings of the conference on Design, Automation and Test in Europe, pp. 606-611, Washington, DC, USA. IEEE Computer Society, New York (2005)
43. Wilhelm R., Engblom J., Ermedahl A., Holsti N., Thesing S., Whalley D., Bernat G., Ferdinand C., Heckmann R., Mitra T., Mueller F., Puaut I., Puschner P., Staschulat J., Stenström P.: The worst-case execution-time problem - overview of methods and survey of tools. Trans. Embedded Comput. Syst. 7 (3), 1-53 (2008)
44. Wilhelm, R., Engblom, J., Thesing, S., Whalley, D.B.: Industrial Requirements for WCET Tools - Answers to the ARTIST Questionnaire. In: Gustafsson, J. (ed.) WCET, volume MDH-MRTC-116/2003-1-SE, pp. 39-43. Department of Computer Science and Engineering, Mälardalen University, Västerås, Sweden (2003)