Dynamic detection of access errors and illegal references in RTSJ

The memory model used in the real-time specification for Java (RTSJ) imposes strict assignment rules to or from memory areas preventing the creation of dangling pointers, and thus maintaining the pointer safety of Java. This paper provides an implementation solution to ensure the checking of these rules before each assignment statement, where the check is performed dynamically using write barriers. The presented solution includes write barriers for both region-based memory management and a real-time garbage collector within the heap.