skip to main content
10.1145/2043910.2043916acmotherconferencesArticle/Chapter ViewAbstractPublication PagesjtresConference Proceedingsconference-collections
research-article

WCET analysis of Java bytecode featuring common execution environments

Published: 26 September 2011 Publication History

Abstract

We present a novel tool for statically determining the Worst Case Execution Time (WCET) of Java Bytecode-based programs called Tool for Execution Time Analysis of Java bytecode (TetaJ). This tool differentiates itself from existing tools by separating the individual constituents of the execution environment into independent components. The prime benefit is that it can be used for execution environments featuring common embedded processors and software implementations of the JVM.
TetaJ employs a model checking approach for statically determining WCET where the Java program, the JVM, and the hardware are modelled as Networks of Timed Automata (NTA) and given as input to the state-of-the-art UPPAAL model checking tool. The tool is evaluated through a case study based on the classic text-book example of a hard real-time control system in a mine pump. The system is hosted on an execution environment featuring an interpretation-based JVM, called Hardware near Virtual Machine (HVM) that runs on an Atmel AVR ATmega2560 processor.

References

[1]
AbsInt. The ait wcet analyser, 2009. http://www.absint.com/ait/analysis.htm.
[2]
aJile Systems. aj-100#8482; real-time low power java#8482; processor, 2000. www.ajile.com.
[3]
A. Armbruster, J. Baker, A. Cunei, C. Flack, D. Holmes, F. Pizlo, E. Pla, M. Prochazka, and J. Vitek. A real-time java virtual machine with applications in avionics. ACM Trans. Embed. Comput. Syst., 7:5:1--5:49, December 2007.
[4]
Atmel. Atmel's avr microcontroller ships 500 million units, 2004. http://www.atmel.com/dyn/corporate/view_detail.asp?FileName=Ships500M.html.
[5]
Atmel. Atmega640/1280/1281/2560/2561 datasheet, 2010. www.atmel.com/dyn/resources/prod_documents/doc2549.pdf.
[6]
Atmel-Corporation. Atmel products - atmel avr 8- and 32-bit - megaavr - avr studio 4, 2011. http://www.atmel.com/dyn/products/tools_card.asp?tool_id=2725.
[7]
G. Behrmann, J. Bengtsson, A. David, K. Larsen, P. Pettersson, and W. Yi. Uppaal implementation secrets. In W. Damm and E. Olderog, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 2469 of Lecture Notes in Computer Science, pages 3--22. Springer Berlin/Heidelberg, 2002. 10.1007/3-540-45739-9_1.
[8]
T. Bøgholm, C. Frost, R. R. Hansen, C. S. Jensen, K. S. Luckow, A. P. Ravn, H. Søndergaard, and B. Thomsen. Harnessing theories for tool support. Submitted for publication: Innovations in Systems and Software Engineering, 2011.
[9]
T. Bøgholm, R. R. Hansen, A. P. Ravn, B. Thomsen, and H. Søndergaard. A predictable java profile: Rationale and implementations. In JTRES '09: Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, pages 150--159, New York, NY, USA, 2009. ACM.
[10]
T. Bøgholm, H. Kragh-Hansen, and P. Olsen. Model-based schedulability analysis of real-time systems, 2008. http://sarts.boegholm.dk/cd/Report/thesis.pdf.
[11]
T. Bøgholm, H. Kragh-Hansen, P. Olsen, B. Thomsen, and K. Larsen. Model-based Schedulability Analysis of Safety Critical Hard Real-time Java Programs. In Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems, pages 106--114. ACM, 2008.
[12]
A. Burns and A. Wellings. Real-Time Systems and Programming Languages: ADA 95, Real-Time Java, and Real-Time POSIX. Addison-Wesley Educational Publishers Inc., Boston, MA, USA, 4th edition, 2009.
[13]
A. E. Dalsgaard, M. C. Olesen, M. Toft, R. R. Hansen, and K. G. Larsen. METAMOC: Modular Execution Time Analysis using Model Checking. In B. Lisper, editor, 10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010), volume 15 of OpenAccess Series in Informatics (OASIcs), pages 113--123, Dagstuhl, Germany, 2010. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. The printed version of the WCET'10 proceedings are published by OCG (www.ocg.at) - ISBN 978-3-85403-268-7.
[14]
E. Hu, A. Wellings, and G. Bernat. Deriving java virtual machine timing models for portable worst-case execution time analysis. On The Move to Meaningful Internet Systems 2003: OTM 2003Workshops, pages 411--424, 2003.
[15]
E. Hu, A. Wellings, and G. Bernat. XRTJ: An extensible distributed high-integrity real-time Java environment. Real-Time and Embedded Computing Systems and Applications, pages 208--228, 2004.
[16]
JSR302. The java community process#8482; program - jsrs: Java specification requests - detail jsr# 302, 2010. http://www.jcp.org/en/jsr/detail?id=302.
[17]
T. Kalibera, J. Hagelberg, F. Pizlo, A. Plsek, B. Titzer, and J. Vitek. Cdx: a family of real-time java benchmarks. In Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES '09, pages 41--50, New York, NY, USA, 2009. ACM.
[18]
S. Korsholm. Hvm lean java for small devices, 2011. www.icelab.dk.
[19]
S. Korsholm, A. P. Ravn, C. Thalinger, and M. Schoeberl. Hardware objects for java. In In Proceedings of the 11th IEEE International Symposium on Object/component/serviceoriented Real-time distributed Computing (ISORC 2008. IEEE Computer Society, 2008.
[20]
Z. Liu and M. Joseph. Real-Time and Fault-Tolerant Systems-Specification, Verification, Refinement and Scheduling. Technical report, Technical Report 323, UNU-IIST, PO Box 3058, Macau, 2005.
[21]
R. Lougher, Jamvm -- a compact java virtual machine, 2010. http://jamvm.sourceforge.net/.
[22]
Metrics. Metrics 1.3.6, 2011. http://metrics.sourceforge.net/.
[23]
A. Metzner. Why model checking can improve wcet analysis. In R. Alur and D. A. Peled, editors, Computer Aided Verification, volume 3114 of Lecture Notes in Computer Science, pages 298--301. Springer Berlin/Heidelberg, 2004. 10.1007/978-3-540-27813-9_26.
[24]
Oracle. RTSJ 1.1 Alpha 6, release notes, 2009. http://www.jcp.org/en/jsr/detail?id=282.
[25]
F. Pizlo, L. Ziarek, and J. Vitek. Real time java on resource-constrained platforms with fiji vm. In Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, pages 110--119. ACM, 2009.
[26]
M. Schoeberl. JOP: A Java optimized processor. In On the Move to Meaningful Internet Systems 2003: Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES 2003), volume 2889 of LNCS, pages 346--359, Catania, Italy, November 2003. Springer.
[27]
M. Schoeberl, W. Puffitsch, R. Pedersen, and B. Huber. Worst-case Execution Time Analysis for a Java Processor. Software: Practice and Experience, 40(6):507--542, 2010.
[28]
UPPAAL. Up4aal, 2010. http://www.uppaal.com/.

Cited By

View all
  • (2017)A Model-Derivation Framework for Software AnalysisElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.244.9244(217-229)Online publication date: 15-Mar-2017
  • (2017)How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven ApproachDependable Software Engineering. Theories, Tools, and Applications10.1007/978-3-319-69483-2_19(319-336)Online publication date: 17-Oct-2017
  • (2017)Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model CheckingModels, Algorithms, Logics and Tools10.1007/978-3-319-63121-9_14(269-288)Online publication date: 25-Jul-2017
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences
JTRES '11: Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems
September 2011
135 pages
ISBN:9781450307314
DOI:10.1145/2043910
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

  • ArtistDesign European NoE
  • aicas GmbH

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 26 September 2011

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. WCET analysis
  2. model checking
  3. real-time Java
  4. real-time embedded systems
  5. software implemented JVM

Qualifiers

  • Research-article

Conference

JTRES '11
Sponsor:

Acceptance Rates

Overall Acceptance Rate 50 of 70 submissions, 71%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)1
  • Downloads (Last 6 weeks)0
Reflects downloads up to 19 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2017)A Model-Derivation Framework for Software AnalysisElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.244.9244(217-229)Online publication date: 15-Mar-2017
  • (2017)How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven ApproachDependable Software Engineering. Theories, Tools, and Applications10.1007/978-3-319-69483-2_19(319-336)Online publication date: 17-Oct-2017
  • (2017)Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model CheckingModels, Algorithms, Logics and Tools10.1007/978-3-319-63121-9_14(269-288)Online publication date: 25-Jul-2017
  • (2016)Statistical model checking of Timed Rebeca modelsComputer Languages, Systems and Structures10.1016/j.cl.2016.01.00445:C(53-79)Online publication date: 1-Apr-2016
  • (2016) HVM TP : A time predictable and portable java virtual machine for hard real‐time embedded systems Concurrency and Computation: Practice and Experience10.1002/cpe.382829:22Online publication date: 4-Apr-2016
  • (2015)From Safety Critical Java Programs to Timed Process ModelsEssays Dedicated to Pierpaolo Degano on Programming Languages with Applications to Biology and Security - Volume 946510.5555/2963891.2963912(319-338)Online publication date: 1-Aug-2015
  • (2015)Response time service level agreements for cloud-hosted web applicationsProceedings of the Sixth ACM Symposium on Cloud Computing10.1145/2806777.2806842(315-328)Online publication date: 27-Aug-2015
  • (2015)From Safety Critical Java Programs to Timed Process ModelsProgramming Languages with Applications to Biology and Security10.1007/978-3-319-25527-9_21(319-338)Online publication date: 20-Nov-2015
  • (2014)HVMTPProceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems10.1145/2661020.2661022(107-116)Online publication date: 13-Oct-2014
  • (2013)TetaSARTSProceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems10.1145/2512989.2512992(11-20)Online publication date: 9-Oct-2013
  • Show More Cited By

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media