A real-time Java virtual machine with applications in avionics

Armbruster, Austin; Baker, Jason D.; Cunei, Antonio; Flack, C.; Holmes, David; Pizlo, Filip; Pla, Edward; Procházka, Marek; Vítek, Jan

doi:10.1145/1324969.1324974

Cited by 91 publications

(70 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The change to the mission phase is delayed 100 ms and the first allocation from a periodic thread is at 105 ms. The collector thread also starts at C i a i τ 1 5 ms 0.5 ms 1 KB τ 2 10 ms 3 ms 3 KB τ 3 30 ms 2 ms τ GC 55 ms 12 ms Table 2 Thread properties for experiment 2 the same time and the first semi-space flip can be seen at 110 ms (after one allocation from each worker thread). We see the 77 ms period of the collector in the jumps in the free memory graph after the flip.…”

Section: Independent Threadsmentioning

confidence: 99%

See 1 more Smart Citation

Scheduling of hard real-time garbage collection

Schoeberl

2010

Real-Time Syst

View full text Add to dashboard Cite

Automatic memory management or garbage collection greatly simplifies development of large systems. However, garbage collection is usually not used in real-time systems due to the unpredictable temporal behavior of current implementations of a garbage collector. In this paper we propose a real-time garbage collector that can be scheduled like a normal real-time thread with a deadline monotonic assigned priority. We provide an upper bound for the collector period so that the application threads will never run out of memory. Furthermore, we show that the restricted execution model of the Safety Critical Java standard simplifies root scanning and reduces copying of static data. Our proposal has been implemented and evaluated in the context of the Java processor JOP.

show abstract

Section: Independent Threadsmentioning

confidence: 99%

“…Although not mandated, all commercial and academic implementations of the RTSJ [37,11,4,2] and related real-time Java systems [1] also contain a real-time garbage collector.…”

Section: Related Workmentioning

confidence: 99%

Scheduling of hard real-time garbage collection

Schoeberl

2010

Real-Time Syst

View full text Add to dashboard Cite

show abstract

“…There exist some SCJ virtual machines (SCJVMs) [1,22,27]; they all allow for code to be compiled ahead-of-time to a native language, usually C, since SCJ targets embedded systems with low resources. As far as we know, the icecap HVM [27] is the only publicly-available SCJVM that is up-todate with the SCJ specification; it outputs production-quality code.…”

Section: Introductionmentioning

confidence: 99%

Algebraic Compilation of Safety-Critical Java Bytecode

Baxter

Cavalcanti

2017

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Safety-Critical Java (SCJ) is a version of Java that facilitates the development of certifiable programs, and requires a specialised virtual machine (SCJVM). In spite of the nature of the applications for which SCJ is designed, none of the SCJVMs are verified. In this paper, we contribute a formal specification of a bytecode interpreter for SCJ and an algebraic compilation strategy from Java bytecode to C. For the target C code, we adopt the compilation approach for icecap, the only SCJVM that is open source and up-to-date with the SCJ standard. Our work enables either prototyping of a verified compiler, or full verification of icecap or any other SCJVM.

show abstract

“…The SCJ RI is under development and will be based on JamaicaVM [18]. To our knowledge, there are currently five SCJVM (virtual machines that support SCJ): Fiji VM [28], icecap HVM (Hardware near Virtual Machine) [32], Ovm (Open Virtual Machine) [1], HVM TP [21] and PERC Pico [2,29]. Of these, Fiji VM and Ovm are not specific for SCJ, PERC Pico does not conform to the current version of SCJ, and HVM TP is based on the icecap HVM.…”

Section: Introductionmentioning

confidence: 99%

Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment

Freitas

Baxter

Cavalcanti

et al. 2016

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Safety-Critical Java (SCJ) is a version of Java suitable for programming real-time safety-critical systems; it is the result of an international standardisation effort to define a subset of the Real-Time Specification for Java (RTSJ). SCJ programs require the use of specialised virtual machines. We present here the result of our verification of the scheduler of the only SCJ virtual machine up to date with the standard and publicly available, the icecap HVM. We describe our approach for analysis of (SCJ) virtual machines, and illustrate it using the icecap HVM scheduler. Our work is based on a state-rich process algebra that combines Z and CSP, and we take advantage of well established tools.

show abstract

A real-time Java virtual machine with applications in avionics

Cited by 91 publications

References 20 publications

Scheduling of hard real-time garbage collection

Scheduling of hard real-time garbage collection

Algebraic Compilation of Safety-Critical Java Bytecode

Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment

Contact Info

Product

Resources

About