Private memory allocation analysis for safety-critical Java
Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Martin Schoeberl · 2012
Safety-critical Java (SCJ) avoids garbage collection and uses a scope based memory model. This memory model is based on a restricted version of RTSJ [2] style scopes. The scopes form a clear hierarchy with different lifetimes. Therefore, references between objects in different scopes are only allowed from objects allocated in scopes with a shorter lifetime to objects allocated in scopes with a longer lifetime.