HVM-TP: A Time Predictable, Portable Java Virtual Machine for Hard Real-Time Embedded Systems

Kasper Søe Luckow, Bent Thomsen, Stephan Erbs Korsholm

    Research output: Chapter in Book/Report/Conference proceedingConference contribution to proceeding


    We present HVMTIME; a portable and time predictable JVM implementation with applications in resource-constrained hard real-time embedded systems. In addition, it implements the Safety Critical Java (SCJ) Level 1 specification. Time predictability is achieved by a combination of time predictable algorithms, exploiting the programming model of the SCJ specification, and harnessing static knowledge of the hosted SCJ system. This paper presents HVMTIME in terms of its design and capabilities, and demonstrates how a complete timing model of the JVM represented as a Network of Timed Automata can be obtained using the tool TetaSARTSJVM. Further, using the timing model, we derive Worst Case Execution Times (WCETs) and Best Case Execution Times (BCETs) of the Java Bytecodes.
    Original languageEnglish
    Title of host publicationJTRES '14 Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems
    Number of pages10
    PublisherAssociation for Computing Machinery
    Publication date2014
    ISBN (Print)978-1-4503-2813-5
    Publication statusPublished - 2014


    • interactive systems

    Cite this