Ownership types were devised nearly 15 years ago to provide a stronger notion of protection
to object-oriented programming languages. Rather than simply protecting the fields of an …

Java is becoming a viable platform for hard real-time computing. There are production and
research real-time Java VMs, as well as applications in both military and civil sector …

The real-time specification for Java extends the Java platform to support real-time
processing and introduces a region-based memory model, called scoped memory, which …

The Safety Critical Java Specification intends to support the development of programs that
must be certified. The specification includes a number of annotations used to constrain the …

The Real-time Specification for Java (RTSJ) introduced a range of language features for
explicit memory management. While the RTSJ gives programmers fine control over memory …

For hard real-time systems, static code analysis is needed to derive a safe bound on the
worst-case execution time (WCET). Virtually all prior work has focused on the accuracy of …

Abstract The Real-Time Specification for Java (RTSJ)[13] is becoming a popular choice in
the world of real-time and embedded programming. However, RTSJ introduces many non …

This article presents an approach to providing real-time support for Java's Remote Method
Invocation (RMI) and its integration with the RTSJ memory model in order to leave out …

Developing a real-time system in Java requires awareness of memory behaviour in addition
to software functional requirements. The Real-Time Specification for Java (RTSJ) introduces …

Java is an object oriented programming language introduced by Sun Microsystems in 1995.
From this date, Java has received a high interest from both industry actors and researchers …