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

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

    Publikation: Bidrag til bog/antologi/rapportKonferenceartikel i 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.
    TitelJTRES '14 Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems
    Antal sider10
    ForlagAssociation for Computing Machinery
    ISBN (Trykt)978-1-4503-2813-5
    StatusUdgivet - 2014


    • interaktive systemer