On the industrial fitness of WCET analysis

11th International Workshop on Worst-Case Execution Time Analysis, WCET 2011, Held in Conjunction with the 23rd Euromicro Conference on Real-Time Systems, ECRTS 2011

Volumn , Issue , 2011, Pages 15-24

  Mezzetti, Enrico ^a   Vardanega, Tullio ^a  

^a UNIVERSITY OF PADOVA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; COMPUTER ARCHITECTURE; COST EFFECTIVENESS; INDUSTRY; REAL TIME SYSTEMS; STATIC ANALYSIS;

COMMERCIAL SATELLITE SYSTEMS; COST BENEFIT RATIO; FEASIBILITY ANALYSIS; INDUSTRIAL-SCALE; PROCESS REQUIREMENTS; SOFTWARE APPLICATIONS; TOOLS AND METHODS; WORST-CASE EXECUTION TIME;

COST BENEFIT ANALYSIS;

EID: 84902332214     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. ABSINT GMBH. aiT WCET Analyzer. http://www.absint.com/ait/.
2. AEROFLEX GAISLER. LEON2 Processor Family. http://www.gaisler.com.
3. ALTMEYER, S., MAIZA, C., AND REINEKE, J. Resilience analysis: Tightening the crpd bound for set-associative caches. In Proc. of the Conference on Languages, compilers, and tools for embedded systems (2010), LCTES '10.
4. BERNAT, G., COLIN, A., AND PETTERS, S. WCET Analysis of Probabilistic Hard Real-Time Systems. In Proc. of the 23rd Int. Real-Time Systems Symposium (2002).
5. BYHLIN, S., ERMEDAHL, A., GUSTAFSSON, J., AND LISPER, B. Applying Static WCET Analysis to Automotive Communication Software. In Proc. of the 17th Euromicro Conference on Real-Time Systems (2005).
6. EDWARDS, S. A., AND LEE, E. A. The case for the precision timed (PRET) machine. In Proc. of the 44th annual Design Automation Conference (2007), DAC '07.
7. GUSTAFSSON, J., AND ERMEDAHL, A. Experiences from Applying WCET Analysis in Industrial Settings. In Proc. of the 10th IEEE Int. Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC) (2007).
8. KIRNER, R., KNOOP, J., PRANTL, A., SCHORDAN, M., AND KADLEC, A. Beyond loop bounds: Comparing annotation languages for worst-case time analysis. Journal of Software and Systems Modeling (2010).
9. KIRNER, R., AND PUSCHNER, P. Discussion of Misconceptions about WCET Analysis, 2003.
10. KIRNER, R., AND PUSCHNER, P. Obstacles in worst-cases execution time analysis, 2008.
11. LISPER, B., ERMEDAHL, A., SCHREINER, D., KNOOP, J., AND GLIWA, P. Practical experiences of applying source-level WCET flow analysis on industrial code. In Proc. of the 4th Int. Conference on Leveraging applications of formal methods, verification, and validation (2010), ISoLA'10, Springer-Verlag, pp. 449-463.
12. PATIL, K., SETH, K., AND MUELLER, F. Compositional static instruction cache simulation. In Proc. of the SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES) (2004).
13. PUSCHNER, P., AND SCHOEBERL, M. On composable system timing, task timing, and wcet analysis. In Proc. of the 8th Int. Workshop on WCET Analysis (2008).
14. RAKIB, A., PARSHIN, O., THESING, S., AND WILHELM, R. Component-wise instruction-cache behavior prediction. In Automated Technology for Verification and Analysis (2004).
15. RAPITA SYSTEMS LTD. Rapitime. http://www.rapitasystems.com/rapitime.
16. RODRÍGUEZ, M., SILVA, N., ESTEVES, J., HENRIQUES, L., COSTA, D., HOLSTI, N., AND HJORTNAES, K. Challenges in Calculating the WCET of a Complex On-board Satellite Application. In In Proceeding of the 3rd Intl. Workshop on Worst-Case Execution Time Analysis (WCET03) (2003).
17. SOUYRIS, J., LE PAVEC, E., HIMBERT, G., BORIOS, G., JGU, V., AND HECKMANN, R. Computing the worst case execution time of an avionics program by abstract interpretation. In Proc. of the 5th Intl. Workshop on Worst-Case Execution Time Analysis (WCET05) (2005).
18. WILHELM, R., ENGBLOM, J., ERMEDAHL, A., HOLSTI, N., THESING, S., WHALLEY, D., G. BERNAT, FERDINAND, C., R. HECKMANN, MITRA, T., MUELLER, F., PUAUT, I., PUSCHNER, P., STASCHULAT, G., AND STENSTRÖEM, P. The worst-case execution time problem: overview of methods and survey of tools. Trans. on Embedded Computing Systems 7, 3 (2008), 1-53.