Measurement and tracing methods for timing analysis: Independently and in combination with modelling methods

International Journal on Software Tools for Technology Transfer

Volumn 15, Issue 1, 2013, Pages 9-28

  Merriam, Nicholas ^a   Gliwa, Peter ^a   Broster, Ian ^b  

^a GLIWA GmbH embedded systems   (Germany)

^b RAPITA SYSTEMS LTD   (United Kingdom)

Author keywords

Execution tracing; Timing analysis; Timing measurement; Timing modelling; Timing tracing

Indexed keywords

TIMING CIRCUITS;

EXECUTION TRACING; SOFTWARE TIMING ANALYSIS; TESTING AND MEASUREMENTS; TIMING ANALYSIS; TIMING MEASUREMENT; TIMING PROPERTIES; TIMING TRACING; UNIFIED APPROACH;

SOFTWARE TESTING;

EID: 84872907233     PISSN: 14332779     EISSN: 14332787     Source Type: Journal    
DOI: 10.1007/s10009-012-0266-6     Document Type: Article

References (9)

1. Betts, A., Merriam, N., Bernat, G.: Hybrid measurement-based WCET analysis at the source level using object-level traces. In: Lisper, B. (ed.) Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010). OpenAccess Series in Informatics (OASIcs), vol. 15, pp. 54-63. Dagstuhl, Germany (2010). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik. The printed version of the WCET'10 proceedings are published by OCG (http://www. ocg. at). ISBN 978-3-85403-268-7.
2. Ferdinand, C., Heckmann, R.: aiT: worst-case execution time prediction by static programm analysis. In: Jacquart, R. (ed.) Building the Information Society. IFIP 18th World Computer Congress, Topical Sessions, Toulouse, France, 22-27 August 2004, pp. 377-384. Kluwer, Dordrecht (2004).
3. MPC565 Reference Manual. Freescale Semiconductor (2005). http://www. freescale. com.
4. Gustafsson, J., Ermedahl, A., Sandberg, C., Lisper, B.: Automatic derivation of loop bounds and infeasible paths for WCET analysis using abstract execution. In: Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS'06), Rio de Janeiro, Brazil, pp. 57-66. IEEE Computer Society, New York (2006).
5. Gustafsson, J., Lisper, B., Schordan, M., Ferdinand, C., Gliwa, P., Jersak, M., Bernat, G.: ALL-TIMES-a European project on integrating timing technology. In: Proceedings of the 3rd International Symposium on Leveraging Applications of Formal Methods (ISOLA'08), Porto Sani, Greece. CCIS, vol. 17, pp. 445-459. Springer, Berlin (2008).
6. Henia, R., Hamann, A., Jersak, M., Racu, R., Richter, K., Ernst, R.: System level performance analysis-the SymTA/S approach. IEEE Proc. Comput. Digit. Tech. 152(2), 148-166 (2005).
7. Lisper, B.: The ALL-TIMES project: introduction and overview (2012, this volume).
8. Merriam, N., Lisper, B.: Estimation of productivity increase for timing analysis tool chains (2012, this volume).
9. Schordan, M.: Combining tools and languages for static analysis and optimization of high-level abstractions. Technical report, TU Vienna, Austria (2007).