Special issue on 12th international workshop on Java technologies for real-time and embedded systems (JTRES2014)

摘要

This editorial describes a special issue of papers from the 2014 workshop on Java Technologies forrnReal-Time and Embedded Systems.[1] There are four papers in this special issue.rnThe first paper [2] presents HVMTP, a time predictable and portable Java virtual machine (JVM)rnimplementation with applications in resource-constrained, hard real-time embedded systems, whichrnimplements all levels of the safety-critical Java (SCJ) specification. Time predictability is achieved by arncombination of time-predictable algorithms, exploiting the programming model of the SCJ profile andrnharnessing the static knowledge of the hosted SCJ system. This paper presents HVMTP in terms of itsrndesign and capabilities and demonstrates how a complete timing model of the JVM represented as arnnetwork of timed automata can be obtained using the tool TETASARTSJVM. The timing model readilyrnintegrates with the rest of the TETASARTS toolset for temporal verification of SCJ systems. A completerntiming scheme in terms of safe worst-case execution times and best-case execution times of the Javarnbytecodes is derived from the model. The paper takes a first look at how to support the new Java 8rnlanguage feature of Lambda expressions in an SCJ context – looking in particular at how the bytecode, usedrnfor invoking Java 8 closures, can be implemented in a time-predictable way and integrated into HVMTP.