article · 2013

A Static Memory Safety Annotation System for Safety Critical Java

Daniel Tang, Ales Plsek, Kelvin Nilsen, Jan Vitek

Cited by 0Abstract and details only

Abstract

Abstract—Embedded systems must be able to operate for long periods of time with limited memory. Dynamic memory allocation is often discouraged in such systems as it requires careful analysis to rule out memory-related software defects. This paper presents an annotation system that can be used to rule out memory access errors in programs written in a subset of the Java programming language which targets safety critical applications. The annotations are optional. When present, they are used by the compiler to report, ahead of time, potential memory access errors. The proposed system is part of the upcoming Safety Critical Java Specification. It has been evaluated on a number of small benchmark programs (26 KLOC of Java code) and implemented in the oSCJ real-time Java virtual machine leading to performance improvements ranging from 1.7 % to 26%. I.

Cite this paper

APA 7

Tang, D., Plsek, A., Nilsen, K., & Vitek, J. (2013). A Static Memory Safety Annotation System for Safety Critical Java.

MLA 9

Tang, Daniel, et al. “A Static Memory Safety Annotation System for Safety Critical Java.” 2013.

Chicago

Tang, Daniel, Ales Plsek, Kelvin Nilsen, and Jan Vitek. 2013. “A Static Memory Safety Annotation System for Safety Critical Java.”

Harvard

Tang, D. et al. (2013) ‘A Static Memory Safety Annotation System for Safety Critical Java’.

BibTeX

@article{tang2013static,
  title = {{A Static Memory Safety Annotation System for Safety Critical Java}},
  author = {Tang, Daniel and Plsek, Ales and Nilsen, Kelvin and Vitek, Jan},
  year = {2013}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.