This paper sets a goal of investigating the use of Java in the development of high integrity systems. Based on previous studies, guidelines, and standards, we develop 23 criteria that are used for the following assessment of Java. A summary of the assessment is provided before we go on to review a few existing subsets of the language.

BibTex Entry

@article{Kwon2003a,
 author = {J. Kwon and A. Wellings and S. King},
 journal = {ACM SIGPLAN Notices},
 month = {Apr},
 number = {4},
 pages = {34-46},
 title = {Assessment of the Java Programming Language for use in High Integrity Systems},
 volume = {38},
 year = {2003}
}