HVMTP: A time predictable and portable java virtual machine for hard real-time embedded systems

摘要

We present HVMTP, a time predictable and portable Java virtual machine (JVM) implementation with applicationsrnin resource-constrained, hard real-time embedded systems, which implements all levels of the safetyrncritical Java (SCJ) specification. Time predictability is achieved by a combination of time-predictable algorithms,rnexploiting the programming model of the SCJ profile and harnessing static knowledge of the hostedrnSCJ system. This paper presents HVMTP in terms of its design and capabilities and demonstrates how a completerntiming model of the JVM represented as a network of timed automata can be obtained using the toolrnTETASARTSJVM. The timing model readily integrates with the rest of the TETASARTS tool set for temporalrnverification of SCJ systems.We will also show how a complete timing scheme in terms of safe worst-casernexecution times and best-case execution times of the Java bytecodes can be derived from the model. Furthermore,rnwe take a first look at how to support the new Java 8 language feature of Lambda expressionsrnin a SCJ context – we look in particular at how the invokedynamic bytecode can be implemented in arntime-predictable way and integrated in HVMTP.