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

Research output: Contribution to journal › Journal article › Research › peer-review

Original language	English
Article number	e3828
Journal	Concurrency and Computation: Practice & Experience
Volume	29
Issue number	22
Number of pages	26
ISSN	1532-0626
DOIs	https://doi.org/10.1002/cpe.3828
Publication status	Published - 2017

Keywords

@article{8af02059c2e9437c93d1781f87da0a00,

title = "HVM-TP: A time predictable and portable java virtual machine for hard real-time embedded systems",

keywords = "it, Java virtual machine, model checking, real-time Java, time predictability",

author = "Luckow, \{Kasper S{\o}e\} and Bent Thomsen and Korsholm, \{Stephan Erbs\}",

year = "2017",

doi = "10.1002/cpe.3828",

language = "English",

volume = "29",

journal = "Concurrency and Computation: Practice \& Experience",

issn = "1532-0626",

publisher = "John Wiley and Sons Ltd",

number = "22",

}

TY - JOUR

T1 - HVM-TP: 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 Erbs

PY - 2017

Y1 - 2017

KW - it

KW - Java virtual machine

KW - model checking

KW - real-time Java

KW - time predictability

U2 - 10.1002/cpe.3828

DO - 10.1002/cpe.3828

M3 - Journal article

SN - 1532-0626

VL - 29

JO - Concurrency and Computation: Practice & Experience

JF - Concurrency and Computation: Practice & Experience

IS - 22

M1 - e3828

ER -