Using global data flow analysis on bytecode to aid worst case execution time analysis for realtime java programs

Proceedings of the 6th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2008

Volumn , Issue , 2008, Pages 97-105

  Hunt, James J ^a   Tonin, Isabel ^a   Siebert, Fridtjof B ^a  

^a Aicas GmbH   (Germany)

Author keywords

Data; Flow analysis; Formal analysis; Realtime java; Verification; Worst case execution time

Indexed keywords

COMPUTATIONAL GRAMMARS; COMPUTER SOFTWARE; EMBEDDED SYSTEMS; INTEGRATED CIRCUITS; JAVA PROGRAMMING LANGUAGE; PULSATILE FLOW; REAL TIME SYSTEMS;

DATA; FLOW ANALYSIS; FORMAL ANALYSIS; REALTIME JAVA; WORST CASE EXECUTION TIME;

DATA FLOW ANALYSIS;

EID: 63049102710     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1434790.1434806     Document Type: Conference Paper

References (18)

1. Bound-t tool homepage. URL: http://www.bound-t.com/.
2. W. Ahrendt, T. Baar, B. Beckert, R. Bubel, M. Giese, R. Hähnle, W. Menzel, W. Mostowski, A. Roth, S. Schlager, and P. H. Schmitt. The KeY tool. Software and System Modeling, 4:32-54, 2005.
3. G. Bernat. Javelin webpage. URL: http://www-users.cs.york.ac.uk/~bernat/ javelin/index.html, Mar. 2000.
4. G. Bernat, A. Burns, and A. Wellings. Portable worst case execution time analysis using java byte code. In Proc. 12th EUROMICRO conference on Real-time Systems, June 2000.
5. A. Colin. Heptane webpage. URL: http://www.irisa.fr/solidor/work/heptane- demo/heptane.html, Feb. 2001.
6. A. Colin and I. Puaut. A modular and retargetable framework for tree-based wcet analysis. In Proceedings of the 13th Euromicro Conference on Real-Time Systems, pages 37-44, Delft, Netherlands, June 2001.
7. C. Ferdinand and R. Heckmann, ait: worst case execution time prediction by static program analysis. In R. Jacquart, editor, IFIP Congress Topical Sessions, pages 377-384. Kluwer, 2004.
8. A. Hergenhan and W. Rosenstiel. Static timing analysis of embedded software on modern processor architectures. In Proceedings of the Date 2000 Conference, pages 552-559, Paris, France, Mar. 2000.
9. A. Hergenhan, A. Siebenborn, and W. Rosenstiel. Studies on different modeling aspects for tight calculations of worst case execution time. In WIP-Proceedings of the 21th IEEE Real-Time Systems Symposium, Orlando FL, USA, Nov. 2000.
10. J. J. Hunt, F. B. Siebert, P. H. Schmitt, and I. Tonin. Provably correct loops bounds for realtime java programs. In JTRES 2006: Proceedings of the 4th International Workshop on Java Technologies for Real-Time and Embedded Systems, pages 162-169, New York, NY, USA, 2006. ACM Press.
11. R. Kirner. calc-wcet-167 webpage. URL: http://www.vmars.tuwien.ac.at/ ~raimund/calc-wcet/, Oct. 2001.
12. R. Kirner. The programming language wcetc. Research Report 2/2002, Technische Universität Wien, Institut für Technische Informatik, Treitlstr. 1-3/182-1, 1040 Vienna, Austria, 2002.
13. G. T. Levens, E. Poll, C. Clifton, Y. Cheon, C. Ruby, D. Cok, and J. Kiniry. JML reference manual. http://www.jmlspec.org/, 2004.
14. Y.-T. S. Li. Cinderella 3.0 home page. URL: http://www.ee.princeton.edu/ ~yauli/cinderella-3.0/, Oct. 1996.
15. P. Puschner and C. Koza. Calculating the maximum execution time of real-time programs. Journal of Real-Time Systems, 1(2): 159-176, May 1989.
16. M. Schoeberl and R. Pedersen. Wcet analysis for a java processor. In JTRES 2006: Proceedings of the 4th International Workshop on Java Technologies for Real-Time and Embedded Systems, pages 202-211, New York, NY, USA, 2006. ACM.
17. F. Siebert. Hard Realtime Garbage Collection in Modern Object Oriented Programming Languages. aicas Books, 2002.
18. F. B. Siebert. Proving the absence of RTSJ related runtime errors through data flow analysis. In JTRES 2006: Proceedings of the 4th International Workshop on Java Technologies for Real-Time and Embedded Systems, pages 152-161, New York, NY, USA, 2006. ACM.