A type system to assure scope safety within safety-critical Java modules
Kelvin Don Nilsen · 2006
To address the needs of safety-critical system developers, a type system based on Java 5.0 meta-data annotations and special bytecode verification techniques is described. This type system enables programmers to develop code for which the byte code verifier is able to prove the absence of scoped memory protocol errors, thereby eliminating the need for run-time assignment checks. Benefits of the type system include improved software reliability, easier maintenance and integration of independently developed realtime software modules, and higher performance.