HVMTP

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

Kasper Søe Luckow, Bent Thomsen, Stephan Korsholm

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

3 Citationer (Scopus)

Resumé

We present HVMTP, a time predictable and portable Java virtual machine (JVM) implementation with applications in resource-constrained, hard real-time embedded systems, which implements all levels of the safety critical Java (SCJ) specification. Time predictability is achieved by a combination of time-predictable algorithms, exploiting the programming model of the SCJ profile and harnessing static knowledge of the hosted SCJ system. This paper presents HVMTP 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. The timing model readily integrates with the rest of the TETASARTS tool set for temporal verification of SCJ systems. We will also show how a complete timing scheme in terms of safe worst-case execution times and best-case execution times of the Java bytecodes can be derived from the model. Furthermore, we take a first look at how to support the new Java 8 language feature of Lambda expressions in a SCJ context – we look in particular at how the invokedynamic bytecode can be implemented in a time-predictable way and integrated in HVMTP.
OriginalsprogEngelsk
Artikelnummere3828
TidsskriftConcurrency and Computation: Practice & Experience
Vol/bind29
Udgave nummer22
Antal sider26
ISSN1532-0626
DOI
StatusUdgivet - 2017

Citer dette

@article{2cd8f69d759546758b5cbf2ce47abf2d,
title = "HVMTP: A time predictable and portable java virtual machine for hard real-time embedded systems",
abstract = "We present HVMTP, a time predictable and portable Java virtual machine (JVM) implementation with applications in resource-constrained, hard real-time embedded systems, which implements all levels of the safety critical Java (SCJ) specification. Time predictability is achieved by a combination of time-predictable algorithms, exploiting the programming model of the SCJ profile and harnessing static knowledge of the hosted SCJ system. This paper presents HVMTP 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. The timing model readily integrates with the rest of the TETASARTS tool set for temporal verification of SCJ systems. We will also show how a complete timing scheme in terms of safe worst-case execution times and best-case execution times of the Java bytecodes can be derived from the model. Furthermore, we take a first look at how to support the new Java 8 language feature of Lambda expressions in a SCJ context – we look in particular at how the invokedynamic bytecode can be implemented in a time-predictable way and integrated in HVMTP.",
author = "Luckow, {Kasper S{\o}e} and Bent Thomsen and Stephan Korsholm",
year = "2017",
doi = "10.1002/cpe.3828",
language = "English",
volume = "29",
journal = "Concurrency and Computation: Practice & Experience",
issn = "1532-0626",
publisher = "Wiley",
number = "22",

}

HVMTP : A time predictable and portable java virtual machine for hard real-time embedded systems. / Luckow, Kasper Søe; Thomsen, Bent; Korsholm, Stephan.

I: Concurrency and Computation: Practice & Experience, Bind 29, Nr. 22, e3828, 2017.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

TY - JOUR

T1 - HVMTP

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

AU - Luckow, Kasper Søe

AU - Thomsen, Bent

AU - Korsholm, Stephan

PY - 2017

Y1 - 2017

N2 - We present HVMTP, a time predictable and portable Java virtual machine (JVM) implementation with applications in resource-constrained, hard real-time embedded systems, which implements all levels of the safety critical Java (SCJ) specification. Time predictability is achieved by a combination of time-predictable algorithms, exploiting the programming model of the SCJ profile and harnessing static knowledge of the hosted SCJ system. This paper presents HVMTP 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. The timing model readily integrates with the rest of the TETASARTS tool set for temporal verification of SCJ systems. We will also show how a complete timing scheme in terms of safe worst-case execution times and best-case execution times of the Java bytecodes can be derived from the model. Furthermore, we take a first look at how to support the new Java 8 language feature of Lambda expressions in a SCJ context – we look in particular at how the invokedynamic bytecode can be implemented in a time-predictable way and integrated in HVMTP.

AB - We present HVMTP, a time predictable and portable Java virtual machine (JVM) implementation with applications in resource-constrained, hard real-time embedded systems, which implements all levels of the safety critical Java (SCJ) specification. Time predictability is achieved by a combination of time-predictable algorithms, exploiting the programming model of the SCJ profile and harnessing static knowledge of the hosted SCJ system. This paper presents HVMTP 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. The timing model readily integrates with the rest of the TETASARTS tool set for temporal verification of SCJ systems. We will also show how a complete timing scheme in terms of safe worst-case execution times and best-case execution times of the Java bytecodes can be derived from the model. Furthermore, we take a first look at how to support the new Java 8 language feature of Lambda expressions in a SCJ context – we look in particular at how the invokedynamic bytecode can be implemented in a time-predictable way and integrated in HVMTP.

U2 - 10.1002/cpe.3828

DO - 10.1002/cpe.3828

M3 - Journal article

VL - 29

JO - Concurrency and Computation: Practice & Experience

JF - Concurrency and Computation: Practice & Experience

SN - 1532-0626

IS - 22

M1 - e3828

ER -